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

Apuntes del curso terico de lgebra Lineal (Mat 03)

Dr. Federico Iribarne y Dr. Alvaro Mombr 1



Tema 1. Sistemas de Ecuaciones Lineales

El primer tema que vamos a tratar en el curso de lgebra Lineal son los Sistemas de
Ecuaciones Lineales (S.E.L.), tema que seguramente la mayora de los estudiantes han
visto en menor o mayor grado en la Secundaria. Este tema tiene no solamente
importancia en s mismo, dadas las cuantiosas aplicaciones que posee, sino tambin en
el contexto general del curso puesto que estar presente explcita como implcitamente
en varios de los temas que se tratarn a lo largo del mismo.
La idea en este curso es refrescar los conocimientos que ya se poseen sobre S.E.L. a la
vez de aportar elementos nuevos.
Vamos a introducir el tema tratando un ejemplo sencillo y familiar de carcter qumico
que muestra claramente la aplicacin prctica de los S.E.L.
Supongamos que tenemos una muestra qumica que contiene cloruro de potasio (KCl) y
cloruro de sodio (NaCl) con una masa de 2,06 g. Tambin sabemos que el nmero de
moles totales de cloro es 0,03 y que el peso molecular del NaCl es 58 g/mol y el del
KCl es 74 g/mol. Lo que se desea conocer es la cantidad de moles de KCl y NaCl
presentes en la muestra.
El problema evidentemente que se resuelve con un planteo matemtico. Efectivamente,
en primer trmino sabemos el total de masa que tenemos de ambos compuestos:

m
KCl
+ m
NaCl
= 2,06 (1)

Recordando nociones bsicas de estequiometria qumica sabemos que la ecuacin (1)
puede expresarse como:

PM
KCl
x n
o
moles KCl + PM
NaCl
x n
o
moles NaCl = 2,06 (2)

Adems:

n
o
moles KCl + n
o
moles NaCl = 0,03 (3)

Si ahora sustituimos por los valores numricos de PM en la ecuacin (2), tenemos que:

74 x n
o
moles KCl + 58 x n
o
moles NaCl = 2,06 (4)
n
o
moles KCl + n
o
moles NaCl = 0,03 (5)

Vemos entonces que llegamos a dos ecuaciones con dos incgnitas, o ms propiamente,
un sistema de dos ecuaciones con dos incgnitas. En este caso, las incgnitas son el
nmero de moles de KCl y de NaCl.
Supongamos que sabemos encontrar la solucin al problema, es decir, resolver el
sistema. De esa manera llegaremos a la siguiente solucin:

n
o
moles NaCl = 0,01
n
o
moles KCl = 0,02

Notar que trabajar con el nombre real de las incgnitas (n
o
de moles de NaCl y KCl) es
bastante incmodo en este caso. Podramos haber llamado a cada incgnita de manera
ms sencilla, por ejemplo x e y, respectivamente. Ahora bien, supongamos que en vez
de tener dos incgnitas, tuviramos ms. Por ejemplo, si la muestra contuviera adems
Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 2

CaCl
2
, KBr, NaBr, etc. En ese caso necesitaramos de ms letras para representarlas: x,
y, z, a, b, .

Por lo tanto, es claro que vamos a necesitar una nomenclatura ms estndar y
sistemtica para poder trabajar con S.E.L. de manera ms general.
Veamos ahora la definicin matemtica de S.E.L., lo cual nos proveer con la notacin
adecuada para trabajar.

Definicin: Se llama sistema de ecuaciones lineal, de m ecuaciones con n incgnitas, a
un problema del tipo:


a
11
x
1
+ a
12
x
2
+ .. + a
1j
x
j
+ . + a
1n
x
n
= b
1


S = a
21
x
1
+ a
22
x
2
+ .. + a
2j
x
j
+ . + a
2n
x
n
= b
2

. . . . .
. . . . .
. . . . .
. . . . .
a
i1
x
1
+ a
i2
x
2
+ .. + a
ij
x
j
+ . + a
in
x
n
= b
i

. . . . .
. . . . .
. . . . .
. . . . .
a
m1
x
1
+ a
m2
x
2
+ . + a
mj
x
j
+ + a
mn
x
n
= b
m



