Matly
☰ Índex de temes

Determinants, inversa i rang: Laplace, Gauss i càlcul amb paràmetre

El determinant, la inversa i el rang són tres certificats d'una mateixa propietat: si les files (o columnes) d'una matriu són independents o no. A primer d'enginyeria no n'hi ha prou de saber-los calcular; cal saber quin dels tres convé en cada problema i com es comporten quan hi ha un paràmetre pel mig, que és el que distingeix un exercici d'examen d'un exercici de calculadora. En aquesta pàgina veuràs el desenvolupament de Laplace, l'estratègia de fer zeros abans de desenvolupar, un determinant amb paràmetre resolt i factoritzat, les dues vies per a la inversa i el càlcul del rang per Gauss i per menors, incloent-hi el cas paramètric en què un pivot pot amagar un cas. Suposem que domines les operacions de la pàgina de matrius i equacions matricials.

Què és el determinant

Per a una matriu quadrada d'ordre 2, . Per a ordre 3, la regla de Sarrus dona sis productes de tres factors: els tres «diagonals» sumen i els tres «antidiagonals» resten.

Sarrus, agrupant signes

Calcula primer els tres productes positius, després els tres negatius, i resta al final: és la manera de no perdre signes.

Sarrus només funciona per a ordre 3; no s'estén a ordre 4. La definició general és recursiva (o, equivalentment, una suma sobre totes les permutacions de de productes ): el determinant d'ordre es defineix a partir de determinants d'ordre mitjançant el desenvolupament de Laplace que veurem tot seguit. Per calcular, però, gairebé mai es fa servir la definició directament: es busca estructura.

El determinant té dos significats que convé tenir presents. Geomètric: és el factor pel qual l'aplicació multiplica àrees (ordre 2) o volums (ordre 3), i el signe diu si conserva o inverteix l'orientació. Algebraic: equival a un col·lapse de dimensió: les columnes són linealment dependents i la matriu no és inversible. Aquesta segona lectura és la que fa del determinant un certificat.

Menors, cofactors i desenvolupament de Laplace

Menor i cofactor

Sigui . El menor és el determinant de la matriu d'ordre que s'obté suprimint la fila i la columna de . El cofactor (o adjunt) és el menor amb signe: .

Els signes formen un tauler d'escacs que comença amb a la posició . El desenvolupament de Laplace diu que, per a qualsevol fila fixada,

i el mateix val per a qualsevol columna. El criteri d'eficiència és evident: desenvolupa per la fila o columna amb més zeros, perquè cada zero elimina un menor sencer.

Laplace per la fila amb més zeros

Hem desenvolupat per la primera fila: el zero central estalvia un menor, i el signe de la posició és . Sarrus dona el mateix: .

Propietats que governen el càlcul

Aquestes són les regles que permeten transformar un determinant abans de calcular-lo.

  • : tot el que val per a files val per a columnes.
  • (multiplicatiu), i per tant si és inversible, i .
  • per a d'ordre (no : cada fila aporta un factor ).
  • Si és triangular (o diagonal), és el producte de la diagonal.
  • Si dues files són iguals o proporcionals, o una fila és nul·la, o una fila és combinació lineal de les altres, el determinant és .
  • Un factor comú d'una fila (o columna) es pot treure fora del determinant.

I la propietat que no té: el determinant no és lineal en la matriu sencera. En general ; prova-ho amb i .

Les operacions elementals de files són l'eina de càlcul, i cadascuna té un efecte precís que has de registrar:

OperacióEfecte sobre el determinant
(intercanviar)canvia de signe
amb queda multiplicat per
no canvia

Registre extern de les operacions

Si triangularitzes una matriu per calcular-ne el determinant, mantén fora de la matriu un registre del signe i dels factors acumulats. El producte de la diagonal que obtens al final és el determinant de la matriu transformada; el de l'original és aquest producte dividit pels factors que has aplicat i amb el signe corregit. La tercera operació és la més segura precisament perquè no cal registrar res.

Estratègia: fer zeros abans de desenvolupar

Per a ordre 4 o superior, la combinació guanyadora és: crea zeros en una columna amb operacions del tipus (que no alteren res) i desenvolupa per aquella columna. Així un determinant es converteix en un únic determinant , que resols amb Sarrus.

Determinant 4 × 4 amb un sol menor

Calcula

Amb l' de la posició com a pivot, fem , i . Cap d'elles canvia el determinant:

Hem desenvolupat per la primera columna, on només queda un element no nul (signe ). Sarrus: els productes positius són i els negatius , de manera que .

Determinant amb paràmetre

Quan la matriu conté un paràmetre, el determinant és un polinomi, i el que importa no és el polinomi desenvolupat sinó la seva factorització: les arrels són els valors crítics on la matriu deixa de ser inversible, i seran els casos que caldrà separar en qualsevol discussió posterior (rang, sistemes, diagonalització). Dues regles: no divideixis mai per una expressió que contingui el paràmetre sense haver separat abans el cas en què s'anul·la, i comprova el resultat amb valors senzills del paràmetre.

Determinant 4 × 4 amb paràmetre, factoritzat

Calcula, en funció de ,

