Factorització de rang
Donada una matriu de dimensió amb rang , una descomposició de rang o factorització de rang de és un producte , on és una matriu i és una matriu .
Tota matriu de dimensió finita té una factorització de rang: Sigui una matriu amb rang per columnes . Per definició, existeixen columnes linealment independents d'; de forma equivalent, la dimensió de l'espai de columnes d' és . Sigui una base qualsevol de l'espai de columnes d', i col·loquem-la com a vectors columna, per formar la matriu , de dimensió . Així, qualsevol vector columna d' és una combinació lineal de les columnes de . De forma més precisa, si és una matriu de dimensió , on representa la columna -sima, llavors
on són els coeficients escalars de en termes de la base . Això implica que , on és l'element -sim de .
rang(A) = rang (AT) modifica
Una conseqüència immediata de la factorització de rang és que el rang d' és igual al rang de la seva transposada . Com que les columnes d' són les files d' , llavors el rang per columnes d' és igual al seu rang per files.
Demostració |
---|
En aquesta demostració, direm «rang» per referir-nos al rang per columnes. Com que , es compleix que . Per definició de la multiplicació de matrius, això vol dir que tota columna d' és una combinació lineal de columnes de . Per tant, l'espai de columnes d' està contingut en l'espai de columnes de i, en conseqüència, rang( ) ≤ rang( ). Ara bé, té dimensió × , de manera que existeixen columnes de i, per tant, rang( ) ≤ = rang( ). Això demostra que rang( ≤ rang( ).
Ara apliquem el resultat a per obtenir la desigualtat recíproca: com que = , podem escriure rang( ) = rang( ≤ rang( ). Això demostra que rang( ≤ rang( ). En resum, hem demostrat que rang( ≤ rang( ) i que rang( ) ≤ rang( ); per tant, rang( ) = rang( ). (Vegeu també la primera demostració de què el rang per columnes és igual al rang per files, a l'article Rang (àlgebra lineal).) |
Factorització de rang per matrius esglaonades per files modifica
A la pràctica, podem construir una factorització de rang de la següent manera: podem calcular , la forma esglaonada per files d' . Llavors obtenim per l'eliminació de les columnes no-pivot d' , i obtenim per l'eliminació de les files a 0 de .
Exemple modifica
Considerem la matriu
està en forma esglaonada. Llavors obtenim tot eliminant la tercera columna d' , l'única que no és una columna pivot, i obtenim tot eliminant l'última fila de zeros; és a dir:
És senzill comprovar que
Demostració modifica
Sigui una matriu de permutació de dimensió tal que en forma particionada per blocs, on les columnes de són les columnes pivot d' . Tota columna de és una combinació lineal de les columnes de , de tal manera que existeix una matriu tal que , on les columnes de contenen els coeficients d'aquestes combinacions lineals. Per tant, , on és la matriu identitat . Ara veurem que .
La transformació de en la seva forma esglaonada per files és equivalent a multiplicar per l'esquerra per una matriu que és producte de matrius elementals, de tal forma que , on . Ara podem escriure , la qual cosa ens permet identificar que , és a dir, les files no-nul·les de la forma esglaonada, amb la mateixa permutació de columnes que havíem obtingut per . Així tenim que , i com que és invertible, això implica que , cosa que completa la demostració.
Bibliografia modifica
Aquest article té bibliografia, però no se sap quina referència verifica cada part. Podeu millorar aquest article assignant cadascuna d'aquestes obres a frases o paràgrafs concrets. |
- Lay, David C. Linear algebra and its applications (en anglès). 3rd ed.. Boston; Montréal: Addison-Wesley, 2003. ISBN 978-0-201-70970-4.
- Golub, Gene H.; Van Loan, Charles F. Matrix computations (en anglès). 3. ed.. Baltimore, Md. [u.a.]: Johns Hopkins Univ. Press, 1996. ISBN 978-0-8018-5414-9.
- Stewart, Gilbert W. Matrix Algorithms I. Basic decompositions (en anglès). Philadelphia: Soc. for Industrial and Applied Mathematics, 1998. ISBN 978-0-89871-414-2.