con a
ij
, b
i
e K, K = R C, i = 1: m, j = 1: n

a
ij
: coeficiente de incgnita j-sima en ecuacin i-sima

x
j
: incgnita j-sima

b
i
: trmino independiente i-simo

Vamos a decir que un conjunto ordenado de elementos, s = (o
1
, o
2
, , o
n
) es
solucin del sistema S si cuando hacemos x
j
= o
j
j = 1:n se verifican todas las
ecuaciones. En otras palabras, todas las ecuaciones se satisfacen cuando sustituimos las
incgnitas por los respectivos elementos del conjunto solucin. Como veremos ms
adelante, podr existir ms de una solucin. Al conjunto de todas las soluciones del
sistema S se lo denota como Sol(S).

Definicin: Dos S.E.L. son equivalentes si admiten el mismo conjunto solucin (Sol(S)).

Existe una relacin entre el nmero de soluciones que admite un S.E.L. y el tipo de
S.E.L. del que se trate. En otras palabras, es posible clasificar a los sistemas de
ecuaciones lineales en funcin de sus conjuntos solucin. Veremos esto a continuacin.
Antes, daremos la siguiente definicin operativa.

Definicin: Llamamos cardinalidad o cardinal de un conjunto A al nmero de elementos
de A.

Notacin: card(A)


Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 3

Clasificacin de Sistemas de Ecuaciones Lineales

Dependiendo de la cardinalidad del conjunto solucin, podemos clasificar un S.E.L. en
uno de los siguientes tipos:

1) Sistema Compatible Determinado: card(Sol(S)) = 1

2) Sistema Compatible Indeterminado: card(Sol(S)) > 1

3) Sistema Incompatible: card(Sol(S)) = 0

Luego veremos que si card(Sol(S)) > 1 entonces card(Sol(S)) = +

Veamos a continuacin un ejemplo sencillo de cada uno de los tipos posibles de S.E.L.,
aprovechando para ver la interpretacin geomtrica de las ecuaciones y de las
soluciones.

Ejemplo 1: x + y = 1 (a)
2x + y = 2 (b)

y

2


1

x
1
(a)

(b)


Sol(S) = (1,0) (x = 1, y = 0)

y
Ejemplo 2: x + y = 1 (a)
2x + 2y = 2 (b)


1


1 x


Sol(S) = {(x,y) / x + y = 1} (a) = (b)


Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 4

Ejemplo 3: x + y = 1 (a)
x + y = 5 (b)

y
5
(b)


1 (a)

x
1 5





Sol(S) = |

Como se puede apreciar, las ecuaciones de los sistemas representan rectas en el plano
x,y y las soluciones, son el conjunto de puntos que pertenecen a todas las rectas a la vez.
As es que en el primer ejemplo, esta condicin la cumple un solo punto del plano y por
ende existe una sola solucin. Mientras que en el segundo ejemplo, dado que ambas
ecuaciones son la misma, tenemos una sola recta y por lo tanto infinitas soluciones
(todos los puntos de la recta). Finalmente, en el tercer ejemplo no existe solucin dado
que no existen puntos en comn entre las dos rectas que representan a las ecuaciones del
sistema. Si se tratara de S.E.L. ms complejos, con ms incgnitas, la interpretacin
sera anloga solamente que entonces no se tratara de rectas en el plano sino en el
espacio tridimensional o estructuras de ms dimensiones.

Seguramente el lector conoce y ha aplicado ms de un mtodo de resolucin de S.E.L.,
como ser, por ejemplo, los mtodos de sustitucin o igualacin. No ser en estos
mtodos en los que hagamos ms hincapi en este curso, como veremos ms adelante.
Algo que tambin es conocido es que dependiendo del sistema, el camino para llegar a
la solucin es ms o menos complicado. Veamos nuevamente algunos ejemplos.


Ejemplo 4: x = 1
y = 2
z = 3

En este caso, la solucin es trivial, Sol(S) = (1,2,3). El propio sistema explicita la
solucin. Notar que el sistema anterior se podra haber escrito de forma equivalente as:

x + 0y + 0z = 1
0x + y + 0z = 2
0x + 0y + z = 3



Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 5

Ejemplo 5: x + y + z = 3
y 2z = -1
-5z = -5


En este ejemplo, el sistema est escalerizado y se resuelve fcilmente realizando
sustitucin hacia atrs.

Sol(S) = (1,1,1)


Ejemplo 6: x + y + z = 3
x + 2y z = 2
2x + y z = 2

Este sistema es completo y ya no es tan simple de resolver (lo haremos ms adelante).

Cuando nos enfrentamos a la resolucin de un S.E.L., podramos recordar la definicin
antes vista de sistemas equivalentes y entonces intentar transformar el sistema original a
resolver en un sistema que fuera equivalente pero de ms simple resolucin. Entonces,
al resolver el sistema ms simple, la solucin ser la misma que para el sistema original
puesto que justamente son equivalentes. La pregunta que surge entonces es si es posible
transformar un sistema en otro equivalente. Para contestarla, introduciremos primero la
siguiente definicin.

Definicin: Llamamos transformacin elemental (T.E.) a cualquiera de las siguientes
operaciones efectuadas sobre un S.E.L.:

1) Intercambiar dos ecuaciones de lugar

Ejemplo: S = x + y = 1 S
T
= 2x + 3y = 2
2x + 3y = 2 e
1T
= e
2
, e
2T
= e
1
x + y = 1

2) Multiplicar una ecuacin por un escalar o (o 0)

Ejemplo: S = x + y = 1 S
T
= 5x + 5y = 5
2x + 3y = 2 (e
1T
= e
1
x 5) 2x + 3y = 2

3) Sumar a una ecuacin un mltiplo de otra

Ejemplo: S = x + y = 1 S
T
= x + y = 1
2x + 3y = 2 (e
2T
= e
2
+ 2e
1
) 4x + 5y = 4


Es justamente a travs de transformaciones elementales que vamos a poder obtener
sistemas equivalentes. Vamos a ver ahora la proposicin que asegura esta afirmacin.

Proposicin: Si a un S.E.L. se le aplica una transformacin elemental, se obtiene un
sistema equivalente.

Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 6

Demostracin:

Vamos a demostrar la proposicin para uno de los tipos de transformaciones
elementales, en particular, el tipo 3 que en realidad es el ms complejo.
Los restantes casos se prueban de forma anloga.


a
11
x
1
+ a
12
x
2
+ .. + a
1n
x
n
= b
1

. . . .
. . . .
. . . .
. . . .
Sea S = a
i1
x
1
+ a
i2
x
2
+ + a
in
x
n
= b
i

. . . .
. . . .
. . . .
. . . .
a
k1
x
1
+ a
k2
x
2
+ .. + a
kn
x
n
= b
k

. . . .
. . . .
. . . .
. . . .
a
m1
x
1
+ a
m2
x
2
+ . + a
mn
x
n
= b
m


Sea la transformacin elemental e
it
= e
i
+ |e
k
.
O sea, que la nueva fila i se obtendr de sumarle un mltiplo de la fila k a la fila i
original.
Tenemos entonces el sistema transformado:


a
11
x
1
+ a
12
x
2
+ .. + a
1n
x
n
= b
1

. . . .
. . . .
. . . .
. . . .
S
T
= a
i1
x
1
+ a
i2
x
2
++ a
in
x
n
+ |(a
k1
x
1
+ a
k2
x
2
++ a
kn
x
n)
= b
i
+

|b
k

. . . .
. . . .
. . . .
. . . .
a
k1
x
1
+ a
k2
x
2
+ .. + a
kn
x
n
= b
k

. . . .
. . . .
. . . .
. . . .
a
m1
x
1
+ a
m2
x
2
+ . + a
mn
x
n
= b
m


Se debe de demostrar que Sol(S) = Sol(S
T
). La igualdad de conjuntos implica que los
mismos deben incluirse mutuamente.

Demostraremos primero que Sol(S) _ Sol(S
T
).