i determina per a quins valors la matriu és inversible.

Fer zeros. La primera fila és tota d'uns: restant-la de les altres creem zeros a la primera columna sense alterar el determinant. Fem , i :

Laplace per la fila amb més zeros. La segona fila del menor només té l'element a la posició , de signe :

Factoritzar, no desenvolupar. Dins del claudàtor hi ha el factor comú : , de manera que el claudàtor és . Per tant

Conclusió. La matriu és inversible si i només si i .

Comprovacions independents. Per a la primera i la tercera fila coincideixen, així que el determinant ha de ser : correcte. Per a la suma de les quatre files és el vector nul (comprova-ho columna a columna), cosa que també força determinant . I per a la fórmula dona , que pots verificar amb Sarrus sobre el menor.

Desenvolupar el polinomi i després intentar factoritzar-lo

Si expandeixes fins a obtenir , després hauràs de trobar-ne les arrels per Ruffini, amb el risc afegit d'equivocar-te en algun coeficient. Els zeros que has creat amb Gauss ja t'ofereixen el determinant parcialment factoritzat: conserva els factors a mesura que apareixen i treu factor comú abans de multiplicar res.

La inversa: dues vies

Si , la inversa es pot calcular per dues vies. Convé dominar-les totes dues i triar segons la mida i el tipus d'entrades.

Via 1: adjunta. La matriu de cofactors transposada s'anomena adjunta, , i

És útil per a ordre 2 o 3 i quan hi ha paràmetres, perquè dona una fórmula tancada. Per a ordre 4 ja exigeix setze determinants d'ordre 3.

