SISTEMAS DE ECUACIONES LINEALES

3.1 Introduccin
3.2 Historia de los sistemas de ecuaciones
3.3 Ecuaciones lineales y resolucin de sistemas de ecuaciones lineales
3.4 Sistemas con dos incgnitas
3.5 Sistemas n x m y sustitucin hacia atrs
3.6 Eliminacin Gaussiana y matrices.
3.7 Tipos de sistemas
3.8 Rango de una matriz e interpretacin
3.9 Mtodo de Gauss-Jordn en la resolucin de un sistema de ecuaciones
lineales.
3.10 Sistemas homogneos y no homogneos.



3.1 Introduccin

Se denominan ecuacin lineal a aquella que tiene la forma de un polinomio de primer
grado, es decir, las incgnitas ni estn elevadas a potencias, ni multiplicadas entre s, ni
en el denominador.
Por ejemplo; es una ecuacin lineal con tres incgnitas. Como es bien
sabido, las ecuaciones lineales con dos incgnitas representan una recta en el plano. Si la
ecuacin lineal tiene tres incgnitas, su representacin grfica es un plano en el espacio.
Un ejemplo de ambas representaciones puede observaciones en la figura:

Figura3.1: Representacin grfica de la recta x+ 2y = 3 en el plano y del plano x + y + z
= 1 en el espacio.

El objetivo del tema es el estudio de los sistemas de ecuaciones lineales, es decir, un
conjunto de varias ecuaciones lineales. Diremos que dos ecuaciones son equivalentes si
tienen las mismas soluciones, o geomtricamente representan la misma recta o plano.




3.2 Historia de los sistemas de ecuaciones

La primera fase, que comprende el periodo de 1700 a. de C. a 1700 d. de C., se
caracteriz por la invencin gradual de smbolos y la resolucin de ecuaciones. Dentro de
esta fase encontramos un lgebra desarrollada por los griegos (300 a. de. C), llamada
lgebra geomtrica, rica en mtodos geomtricos para resolver ecuaciones algebraicas.
La introduccin de la notacin simblica asociada a Vite (1540-1630), marca el inicio de
una nueva etapa en la cual Descartes (1596-1650) contribuye de forma importante al
desarrollo de dicha notacin. En este momento, el lgebra se convierte en la ciencia de
los clculos simblicos y de las ecuaciones. Posteriormente, Euler (1707-1783) la define
como la teora de los clculos con cantidades de distintas clases (clculos con nmeros
racionales enteros, fracciones ordinarias, races cuadradas y cbicas, progresiones y todo
tipo de ecuaciones).
Para llegar al actual proceso de resolucin de la ecuacin ax + b = c han pasado ms de
3.000 aos.
Los sistemas de ecuaciones lineales fueron ya resueltos por los babilonios, los cuales
llamaban a las incgnitas con palabras tales como longitud, anchura, rea, o volumen, sin
que tuvieran relacin con problemas de medida.
Los egipcios nos dejaron en sus papiros (cobre todo en el de Rhid -1.650 a. de C y el
Mosc -1.850 a de C.) multitud de problemas matemticos resueltos. La mayora de ellos,
son de tipo aritmtico y respondan a situaciones concretas de la vida diaria; sin embargo,
encontramos algunos que podemos clasificar como algebraicos, pues no se refiere a
ningn objeto concreto. En stos, de una forma retrica, obtenan una solucin realizando
operaciones con los datos de forma anloga a como hoy resolvemos dichas ecuaciones.
Los babilonios (el mayor nmero de documentos corresponde al periodo 600 a. de C, a
300 d. de C.) casi no le prestaron atencin a las ecuaciones lineales,, quizs por
considerarlas demasiado elementales, y trabajaron ms los sistemas de ecuaciones
lineales y las ecuaciones de segundo grado.
Los matemticos griegos no tuvieron problemas con las ecuaciones lineales, y
exceptuando a Dipophante (250 d. de C.), no se dedicaron mucho al lgebra, pues su
preocupacin era mayor por la geometra.
Los primeros documentos matemticos que existe (datan del siglo III d. de C.) son los
Sulvastras, donde se recogen todos los conocimientos necesarios para construir los
templos. Es stos aparece el siguiente problema:
Hallar el lado de un rectngulo, conociendo el otro lado y sabiendo que su rea es igual
al rea de un cuadrado dado.
Posteriormente, Brahmagupta (siglo VII) expresa, ya de forma sincopada, cmo resolver
ecuaciones lineales. La incgnita la representaba por la abreviatura ya, y las operaciones
con la primera slaba de las palabras.
Dada la ecuacin ax + b = cx + d, la solucin vendr dada dividiendo la diferencia de los
trminos conocidos entre la diferencia de los coeficientes de los desconocidos, esto es,


Estos mtodos pasaron a los rabes que los extendieron por Europa. Al algebrista Abu-
Kamil (siglo IX y X) se le atribuye una obra donde trata la solucin de ecuaciones lineales
por simple y doble falsa posicin.
Los sistemas de ecuaciones lineales fueron ya resueltos por los babilonios, los cuales
llamaban a las incgnitas con palabras tales como longitud, anchura, rea, o volumen, sin
que tuvieran relacin con problemas de medida.
Un ejemplo tomado de una tablilla babilnica plantea la resolucin de un sistema de
ecuaciones en los siguientes trminos:
1/4 anchura + longitud = 7 manos
Longitud + anchura = 10 manos
Tambin resolvan sistemas de ecuaciones, donde alguna de ellas era cuadrtica.
Los griegos tambin resolvan algunos sistemas de ecuaciones, pero uti1izando mtodos
geomtricos. Thymaridas (400 a. de C.) haba encontrado una frmula para resolver un
determinado sistema de n ecuaciones con n incgnitas.
Diophante resuelve tambin problemas en los que aparecan sistemas de ecuaciones,
pero transformndolos en una ecuacin lineal.
Los sistemas de ecuaciones aparecen tambin en los documentos indios. No obstante, no
llegan a obtener mtodos generales de resolucin, sino que resuelven tipos especiales de
ecuaciones.
El libro El arte matemtico, de autor chino desconocido (siglo III a. de C.), contiene
algunos problemas donde se resuelven ecuaciones. En ellos encontramos un esbozo del
mtodo de las matrices para resolver sistemas de ecuaciones lineales. Uno de dichos
problemas equivale a resolver un sistema de tres ecuaciones lineales por dicho mtodo
matricial.




3.3 Ecuaciones lineales y resolucin de sistemas de
ecuaciones lineales

Iniciamos este texto con la presentacin de los Sistemas de Ecuaciones Lineales, ya que
son una herramienta importante para el anlisis y el manejo de los conceptos
fundamentales del lgebra Lineal que abordaremos en los captulos posteriores.
Aprovechando el concepto intuitivo que sobre Sistemas de Ecuaciones tiene el lector,
motivaremos los conceptos de matriz y de vector de Rn como una forma de simplificar la
escritura, anlisis y solucin de los Sistemas de Ecuaciones Lineales. Posteriormente,
presentaremos una tcnica para resolverlos, haciendo nfasis en la determinacin de si
tiene o no solucin y cuando la tiene, si sta es nica o no, sin necesidad de calcularla. La
tcnica que utilizaremos, por su fcil comprensin, es la clsica eliminacin de Gauss
seguida de una sustitucin regresiva, basada en las operaciones elementales, que muy
intuitivamente se pueden ver como operaciones entre ecuaciones.
El planteamiento de Sistemas de Ecuaciones Lineales es un problema bsico e
importante de la Matemtica, al igual que el diseo de mtodos eficientes de solucin de
ellos. Ambos problemas, muy relacionados con el desarrollo del lgebra Lineal, son el
objeto de estudios de cursos como Modelamiento Matemtico, el primero, y Anlisis
Numrico, el segundo; por lo tanto, no sern tratados a profundidad en este texto.

Para empezar, recordemos qu es una ecuacin y el significado de solucin de la misma.

Definicin 1 (Ecuacin). Una ecuacin con incgnitas o variables es una
proposicin abierta que establece la igualdad entre dos expresiones matemticas que
explcitamente involucran todas, algunas o ninguna de estas variables.

Ejemplo 1.
1. La proposicin es una ecuacin con variables

2. La proposicin , considerando como
constantes reales (parmetros), es una ecuacin con variables .

3. La proposicin podemos considerarla como una ecuacin con
cualquier nmero de variables. Por ejemplo, podemos pensarla con variables
o podemos pensarla con variables


4. Igualmente, podemos considerar la proposicin , como una ecuacin
con variables

Definicin 2 (Solucin de una ecuacin). Una solucin de una ecuacin con variables
es una n-upla tal que, al sustituir cada una de las variables de la ecuacin
por las componentes respectivas de la n-upla, obtenemos una identidad (proposicin
universalmente verdadera). Al conjunto formado por todas las soluciones de una ecuacin
lo llamaremos conjunto solucin.
Ejemplo 2.
1. La tripla (1, 2, 1) es una solucin de la ecuacin, ya que al sustituir x1 por 1, x2
por 2 y x3 por 1, obtenemos 5=5. De la misma forma, la tripla (1, 0, 1) no es
solucin de esta ecuacin, ya que al sustituir x1 por 1, x2 por 0 y x3 por 1,
obtenemos 3 = 5.

2. La tripla es solucin de la ecuacin, para cualquier valor de s
y r, ya que al sustituir x por y por ( y z por 1, obtenemos


3. La Ecuacin siempre tiene solucin, independientemente de los valores de las
variables, obtendremos la identidad 2 = 2.

4. La Ecuacin no tiene solucin, ya que independientemente de los valores por los
que sustituyamos a x1, x2, x3, obtendremos la proposicin falsa 10 = 5; es decir, el
conjunto solucin de esta ecuacin es , el conjunto vaco.
En particular, en este captulo, nos ocuparemos de un tipo especial de ecuaciones, las
ecuaciones lineales.

Definicin 3 (Ecuacin lineal). Una ecuacin que se puede escribir de la forma

Es una ecuacin lineal con variables coeficientes y trmino
independiente b reales. Al primer coeficiente diferente de cero lo llamamos pivote de la
ecuacin y a la variable correspondiente, variable pivotal de la ecuacin. Cuando b = 0, a
la ecuacin la denominamos ecuacin lineal homognea. Observemos que la variable
pivotal se puede despejar en funcin de las dems variables. Notemos sin embargo que la
variable pivotal no siempre es la nica variable que se puede despejar en trmino de las
dems. Esta observacin ser de mucha importancia para la solucin de un sistema de
ecuaciones lineales.
Dada una ecuacin lineal con trmino b arbitrario, definimos la ecuacin lineal homognea
asociada a sta, como la ecuacin con las mismas variables, de coeficientes iguales y
trmino independiente b = 0.
Ejemplo 3.
La ecuacin es una ecuacin lineal con variables x, y, donde el coeficiente
de x es 2, el coeficiente de y es -1, el trmino independiente es 7, el pivote es 2, la
variable pivotal es x y la ecuacin lineal homognea asociada es


3.4 Sistemas con dos incgnitas.
Los sistemas de ecuaciones lineales con dos incgnitas tienen la particularidad de que los
puntos (x1, x2) que satisfacen cada ecuacin pueden ser visualizados como los puntos de
una recta, es decir, cada ecuacin del sistema es la ecuacin de una recta. Por eso, el
sistema y su solucin tienen una interpretacin grafica como se ilustra en el siguiente
ejemplo.
Ejemplo. Sea el siguiente sistema de 3 ecuaciones lineales en dos incgnitas:

Para resolver este sistema por el mtodo grafico se dibujan en un mismo sistema de
coordenadas, las tres rectas asociadas con las tres ecuaciones, como se ve en la
siguiente figura.


Un punto (a, b) es un punto solucin del sistema solo si satisface cada ecuacin, o lo que
es lo mismo, solo si es un punto de cada una de las rectas (cada recta pasa por (a, b)).
En nuestro ejemplo este punto es (1, 2). Cuando se tiene un sistema de m ecuaciones
lineales distintas, con dos incgnitas, se tendran las siguientes posibilidades:

1. Hay dos ecuaciones correspondientes a rectas paralelas como se ilustra en la
siguiente figura. En este caso no puede haber un mismo punto que pertenezca a
todas las rectas y decimos que el conjunto solucin del sistema es: El
grafico siguiente ilustra esta situacin, para el caso de tres ecuaciones.

2. No hay rectas paralelas pero tampoco hay un punto en que concurran todas las
rectas, como lo muestra el grafico. En este caso la solucin del sistema tambin es
el conjunto vaco:

3. Todas las rectas concurren en exactamente un punto. En este caso la solucin es
el punto de concurrencia, S = {(a, b)}, como en el grafico siguiente, para el caso de
4 ecuaciones.

4. Todas las ecuaciones corresponden a la misma recta, en cuyo caso todos los
puntos de la recta son solucin del sistema. Esto se ilustra con el siguiente
sistema:

El conjunto solucin es: {

}
Para sistemas de ecuaciones lineales con tres incgnitas, cada ecuacin en el sistema es
la ecuacin de un plano. De modo que tambin en este caso podemos dar un significado
geomtrico a la solucin.
Un sistema de ecuaciones lineales se interpreta tambin como una formulacin
matemtica de un conjunto de restricciones, una por cada ecuacin. Esto se comprende
mejor si las variables tienen un significado fsico como se ilustra en el ejemplo siguiente.

Ejemplo. En un acuario hay dos especies de peces A y B que se alimentan con dos
clases de alimentos. En la tabla siguiente se indican el consumo promedio diario de
alimento de ambas especies y la cantidad de alimento disponible por clase (columna
cuatro), en gramos.



El problema a resolver consiste en calcular la cantidad mxima de peces de cada especie
que puede vivir en el acuario. Sean

las cantidades mximas de peces de las

especies A y B respectivamente, que pueden coexistir en el acuario. El problema es
entonces calcular

. Las restricciones del problema son:

cantidad de alimento de la clase 1, consumida diariamente por la

totalidad de los peces. Es decir:

cantidad de alimento de la clase 2, consumida diariamente por la

totalidad de los peces. Es decir:

.

La solucin al problema planteado se encuentra resolviendo el siguiente sistema de
ecuaciones lineales 2x2:

De la primera ecuacin se obtiene

. Esta expresin se sustituye en la

segunda ecuacin:

y despejando

, se tiene:

. Luego:


Por lo tanto pueden coexistir diariamente 10 peces de la especie A y 5 de la especie B.

3.5 Sistemas n x m y sustitucin hacia atrs

Se dice que un conjunto de ecuaciones, cada una de las cuales restringe los valores que
pueden asumir m variables o incgnitas , representan un sistema de
ecuaciones, cuando nos interesamos por los n-etuplos ( ) que satisfacen
simultneamente todas las ecuaciones. Una ecuacin en las variables , es lineal
si es de la forma:



Donde y b son nmeros reales dados. En general, escribimos un sistema de
ecuaciones lineales como:

Definicin 1. Sistema de ecuaciones lineales n m.

Un sistema de n ecuaciones lineales y m incgnitas , se escribe en la forma:


Donde los nmeros

son conocidos. El smbolo

denota el coeficiente en la
ecuacin asociado a la variable j.

En adelante usaremos la expresin sistema nm para referirnos a un sistema de n
ecuaciones lineales con m incgnitas.

Ejemplo (1). El siguiente es un sistema 3 4, en las incgnitas



Definicin 2. Solucin de un sistema n x m.

Dado un sistema de n ecuaciones lineales con m incgnitas, se dice que el m-etuplo
( ) es una solucin del sistema, si satisface cada una de las n ecuaciones. Y
al conjunto S de todas las soluciones del sistema, se le llama conjunto solucin del
sistema.

Ejemplo. Verifique que (1, 4, 0, 2) es una solucin del sistema en el ejemplo 1.

Claramente se tiene que:



S = {(1, 4, 0, 2)} ser el conjunto solucin del sistema? Si es as, la solucin anterior
sera la nica solucin. Sin embargo, todava no hemos planteado los resultados
necesarios para poder responder.


SUSTITUCIN HACIA ATRS
Algunos sistemas de ecuaciones lineales tienen una forma especial que permite
resolverlos fcilmente. El mtodo para hacerlo es conocido como sustitucin hacia atrs
y se introduce con el siguiente ejemplo:


Dada la forma de este sistema, de la ultima ecuacin se obtiene el valor para la variable

Este valor se sustituye en las restantes ecuaciones, lo que permite, a partir de la ecuacin
3, determinar el valor de la variable

:



De nuevo el valor de la variable

se sustituye en las restantes ecuaciones y se obtiene

de la ecuacin 2 que:



Finalmente, conociendo los valores de

, de la ecuacin 1 se tiene que:

As (

) = (3, 8, 4, 2) es una solucin del sistema.

Al reconocer la forma de aquellos sistemas que se resuelven fcilmente, para resolver un
sistema cualquiera, el mtodo de reduccin gaussiana se ocupa de transformarlo en uno
de este tipo. Sin embargo, claramente, esta transformacin debe hacerse de forma que no
se cambie el conjunto solucin.
3.6 Eliminacin Gaussiana y matrices.
Nota: En lo que sigue consideraremos fijado un cuerpo k de coeficientes. En el texto nos
referiremos a los elementos del cuerpo como nmeros o escalares. El lector bien puede
pensar que k es el cuerpo de los numeros racionales, de los reales o incluso de los
complejos. Aunque debe tener en cuenta que todo lo dicho sobre sistemas de ecuaciones
lineales y matrices es cierto en general para cualquier cuerpo k.
Definicin. Sea un numero natural. Una ecuacin lineal es una expresin dela
forma

,
Donde

y son nmeros conocidos y

son incgnitas. Los nmeros

se denominan coeficientes de la ecuacin, mientras que es el trmino independiente.

Una solucin de la ecuacin lineal anterior es una serie de nmeros

que la
satisfacen, es decir, que verifican:

Definicin 2. Sean nmeros naturales. Un sistema lineal es un conjunto de
m ecuaciones lineales y n incgnitas de la forma:

Donde las

son las incgnitas y los

son numeros. Los nmeros

se denominan
coeficientes del sistema, y el conjunto de los

trminos independientes del sistema.

Una solucin del sistema lineal anterior es una serie de nmeros

que
satisface cada ecuacin del sistema, es decir, que verifica:

Para



SISTEMAS EQUIVALENTES

Dos sistemas de ecuaciones lineales con m incgnitas son equivalentes si tienen el
mismo conjunto solucin.

De esta definicin se tiene que si un sistema de ecuaciones lineales es el resultado de
aplicarle operaciones elementales a otro, ambos sistemas son equivalentes.

El mtodo de reduccin gaussiana permite resolver sistemas de ecuaciones lineales,
explotando la idea de equivalencia. Es decir, transformando el sistema mediante
operaciones elementales, hasta obtener uno cuya forma permite resolverlo mediante
sustitucin hacia atrs.

Ejemplo. Aplicando la siguiente secuencia de operaciones elementales al sistema del
ejemplo (1) se obtienen los siguientes sistemas equivalentes:

Intercambiando de posicin las ecuaciones 1 y 3 se obtiene:



Multiplicando la primera ecuacin por 2 y sumndola a la segunda:



Multiplicando por

la segunda ecuacin tenemos:

Multiplicando la segunda ecuacin por (-2) y sumndola a la tercera, nos da:



Este ltimo sistema es equivalente al inicial (tiene el mismo conjunto solucin) y su
solucin se puede obtener mediante sustitucin hacia atrs, en la siguiente forma:

De la ltima ecuacin se tiene que

De la segunda ecuacin:


Observe que en este caso no se conoce el valor de

, por lo tanto el valor de

se hace
depender del de

.

Y de la primera ecuacin:

En resumen:

Se observa que tanto el valor de

como el de

dependen de

, esto es, se puede dar

un valor arbitrario a

, lo cual se indica asignndole cualquier nmero t,

. As,

y en todos los casos

. Luego se dice que la solucin del

sistema depende de un parmetro t y es dada por:



MATRIZ DEL SISTEMA Y MATRIZ AUMENTADA




3.7 Tipos de sistemas

Seguidamente se dar una caracterizacin de los sistemas de ecuaciones lineales con
solucin nica, infinito nmero de soluciones o sin solucin.


- Sin solucin


El problema de decidir si un sistema de ecuaciones lineales tiene solucin o no, es el
problema de reconocer si tiene ecuaciones inconsistentes o no. Y esto se reconoce
fcilmente cuando el sistema tiene la forma escalonada y se observa al menos una
ecuacin de la forma:



Tambin resulta fcil de reconocer que hay ecuaciones inconsistentes, en un sistema en
su forma inicial, cuando dos de ellas tienen iguales coeficientes asociados a las mismas
variables y la constante a la derecha es distinta, por ejemplo, las ecuaciones 2 y 4 del
sistema siguiente:



Obtenga la forma escalonada de este sistema y verifique que en esta forma escalonada
aparece una ecuacin inconsistente, o sea, el sistema no tiene solucin.


- Con solucin


Un sistema con solucin se dice que es consistente y, naturalmente, es un
sistema que no tiene ecuaciones inconsistentes. La ausencia de ecuaciones
inconsistentes se refleja en que:

La forma escalonada de la matriz del sistema A y la forma escalonada de la matriz
aumentada (A|b) tienen el mismo nmero de filas no nulas.

Y esto es equivalente a establecer que:



Por ejemplo, los siguientes esquemas de matrices, que utilizan un * para indicar que en
esa posicin puede aparecer cualquier nmero real, corresponden a matrices aumentadas
de sistemas consistentes.



En el sistema asociado a matriz de la izquierda:


Y para el de la derecha:


- Con solucin nica

Un sistema , , tiene solucin nica, si adems de la condicin anterior, el
sistema en la forma escalonada tiene tantas ecuaciones no superfluas, como variables. O
lo que es lo mismo:
- En cada columna de la forma escalonada de la matriz del sistema, hay un primer
uno de alguna fila.
- El nmero de filas no nulas en la matriz del sistema en su forma escalonada es
igual a m, el nmero de variables del sistema.
- Rng (A) = Rng (A|b) = m.
Los siguientes esquemas de matrices corresponden a sistemas con solucin nica.



- Con infinito nmero de soluciones

Finalmente, un sistema , , tiene un nmero infinito de soluciones si adems
de tener solucin, el nmero de filas no nulas de la forma escalonada de la matriz del
sistema es menor que m, el nmero de variables. Lo que es equivalente a establecer que:

Esto significa que hay columnas, en la forma escalonada de la matriz del sistema, que no
contienen algn primer uno. El nmero de estas columnas corresponde al nmero de
parmetros con que se describe el conjunto solucin del sistema y es igual a m Rng (A).
Por ejemplo, para los sistemas de ecuaciones , cuyas matrices aumentadas, en la
forma escalonada reducida, son:

Se tiene, en el primer caso, que:

Luego el sistema tiene infinitas soluciones que dependen de 4 Rng (A) = 1 parmetro. A
partir del sistema que representa la forma escalonada reducida, obtenemos su conjunto
solucin:


A la variable

se asigna un valor arbitrario , decimos que es un parmetro, de

manera que el conjunto solucin del sistema es:



Para el sistema representado por la matriz de la derecha:



Luego tiene infinitas soluciones que dependen de 4 Rng (A) = 2 parmetros. La solucin
es dada por:

De manera que asignando a

un valor arbitrario , y a

otro valor arbitrario , se

obtiene el conjunto solucin del sistema:


El siguiente teorema resume, los anteriores resultados.

Teorema. Si es un sistema de ecuaciones lineales n m y (A|b) su matriz
aumentada, entonces:
1) Si Rng (A) < Rng (A|b) el sistema no tiene solucin (el sistema es inconsistente).
2) Si Rng (A) = Rng (A|b) el sistema es consistente (tiene solucin), en este caso:
- Si Rng (A) = Rng (A|b) = m el sistema tiene solucin nica.
- Si Rng (A) = Rng (A|b) < m el sistema tiene infinitas soluciones que dependen de
(m Rng (A)) parmetros.
Algunos casos particulares, de las caracterizaciones de los sistemas de ecuaciones
lineales dadas, merecen especial atencin.


3.8 Rango de una matriz e interpretacin

Sea A una matriz, l se llama rango de A y se denota Rng (A) al nmero de filas no
nulas de la matriz en la forma escalonada reducida equivalente a A.

As para determinar el rango de una matriz A es necesario calcular su forma escalonada
reducida, sin embargo, observe que cualquier matriz escalonada equivalente a A tiene el
mismo nmero de filas no nulas que la escalonada reducida. Esto porque la escalonada
reducida se obtiene de la escalonada aplicando ms operaciones, las cuales no modifican
el nmero de filas no nulas.

Ejemplo. Se observ que las matrices B y C son equivalentes:



Y como C es escalonada reducida (es suficiente con que sea escalonada) y tiene dos filas
no nulas, entonces:



Recordemos que la matriz B es la matriz aumentada del sistema 4 3. Entonces el
rango de B informa que el sistema se puede reducir a uno de dos ecuaciones sin perder
informacin, o sea que las restantes 4 Rng (B) = 2 son ecuaciones superfluas.



Consideremos una matriz A cualquiera , y el sistema homogneo .
Observemos que:

1) Cada ecuacin que produzca un primer uno, en la forma escalonada de la matriz del
sistema, es una ecuacin que aporta informacin para resolver el sistema ,
que no est contemplada en las otras ecuaciones.

