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
![{\displaystyle a_{j}=f_{1j}c_{1}+f_{2j}c_{2}+\cdots +f_{rj}c_{r},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ded760ac69f5bbc60ce406f84c100ee8c9030357)
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)
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
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
Considerem la matriu
![{\displaystyle A={\begin{bmatrix}1&3&1&4\\2&7&3&9\\1&5&3&1\\1&2&0&8\end{bmatrix}}\sim {\begin{bmatrix}1&0&-2&0\\0&1&1&0\\0&0&0&1\\0&0&0&0\end{bmatrix}}=B{\text{.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2d2cf027e33e27941a9475d368ff9d41b8f42d4)
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:
![{\displaystyle C={\begin{bmatrix}1&3&4\\2&7&9\\1&5&1\\1&2&8\end{bmatrix}}{\text{,}}\qquad F={\begin{bmatrix}1&0&-2&0\\0&1&1&0\\0&0&0&1\end{bmatrix}}{\text{.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37ed2b2ed34e4abf4e7efeda476c7a937b3b805a)
És senzill comprovar que
![{\displaystyle A={\begin{bmatrix}1&3&1&4\\2&7&3&9\\1&5&3&1\\1&2&0&8\end{bmatrix}}={\begin{bmatrix}1&3&4\\2&7&9\\1&5&1\\1&2&8\end{bmatrix}}{\begin{bmatrix}1&0&-2&0\\0&1&1&0\\0&0&0&1\end{bmatrix}}=CF{\text{.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/940d8bb7a07e698b232a4c2743966d2a7347c9cc)
Demostració
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
- 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.