En álgebra lineal, la descomposición o factorización QR de una matriz es una descomposición de la misma como producto de una matriz ortogonal por una triangular superior. La descomposición QR es la base del algoritmo QR utilizado para el cálculo de los vectores y valores propios de una matriz.
Definición
La descomposición QR de una matriz cuadrada real A es
![{\displaystyle A=QR,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fa5199f967bae51d0f2b5aa74aeda98deab08a7)
donde Q es una matriz ortogonal (QTQ = I ) y R es una matriz triangular superior.
Cálculo de la descomposición QR
Recurriendo al método de ortogonalización de Gram-Schmidt, con las columnas de A como los vectores a procesar.
. Entonces
![{\displaystyle \mathbf {u} _{1}=\mathbf {a} _{1},\qquad \mathbf {e} _{1}={\mathbf {u} _{1} \over \|\mathbf {u} _{1}\|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57320d4ca4e48454558196805e1e5f47e033aeec)
![{\displaystyle \mathbf {u} _{2}=\mathbf {a} _{2}-\mathrm {proj} _{\mathbf {e} _{1}}\,\mathbf {a} _{2},\qquad \mathbf {e} _{2}={\mathbf {u} _{2} \over \|\mathbf {u} _{2}\|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1a7fb5ac0f6087cac280c94f8eb39fa0586e054)
![{\displaystyle \vdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8039d9feb6596ae092e5305108722975060c083)
![{\displaystyle \mathbf {u} _{k}=\mathbf {a} _{k}-\sum _{j=1}^{k-1}\mathrm {proj} _{\mathbf {e} _{j}}\,\mathbf {a} _{k},\qquad \mathbf {e} _{k}={\mathbf {u} _{k} \over \|\mathbf {u} _{k}\|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48be55dc36010183de47c98d223fc86e8e5aacbf)
Naturalmente, utilizamos los ais de A para obtener:
![{\displaystyle \mathbf {a} _{1}=\mathbf {e} _{1}\|\mathbf {u} _{1}\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18d6e79a32474fa70dfd417b54d00cd439528117)
![{\displaystyle \mathbf {a} _{2}=\mathrm {proj} _{\mathbf {e} _{1}}\,\mathbf {a} _{2}+\mathbf {e} _{2}\|\mathbf {u} _{2}\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d46dad5637a5a238e5eb3a3b6f907ee7872328)
![{\displaystyle \vdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8039d9feb6596ae092e5305108722975060c083)
![{\displaystyle \mathbf {a} _{k}=\sum _{j=1}^{k-1}\mathrm {proj} _{\mathbf {e} _{j}}\,\mathbf {a} _{k}+\mathbf {e} _{k}\|\mathbf {u} _{k}\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20d87c712483f9f979c711ff6c1259c385bf7f62)
Ahora estas ecuaciones pueden ser escritas en forma matricial de esta manera:
:::::::::
El producto de cada fila con cada columna de las matrices de arriba, nos da la respectiva columna de A con la que comenzamos y, por tanto, dada la matriz A, la hemos factorizado en una matriz ortogonal Q (la matriz de eks), aplicando el proceso de Gram-Schmidt, y la matriz resultante triangular superior es R.
Alternativamente, la matriz
puede calcularse de la siguiente manera:
Recordemos que:
Entonces, tenemos
![{\displaystyle {\begin{matrix}R=Q^{T}A=\end{matrix}}{\begin{pmatrix}\langle \mathbf {e} _{1},\mathbf {a} _{1}\rangle &\langle \mathbf {e} _{1},\mathbf {a} _{2}\rangle &\langle \mathbf {e} _{1},\mathbf {a} _{3}\rangle &\ldots \\0&\langle \mathbf {e} _{2},\mathbf {a} _{2}\rangle &\langle \mathbf {e} _{2},\mathbf {a} _{3}\rangle &\ldots \\0&0&\langle \mathbf {e} _{3},\mathbf {a} _{3}\rangle &\ldots \\\vdots &\vdots &\vdots &\ddots \end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aff49c4f5ae9ec8a5db0164d8ca2a7d107bf639)
Note que
y
, entonces
.
Ejemplo
Si se considera la descomposición de
![{\displaystyle A={\begin{pmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b824f77ad537cd6d3f82d2fada703bba82540c7)
Se busca la matriz ortogonal
tal que
![{\displaystyle {\begin{matrix}Q\,Q^{T}=I.\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97ae889aa3cfab575acf42faf478c9d342c6ff40)
Por lo que calculamos
mediante Gram-Schmidt como sigue:
![{\displaystyle U={\begin{pmatrix}\mathbf {u} _{1}&\mathbf {u} _{2}&\mathbf {u} _{3}\end{pmatrix}}={\begin{pmatrix}12&-69&-58/5\\6&158&6/5\\-4&30&-33\end{pmatrix}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/648070831e86bf308d9ed4b1df40b658ae3c2554)
![{\displaystyle Q={\begin{pmatrix}{\frac {\mathbf {u} _{1}}{\|\mathbf {u} _{1}\|}}&{\frac {\mathbf {u} _{2}}{\|\mathbf {u} _{2}\|}}&{\frac {\mathbf {u} _{3}}{\|\mathbf {u} _{3}\|}}\end{pmatrix}}={\begin{pmatrix}6/7&-69/175&-58/175\\3/7&158/175&6/175\\-2/7&6/35&-33/35\end{pmatrix}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f320534d3a381a8fe9146ae894d0bb09b19cd425)
Por lo tanto, tenemos
![{\displaystyle {\begin{matrix}A=Q\,Q^{T}A=QR;\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46e9357638cb2f15a08a009be438cb44c8a960cf)
![{\displaystyle {\begin{matrix}R=Q^{T}A=\end{matrix}}{\begin{pmatrix}14&21&-14\\0&175&-70\\0&0&35\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a47e4e6610150c7dd484cc1a72d9b1b5524b5af0)
Una transformación de Householder o reflexión de Householder es una transformación que refleja el espacio con respecto a un plano determinado. Esta propiedad se puede utilizar para realizar la transformación QR de una matriz si tenemos en cuenta que es posible elegir la matriz de Householder de manera que un vector elegido quede con una única componente no nula tras ser transformado (es decir, premultiplicando por la matriz de Householder). Gráficamente, esto significa que es posible reflejar el vector elegido respecto de un plano de forma que el reflejo quede sobre uno de los ejes de la base cartesiana.
La manera de elegir el plano de reflexión y formar la matriz de Householder asociada es el siguiente:
Sea
un vector columna arbitrario m-dimensional tal que ||
|| = |α|, donde α es un escalar; (si el algoritmo se implementa utilizando aritmética de coma flotante, entonces α debe adoptar el signo contrario que
1 para evitar pérdida de precisión).
Entonces, siendo
el vector (1,0,...,0)T, y ||·|| la norma euclídea, se define:
![{\displaystyle \mathbf {u} =\mathbf {x} -\alpha \mathbf {e} _{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c429b00bea1067409ef17bb10151160c95b3753d)
![{\displaystyle \mathbf {v} ={\mathbf {u} \over ||\mathbf {u} ||},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/066f814481c3e1d23df7297a71a142b587cbab02)
![{\displaystyle Q=I-2\mathbf {v} \mathbf {v} ^{T}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2c99e1f8cff250170851e184c3d4f886d15a1eb)
es un vector unitario perpendicular al plano de reflexión elegido.
es una matriz de Householder asociada a dicho plano.
![{\displaystyle Qx=(\alpha ,0,\cdots ,0)^{T}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/584d2f98ab3a916f748535c3d05738b4a484f6e3)
Esta propiedad se puede usar para transformar gradualmente los vectores columna de una matriz A de dimensiones m por n en una matriz triangular superior. En primer lugar se multiplica A con la matriz de Householder Q1 que obtenemos al elegir como vector
la primera columna de la matriz. Esto proporciona una matriz QA con ceros en la primera columna (excepto el elemento de la primera fila).
![{\displaystyle Q_{1}A={\begin{bmatrix}\alpha _{1}&\star &\dots &\star \\0&&&\\\vdots &&A'&\\0&&&\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39819d86bf38ddf93caca5b2853cc07d4414be24)
el procedimiento se puede repetir para A′ (que se obtiene de A eliminando la primera fila y columna), obteniendo así una matriz de Householder Q′2. Hay que tener en cuenta que Q′2 es menor que Q1. Para conseguir que esta matriz opere con Q1A en lugar de A′ es necesario expandirla hacia arriba a la izquierda, completando con un uno en la diagonal, o en general:
![{\displaystyle Q_{k}={\begin{pmatrix}I_{k-1}&0\\0&Q_{k}'\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78e3af2cd0ee4c4882111a331d91d6a0c5961130)
Tras repetir el proceso
veces, donde
,
![{\displaystyle R=Q_{t}\cdots Q_{2}Q_{1}A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b28594312edd77ce54ecb03c10945733095362c9)
es una matriz triangular superior. De forma que tomando
![{\displaystyle Q=Q_{1}Q_{2}\cdots Q_{t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f95bf77f734cf8098e6703f1bce68b2b8a329c)
es una descomposición QR de la matriz
.
Este método tiene una estabilidad numérica mayor que la del método de Gram-Schmidt descrito arriba.
Una pequeña variación de este método se utiliza para obtener matrices semejantes con la forma de Hessenberg, muy útiles en el cálculo de autovalores por acelerar la convergencia del algoritmo QR reduciendo así enormemente su coste computacional.
Ejemplo
Vamos a calcular la descomposición de la matriz
![{\displaystyle A={\begin{pmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b824f77ad537cd6d3f82d2fada703bba82540c7)
En primer lugar necesitamos encontrar una reflexión que transforme la primera columna de la matriz A, vector
, en
usando la expresión,
![{\displaystyle \mathbf {u} =\mathbf {a} _{1}-\alpha \mathbf {e} _{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70f4b4ef4008b7084b7cc7caf0457993cd9b2c48)
y
![{\displaystyle \mathbf {v} ={\mathbf {u} \over |\mathbf {u} |},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c38f82d4598fea5a5178625a570627e0db58585)
en nuestro caso :
y ![{\displaystyle \mathbf {a} _{1}=(12,6,-4)^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01bd05ea8a475301791c4abaa8d19d755345923b)
Por lo tanto
y
, entonces ![{\displaystyle Q_{1}=I-{2 \over {\sqrt {14}}{\sqrt {14}}}{\begin{pmatrix}-1\\3\\-2\end{pmatrix}}{\begin{pmatrix}-1&3&-2\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cff7880cc61507450fbd0f69b34f8c01acbecc5)
![{\displaystyle =I-{1 \over 7}{\begin{pmatrix}1&-3&2\\-3&9&-6\\2&-6&4\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12b640aa0bee8137d3f7d7134509f9c2a0c0ad41)
![{\displaystyle ={\begin{pmatrix}6/7&3/7&-2/7\\3/7&-2/7&6/7\\-2/7&6/7&3/7\\\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a8d88d1d643cdeba0e723bbf96820cc4c3a5d0d)
Ahora observamos:
![{\displaystyle Q_{1}A={\begin{pmatrix}14&21&-14\\0&-49&-14\\0&168&-77\end{pmatrix}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff00b5b3c1716badaa5c8df81f5bda90dc2ca5d8)
con lo que ya casi tenemos una matriz triangular. Sólo necesitamos hacer cero en el elemento (3,2).
Tomando la submatriz bajo el (1, 1) y aplicando de nuevo el proceso a
![{\displaystyle A'=M_{11}={\begin{pmatrix}-49&-14\\168&-77\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd69e483f7725e98614899a0b9453bbbb0a72eff)
Mediante el mismo método que antes obtenemos la matriz de Householder
![{\displaystyle Q_{2}={\begin{pmatrix}1&0&0\\0&-7/25&24/25\\0&24/25&7/25\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe893e93a3052b3bdd416adc065e982a31e8877e)
Finalmente obtenemos
![{\displaystyle Q=Q_{1}Q_{2}={\begin{pmatrix}6/7&-69/175&58/175\\3/7&158/175&-6/175\\-2/7&6/35&33/35\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1305636339032baaae2caf075313d3863db1223c)
![{\displaystyle R=Q^{\top }A={\begin{pmatrix}14&21&-14\\0&175&-70\\0&0&35\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa738d1441ef2eaaf4e613388c980e5e298f4542)
La matriz Q es ortogonal y R es triangular superior, de forma que A = QR es la descomposición QR buscada.
Las descomposiciones QR también puden calcularse utilizando una serie de rotaciones de Givens. Cada rotación anula (hace cero) un elemento en la subdiagonal de la matriz, formando de este modo la matriz R. La concatenación de todas las rotaciones de Givens realizadas, forma la matriz ortogonal Q.
En la práctica, las rotaciones de Givens no se utilizan en la actualidad para construir una matriz completa y realizar un producto de matrices. En su lugar, se utiliza un procedimiento de rotación de Givens, que es equivalente a la multiplicación reducida de matrices de Givens, sin el trabajo extra de manejar los elementos reducidos. El procedimiento de rotación de Givens es útil en situaciones donde sólo pocos elementos fuera de la diagonal necesitan ser anulados y es más fácil de paralelizar que las transformaciones de Householder.
Ejemplo
Calculemos la descomposición de
![{\displaystyle A={\begin{pmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b580c9c1fe2c7f6abf035bc2847b46b4e1ae3c37)
Primero, necesitamos formar una matriz de rotación tal que hagamos cero el elemento más inferior a la izquierda,
. Construimos esta matriz empleando el método de la rotación de Givens y llamamos la matriz resultante
. Rotamos primero el vector
, representándolo a lo largo del eje X. Este vector forma un ángulo
. Creamos la matriz ortogonal de rotación de Givens,
:
![{\displaystyle G_{1}={\begin{pmatrix}1&0&0\\0&\cos(\theta )&\sin(\theta )\\0&-\sin(\theta )&\cos(\theta )\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec330ceb3342ef1602a5e670e55c9cc11f56589)
![{\displaystyle \approx {\begin{pmatrix}1&0&0\\0&0.83205&-0.55470\\0&0.55470&0.83205\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b03b31496c666e1535e299d055173e962c72cd9)
Y el resultado de
tiene ahora un cero en el
elemento.
![{\displaystyle G_{1}A\approx {\begin{pmatrix}12&-51&4\\7.21110&125.63959&-33.83671\\0&112.60414&-71.83368\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a9e0b8d16f41150a28058999dc4d16b2159e907)
Procedemos análogamente con las matrices de Givens
y
, que hacen cero los elementos subdiagonales
y
, formando una matriz triangular
. La matriz ortogonal
es formada a partir del producto en cadena de todas las matrices de Givens
. Luego tenemos
, y la descomposición QR es
.
Relación con el determinante
Es posible utilizar la descomposición QR para encontrar el valor absoluto del determinante de una matriz. Suponiendo que una matriz se descompone según
. Entonces se tiene
![{\displaystyle \det(A)=\det(Q)\cdot \det(R).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65ca41fe3d5b503cdf932ed17be73b3813471fa3)
Puesto que Q es unitaria,
. Por tanto,
![{\displaystyle |\det(A)|=|\det(R)|={\Big |}\prod _{i}r_{ii}{\Big |},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3f202dba673f3d671ff0da10b53517cba8cc902)
donde
son los valores de la diagonal de R.
Control de autoridades | - Proyectos Wikimedia
Datos: Q653242 |
---|
Datos: Q653242