Sea A = (o
1
, o
2
, .,o
n
) e Sol(S). Por definicin, A verifica todas las ecuaciones de S.
Y tambin lo har con las ecuaciones de S
T
, salvo quizs la que cambia, es decir, la
ecuacin i-sima.

Como A verifica la ecuacin i-sima y k-sima de S tenemos que:

a
i1
o
1
+ a
i2
o
2
+ .. + a
in
o
n
= b
i
(6)


a
k1
o
1
+ a
k2
o
2
+ .. + a
kn
o
n
= b
k
(7)


Pre-multiplicando por | la ecuacin (7) y sumando la ecuacin resultante a la ecuacin
(6) tenemos que:
Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 7

a
i1
o
1
+ a
i2
o
2
+ + a
in
o
n +
|(a
k1
o
1
+ a
k2
o
2
++ a
kn
o
n
)
=
b
i
+

|b
k
(8)


Por lo tanto A cumple con la i-sima ecuacin de S
T
. Luego, A e Sol(S
T
).
Dado que trabajamos con una solucin genrica de S, esto se aplicar a todas las
soluciones y por lo tanto puede afirmarse que toda solucin de S ser tambin solucin
de S
T
, o que Sol(S) _ Sol(S
T
).

Ahora debe demostrarse que Sol(S
T
) _ Sol(S).

Sea A
T
= (o
1T
, o
2T
, .,o
nT
) e Sol(S
T
). Por definicin, A
T
verifica todas las ecuaciones
de S
T
. Y tambin lo har con las ecuaciones de S, salvo quizs la que cambia, es decir,
la ecuacin i-sima.

De la i-sima ecuacin de S
T
tenemos que:

a
i1
o
1T
+ a
i2
o
2T
+ + a
in
o
nT +
|(a
k1
o
1T
+ a
k2
o
2T
++ a
kn
o
nT
)
=
b
i
+

|b
k
(9)


y de la k-sima ecuacin de S
T
:

a
k1
o
1T
+ a
k2
o
2T
++ a
kn
o
nT
= b
k
(10)

Multiplicando la ecuacin (10) por | tenemos que:

|(a
k1
o
1T
+ a
k2
o
2T
++ a
kn
o
nT
)
=
|b
k
(11)


De las ecuaciones (9) y (11) se deduce que:

a
i1
o
1T
+ a
i2
o
2T
+ + a
in
o
nT =
b
i
(12)


Por lo tanto,

A
T
cumple con la i-sima ecuacin de S. Luego A e Sol(S).
Dado que trabajamos con una solucin genrica de S
T
, esto se aplicar a todas las
soluciones y por lo tanto puede afirmarse que toda solucin de S
T
ser tambin solucin
de S, o que Sol(S
T
) _ Sol(S).

La proposicin queda as demostrada.

Ahora que estamos seguros de que podemos introducir transformaciones elementales en
un sistema de ecuaciones lineales y obtener un sistema equivalente, vamos a ver un
mtodo de resolucin de S.E.L. basado en esta premisa. Para aplicar el mtodo, si bien
no es imprescindible, nos va a resultar ms cmodo trabajar con una notacin ms
sencilla y compacta de un S.E.L.

Notar que en realidad, para resolver un S.E.L., no interesa demasiado el nombre que le
asignemos a las incgnitas x
j
del sistema. Los que resultan realmente relevantes son los
coeficientes a
ij
que afectan a dichas incgnitas, as como los trminos independientes b
i
.
Evidentemente que nos va a interesar tanto el valor de los coeficientes como a que
variable afectan en cada una de las ecuaciones.
Es as que, a partir de esta consideracin, puede derivarse una de las estructuras
fundamentales del lgebra: la matriz.
Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 8

Definicin: Llamamos matriz A de m filas y n columnas, de entradas a
ij
, a un
ordenamiento rectangular de nmeros del tipo:

A =
|
|
|
|
|
|
.
|

\
|
mn m m
n
n
a a a
a a a
a a a
. .
. . . . .
. . . . .
. .
. .
2 1
2 22 21
1 12 11


Notaciones: a) A = ((a
ij
)) i = 1:m, j = 1:n
b) A = ((a
ij
)) e M
mxn

c) A e M
mxn

