Вы находитесь на странице: 1из 21

Sistemas de Ecuaciones Lineales(SEL) I.1 Introduccin a los SEL. Una ecuacin lineal se simboliza generalmente de la forma: a1 x1 + a2 x2 + ...

+ an xn = b (1)

La ecuacin simbolizada tiene n variables: x1, x2, ..., xn, n coeficientes: a1, a2, ..., an que no pueden ser todos nulos, y un trmino independiente: b. Decimos que una particular n-upla de nmeros x1, x2, ..., xn es solucin de la ecuacin si para estos valores se satisface la igualdad simbolizada en (1). Repase y reflexione: Hemos dicho como se simboliza una ecuacin, hemos definido variables, coeficientes, trmino independiente, solucin de una ecuacin, pero no hemos dicho qu cosa es una ecuacin, como se define una ecuacin. En Lgica Matemtica estudiamos las funciones proposicionales: son funciones que a cada elemento del dominio le asignan una proposicin matemtica, que puede ser verdadera o falsa. Definicin de Ecuacin: Sea f una funcin de A en B, que simbolizamos: f:A->B y=f(x), con (x,y) AxB.

Cuando se dice A x B, se est hablando de un producto cartesiano de dos conjuntos, el cual es el conjunto cuyos elementos son todos los pares ordenados cuya primera componente pertenece a A y la segunda a B. En smbolos: AxB={(a,b)/ a A b B} Sea g una funcin de A' en B, que simbolizamos: g:A'->B y=g(x), con (x,y) A'xB.

Sea CP el conjunto de proposiciones: CP={ "f(x)=g(x)" / x A A' } La ecuacin simbolizada por f(x)=g(x) es la funcin proposicional:

F:A A'->CP

F(x)="f(x)=g(x)".

A A' es el Dominio de la Ecuacin. El Conjunto Solucin de la Ecuacin es: S={ x A A' / "f(x)=g(x)" es Verdadera }

Observacin: Si A A'= , entonces la ecuacin no tiene solucin. La recproca no es necesariamente cierta. En el caso de una ecuacin lineal general, simbolizado en (1), tenemos que f(x1,x2,...,xn)=a1 x1 + a2 x2 + ... + an xn, y g(x1,x2,...,xn)=b, ambas con dominio Rn y codominio R. Por lo tanto (1) siempre tiene dominio Rn, y el conjunto de n soluciones S, es un subconjunto de R .

Definicin de Sistema de Ecuaciones Lineales(SEL) Si f:R ->R , Y=f(X) con yi= ai,j xj i=1, ..., m,
n m

j= 1

con algn ai,j distinto de 0, y g:Rn->Rm, Y=g(X) con yi =bi i=1, ..., m,

definimos sistema de m ecuaciones lineales con n incgnitas n a la funcin proposicional de dominio R : f(X)=B, con B R ; que entre otras formas simbolizaremos: a1,1 x1 + a1,2 x2 + ... + a1,n xn = b1 a2,1 x1 + a2,2 x2 + ... + a2,n xn = b2 . . . am,1 x1 + am,2 x2 + ... + am,n xn = bm
m

(2)

Queda claro que el trmino independiente B es un elemento m de R y X es una solucin de la ecuacin si es un elemento de R
n

que hace verdadera la proposicin: f(X)=B.

Hechas las aclaraciones anteriores, debemos aceptar que muchas veces ser muy til asignarle a un SEL propiedades que tiene su representacin. Por ejemplo diremos que un sistema de ecuaciones es triangular superior sii los coeficientes del sistema son nulos debajo de la diagonal.
Definicin: Dos sistemas de ecuaciones lineales son equivalentes sii(def) tienen el mismo dominio y el mismo conjunto de soluciones.

Resolucin de una ecuacin lineal.

