Introducción
En esta entrada daremos un repaso a la teoría de sistemas de ecuaciones lineales. En caso de que quieras leer una versión detallada, puedes comenzar con la entrada de Sistemas de ecuaciones lineales y sistemas homogéneos asociados que forma parte del curso Álgebra Lineal I aquí en el blog.
Nuestra motivación para este repaso comienza como sigue. Supongamos que
Sistemas de ecuaciones lineales
Continuando con la situación planteada en la introducción, si
Pensemos también que
Al realizar las operaciones, la igualdad
Definición. Un sistema de
Resolver el sistema
Definición. Diremos que dos sistemas de ecuaciones son equivalentes si tienen las mismas soluciones.
Un resultado importante que relaciona a los sistemas de ecuaciones con las operaciones elementales que discutimos con anterioridad es el siguiente.
Proposición. Sea
En otras palabras, si comenzamos con un sistema de ecuaciones
Demostración. Consideremos el rescalamiento
Entonces la ecuación matricial
Tomemos una solución del sistema:
La ecuación matricial
Ahora, de cada una de las
Soluciones a sistemas de ecuaciones lineales
La teoría de sistemas de ecuaciones lineales nos dice que tenemos tres posibles situaciones que se pueden presentar cuando estamos resolviendo un sistema de ecuaciones lineales en
Haremos una discusión de cuándo se presenta cada caso. De acuerdo con la sección anterior, cualquier operación elemental pasa un sistema de ecuaciones a uno equivalente. Además, de acuerdo con el teorema de reducción gaussiana, cualquier matriz puede ser llevada a la forma escalonada reducida. Así, al aplicar tanto a
- Sin solución. El sistema
no tiene solución si en hay una igualdad lineal del estilo , con . En otras palabras, si en hay una fila de ceros y la entrada es distinta de cero. - Infinidad de soluciones. El sistema
tiene una infinidad de soluciones si tiene solución, y además hay por lo menos una columna de en la que no haya pivote de ninguna fila. Esta columna corresponde a una variable libre que puede tomar cualquier valor, y el sistema tiene soluciones sin importar el valor que se le de a esta variable. - Solución única. Un sistema de ecuaciones con solución, pero sin variables libres tiene una única solución. Esto se puede leer en la matriz
, pues se necesita que todas las columnas tengan un pivote de alguna fila.
Pensemos un poco a qué se deben los comportamientos anteriores. Pensemos en que ya llegamos a
Matrices equivalentes por filas
Definición. Consideremos
Definición. Sean
Se puede demostrar que «ser equivalente por filas» es una relación de equivalencia en
Para realizar la demostración, quizás quieras auxiliarte de la siguiente observación. Tomemos una matriz
Tomemos ahora una matriz
El siguiente teorema nos da una manera alternativa de saber si dos matrices son equivalentes por filas.
Teorema. Sean
Demostración. Por la discusión anterior, si
¿Qué sucede con los determinantes y las operaciones elementales? La siguiente proposición lo resume.
Proposición. Sea
- Si se intercambian dos filas, el determinante se vuelve
. - Si se reescala una fila por un real
, el determinante se vuelve . - Si se hace una transvección, el determinante no cambia.
Observa que, en particular, si
Matrices invertibles y sistemas de ecuaciones lineales
En muchas ocasiones nos encontramos en cálculo de varias variables con funciones que van de
Definición. Una matriz
Se puede demostrar que, cuando existe, la matriz izquierda (o derecha) es única. Esto es sencillo. Se puede demostrar también que si
Proposición. Sean
- Si
es invertible, también lo es y . - Si
y son invertibles, también lo es y .
Demostración. El inciso 1 es claro; para el inciso 2 tenemos
Veamos ahora cómo se conecta la noción de invertibilidad con la de matrices elementales. Como parte de la tarea moral, cerciórate de que cualquiera de las tres operaciones elementales para matrices son invertibles. Es decir, para cada operación elemental, piensa en otra operación elemental que aplicada sucesivamente a la primera nos de la matriz original. Con más detalle; si denotamos con
Proposición. Toda matriz elemental es invertible.
Demostración. Supongamos que
El resultado anterior habla sólo de la invertibilidad de matrices elementales, pero podemos usar a estas para caracterizar a las matrices invertibles.
Teorema. Sea
es invertible es equivalente por filas a la matriz identidad es producto de matrices elementales
Demostración.
Ya que entendemos mejor la invertibilidad, la podemos conectar también con la existencia y unicidad de soluciones en sistemas de ecuaciones lineales.
Teorema. Sea
es invertible.- Para todo
, el sistema tiene exactamente una solución . - Para todo
, el sistema tiene al menos una solución .
Demostración.
En la demostración anterior falta un detalle importante. ¿Puedes encontrar cuál es? Está en la demostración
Terminamos la teoría de esta entrada con un resultado que conecta invertibilidad y determinantes.
Proposición. Sea
Demostración. Si
Si
Mas adelante…
Continuaremos estableciendo herramientas de Álgebra lineal que usaremos en el desarrollo de los temas subsiguientes. En la siguiente entrada hablaremos de eigenvalores y eigenvectores. Con ellos, expondremos un método que proporciona una representación matricial sencilla simple para cierto tipos de transformaciones lineales.
Tarea moral
- Demuestra que la relación «es equivalente por filas» es una relación de equivalencia en
. - Sea
. Verifica que para cualquier operación elemental de cualquiera de los tres tipos se cumple que es equivalente a . Deberás ver que cualquier solución de uno es solución del otro y viceversa. - Demuestra que si
es invertible, también lo es y que . Verifica la invertibilidad izquierda y derecha. - Demuestra que cualquiera de las tres operaciones elementales para matrices son invertibles. Es decir, para cada operación elemental, hay otra que al aplicarla sucesivamente nos regresa a la matriz original.
- Prueba que una matriz invertible tiene por lo menos un elemento distinto de cero en cada fila, y por lo menos un elemento distinto de cero en cada columna.
Entradas relacionadas
- Ir a Cálculo Diferencial e Integral III
- Entrada anterior del curso: Determinantes
- Entrada siguiente del curso: Representaciones matriciales, eigenvalores y eigenvectores