TEOREMA DE ROUCHFRBENIUS

Algebra lineal

Teorema de Rouch-Frbenius

Antes de proceder a resolver un sistema de ecuaciones lineales, tenemos que dar respuesta a las siguientes preguntas: El sistema tiene solucin, es decir, es compatible?
En caso afirmativo: Tiene una solucin o infinitas? Para responderlas, una de las herramientas que podemos utilizar es la que proporciona el Teorema de Rouch-Frbenius, cuyo enunciado es el siguiente:

Consideremos un sistema de m ecuaciones lineales con incgnitas, cuya expresin general es la siguiente:
11 1 + 12 2 +13 3 + + 1 = 1 21 1 + 22 2 +23 3 + + 2 = 2 31 1 + 32 2 +33 3 + + 3 = 3 41 1 + 42 2 +43 3 + + 4 = 4 1 1 + 2 2 +3 3 + + =

Sean A la matriz del sistema y A* la matriz ampliada del sistema (con los trminos independientes).
11 21 31 1 12 22 32 2 13 23 33 3 1 2 3 11 21 31 1 12 22 32 2 13 23 33 3 1 1 2 2 3 3

La condicin necesaria y suficiente para que un sistema de m ecuaciones lineales con n incgnitas sea compatible es que el rango de la matriz de los coeficientes de las incgnitas ( A ) sea igual al rango de la matriz ampliada con los trminos independientes ( A* ). Es decir: rango (A) = rango (A*).
Si el valor comn de los rangos coincide con el nmero de incgnitas, el sistema es compatible determinado. Si, por el contrario, el valor de los rangos es menor que el nmero de incgnitas el sistema es compatible indeterminado.

En resumen:

Si rango (A) = rango (A*) = n (nmero de incgnitas), el sistema es compatible determinado (tiene una nica solucin).
Si rango (A) = rango (A*) < n (nmero de incgnitas), el sistema es compatible indeterminado (tiene infinitas soluciones). Si rango (A) # rango (A*), el sistema es incompatible (no tiene solucin).

Un caso particular es el de los sistemas homogneos, es decir, aquellos en los que todos los trminos independientes son nulos. Pues, en este caso, las matrices A y A* son semejantes a efectos del clculo del rango, dado que la matriz A* es la matriz A a la que se le aade una columna de ceros, que podemos suprimir para calcular el rango. Por lo tanto, siempre se cumple que rango (A) = rango (A*). Esto quiere decir que todos los sistemas homogneos son siempre compatibles.

Se cumple:

Si rango (A) = n (nmero de incgnitas), el sistema es compatible determinado. Tiene una nica solucin, que se conoce con el nombre de solucin trivial. Es aquella en la que todas las incgnitas son nulas ( 0 ). Si rango (A) < n (nmero de incgnitas), el sistema es compatible indeterminado (tiene infinitas soluciones).

1.- El sistema es compatible solamente si rango [A:B] = rango [A] 2.- Si rango [A:B] = rango [A] = n (nmero de incgnitas), entonces el sistema tiene solucin nica. 3.- Si rango [A:B] = rango [A] = r < n, entonces el sistema tiene infinitas soluciones. En este caso se eligen n-r variables libres (parmetros) 4.- El sistema es incompatible solamente si rango [A:B] rango [A]