Una ecuacin lineal puede tener una o varias incgnitas. Si tiene una sola incgnita se simboliza as: a x=b, con a 0. En este caso es fcil ver qque la nica solucin de la b ecuacin es x= . Entonces: una ecuacin lineal con una a incgnita tiene siempre una nica solucin. Tomemos ahora una ecuacin lineal con n incgnitas(n >1): a1 x1 + a2 x2 + ... + an xn = b Supongamos que aj 0. Podemos escribir: aj xj = b1i n ij

(3)

ai xi

(4)

Observemos que cualquier X que sea solucin de (3) es solucin de (4), y a la inversa. Por lo tanto los dos sistemas son equivalentes. Procederemos as: i) Daremos valores arbitrarios a todos los xi salvo al xj. ii) Para cada juego de valores arbitrarios, calculamos:
b

aj iii) Con estos valores X es solucin de la ecuacin.

xj =

1i n ij

ai xi

Vemos que en este caso hay infinitas soluciones salvo que el coeficiente distinto de cero sea nico, y entonces, estaramos en el caso anterior.
Ejemplo:

Simbolizar todas las soluciones de 3 x + 2 y = 4, si el 3 dominio de la ecuacin es R . Observemos que la variable z tiene coeficiente 0, por lo tanto puede tomar cualquier valor sin afectar la igualdad conseguida con las otras incgnitas. Usemos que el coeficiente de x es distinto de 0. Entonces: Dando un valor arbitrario a y resulta que debemos hacer que 4 2y . Expresamos entonces el conjunto x cumpla: x = 3 solucin de esta forma: S = { (
Verificacin:
4 2y , y , z )/(y R) (z R) } 3

3 x + 2 y = 3

4 2y + 2 y = 4 - 2y + 2y = 4 3

Resolucin de Sistemas de Ecuaciones Lineales.

Vamos a suponer que tenemos que resolver un sistema de 2 ecuaciones con 2 incgnitas:
1 x1 a1, 1 x1 a2, + a1,2 x2 + a2,2 x2 = b1 = b2

Veamos que la tcnica anterior, de dar valores arbitrarios a algunas variables, en general, no nos dar resultado. Supongamos que todos los ai,j son distintos de 0. Si le damos un valor arbitrario a x2, debemos despejar x1 de las dos ecuaciones, y en general, para que se cumpla cada ecuacin obtendremos un valor distinto. Por lo tanto no podemos resolver el sistema as. Si el sistema tiene ms de 2 ecuaciones, la posibilidad de resolverlo de esta forma es ms remota.

Sistemas Triangulares de Ecuaciones Lineales.

Si los coeficientes ai,j son nulos para i >j, decimos que teneos un sistema triangular superior de ecuaciones lineales. El nombre se lo d la forma de la representacin del mismo:
+ a1,n 1 xn 1 + a1,n xn = b1 a1, 1 x1 + a1, 2 x2 ... + a1,n 2 xn 2 a2,2 x2 ... + a2,n 2 xn 2 + a2,n 1 xn 1 + a2,n xn = b2 : : : : am 1,n 2 xn 2 + am 1,n 1 xn 1 + am 1,n xn = bm 1 am,n 1 xn 1 + am,n xn = bm

Para simplificar el anlisis, supongamos que todos los ai,j de la diagonal, o sea con i=j, son distintos de 0. En este caso, podemos darle un valor arbitrario a xn, y despejar de la ltima ecuacin xn-1. Con estos 2 valores vamos a la penltima ecuacin y despejamos xn-2. Este procedimiento lo repetimos hasta despejar x1. De esta forma,para cada valor de xn obtenemos una solucin del sistema. El proceso de despejar desde xn hasta x1, se llama: sustitucin inversa, y se puede realizar si el sistema es triangular.
Ejemplo:

