Introducción
Ya usamos el algoritmo de reducción gaussiana para estudiar sistemas de ecuaciones homogéneos. En esta entrada aplicamos lo que hemos aprendido de este método para resolver sistemas de ecuaciones no homogéneos.
Para hacer esto, adaptaremos la técnica para sistemas homogéneos (que en realidad, no es muy diferente) y la usamos para probar un resultado muy importante, llamado el teorema de existencia y unicidad. Damos unos cuantos ejemplos y concluimos con la prometida demostración de la unicidad de la forma escalonada reducida.
Adaptando el vocabulario
Consideramos un sistema lineal con
y
, con variables
que son las coordenadas de
. Para resolver el sistema consideramos la matriz aumentada
obtenida de
al añadir al vector
como columna hasta la derecha.
Ejemplo. Si
entonces
Las operaciones elementales del sistema se traducen entonces en operaciones elementales en la matriz aumentada, por lo que para resolver el sistema podemos primero llevar a la matriz aumentada a su forma escalonada y reducida y después resolver el sistema más sencillo. Esto lo podríamos hacer siempre y cuando al realizar operaciones elementales en la matriz aumentada no se modifique el conjunto de soluciones del sistema. Esto lo garantiza la siguiente proposición.
Proposición. Sea el sistema lineal . Supongamos que la matriz
se obtiene a partir de la matriz
realizando una sucesión finita de operaciones elementales. Entonces los sistemas
y
son equivalentes, es decir, tienen el mismo conjunto de soluciones.
Demostración: Como ya hemos visto anteriormente, realizar operaciones elementales en es equivalente a realizar operaciones elementales en las ecuaciones del sistema
, pero ya sabemos que estas no alteran el conjunto de soluciones, pues son reversibles (es decir, podemos siempre deshacer los cambios).
El teorema de existencia y unicidad
Llegamos ahora a otro resultado clave de nuestro estudio de ecuaciones. Es una caracterización que responde a nuestras preguntas: ¿Hay soluciones? ¿Son únicas? Además, nos puede sugerir cómo encontrarlas.
Teorema. (De existencia y unicidad) Supongamos que la matriz ha sido llevada a su forma escalonada reducida
por operaciones elementales.
- (Existencia de soluciones) El sistema
es consistente si y sólo si
no tiene ningún pivote (de filas) en su última columna.
- (Unicidad de soluciones) Si el sistema es consistente, entonces tiene una única solución si y sólo si
tiene pivotes (de filas) en cada columna.
Demostración:
- Supongamos que
tiene un pivote en su última columna. Debemos ver que el sistema
no tiene solución. Para esto, basta ver que el sistema
no tiene solución, pues es un sistema equivalente.
Si el pivote aparece en el-ésimo renglón entonces este es de la forma
, pues recordemos que los pivotes son iguales a
en la forma escalonada reducida. Entonces entre las ecuaciones del sistema
tenemos una de la forma
, que no tiene solución alguna. Así el sistema
no es consistente, y por tanto
tampoco lo es.
Conversamente, supongamos queno tiene un pivote en su última columna. Digamos que
tiene pivotes en las columnas
y sean
las correspondientes variables pivote y todas las demás variables son libres. Dando el valor cero a todas las variables libres obtenemos un sistema en las variables
. Este sistema es triangular superior y se puede resolver empezando por la última ecuación, encontrando
, luego
y así sucesivamente. Así encontramos una solución, por lo que el sistema es consistente. Esta solución encontrada también es una solución a
, pues es un sistema equivalente.
- Como le podemos dar cualquier valor escalar a las variables libres, el argumento del párrafo anterior nos dice que la solución es única si y sólo si no tenemos variables libres, pero esto pasa si y sólo si los pivotes llegan hasta la última columna de
.
Ten cuidado. En la primer parte, la condición se verifica con . En la segunda parte, la condición se verifica con
.
Encontrando y contando soluciones
Por simplicidad, asumamos que , es decir que nuestro campo de coeficientes del sistema
es el de los números reales. Procedemos como sigue para encontrar el número de soluciones del sistema:
- Consideramos la matriz aumentada
.
- Llevamos esta matriz a su forma escalonada reducida
.
- Si esta matriz tiene un renglón de la forma
, entonces el sistema es inconsistente.
- Si no tiene ningún renglón de esa forma, vemos si todas las columnas de
tienen al pivote de alguna fila:
- Si en efecto todas tienen pivote, entonces el sistema tiene una única solución.
- Si no todas tienen pivote, entonces nuestro sistema tiene una infinidad de soluciones.
En el caso en el que hay una o una infinidad de soluciones, además podemos decir exactamente cómo se ven esas soluciones:
- Haciendo las variables libres iguales a cero (si es que hay), obtenemos una solución
al sistema
.
- Usamos reducción gaussiana para encontrar todas las soluciones al sistema homogéneo
.
- Finalmente, usamos el principio de superposición. Todas las soluciones a
son de la forma
más una solución a
.
Problema. Consideremos la matriz
Dado , encuentra condiciones necesarias y suficientes en términos de las coordenadas de
para que el sistema
sea consistente.
Solución: Dado con coordenadas
y
, la matriz aumentada es
Para obtener su forma escalonada reducida sustraemos dos veces el primer renglón del tercero y luego dos veces el segundo del primero, obteniendo así:
Por el teorema anterior, el sistema es consistente si y sólo si esta matriz no tiene pivotes en la última columna, es decir, necesitamos que la entrada de hasta abajo a la derecha sea cero. Así, el sistema es consistente si y sólo si
o, dicho de otra manera, si y sólo si
.
Unicidad de la forma escalonada reducida
Concluimos esta entrada con una demostración de la unicidad de la forma escalonada reducida, usando que si dos matrices y
que difieren por una sucesión finita de operaciones elementales entonces los sistemas
y
son equivalentes. La demostración que presentamos (corta y elegante) se debe a Thomas Yuster, publicada en el año 1983.
Teorema. La forma escalonada reducida es única.
Demostración: Procedemos por inducción sobre , el número de columnas de
. El resultado es claro para
, pues solo tenemos una columna cero o una columna con un
hasta arriba. Supongamos pues que el resultado se cumple para
, y demostremos que se cumple para
. Sea
y sea
la matriz que se obtiene al quitarle la
-ésima columna.
Supongamos que y
son ambas matrices distintas en forma escalonada reducida obtenidas de
. Dado que una sucesión de operaciones elementales que llevan a
a una forma escalonada reducida también llevan a
a una forma escalonada reducida (si a una matriz escalonada reducida le cortamos una columna, sigue siendo escalonada reducida), podemos aplicar la hipótesis de inducción y concluir que si
y
son distintas entonces difieren en la columna que quitamos y solo en esa.
Sea tal que
(por nuestra discusión previa, existe esta entrada, ya que asumimos que
). Si
es un vector tal que
entonces
, ya que
y
son matrices equivalentes. Luego
. Como
y
difieren solo en la última columna, la
-ésima ecuación del sistema se lee
, pues los coeficientes previos son cero. Así,
siempre que
o
. Se sigue que
no es una variable libre para
y
, por lo que ambas tienen un pivote en la última columna. Como ambas están en forma escalonada reducida, entonces la última columna tiene necesariamente un
en la entrada de hasta abajo y puros ceros en otras entradas, es decir,
y
tienen la misma última columna, una contradicción a nuestras suposiciones.
Se sigue que entonces y queda probado por contradicción el paso inductivo, lo que prueba el teorema.
Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
- Determina cuántas soluciones tiene el sistema
con
- Si
tiene estrictamente más renglones que columnas y
es un vector que no tiene ninguna entrada cero, ¿puede el sistema
ser consistente?
- Si
tiene estrictamente más columnas que renglones, ¿puede el sistema
tener una única solución?
- Si
es una matriz diagonal, ¿que puedes decir de la consistencia y la unicidad de soluciones del sistema
?
Más adelante…
El método que describimos en esta entrada es muy flexible y poderoso. Permite resolver sistemas de ecuaciones de la forma de manera metódica. Esto no quiere decir que ya entendamos todo lo que hay que saber de sistemas lineales. Una vez que hayamos introducido los conceptos de espacio vectorial y subespacio, podremos describir con más precisión cómo son las soluciones a un sistema lineal. Además, más adelante, veremos otras formas en las que se pueden resolver sistemas de ecuaciones usando determinantes. En particular, veremos la regla de Cramer.
Por ahora, nos enfocaremos en una aplicación más de la reducción gaussiana: encontrar inversas de matrices. Veremos esto en la siguiente entrada.
Entradas relacionadas
- Ir a Álgebra Lineal I
- Entrada anterior del curso: Más ejemplos de reducción gaussiana
- Siguiente entrada del curso: Determinar la inversa de una matriz