Salvo que se exprese lo contrario, el primer ndice (i) denota la fila y el segundo ndice
(j) denota la columna.

Observando

la definicin de matriz, resulta bastante directo que podemos usar una
matriz para fcilmente representar un S.E.L. donde la matriz contendr los coeficientes
del sistema (a
ij
). Ver la definicin de S.E.L. al inicio de la clase.

En particular, se pueden distinguir dos tipos de representaciones matriciales de un
S.E.L.:

1) Matriz de Sistema

A =
|
|
|
|
|
|
.
|

\
|
mn m m
n
n
a a a
a a a
a a a
. .
. . . . .
. . . . .
. .
. .
2 1
2 22 21
1 12 11


2) Matriz Ampliada de Sistema

A|b =
|
|
|
|
|
|
.
|

\
|
m mn m m
n
n
b a a a
b a a a
b a a a
. .
. . . . . .
. . . . . .
. .
. .
2 1
2 2 22 21
1 1 12 11


Como se aprecia, la diferencia entre la matriz de sistema y la matriz ampliada de
sistema es que esta ltima incluye los trminos independientes del S.E.L. Resulta as
evidente que resulta ms simple de manipular un S.E.L. en su forma matricial que en su
forma original. Con esto en mente, pasaremos ahora s a tratar en profundidad un
mtodo de resolucin de S.E.L. basado en la aplicacin de transformaciones
elementales.
Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 9

Mtodo de escalerizacin (Gauss-Jordan)

En lo que sigue, se expondr en detalle el mtodo de escalerizacin, o de Gauss-Jordan,
que hace uso de transformaciones elementales para resolver S.E.L.
Utilizaremos el siguiente ejemplo operativo (ejemplo 6 visto ms arriba):

x + y + z = 3
S = x + 2y z = 2
2x + y -z = 2

Las representaciones matriciales (con las cuales vamos a trabajar) son:

A =
|
|
|
.
|

\
|

1 1 2
1 2 1
1 1 1
A|b =
|
|
|
.
|

\
|

2 1 1 2
2 1 2 1
3 1 1 1


Vamos entonces a ver el procedimiento a seguir, que va introduciendo sucesivas T.E.
para obtener un sistema de ecuaciones equivalente al original y ms simple de resolver.

1
er
Paso: Utilizando la primera entrada de la primera fila como pivot, anulamos las
primeras entradas de las filas restantes:

|
|
|
.
|

\
|

2 1 1 2
2 1 2 1
3 1 1 1
F
2T
= F
2
+(-1)F
1
|
|
|
.
|

\
|


2 1 1 2
1 2 1 0
3 1 1 1
F
3T
= F
3
+(-2)F
1
|
|
|
.
|

\
|


4 3 1 0
1 2 1 0
3 1 1 1


2
do
Paso: Utilizando la segunda entrada de la segunda fila como pivot, anulamos la
entrada correspondiente de la tercera fila:

|
|
|
.
|

\
|


4 3 1 0
1 2 1 0
3 1 1 1
F
3T
= F
3T
+ F
2T

|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
3 1 1 1
Forma escalerizada

Llegamos as a una matriz (o forma) escalerizada, situacin en la cual resolver el S.E.L.
es bastante simple, utilizando el mtodo de sustitucin hacia atrs ya mencionado. Si
se observa la ltima matriz, se notar que el sistema equivalente obtenido es el mismo
que en el ejemplo 5 citado ms al inicio. Llamamos matriz escalerizada a la matriz
obtenida en el ltimo paso, por el simple hecho de que pueden definrsele escalones.

Definicin: Llamamos escaln de una matriz o forma escalerizada a cada fila no nula de
la matriz.

Para el ejemplo que estamos estudiando:

Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 10

|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
3 1 1 1


Ahora bien, nada nos impide continuar introduciendo transformaciones elementales y
seguir aplicando el mtodo de escalerizacin.

3
er
Paso. Utilizando la tercer entrada de la tercera fila de la matriz como pivot, anulamos
las entradas correspondientes de la segunda y primera fila:

|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
3 1 1 1
F
1T
= F
1
+(1/5)F
3T
|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
2 0 1 1