Utilizando sustitucin inversa exprese todas las soluciones de: 3x + 2y - 3z = 3 -3y + 2z = 5 Cualquiera sea z, despejando y de la ltima ecuacin, 5 2z . Con este valor de y vamos a la primera resulta: y = 3 5 2z 3 + 3z 2 3 = 9 9z 10 + 4z , ecuacin, y resulta: x = 3 9 19 + 5z ; entonces: x= 9 19 + 5z 2z 5 , , z )/z R }; S={ ( 9 3 5

Verificacin:
19 + 5z 2z 5 19 + 5z + 4z 10 9z +2 -3z= =3 9 3 3 2z 5 -3 +2z=-2z+5+2z=5 3

Operaciones elementales entre ecuaciones.

Comenzaremos definiendo una funcin proposicional: ei(X)=(ai,1 x1 + ai,2 x2 + ... + ai,n xn = bi) Reflexionemos alrededor de los dos iguales: El mismo smbolo es usado con distintos significados. El de la izquierda define una funcin y el de la derecha compara dos valores y responde con un Verdad, si son iguales, o un Falso, si son distintos. Definimos la multiplicacin de una constante k por ei(X), y ei(X)+ep(X), as: k ei(X)=(k ai,1 x1 + k ai,2 x2 + ... + ai,n xn = k bi) (*)

ei(X)+ep(X)=((ai,1+ap,1)x1+(ai,2+ap,2)x2+..+(ai,n+ap,n)xn=bi+bp) De las dos definiciones anteriores, resulta: ei(X)+k ep(X)= =((ai,1+kap,1)x1+(ai,2+kap,2)x2+..+(ai,n+kap,n)xn=bi+kbp)= =((ai,1x1+ai,2x2+..+ai,nxn)+k(ap,1x1+ap,2x2+..+ap,nxn)=bi+kbp) (**) Ahora vamos ecuaciones, Transforman conjunto de a definir tres operaciones elementales entre todas con una propiedad fundamental: un SEL en otro equivalente, o sea: con el mismo soluciones.

1) Intercambiar de lugar dos ecuaciones. 2) Reemplazar una ecuacin por el resultado de multiplicarla por una constante distinta de 0. 3) Reemplazar una ecuacin por el resultado de sumarle o restarle una ecuacin distinta multiplicada por una constante cualquiera.

En 2) la constante debe ser distinta de 0 pues en caso contrario elimina la ecuacin, y en general, el sistema resultante no es equivalente. En 3) la constante puede ser nula, y en ese caso, el sistema no se transforma. Y es importante que la ecuacin multiplicada por la constante debe ser otra, pues en caso contrario,podra ocurrir que se restara una ecuacin a s misma, y nuevamente se eliminara la ecuacin. Estas observaciones no deben confundirnos: si en algn momento quedan dos ecuaciones proporcionales, es correcto que una de las dos se anule al triangular, y esto no significa que se pierdan restricciones. Veamos que estas operaciones no cambian el conjunto de soluciones de los sistemas transformados por ellas: Sea el sistema de ecuaciones de mxn simbolizado por: e1(X) e2(X) : ei(X) : ej(X) : em(X) 1) Si intercambiamos la ecuacin i por la j, resulta el sistema: e1(X) e2(X) : ej(X) : ei(X) : em(X)

Es fcil ver que si X hace verdaderas todas las proposiciones del sistema original, hace verdaderas todas las del modificado, porque son las mismas en otro orden. Igualmente razonamos para ver que una solucin del segundo es solucin del primero

2) Si multiplicamos una ecuacin por un k 0, resulta: e1(X) e2(X) : kei(X) : ej(X) : em(X) Nuevamente es fcil ver que si X es solucin del original ei(X) es Verdadera, o sea, para X vale la igualdad: ai,1 x1 + ai,2 x2 + ... + ai,n xn = bi Pero entonces vale la igualdad: (kai,1 x1 + kai,2 x2 + ... + kai,n xn)= k bi Y de la definicin (*) resulta que: kei(X) es Verdadera. Entonces si X es solucin del sistema original es solucin del transformado. Ahora si X es solucin del transformado, multiplico la 1 , y resulta que el sistema nuevo, que es ecuacin i por k el original, tiene a X por solucin, por la demostracin precedente. 3) Si a la ecuacin j-sima le sumamos k por la i-sima, resulta: e1(X) e2(X) : ei(X) : e'j(X) : em(X) con e'j(X)=ej(X)+kei(X).

Sea X que satisface al sistema original, o sea: todas las ei(X) son verdaderas. Esto implica que para el X en cuestin valen las igualdades: ai,1 x1 + ai,2 x2 + ... + ai,n xn = bi aj,1 x1 + aj,2 x2 + ... + aj,n xn = bj Pero entonces vale la igualdad: (ai,1x1+ai,2x2+..+ai,nxn)+k(ap,1x1+ap,2x2+..+ap,nxn)=bi+kbp Entonces por (**) resulta que ej(X)+kei(X) es verdadera. Tenemos entonces que si X hace verdaderas a todas las ei(X), tambin hace verdaderas a todas menos la j-sima y a la nueva j-sima: ej(X)+kei(X). Por lo tanto X es solucin del sistema transformado. Ahora si X satisface el sistema transformado, por lo recin demostrado, satisface el sistema: e1(X) e2(X) : ei(X) : e"j(X) : em(X) con e"j(X)=e'j(X)+(-k)ei(X)=(ej(X)+kei(X))+(-k)ei(X)=ej(X). Vemos que este sistema es el original. Hemos demostrado que esta operacin entre ecuaciones transforma un sistema en otro equivalente.

Mtodo de triangulacin de Gauss.

El Mtodo de Triangulacin de Gauss permite transformar cualquier SEL en un sistema triangular equivalente al dado. Estudiemos el procedimiento: 1) El objetivo de este paso es que x1 aparezca a lo sumo en la primera ecuacin.

Consideremos a1,1. Si es distinto de 0 llamaremos el "pivote" de la primera variable. Si fuera 0, bajamos a la segunda ecuacin para ver si el coeficiente de x1 es distinto de 0. Si lo fuera, intercambiamos la primera ecuacin con la segunda. Si fuera 0, seguimos buscando desde la tercera fila en adelante. Si encontramos un coeficiente de x1 distinto de 0, intercambiamos la fila que lo tiene con la primera, y decimos que este coeficiente es nuestro pivote. Si todos los coeficientes fueran nulos, significara que x1 no aparece en el SEL, lo que implica que puede tomar cualquier valor en un X que sea solucin del sistema. Si ocurriera esto ltimo, pasaramos a repetir el proceso con los coeficientes de x2. 2) Supongamos que encontramos el pivote para la primer incgnita que aparece explcitamente en el SEL. Sin prdida de generalidad podemos suponer que es x1. En este momento, nuestro pivote debe cumplir: a1,1 0. Ahora vamos a trabajar desde la segunda a la ltima ecuacin. Comencemos por la segunda: Fabricamos el a2, 1 , y obtenemos un nuevo sistema multiplicador m2,1= a1, 1 reemplazando la ecuacin 2, por la ecuacin 2 menos m2,1 por la ecuacin 1. Observe que en el nuevo sistema, a2,2=0. Y este nuevo sistema es equivalente al anterior. Ahora repetimoselprocedimiento con el resto de las ecuaciones. Para anular el coeficiente ai,1 utilizaremos el ai, 1 multiplicador: mi,1= . a1, 1 Al terminar, tendremos un sistema equivalente al primero pero x1 aparecer nicamente en la primera ecuacin. 3) Ahora revisaremos x2; Queremos que desaparezca de la tercera ecuacin en adelante. Como pivote tendremos que utilizar a2,2. Si fuera 0, revisaremos las ecuaciones desde la segunda en adelante. La ecuacin primera no la utilizamos ms en el proceso de triangulacin. Al encontrar un coeficiente de x2 distinto de 0 hacemos el intercambio de ecuaciones. Si todos fueran nulos, debemos pasar a la variable siguiente. En este caso, en el sistema triangulado x2 aparecer solamente en la primera ecuacin, y en la representacin grfica del sistema la diagonal aparecer "quebrada".

10