2) En tanto que una ecuacin que termine como una fila de ceros en la escalonada
reducida equivalente a A, es una ecuacin que puede omitirse del sistema sin
que se pierda nada, es una ecuacin redundante o superflua.

3) Por otra parte Rng (A) es el nmero de filas no nulas de la escalonada reducida
equivalente a A, o sea, el nmero de primeros 1 de cualquier matriz escalonada
equivalente A.
As, el Rng (A) informa del nmero de ecuaciones que realmente aportan informacin
para resolver el sistema homogneo , o en otros terminos, El Rng (A) es:
El mximo nmero de ecuaciones del sistema que no incluyen
ecuaciones redundantes.
El mnimo nmero de ecuaciones que se deben preservar en el sistema
para obtener un sistema equivalente.


3.9 Mtodo de Gauss-Jordn en la resolucin de un
sistema de ecuaciones lineales

En esta seccin introducimos una variante de la eliminacin Gaussiana, conocida como
mtodo de Gauss-Jordn. Aunque hay confusin con respecto al nombre, este mtodo
fue usado por Wilhelm Jordn (1842-1899), profesor de geodesia alemn, y no por
Camille Jordn (1838-1922), matemtico francs de quien hablaremos ms adelante.
Las caractersticas que distinguen el mtodo de Gauss-Jordn de la eliminacin
Gaussiana son los siguientes:

En cada paso, el elemento pivote tiene que ser 1.
En cada paso, todos los trminos por encima del pivote as como todos los que
estn por debajo deben ser anulados.

En otras palabras, si:


Es la matriz ampliada del sistema, entonces mediante operaciones elementales la
reducimos a:


La solucin aparece en la ltima columna (xi = si), por lo que no es necesaria la
sustitucin hacia atrs.

Ejemplo. Apliquemos Gauss-Jordn al siguiente sistema:


Sea la matriz ampliada del sistema. La sucesin de operaciones se indican en cada
paso, y se marca el pivote.


Por tanto, la solucin es x1 = 0, x2 = 1, x3 = 1.

3.10 Sistemas homogneos y no homogneos

Definicin. Un sistema de m ecuaciones y n incgnitas



En el que el lado derecho contiene nicamente ceros se denomina homogneo. Si al
menos uno de los coeficientes de la derecha es no nulo, decimos que es no homogneo.
En esta seccin vamos a examinar algunas de las propiedades ms elementales de los
sistemas homogneos. La compatibilidad nunca es un problema con un sistema
homogneo, pues siempre es una solucin del sistema,
independientemente de los coeficientes.
Esta solucin de denomina solucin trivial. La pregunta es si hay otras soluciones adems
de la trivial, y como podemos describirlas. Como antes, la eliminacin Gaussiana nos dar
la respuesta. Mientras reducimos la matriz ampliada [A|0] de un sistema homogneo a
una forma escalonada mediante la eliminacin Gaussiana, la columna de ceros de la
derecha no se ve alterada por ninguna de las operaciones elementales. As, cualquier
forma escalonada derivada de [A|0] tendr la forma | Esto significa que la columna
de ceros puede ser eliminada a la hora de efectuar los clculos. Simplemente reducimos
la matriz A a una forma escalonada E, y recordamos que el lado derecho es cero cuando
procedamos a la sustitucin hacia atrs. El proceso se comprende mejor con un ejemplo.