|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
2 0 1 1
F
2T
= F
2T
+(-2/5)F
3T
|
|
|
.
|

\
|
5 5 0 0
1 0 1 0
2 0 1 1


4
to
Paso: Utilizando la segunda entrada de la segunda fila como pivot, anulamos la
entrada correspondiente en la primera fila:

|
|
|
.
|

\
|
5 5 0 0
1 0 1 0
2 0 1 1
F
1T
= F
1T
+ (-1)F
2T
|
|
|
.
|

\
|
5 5 0 0
1 0 1 0
1 0 0 1


Notar que ahora tenemos prcticamente la solucin explcita del S.E.L., dado que
podemos prcticamente leerlas del sistema. Resta solamente un ltimo paso.

5
to
Paso: Multiplicamos por un escalar apropiado la tercera fila:

|
|
|
.
|

\
|
5 5 0 0
1 0 1 0
1 0 0 1
F
3T
= (-1/5)F
3T
|
|
|
.
|

\
|
1 1 0 0
1 0 1 0
1 0 0 1
Escalerizada reducida

Como dijimos antes, la solucin se lee directamente de la matriz y en este caso es:
Sol(S) = (1,1,1) x = y = z = 1

Caractersticas de las matrices escalerizadas:

1) Todas las filas, salvo la primera, comienzan con una entrada nula
2) Cada fila posee al inicio, al menos, una entrada nula ms que la anterior

Caractersticas de las matrices escalerizadas reducidas:

A las dos caractersticas de las matrices escalerizadas, se agregan dos ms:

Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 11

1) La primera entrada no nula de una fila es un 1
2) La columna que corresponde a la primera entrada no nula de una fila, tiene el
resto de las entradas nulas

Mientras que para una misma matriz o S.E.L. existe ms de una forma escalerizada, la
forma escalerizada reducida es nica. Adems, todas las formas escalerizadas de una
matriz poseen la misma cantidad de escalones.

Mirando el paso final del ejemplo de aplicacin del mtodo de escalerizacin, se puede
apreciar que la forma escalerizada reducida de la matriz de sistema es particular. Se
trata, ni ms ni menos, de la matriz identidad.

Definicin: Llamamos matriz identidad de orden n a la matriz de n filas y n columnas
que posee todas sus entradas nulas, salvo en la diagonal principal en donde las entradas
son todas iguales a 1.

I
n
=
|
|
|
|
|
|
.
|

\
|
1 . . 0 0
. . . . .
. . . . .
0 . . 1 0
0 . . 0 1
Notacin: I
n
= ((a
ij
)) / a
ij
= 1 si i = j, a
ij
= 0 si i j
nxn

Tambin se suele representar a la matriz identidad como:

I
n
= ((o
ij
)) Funcin delta de Kroeneger

Esta peculiaridad de las formas escalerizadas reducidas, de coincidir con la matriz
identidad del orden respectivo, no ocurre en todos los casos y va a depender de ciertas
condiciones de la matriz de sistema como veremos en clases siguientes.

La aplicacin del mtodo de escalerizacin hasta obtener una forma escalerizada de la
matriz ampliada de sistema o hasta obtener la forma escalerizada reducida, depende de
quin lo aplica. Lo que hay que evaluar en cada caso es si resulta ms sencillo aplicar la
sustitucin hacia atrs sobre una forma escalerizada, o seguir el procedimiento hasta
obtener la forma escalerizada reducida que explcitamente da la solucin del sistema.

Vamos a ver ahora un teorema central en el contexto de los S.E.L. y que relaciona el
nmero de escalones de una forma escalerizada de una matriz de sistema con el tipo de
S.E.L. del que se trate.

Teorema de Rouch-Frobenius

Hiptesis:

Sea S un S.E.L. de m ecuaciones y n incgnitas con matriz de sistema A y matriz
ampliada de sistema A|b.
Sea p el nmero de escalones de una forma escalerizada de A.
Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 12

Sea p el nmero de escalones de una forma escalerizada de A|b.

Tesis:

1) S es compatible p = p
2) Si S es compatible
a. S es determinado p = n
b. S es indeterminado p < n

