El Teorema creciente.

Nos proponemos en este artculo enunciar y probar un teorema que caracteriza mediante
equivalencias a las matrices invertible. Es un teorema de mucha utilidad durante este
curso y otros que lo sucedan, pero antes de enunciarlo necesitamos definir la equivalencia
por filas.

Definicin.
Dadas dos matrices A y B, ambas del mismo tamao mxn, se dice que A es
equivalente por filas a B, si B se obtiene por una sucesin de operaciones elementales
en las filas de A. Notacin: A ~
f
B.

Ejemplos.

i) La matriz identidad es equivalente por filas a cualquier matriz elemental, pues
las ltimas se obtienen de la identidad por una operacin en las filas de I.

ii) A =
|
|
|
.
|

\
|
4 3 2
1 1 1
1 1 1
es equivalente por filas a B =
|
|
|
.
|

\
|
0 0 0
2 1 0
1 1 1
, pues

A =
|
|
|
.
|

\
|
4 3 2
1 1 1
1 1 1

1 3 3
1 2 2
f ) 2 ( f f
f ) 1 ( f f
+

+

|
|
|
.
|

\
|
2 1 0
0 0 0
1 1 1

3 2
f f

|
|
|
.
|

\
|
0 0 0
2 1 0
1 1 1


iii) Toda matriz es equivalente por filas a su f.e. y a su f.e.r.

iv) Toda matriz es equivalente a s misma, pues, por ejemplo, intercambiando dos
veces el mismo par de filas en una matriz se obtiene la matriz original.

v) Si A ~
f
B, entonces B ~
f
A, pues para cada operacin elemental de filas
aplicada para llevar A en B existe una operacin elemental de filas inversa
(que deshace la operacin), la cual aplicada en orden conveniente lleva B en
A.

vi) Si A ~
f
B y B ~
f
C, entonces A ~
f
C. Esta afirmacin se obtiene uniendo las
operaciones elementales de fila que llevan A en B con las que llevan n B en
C.

Los ejemplos iv), v) y vi) implican que la equivalencia por filas es una relacin de
equivalencia y se puede decir de ahora en adelante A y B son equivalentes por filas
en vez de A es equivalente por filas a B.

A continuacin enunciamos el teorema creciente. Algunas de las proposiciones
enunciadas en este teorema, contienen definiciones que an no se estudian en el curso,
son las que aparecen en tono gris. stas se irn demostrando a medida que el curso
avance y se vea la teora necesaria. Por los momentos el teorema queda limitado hasta la
proposicin v).

Teorema creciente.
Sea A una matriz cuadrada nxn. Entonces las siguientes proposiciones son
equivalentes:

i) A es invertible
ii) Para toda columna b
nx1
el sistema AX = b tiene solucin nica.
iii) El sistema homogneo AX = O tiene solucin nica (la trivial).
iv) La f.e. de A tiene n pivotes
v) La f.e.r. de A es I
n
.
vi) El determinante de A es distinto de cero.
vii) Las filas de A, as como sus columnas, son l.i.
viii) El rango de A es n.
ix) La nulidad de A es cero.
x) La t.l. T
A
: IR
n
IR
n
, definida para todo XeIR
n
por T(X) = AX es biyectiva.

Demostracin:

i) ii): Si A es invertible, para toda columna b
nx1
multiplicando por A
-1
a la izquierda a
ambos lados de la igualdad en el sistema AX = b, se despeja X = A
-1
b, con lo cual se
tiene una solucin para el sistema. Toda otra solucin Y
nx1
satisface AY = b, cuyo
despeje conduce a Y = A
-1
b, de donde la solucin es nica (e igual a A
-1
b)

ii) iii): El sistema homogneo AX = O es un caso particular de los sistemas AX = b de
la parte ii) que tienen solucin nica, por lo tanto el sistema AX = O tiene solucin nica
y sta tiene que ser la trivial.

iii) iv): Si la f.e.r. no tuviese n pivotes, el sistema homogneo AX = O tendra
soluciones diferentes a la trivial, lo cual sera una contradiccin.

iv) v): Anulando las posibles entradas no nulas distintas del pivote en cada columna
mediante operaciones elementales de fila del tipo sumar a una fila un mltiplo de otra, se
obtiene la identidad, que es la f.e.r. de la matriz A.

v) vi): Si la f.e.r. de A es la identidad, operando en las filas de la matriz (A|I) se llega
a (I|A
-1
).