Vamos a examinar las soluciones del sistema homogneo

Reducimos la matriz de coeficientes a una forma escalonada por filas:

Entonces, el sistema homogneo inicial es equivalente al sistema homogneo

Como hay cuatro incgnitas, y solamente dos ecuaciones, es imposible extraer una
solucin nica para cada incgnita. Lo mejor que podemos hacer es elegir dos incgnitas
bsicas, que llamaremos variables bsicas, y resolver el sistema en funcin de las otras
dos, que llamaremos variables libres. Aunque hay distintas posibilidades para escoger las
variables bsicas, el convenio es siempre resolver las incgnitas que se encuentran en las
posiciones pivote.
En este ejemplo, los pivotes, as como las columnas bsicas, estn en la primera y tercera
posicin, as que la estrategia es aplicar sustitucin hacia atrs en la resolucin del
sistema, y expresar las variables bsicas x1 y x3 en funcin de las variables libres x2 y x4.
La segunda ecuacin nos da:

Y la sustitucin hacia atrs produce:

Las soluciones al sistema homogneo original pueden ser descritas como:

Como las variables libres x2 y x4 pueden tomar todos los valores posibles, las
expresiones anteriores describen todas las soluciones. Mejor que describir las soluciones
de esta forma, es ms conveniente expresarlas como:

Entendiendo que x2 y x4 son variables libres que pueden tomar cualquier valor. Esta
representacin se denominar solucin general del sistema homogneo. Esta expresin
de la solucin general enfatiza que cada solucin es combinacin lineal de las dos
soluciones

Consideremos ahora un sistema homogneo general [A|0] de m ecuaciones y n
incgnitas. Si la matriz de coeficientes A es de rango r, entonces, por lo que hemos visto
antes, habr r variables bsicas, correspondientes a las posiciones de las columnas
bsicas de A, y n r variables libres, que se corresponden con las columnas no bsicas
de A. Mediante la reduccin de A a una forma escalonada por filas por eliminacion
Gaussiana y sustitucion hacia atras, expresamos las variables basicas en funcion de
las variables libres y obtenemos la solucion general, de la forma:

Donde

son las variables libres, y

son vectores columna

que representan soluciones particulares. Si calculamos la forma escalonada reducida por
filas del ejemplo, nos queda:


Y el sistema a resolver es



Si resolvemos x1 y x3 en funcin de x2 y x4 nos queda el mismo resultado que antes. Por
ello, y para evitar la sustitucin hacia atrs, puede resultar ms conveniente usar Gauss-
Jordn para calcular la forma escalonada reducida por filas EA y construir directamente la
solucin general a partir de las entradas de EA. Una ltima pregunta que nos planteamos
es cuando la solucin trivial de un sistema homogneo es la nica solucin. Lo anterior
nos muestra la respuesta. Si hay al menos una variable libre, entonces el sistema tendr
infinitas soluciones. Por tanto, la solucin trivial ser a la nica solucin si y solamente si
no hay variables libres, esto es, n r = 0.