No veremos aqu la demostracin de este teorema dado que es bastante extensa y no
aporta demasiado. Vale ms la pena analizar qu es lo que nos dice el teorema para
poder entender las implicancias a efectos prcticos.

Recordando el ejemplo sobre el que aplicamos el mtodo de escalerizacin, llegbamos
a la siguiente forma escalerizada:

|
|
|
.
|

\
|


5 5 0 0
1 2 1 0
3 1 1 1


En este caso, tenemos que: n = 3, p = 3 y p = 3, es decir que p = p = n. Por lo tanto el
teorema de Rouch-Frobenius indica que el sistema es compatible determinado, como
ya sabamos luego de haberlo resuelto.

Qu habra sucedido si hubiramos llegado en cambio a esta otra forma escalerizada?:

|
|
|
.
|

\
|

0 0 0 0
1 2 1 0
3 1 1 1


Ahora tenemos que n = 3, p = 2, p = 2, es decir que p = p y p < n. Por lo tanto,
Rouch-Frobenius nos dice que el sistema es compatible indeterminado y tenemos ms
de una solucin. Notar que la indeterminacin se refleja en la prdida de escalones de la
forma escalerizada (en este caso uno) o de forma equivalente, en la aparicin de filas
nulas. Cada una de las indeterminaciones se traduce en un escaln menos o una fila nula
adicional.
La fila de ceros en el ejemplo, est indicando que las tres ecuaciones originales del
sistema, no dan informacin distinta, sino que hay dos que son equivalentes. Vamos a
volver sobre esta nocin en clases posteriores.

Por ltimo, que pasara si hubiramos llegado a la siguiente forma escalerizada?:

|
|
|
.
|

\
|

2 0 0 0
1 2 1 0
3 1 1 1


Apuntes del curso terico de lgebra Lineal (Mat 03)


Dr. Federico Iribarne y Dr. Alvaro Mombr 13

Tendramos que n = 3, p = 2 y p = 3, o sea que p < p. Por lo tanto, Rouch-Frobenius
nos indica que el sistema es incompatible. Esto resulta bastante claro analizando lo que
representa la tercera fila de la matriz:

0x + 0y + 0z = 2 => 0 = 2. Absurdo.

Esto ocurrir siempre que el nmero de escalones de una forma escalerizada de la
matriz de sistema sea menor que el nmero de escalones de una forma escalerizada de la
matriz ampliada de sistema.

Vamos a terminar el tema de S.E.L. introduciendo un tipo especial de sistemas que se
denominan sistemas lineales homogneos.

Definicin: Llamamos sistema de ecuaciones lineales homogneo, de m ecuaciones y n
incgnitas, al sistema que posee todos los trminos independientes nulos:


a
11
x
1
+ a
12
x
2
+ .. + a
1j
x
j
+ . + a
1n
x
n
= 0

S
H
= a
21
x
1
+ a
22
x
2
+ .. + a
2j
x
j
+ . + a
2n
x
n
= 0
. . . . .
. . . . .
. . . . .
. . . . .
a
i1
x
1
+ a
i2
x
2
+ .. + a
ij
x
j
+ . + a
in
x
n
= 0
. . . . .
. . . . .
. . . . .
. . . . .
a
m1
x
1
+ a
m2
x
2
+ . + a
mj
x
j
+ + a
mn
x
n
= 0


Qu tienen de particular este tipo de sistemas? La caracterstica fundamental es que son
siempre compatibles. La razn de esto es muy simple y se debe a que estos sistemas
siempre aceptan la solucin trivial, s = (0, 0, 0, .., 0), dado que justamente todos los
trminos independientes son nulos.
Por lo tanto, si el sistema solamente admite la solucin trivial, el mismo ser compatible
determinado, de lo contrario, si existen ms soluciones, el sistema ser compatible
indeterminado.

Para practicar el mtodo de escalerizacin recin visto, se deja al lector la resolucin del
siguiente S.E.L. homogneo:

x + y z = 0
x + y 2z = 0
2x + 2y +3z = 0

Solucin: Sol(S) = {(x,y,z) / x = -y, z = 0}

Вам также может понравиться