Si en el proceso desaparecieran todos los coeficientes de una ecuacin, incluido el trmino independiente, esta se ubica en ltimo lugar. 4) Se repite el procedimiento hasta trabajar con xn-1. Eliminado xn-1 de la ltima ecuacin, hemos finalizado con el proceso de triangulacin. Como hemos usados dos operaciones elementales para lograrlo, el sistema final es equivalente al original. Su representacin puede tener esta forma: a1,1 x1 + a1,2 a2,2 x2 + ... + a1,n x2 + ... + a2,n xn = b1 xn = b2

. .
am,n
Estudio del SEL triangulado.

xn = bm

Una vez tiangulado el sistema es muy til identificar las incnitas libres y las ligadas: Una incgnita se dice que est ligada sii(def)en alguna ecuacin es la primera que aparece al recorrer la ecuacin de izquierda a derecha. Una incgnita se dice que est libre sii(def) no est ligada.
Sustitucin inversa

Despus de triangular el sistema, para resolverlo, solamente resta ir despejando despejando las variables desde xn (si xn fuera ligada) hasta x1, por eso el proceso recibe el nombre de sustitucin inversa o en retroceso. Si xn fuera libre, comenzamos a despejar desde la variable ligada de mayor subndice, avanzando hacia las de menor subndice. Entonces, si revisamos la ltima ecuacin de un sistema triangulado, la primera incgnita que aparece por la izquierda ser ligada, y todas las otras libres, pues no pueden haber aparecido en primer lugar en una ecuacin anterior (el sistema est triangulado). Entonces dndoles valores arbitrarios a todas las incgnitas libres, podemos encontrar un valor para la ligada de tal forma que se cumpla la ltima ecuacin. Si avanzamos hacia la primera ecuacin, no puede ocurrir ms que se mantengan o aparezcan 11

nuevas variables libres. A las nuevas podremos darle nuevamente valores arbitrarios,manteniendo los valores de las otras, y despejar la incgnita ligada correspondiente. Finalmente tendremos todas las variables ligadas expresadas en funcin de las libres de tal forma que se satisfacen todas las ecuaciones.

Cantidad de soluciones posibles de un SEL.

Si en el proceso de triangulacin, ocurre que se anulan todos los coeficientes de una ecuacin y no se anula el trmino independiente, podemos afirmar que el sistema no tiene solucin, porque ningn X conseguir hacer distinto de 0 el lado izquierdo de la ecuacin y nunca se conseguir igualar el lado izquierdo con el trmino independiente. Dado un sistema puede ocurrir una de tres posibilidades: m < n, m = n, m > n Los sistemas ms usados en matemtica aplicada son los cuadrados, aquellos en que la cantidad de ecuaciones es igual a la cantidad de incgnitas: m = n.
Si m < n el sistema triangulado tendr la forma:

Cuntas soluciones tendr un sistema de esta forma?: i) Si al triangular aparece una ecuacin con los coeficientes del sistema nulos y el trmino independiente no nulo: ninguna. ii) Si no ocurre i), habr forzosamente incgnitas libres que podrn tomar valores arbitrarios.En este caso habr infinitas soluciones.
Si m = n el sistema triangulado tendr la forma:

12

i) Si al triangular aparece una ecuacin con los coeficientes del sistema nulos y el trmino independiente no nulo: ninguna solucin. ii) Si no ocurre i), pero se anul totalmente una ecuacin, aparecen incgnitas libres y por lo tanto infinitas soluciones. iii) Si no ocurre ni i) ni ii), todos los coeficientes de la diagonal son distintos de 0, por lo tanto se realiza la sustitucin inversa con solucin nica.
Si m > n el sistema triangulado tendr la forma:

i) Forzosamente anularemos los coeficientes del sistema de m-n ecuaciones. Si algn trmino independiente no se anula: ninguna solucin.