Podemos reformular esto diciendo:

Proposicin. Un sistema homogneo de matriz A tiene nicamente la solucin Trivial si y
solamente si rango(A) = n.

Ejemplo. El sistema homogneo:

Tiene solamente la solucin trivial porque

Prueba que rango(A) = 3 = n. Se ve fcilmente que la aplicacin de la sustitucin hacia
atrs desde [E|0] nicamente devuelve la solucin trivial.
Ejemplo. Calculemos la solucin general del sistema:

Se tiene que:

De donde rango(A) = 2 < n = 3. Como las columnas bsicas estn en las posiciones uno y
dos, x1 y x2 son las variables bsicas, y x3 es libre. Mediante sustitucin hacia atrs en
[E|0], nos queda x2 = 3x3 y x1 = 2x2 2x3 = 4x3, y la solucin general es:



SISTEMAS NO HOMOGNEOS

Recordemos que un sistema de m ecuaciones y n incgnitas

Es no homogneo cuando

para algn . A diferencia de los sistemas homogneos,

los no homogneos pueden ser incompatibles y las tcnicas que conocemos las
aplicaremos para saber si una solucin existe. A menos que se diga lo contrario,
suponemos que los sistemas de esta seccin son compatibles.
Para describir el conjunto de todas las posibles soluciones de un sistema no homogneo
compatible, vamos a construir una solucin general de la misma forma que hicimos para
los homogneos.
Usaremos eliminacin Gaussiana para reducir la matriz ampliada [A|b] a una
forma escalonada por filas [E|c].
Identificaremos las variables bsicas y las libres.
Aplicaremos sustitucin hacia atrs a [E|c] y resolveremos las variables bsicas en
funcin de las libres.
Escribiremos el resultado en la forma:


Donde xf1, xf2 , . . . , xfnr son las variables libres, y p, h1, h2, . . . , hnr son
vectores columna de orden n tales que p es una solucin particular del sistema de
matriz [A|b] y

es la solucin general del sistema

homogneo de matriz [A|0]. Esta ser a la solucin general del sistema no
homogneo.

Como las variables libres xfi recorren todos los posibles valores, la solucin general
genera todas las posibles soluciones del sistema [A|b]. Como en el caso homogneo,
podemos reducir completamente [A|b] a E
[A|b]
mediante Gauss-Jordn, y evitamos la
sustitucin hacia atrs.
Ejemplo. La diferencia entre la solucin general de un sistema no homogneo y la de uno
homogneo es la columna P que aparece. Para entender de donde viene, consideremos
el sistema no homogneo.



En el que la matriz de coeficientes es la misma que la matriz de coeficientes de (1.7.1). Si
[A|b] se reduce por Gauss-Jordn a E[A|b], tenemos

Nos queda el sistema equivalente

Resolvemos las variables bsicas, x1 y x3, en funcin de las libres, x2 y x4. Nos queda:

La solucin general se sigue escribiendo estas ecuaciones en la forma:

La columna:


Que aparece en (1) es una solucin particular del sistema no homogneo; se tiene
cuando x2 = 0, x4 = 0. Adems, la solucin general del sistema homogneo:


(1)
(1.2)
Es:

As, la solucin general del sistema homogneo (1.2) es una parte de la solucin general
del sistema no homogneo original (1). Estas dos observaciones se pueden combinar
diciendo que:

Teorema (1). La solucin general del sistema no homogneo viene dado por una solucin
particular ms la solucin general del sistema homogneo asociado.

Prueba: Supongamos que [A|b] representa un sistema m n compatible, donde rango(A)
=r. La compatibilidad garantiza que b no es una columna bsica de [A|b], por lo que las
columnas bsicas de [A|b] estn en la misma posicin que las columnas bsicas de [A|0].
Esto significa que el sistema no homogneo y el sistema homogneo asociado tienen
exactamente el mismo conjunto de variables bsicas as como de libres. Adems, no es
difcil ver que


Donde c es una columna de la forma:


Esto significa que si resolvemos la -sima ecuacin en el sistema homogneo reducido
para la -sima variable bsica

en funcin de las variables libres

para
dar:


Entonces la solucin de la -sima variable bsica en el sistema no homogneo reducido
debe tener la forma:


Esto es, las dos soluciones se diferencian nicamente en la presencia de la constante

en la ltima. Si organizamos como columnas las expresiones anteriores, podemos decir

que si la solucin general del sistema homogneo es de la forma:



Entonces la solucin general del sistema no homogneo tiene la forma similar:



Donde la columna p contiene las constantes

junto con ceros.