Álgebra y Geometría Analítica 2020

Demostración del Teorema de Rouché Frobenius

Enunciado:

Es condición necesaria y suficiente para que un sistema de ecuaciones lineales sea

compatible, que el rango de la matriz de los coeficientes sea igual al rango de la matriz
de los coeficientes ampliada con los términos independientes. (Matriz ampliada)

Hipótesis:

Matriz de los coeficientes:

Matriz de las incógnitas:

Matriz de los términos independientes:

Matriz ampliada:

Tesis:

1
 Álgebra y Geometría Analítica 2020

Demostración:

Demostraremos la doble implicación

a) El sistema es compatible

Si el sistema es compatible, existirá una matriz K solución del sistema/ K y

A.K = B

Si consideramos la matriz A particionada en columnas:

y K

El sistema lineal puede escribirse:

A.K = B

(1)

Recordemos que es equivalente a un vector

La ecuación (1) indica que B es combinación lineal de las columnas de A, por lo que
B es linealmente dependiente respecto de los vectores columna de A.

Entonces si es r, cuando se forma A’ (matriz ampliada) incorporando como

una columna adicional los elementos de B, este nuevo vector es linealmente
dependiente, por lo que que es lo que queríamos probar.

b) El sistema es compatible

Si , como la diferencia entre las matrices A y A’ es la columna de los

elementos de B, el vector columna B podrá expresarse como combinación lineal de los
vectores columna de A, ya que B es linealmente dependiente.

2
 Álgebra y Geometría Analítica 2020

O sea:

Pero A= yK

Siendo k1, k2,… kn

Luego: A.K = B lo cual significa que la matriz K es solución del sistema, por lo
que este es compatible, como se quería probar.

Diferencia entre un sistema compatible determinado y uno indeterminado utilizando

el desarrollo del Teorema de Rouché Frobenius

a) Si = m (número de columnas de la matriz de coeficientes),

el sistema es compatible determinado.

En efecto, cuando queda planteada la ecuación (1) de la demostración anterior,

resulta por hipótesis que los m vectores son linealmente
independientes.

Además, el vector B pertenece al subespacio generado por o,

lo que es lo mismo, al subespacio generado por los vectores columna de A.

Según lo expuesto, es una base de dicho subespacio, por lo que la

combinación lineal de esos vectores para obtener B es única, con lo cual los
escalares (K1, K2,…Km) son únicos y en consecuencia, es único el conjunto solución K
formado por ellos.

b) Si = h < m, el sistema es compatible indeterminado.

El número de variables libres es (m-h) y el de variables dependientes es h.

Podemos escribir la ecuación (1) de la siguiente manera.

(2)

Podemos suponer que como el rango es h, estos h vectores son linealmente

independientes y constituyen una base del subespacio generado por ellos.

La ecuación (2) puede reescribirse así:

(3)

3
 Álgebra y Geometría Analítica 2020

Si

La ecuación (3) nos señala que, para cada vector , la combinación lineal del primer
miembro es única, dado que los h vectores del primer miembro son linealmente
independientes.

Pero no es único: Dándole valores a arbitrarios, obtenemos infinitos

vectores . En consecuencia, habrá para cada uno de ellos, valores de k1, k2,…kh que
verifican la ecuación (3).

Es decir:

k1 = f(

k2 = g( (4)

…………………………..

kh = h

 son las variables libres o independientes: se les asigna un valor

independiente a cada una de ellas y para cada valor arbitrario obtengo un
vector .
 k1, k2,…kh son las variables dependientes, de acuerdo a lo establecido en (4),
pues se obtienen como función de las anteriores, son las llamadas variables
dependientes.

En consecuencia, hay h variables dependientes y (m-h) variables libres.

Sistema incompatible

Finalmente, si el sistema, por aplicación del enunciado del Teorema de

Rouché-Frobenius, es incompatible.

En este caso, B no será combinación lineal de los vectores columna de A y por lo tanto
será un vector linealmente independiente.

Luego, será una unidad mayor que

Observación: el Teorema que hemos demostrado debe su nombre al matemático francés

Eugene Rouché, quién fue el que lo enunció, y al matemático alemán Ferdinand Frobenius,
quién fue uno de los tantos matemáticos que lo demostraron.

Licenciada Andrea Arce

Ingeniero Marcelo L. Peyregne