Via 2: Gauss-Jordan. S'escriu la matriu ampliada i s'aplica el mètode de Gauss-Jordan fins a obtenir . És més escalable, no requereix calcular el determinant a part (si apareix una fila nul·la a l'esquerra, la matriu és singular) i és exactament el mateix algorisme que resol sistemes: cada columna de és la solució de , com veuràs a la pàgina de sistemes lineals.

La mateixa inversa per les dues vies

Sigui . Primer el certificat: desenvolupant per la primera fila, . Existeix la inversa.

Adjunta. Els nou cofactors (amb el tauler de signes) són , , , , , , , , . Com que és simètrica, la matriu de cofactors també ho és i coincideix amb la seva transposada. Amb ,

Gauss-Jordan. Partim de i intercanviem per tenir un pivot :

Ara i després :

La part esquerra ja és triangular amb uns a la diagonal; pugem fent zeros per sobre dels pivots amb , i finalment :

La part dreta és la mateixa que abans. Comprovació: la primera fila de per la primera columna de dona , i per la segona, .

Teorema de caracterització de la inversa

Tot el que hem vist es recull en una xarxa d'equivalències que és, probablement, el teorema més usat del curs.

Caracterització de les matrius inversibles

Per a , les afirmacions següents són equivalents:

  1. és inversible.
  2. .
  3. .
  4. Les files (i les columnes) de són linealment independents; les columnes formen una base de .
  5. El sistema homogeni només té la solució trivial (és a dir, ).
  6. Per a cada , el sistema té solució única.
  7. es pot reduir per files a la identitat .

La utilitat del teorema és que et deixa triar el certificat més barat: si el problema dona un sistema homogeni amb solució no trivial, ja saps que sense calcular-lo; si , ja saps que existeix. I a la inversa: si has de demostrar que una matriu no és inversible, n'hi ha prou amb exhibir una combinació lineal nul·la de les seves files, com hem fet amb a l'exemple del paràmetre.

Rang: tres cares d'un mateix nombre

Rang

El rang de és la dimensió del subespai de generat per les seves columnes, que coincideix amb la dimensió del subespai de generat per les seves files. Sempre .

Aquesta és la cara conceptual, que desenvolupem a espais vectorials i bases. Per calcular-lo hi ha dues cares operatives, que donen el mateix nombre:

  • Nombre de pivots. Les operacions elementals no canvien el rang. El rang és el nombre de files no nul·les (de pivots) de qualsevol forma escalonada obtinguda per Gauss.
  • Ordre màxim d'un menor no nul. Un menor d'ordre no nul demostra . Si a més tots els menors d'ordre són nuls, aleshores .

El mateix rang per Gauss i per menors

Sigui .

Gauss. dona i dona també ; llavors deixa la tercera fila nul·la. Queden dos pivots (columnes 1 i 3): .

Menors. El menor de files 1, 2 i columnes 1, 3 val , així que el rang és almenys 2. Com que , tota matriu formada amb tres columnes de té les files dependents i el seu determinant és : els quatre menors d'ordre 3 s'anul·len i .

Per menors, no cal calcular tots els menors d'ordre si es fa amb mètode: fixat un menor d'ordre no nul, només cal orlar-lo (afegir-hi una fila i una columna més de totes les maneres possibles); si totes les orles són nul·les, el rang és . Amb tot, per a matrius numèriques Gauss és més ràpid i més segur; els menors guanyen quan hi ha paràmetres, perquè donen polinomis factoritzables.

Rang amb paràmetre: el pivot no pot amagar un cas

Quan la matriu depèn d'un paràmetre, el rang és una funció a trossos d'aquest paràmetre, i l'examen puntua sobretot els trossos excepcionals. El protocol:

  1. Si un pas de Gauss demana dividir per una expressió , o bé treballes sense dividir, o bé anotes «cas » per estudiar-lo a part.
  2. Resol el cas genèric (el rang màxim que dona un menor no nul).
  3. Estudia separadament cada arrel de , tornant a la matriu original o a una reducció vàlida per a aquell valor.
  4. Si el menor que feies servir s'anul·la, busca'n un altre del mateix ordre abans de concloure que el rang baixa.

«El determinant dona zero, per tant el rang és 2»

Un menor concret nul no demostra que el rang baixi: només invalida aquell certificat. Per afirmar que el rang és has d'haver exclòs tots els menors d'ordre (o haver fet Gauss fins al final). Aquest és l'error que separa un 5 d'un 10 en la discussió de rangs.

Rang d'una matriu 3 × 4 amb paràmetre

Determina per a

Cas genèric. El rang és com a molt 3. El menor de les tres primeres columnes és

Per a i és no nul, així que .

Cas . El menor anterior s'anul·la, però això no tanca el cas. Provem un altre menor d'ordre 3, el de les columnes 1, 3 i 4:

i per tant . (En general, aquest menor val , que a dona .)

Cas . La matriu queda . La tercera fila és igual a la primera i, restant de , s'obté : exactament dos pivots. . Que cap menor d'ordre 3 pugui ser no nul es veu directament: tota submatriu té dues files iguals.

Resposta: si , i . El valor anul·la un menor, però no el rang.

Predir abans d'expandir

Sense calcular cap inversa, decideix per a quins és inversible .

Dues pistes estructurals: si les tres files coincideixen (rang 1), i si la suma de les tres files és nul·la, de manera que és del nucli. Tots dos valors han d'anul·lar el determinant. Calculant-lo (resta a i , treu factor comú de cadascuna i acaba amb Sarrus) s'obté : no hi ha més valors crítics, i és inversible si i només si i . L'arrel doble a reflecteix que allà el rang cau dues unitats, no una.

Protocol de resolució

  1. Reconeix l'ordre i l'estructura: ordre 2 o 3 (fórmula directa), triangular (producte de la diagonal), files repetides o proporcionals (zero immediat), fila d'uns (resta-la a les altres).
  2. Tria el mètode: Sarrus per a ordre 3 numèric; Laplace per files amb zeros; Gauss amb registre d'operacions per a ordre 4 o més; menors quan hi ha paràmetres.
  3. Amb paràmetre, no divideixis per expressions que puguin anul·lar-se; conserva els factors i factoritza el resultat.
  4. Per a la inversa, primer el certificat ; després adjunta (ordre 3, simbòlic) o Gauss-Jordan (numèric, ordre 4 o més).
  5. Per al rang, cas genèric amb un menor; cada arrel a part; un menor nul no tanca el cas.
  6. Comprova amb un valor senzill del paràmetre, amb una propietat estructural (files iguals, suma nul·la) o multiplicant .

Llista de comprovació

  1. Has registrat l'efecte de cada operació elemental sobre el determinant?
  2. El determinant amb paràmetre està factoritzat i comprovat amb un valor?
  3. Has escrit «» abans d'escriure ?
  4. Has multiplicat (almenys una fila) per comprovar la inversa?
  5. En el rang amb paràmetre, has estudiat cada arrel per separat i buscat un altre menor abans de rebaixar el rang?
  6. La resposta del rang està escrita com a funció a trossos del paràmetre?

Exercicis proposats

Exercici 1. Calcula el determinant de creant zeros en una columna i desenvolupant per Laplace.

Solució de l'exercici 1

Intercanvia per tenir pivot (el determinant canvia de signe) i fes , (sense canvi):

El menor per Sarrus: positius , negatius , total . No t'oblidis del signe de l'intercanvi.

Exercici 2. Sigui . Determina per a quins valors de és inversible i calcula per la via de l'adjunta.

Solució de l'exercici 2

Desenvolupant per la primera fila, . Per tant és inversible si i només si i .

Per a , i els cofactors de són , , , , , (la matriu és simètrica, i la de cofactors també). Així

Comprovació: la primera fila de per la primera columna de dona .

Exercici 3. Estudia el rang de segons el valor de .

Solució de l'exercici 3

El menor de les tres primeres columnes és , així que per a el rang és 3.

Per a el menor s'anul·la, però el de les columnes 1, 2 i 4 val : el rang continua sent 3. Per a les tres files són iguals a i el rang és 1.

Resposta: si i . Fixa't que és un valor crític del menor, no del rang: és el cas que l'examen posa per veure si tanques la discussió massa aviat.

Amb determinants, inverses i rangs a punt, el pas següent és aplicar-los a la discussió de sistemes: sistemes lineals i Rouché-Frobenius. Si vols veure aquesta teoria amb l'enfocament de batxillerat, la pàgina de sistemes de selectivitat fa de repàs ràpid, i a exàmens resolts hi ha problemes complets de determinant i rang amb paràmetre.