ii) Si se anulan ms de m-n ecuaciones junto con los trminos independientes, existirn incgnitas libres y entonces tendremos: infinitas soluciones. iii) Si se anulan exactamente m-n ecuaciones, todas las incgnitas ser ligadas, y entonces tendremos: solucin nica.
Despus de analizar todos los casos posibles, podemos afirmar que un SEL no puede tener una cantidad finita de soluciones distinta de 0 o 1. I.2 Matrices asociadas a los SEL. Definicin de matriz:

13

Una matriz de m filas y n columnas es un objeto de R A R


n

x R .

x R

sii

A=((a1,1 , a1,2 , ... , a1,n),...,(am,1 , am,2 , ... , am,n)) Escribiremos abreviadamente: A mxn.
Entonces A es una m-upla de n-uplas.

Se encontr que la forma ms prctica de representar las matrices mostrando todos sus elementos es:
a1, 1 a2, 1 : a m 1, 1 am, 1 a1,2 a2,2 : am 1,2 am,2 ... ... ... ... ... ... ... ... ... ... a1,n 1 a2,n 1 : am 1,n 1 am,n 1 a2,n : am 1,n am,n a1,n

Decimos que la matriz tiene m filas y n columnas. La fila i est formada por todos elementos ai,j con j entre 1 y n. Hay m filas. Las columnas estn formadas por elementos del mismo j: ai,j con i entre 1 y m. Son n columnas. Cuando no necesitamos ms que dejar claro el nombre y las dimensiones de una matriz utilizamos una forma muy sinttica de simbolizarla: A mxn Si queremos indicar el nombre de sus componentes utilizamos lasimbolizacin: A = (ai,j), i=1,...,m, j=1,...,n Hay unas matrices muy famosas: Para cada natural n, se define la matriz In, que llamaremos identidad: 1 si i = j In = ( i,j ), i=1,...,m, j=1,...,n; i,j = , o sea: 0 si i j
In es de nxn, y tiene ceros en todos lados, menos en la diagonal que tiene unos. Cuando estudiemos especficamente matrices veremos las propiedades de esta matriz.

14

Notacin: Dada A mxn, ai,* simboliza la fila i, y a*,j simboliza la columna j.

Matriz y matriz ampliada de un SEL. Matriz del Sistema o Matriz de Coeficientes del Sistema: Dado un SEL, A es la Matriz del Sistema o la Matriz de Coeficientes del Sistema sii(def) es de mxn y cada fila est formada por los coeficienes de las incgnitas de la ecuacin correspondiente. Matriz ampliada: Dado un SEL de mxn, AM es la matriz Ampliada si es de mx(n+1) con las primeras n columnas coincidentes con las de A y la ltima columna es la de trminos independientes del SEL.
a1, 1 a2, 1 : am 1, 1 am, 1 a1,2 a2,2 : am 1,2 am,2 ... ... ... ... ... ... ... ... ... ... a1,n 1 a2,n 1 : am 1,n 1 am,n 1 b1 a2,n b2 : : am 1,n bm 1 am,n bm a1,n

A veces, para simbolizar la matriz ampliada utilizaremos el smbolo: [A,B]

Correspondencia entre SEL y Matrices Ampliadas.

Es evidente que la relacin entre un SEL de mxn y su Matriz Ampliada de mx(n+1) es una biyeccin. Dado el sistema queda univocamente determinada su MA y dada una matriz de mx(n+1) queda univocamente determinado el SEL asociado. Las operaciones elementales sobre ecuaciones estn en correspondencia con operaciones elementales sobre filas de la MA. Cambiando la palabra ecuaciones por la palabra filas, quedan definidas: 1) Intercambiar de lugar dos filas de una matriz. 2) Reemplazar una fila por el resultado de multiplicarla por una constante distinta de 0. 3) Reemplazar una fila por el resultado de sumarle o restarle una fila distinta multiplicada por una constante cualquiera.

15

Es evidente que dado un SEL, las operaciones necesarias para triangular el SEL, tienen sus correspondientes sobre la Matriz Ampliada, que la transforman en una matriz triangular. Trabajar sobre la matriz, nos simplifica la tarea, y eso haremos de ahora en adelante. Un componente de una matriz se dir gua de fila sii(def) es el primero distinto de 0 en alguna fila de la matriz. Nos sern de utilidad definir dos tipos de matrices.
Matriz escalonada por filas y matriz escalonada reducida por filas.

Diremos que una matriz es escalonada por filas sii(def) 1) El componente gua de una fila est a la derecha del componente gua de la fila superior. 2) Todas las componentes de una matriz que estn debajo de una componente gua son ceros. 3) Todas las filas de ceros se encuentran en la parte inferior de la matriz. Diremos que sii(def) es estn sobre componentes una matriz es escalonada reducida por filas escalonada por filas, todas las componentes que una componente gua son nulas y todas las guas son 1.

Observemos que el Mtodo de Triangulacin de Gauss transforma la matriz ampliada en una matriz escalonada por renglones.

Mtodo de Gauss-Jordan.

Para resolver un SEL puede operarse como en el Mtodo de Gauss, hasta obtener la matriz escalonada por renglones correspondiente. Luego, trabajando con la misma idea que utilizamos para dejar ceros debajo de cada componente gua, procedemos a hacer ceros todos los componentes de la ltima columna de la MA que estn sobre una componente gua, la que nuevamente ser usada como pivote. Luego vamos transformando las columnas que tengan componentes guas avanzando hacia la primera. Al terminar, la MA se habr transformado en una matriz escalonada reducida por renglones. Llegados a este paso, dividamos cada fila por su correspondiente componente gua, consiguiendo que todas las

16

componentes guas sean unitarias. Si el sistema tiene solucin nica, la encontramos en la columna de trminos independientes. Si hay infinitas soluciones, se despejan sencillamente en funcin de las incgnitas libres. Este es el llamado Mtodo de Gauss-Jordan. Observemos que el Mtodo de Eliminacin de Gauss-Jordan transforma la matriz ampliada en una matriz escalonada reducida por renglones. Notacin: Dado un SEL de mxn, sean: A mxn la matriz del Sistema, B mx1 la matriz columna de trminos independientes, y MA mx(n+1) la matriz ampliada del sistema, simbolizamos: Para un dado X, SEL(X) es la proposicin que se obtiene reemplazando las incgnitas por las correspondientes componentes de X, TG(MA) la matriz triangular obtenida luego de utilizar el Mtodo de Gauss para triangular A, DJ(MA) es la matriz que se obtiene luego de aplicar el Mtodo de Gauss-Jordan a MA.

I.3 SEL homogneos, SEL consistentes, y SEL determinados.

Un SEL es homogneo sii(def) la columna de trminos independientes es nula sii(def) B=0. Un SEL es consistente sii(def) existe por lo menos un X solucin del sistema. Un SEL es inconsistente sii(def) no es consistente sii(def) no tiene solucin. Un SEL es determinado sii(def) tiene una nica solucin. Un SEL es indeterminado sii(def) tiene infinitas soluciones

Teorema 1 Un SEL de matriz ampliada MA es inconsistente, o sea, no tiene solucin sii luego de la triangulacin de Gauss de la MA, la ltima fila no nula tiene todos los coeficientes nulos, salvo el ltimo que es distinto de 0.

La importancia que tienen en las aplicaciones los sistemas cuadrados justifica este teorema especial:
Teorema 2 Un SEL nxn de matriz A es consistente y determinado, o sea,tiene solucin nica sii DJ(A)=In. Teorema 3 Sea un SEL de mxn. Si n>m entonces no hay solucin o hay infinitas soluciones.

17

Definicin: Todo sistema homogneo tiene por lo menos la solucin: X=0. Esta solucin se llama solucin trivial. Teorema 4 Un SEL homogneo con ms incgnitas que ecuaciones siempre tiene infinitas soluciones.

Demostraciones sobre SEL

18

Demostracin del Teorema 1: Un SEL de matriz ampliada MA es inconsistente, o sea, no tiene solucin sii luego de la triangulacin de Gauss de la MA, la ltima fila no nula tiene todos los coeficientes nulos, salvo el ltimo que es distinto de 0.

Como el enunciado tiene un sii debemos demostrar dos teoremas.


1) H) SEL mxn, A mxn, MA mx(n+1), TG(MA) mx(n+1) T) X , SEL(X) La ltima fila no nula de TG(MA) tiene las n primeras componentes nulas, y la n+1 no nula. Utilicemos el contrarecproco: H') Supongamos entonces que la ltima fila no nula de TG(MA) tenga la ltima componente nula o alguna de las primeras n componentes no nula. T') X/SEL(X) Demostracin:

Debemos probar dos implicaciones:


a) Si la ltima fila no nula de TG(MA) tiene la ltima componente nula, entonces el sistema es compatible.

Y
b) Si la ltima fila no nula de TG(MA) tiene alguna de las primeras n componentes no nula, entonces el sistema es compatible.

Comencemos por a): Sea p la ltima fila no nula, entonces: p m Si la fila es no nula y la ltima componente es nula, existe un ap,j 0; De todas las componentes distintas de cero de esta fila elijamos la de j mayor. Sea ap,j. Si j=n, xn es ligada, en caso contrario es libre. Independientemente del valor de bp se puede comenzar a trabajar. La forma escalonada por renglones garantiza que la sustitucin puede seguir hasta el final del proceso. Ahora b): El razonamiento es idntico, salvo que el trmino independiente no es obligatoriamente nulo.

19

Recin hemos probado la implicacin 1). Para probar el teorema falta probar la implicacin 2):
1) H) SEL mxn, A mxn, MA mx(n+1), TG(MA) mx(n+1) T) La ltima fila no nula de TG(MA) tiene las n primeras componentes nulas, y la n+1 no nula X , SEL(X). Demostracin:

Usaremos la demostracin directa. Para eso tomemos un X cualquiera. Sabemos que el SEL de matriz ampliada MA tiene solucin sii tiene solucin el SEL de matriz ampliada TG(MA). Pero la ltima ecuacin del sistema triangulado tiene todos los coeficientes de incgnitas nulos y el trmino independiente distinto de 0. Por lo tanto, reemplazando por las componentes de X obtendremos 0=bp. Y como bp 0 lo obtenido es una contradiccin que prueba que no existe un X solucin del sistema. cqd

Demostracin del Teorema 2: Un SEL nxn de matriz A es consistente y determinado, o sea,tiene solucin nica sii DJ(A)=In. 1) H) Sea un SEL de matriz A, consistente y determinado. T) DJ(A)=In Demostracin;

El sistema tiene n ecuaciones y n incgnitas. Si tiene solucin nica no tiene incgnitas libres, por lo tanto tiene n incgnitas guas, por lo tanto tiene todos los elementos diagonales iguales a 1. Ahora demostremos el recproco:
2) H) DJ(A)=In T) El SEL de matriz A es consistente y determinado. Demostracin:

Observemos que: DJ(MA)=[DJ(A),DJ(B)]=[In,DJ(B)], entonces, la nica solucin del SEL es DJ(B). cqd

20

Demostracin del Teorema 3: Sea un SEL de mxn. Si n>m entonces no hay solucin o hay infinitas soluciones. Demostracin:

Si hay ms incgnitas que ecuaciones tienen que existir incgnitas libres. De la ltima ecuacin no nula depende que existan o no existan soluciones. Si existen, no puede ser una sola, pues hay incgnitas libres. Entonces, o no hay solucin, o hay infinitas. cqd
Demostracin del Teorema 4: Un SEL homogneo con ms incgnitas que ecuaciones siempre tiene infinitas soluciones. Demostracin:

Es un corolario del Teorema 3 que dice que un SEL con ms incgnitas que ecuaciones, no tiene solucin o tiene infinitas. Pero nuestro sistema con ms incgnitas que ecuaciones es homogneo, por lo tanto siempre admite la solucin trivial. Entonces tiene solucin, entonces por el Teorema 3 deben ser infinitas. cqd

21