matrices

 Lección 6. 
   Matrices Invertibles

Teorema 4. Toda matriz se puede factorizar como un producto finito de matrices elementales.

Demostración. La prueba se realiza por inducción sobre el orden $n$ de las matrices.

$n=1:$ En este caso las matrices invertibles son los escalares no nulos del cuerpo $K$, los cuales pueden ser considerados como matrices diagonales.

$n=2:$Sea

MATH

una matriz invertible. $a_{11}$ y $a_{12}$ no pueden ser simultáneamente nulos debido a que el rango de $A$ es dos (véase el Corolario 3 del Capítulo 3). Considérense pues dos casos. Si $a_{11}$$\neq 0 $, entonces

MATH

y

MATH

También,

MATH

En total, MATH, de donde $A$ se puede despejar como un producto de transvecciones y diagonales. Nótese que $F$ es invertible ya que es producto de invertibles.

Si $a_{12}$$\neq0$ entonces se puede reducir esta situación a la anterior multiplicando la matriz $A$ a la derecha por la permutación $P_{12}$, y entonces $A$ nuevamente se puede expresar como un producto de elementales. La prueba del caso $n=2$ está completa.

Supóngase que el teorema ha sido probado para matrices de tamaño $n\times n$ y sea $A$ una matriz de tamaño $(n+1)\times(n+1)$. No es posible que todos los elementos de la primera fila de $A$ sean nulos; al igual que en el caso $n=2$ se puede desde ya asumir que $a_{11}\neq0.$ La matriz

MATH

es tal que $b_{11}=1$ y se puede multiplicar a derecha e izquierda por transvecciones adecuadas hasta obtener una matriz invertible $C$ de la forma

MATH ,

donde $A_{0}$ es una matriz de orden $n.$ Puesto que $C$ es invertible, entonces el rango de $A_{0}$ es $n$, es decir, $A_{0}$ es invertible. Por inducción, $A_{0}$ se puede factorizar en un producto de matrices elementales de orden MATH. La matriz $C$ se puede entonces escribir en la forma:

MATH

Puesto que cada matriz $F_{i}$, $1\leq i\leq t$, es elemental de orden $n$, entonces $C$ queda factorizada en un producto de matrices elementales de orden $n+1$, de donde, $A$ se expresa como un producto finito de matrices elementales de orden $n+1.\Box$

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright