Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Depto. de lgebra
un cuadrado sobre un tablero de contar (similar a un baco), y manipulaban las
filas del cuadrado segn ciertas reglas establecidas. Su tablero de contar y sus
reglas encontraron su camino hacia Japn y finalmente aparecieron en Europa,
con las caas de color sustituidas por nmeros y el tablero reemplazado por
tinta y papel.
Depto. de lgebra
escalares. El lector bien puede pensar que K es el cuerpo Q de los nmeros racionales, R de los reales o incluso C 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.
Ecuacin lineal
Sea n 1 un nmero natural. Una ecuacin lineal es una expresin de
la forma
a1 x1 + a2 x2 + + an xn = b,
donde a1 , a2 , . . . , an y b son nmeros conocidos y x1 x2 , . . . , xn son incgnitas. Los nmeros ai se denominan coeficientes de la ecuacin,
mientras que b es el trmino independiente.
Depto. de lgebra
a11 x1
a21 x1
+
+
a12 x2
a22 x2
+ ... +
+ ... +
..
.
a1n xn
a2n xn
=
=
b1 ,
b2
donde las xi son las incgnitas y los ai j , b i son nmeros. Los nmeros ai j se denominan coeficientes del sistema, y el conjunto de los b i
trminos independientes del sistema.
3x + 2y + z = 39,
S 2x + 3y + z = 34,
x + 2y + 3z = 26.
4
(1.2.1)
Depto. de lgebra
Despejando en la tercera ecuacin, x = 26 2y 3z, y sustituyendo en las otras
ecuaciones tenemos
4y 8z = 39,
(1.2.2)
y 5z = 18.
Ahora, en la segunda ecuacin, es y = 5z 18. Sustituyendo en la otra ecuacin,
se obtiene
12z = 33.
Luego debe ser z = 11/4. De la ecuacin y = 5z 18 se obtiene y = 17/4. Por
ltimo, de x = 26 2y 3z obtenemos x = 37/4.
Es decir, el sistema lineal S tiene como nica solucin
37/4
17/4 .
11/4
x + 2y z = 3,
S x + y = 1,
2x + y + z = 0.
(1.2.3)
y z = 4,
(1.2.4)
y + z = 2.
En la primera ecuacin despejamos y = 4+z. Sustituyendo en la otra ecuacin
se obtiene
(4 + z) + z = 2 4 z + z = 2 de donde 4 = 2.
Como 4 6= 2, deducimos que no hay soluciones para el sistema lineal S .
Depto. de lgebra
Los anteriores son ejemplos de sistemas de ecuaciones con solucin nica
o sin solucin. El siguiente paso es estudiar qu ocurre con los sistemas lineales
que no estn en ninguno de los casos anteriores, es decir, aquellos que tienen
ms de una solucin.
Veamos el siguiente ejemplo.
x + y + 2z = 3,
S 2x + 2y + z = 3,
x + y 3z = 2.
(1.2.5)
Como en los casos anteriores, resolveremos el sistema por el mtodo de sustitucin. Despejamos entonces x en la ltima ecuacin, x = 2 y + 3z. Sustituyendo en las otras ecuaciones se tiene
5z = 5,
7z = 7.
(1.2.6)
Se trata de un sistema lineal con dos ecuaciones y una incgnita, cuya nica
solucin es z = 1. Respecto a x e y solamente podemos decir que
x = 1 y.
Es decir, que para cada valor distinto de y se obtiene un valor distinto de x. El
conjunto de las soluciones del sistema lineal S es
1 y
y donde y K.
1
En este caso el sistema lineal tiene tantas soluciones como elementos hay en el
cuerpo de escalares K.
Veremos que en los sistemas de ecuaciones en general se presentan las mismas posibilidades que hemos visto en los ejemplos anteriores.
6
Depto. de lgebra
Depto. de lgebra
Ejemplo 1.3.1.- El sistema
S
2x1 + 5x2 = 1,
2x2 = 3,
El proceso de eliminacin descansa sobre tres operaciones simples que transforman un sistema en otro equivalente. Para describir estas operaciones, sea E k
la k-sima ecuacin
E k : ak1 x1 + ak2 x2 + . . . + akn xn = b k
y escribamos el sistema como
E1
E2
S
..
Em
Dado un sistema de ecuaciones S , cada una de las siguientes transformaciones elementales produce un sistema equivalente S .
1. Intercambio de las ecuaciones i -sima y j -sima (1 i j m). Esto es,
si
E1
E1
..
..
E
E
i
j
..
..
,
entonces
S
S
. .
.
Ei
Ej
.
.
.
.
Em
Em
8
Depto. de lgebra
2. Reemplazo de la i -sima ecuacin por un mltiplo no nulo de ella. Esto
es,
E1
..
S E i
, donde 6= 0.
..
Em
E1
..
..
S
.
E j + E i
..
Em
2x1 x2 2x3
x1 + 2x2 x3
S
3x1 + x2 + x3
x1 + x2 x3
+ 3x4
+ x4
+ x4
+ x4
x5
+ 2x5
+ x5
x5
=
=
=
=
1
0
.
0
2
(1.3.1)
1
2
.
0
0
(1.3.2)
2x1
x
1
S
3x
1
x1
x2
+ x2
+ x2
+ 2x2
2x3
x3
+ x3
x3
+ 3x4
+ x4
+ x4
+ x4
x5
x5
+ x5
+ 2x5
=
=
=
=
Depto. de lgebra
Ejemplo 1.3.3.- Sea el sistema
2x1 x2 2x3
x1 + 2x2 x3
S
3x1 + x2 + x3
x1 + x2 x3
+ 3x4
+ x4
+ x4
+ x4
2x1 x2 2x3
x1 + 2x2 x3
S
3x1 + x2 + x3
x1 + x2 x3
+ 3x4
+ x4
+ x4
+ x4
x5
+ 2x5
+ x5
x5
=
=
=
=
1
0
.
0
2
(1.3.3)
x1
+ 2x2 x3 + x4 + 2x5 = 0
S
.
(1.3.4)
3x1 + x2 + x3 + x4 + x5 = 0
x5
+ 2x5
+ x5
x5
=
=
=
=
1
0
.
0
2
(1.3.5)
x1 + 2x2 x3 + x4 + 2x5 = 0
S
.
(1.3.6)
x1 + x2 x3 + x4 x5 = 2
10
Depto. de lgebra
P RUEBA : Si S se obtiene a partir de S mediante el intercambio de dos ecuaciones, transformacin de tipo 1, es evidente que cualquier solucin de S satisface las ecuaciones de S y viceversa. Luego ambos sistemas son equivalentes.
Si S se obtiene de S mediante la sustitucin de una ecuacin por un mltiplo no nulo de ella, transformacin de tipo 2, es decir, si son
E1
..
.
Ei
S
..
Em
E1
..
.
y S E i
..
Em
con 6= 0,
E1
E1
..
..
.
.
E
E
i
i
..
..
S
,
y
S
,
.
.
E j + E i
Ej
.
.
.
.
Em
Em
(1.3.7)
11
Depto. de lgebra
En cada paso, la estrategia es centrarse en una posicin, llamada posicin pivote, y eliminar todos los trminos por debajo de la posicin usando las tres operaciones elementales. El coeficiente en la posicin pivote se denomina pivote,
mientras que la ecuacin en donde se encuentra el pivote se llama ecuacin pivote. Solamente se permiten nmeros no nulos como pivotes. Si un coeficiente
en una posicin pivote es cero, entonces la ecuacin pivote se intercambia con
una ecuacin por debajo para producir un pivote no nulo. Esto siempre es posible para sistemas cuadrados con solucin nica, como veremos ms adelante.
A menos que sea cero, el primer coeficiente de la primera ecuacin se toma como el primer pivote. Por ejemplo, el elemento 2 del sistema es el pivote del
primer paso:
2x + y + z =
1,
6x + 2y + z = 1,
2x + 2y + z =
7.
Paso 1. Elimina todos los trminos por debajo del pivote.
Resta tres veces la primera ecuacin de la segunda para generar el sistema
equivalente
1,
2x + y + z =
y 2z = 4, (E 2 3E 1 )
2x + 2y + z =
7.
Suma la primera ecuacin a la tercera para formar el sistema equivalente
2x +
y + z =
1,
y 2z = 4,
3y + 2z =
8 (E 3 + E 1 ).
y + z =
1,
-1 y 2z = 4,
3y + 2z =
8.
Depto. de lgebra
Suma tres veces la segunda ecuacin a la tercera para llegar al sistema
equivalente:
2x +
y + z =
1,
-1 y 2z = 4,
4z = 4 (E 3 + 3E 2 ).
En general, en cada paso nos movemos abajo y hacia la derecha para seleccionar el nuevo pivote, y entonces eliminar todos los trminos por debajo de l hasta que ya no podamos seguir. En este ejemplo, el tercer pivote es 4, pero como ya no hay nada por debajo que eliminar, paramos
el proceso.
En este punto, decimos que hemos triangularizado el sistema. Un sistema
triangular se resuelve muy fcilmente mediante el mtodo de sustitucin hacia
atrs, en el que la ltima ecuacin se resuelve para la ltima incgnita y se
sustituye hacia atrs en la penltima ecuacin, la cual se vuelve a resolver para
la penltima incgnita, y continuamos as hasta llegar a la primera ecuacin.
En nuestro ejemplo, de la ltima ecuacin obtenemos
z = 1.
Sustituimos z = 1 en la segunda ecuacin, y tenemos
y = 4 2z = 4 2(1) = 2.
Por ltimo, sustituimos z = 1 y y = 2 en la primera ecuacin para obtener
1
1
x = (1 y z) = (1 2 1) = 1,
2
2
que completa la solucin.
2 1 1
1
6 2 1 1 (las barras indican dnde aparece el signo =).
7
2 2 1
lgebra Lineal y Geometra
13
Depto. de lgebra
Esta disposicin de nmeros en filas y columnas es una matriz. Consideremos entonces un sistema de ecuaciones
A= .
..
.. .
..
..
.
.
.
am1 am2
. . . amn
(A|b) =
a11
a21
..
.
a12
a22
..
.
am1 am2
...
...
..
.
a1n
a2n
..
.
b1
b2
. . . amn b m
2 1 1
A= 6 2 1
2 2 1
y la matriz ampliada es
2
1
1
1
A b = 6 2 1 1 .
7
2 2 1
14
Depto. de lgebra
A= .
..
.. = (ai j ).
..
..
.
.
.
am1 am2
. . . amn
2 1 3
4
A = 8 6 5 9 , entonces a11 = 2, a12 = 1, . . . , a34 = 7.
(1.4.1)
3 8 3
7
Una submatriz de una matriz dada A es una matriz que se obtiene seleccionando un conjunto de filas y columnas de A. Por ejemplo,
2 4
B=
3 7
es una submatriz de A porque B es el resultado de elegir los elementos de la
matriz A que se encuentran en la primera y tercera filas, junto a la primera y
cuarta columna.
Una matriz A se dice que tiene orden m n si A tiene exactamente m filas y
n columnas. La matriz A de (1.4.1) es una matriz 34. Por convenio, las matrices
1 1 se identifican con escalares, y al revs.
Para enfatizar que una matriz A es de orden m n, usaremos la notacin
A mn . Cuando m = n, es decir, cuando el nmero de filas y columnas coincide,
diremos que la matriz es cuadrada. Para hablar de matrices en general, que no
sean necesariamente cuadradas, usaremos la expresin matriz rectangular.
Las matrices que tienen una sola fila o una sola columna las llamaremos,
respectivamente, vectores fila o vectores columna. Los notaremos como u, v .
El smbolo A i se usa para denotar la fila i -sima, y A j para la j -sima
columna. Por ejemplo, si A es la matriz de (1.4.1), entonces
1
A 2 = 8 6 5 9 y A 2 = 6 .
8
Haremos uso de dos operaciones que generalizaremos al hablar de espacios
vectoriales. Dados dos vectores columna u, v del mismo orden, consideramos
lgebra Lineal y Geometra
15
Depto. de lgebra
su suma w = u + v como el vector columna del mismo orden y cuyas componentes w i son las sumas de las componentes respectivas u i + v i . De igual
forma, definimos w = u como el vector columna del mismo orden que u y
con componentes w i = u i . Podemos hacer algo anlogo con las filas.
Dados u1 , u2 , . . . , us vectores del mismo orden, llamamos combinacin lineal de estos vectores a una expresin de la forma
1 u1 + 2 u2 + + s us ,
M1
..
.
Mi
..
M = . ,
Mj
.
..
Mm
los tres tipos de operaciones elementales de filas sobre M son como sigue.
16
Depto. de lgebra
M1
..
.
Mj
..
.
Mi
.
.
.
Tipo II
Multiplicacin por 6= 0
M1
..
Mi
..
.
Mm
Mm
Tipo III
Combinacin lineal
M1
..
Mi
..
M j + Mi
.
.
.
Mm
1 1
1 1 1 0 F12 2 0
1 1 1 0
2 0
1 1
1 1 1 0 F2 2F1 1
1 1 0
,
2 0
1 1
0 2
3 1
1 1 1 0 12 F2 1 1 1
0
2 0
1 1
1 0 1/2 1/2
son equivalentes por filas. Usaremos esta notacin para indicar las transformaciones elementales.
Nota 1.5.1. Dada C mn = (ci j) una matriz,
consideremos el sistema asociado
17
Depto. de lgebra
Ejemplo 1.5.1.- Para resolver el sistema del ejemplo 1.3.7 mediante operaciones elementales por fila, partimos de la matriz ampliada M = (A|b) y triangularizamos la matriz de coeficientes A realizando la misma secuencia de operaciones por fila que se corresponden a las operaciones elementales realizadas
sobre las ecuaciones.
F2 3F1
2
1
1
1
2 1 1
1
F3 + F1
6 2 1 1 0 -1 2 4
7
8
2 2 1
0
3
2
1
2
1
1
F3 +3F2
0 1 2 4
0
0 4 4
+ z =
1,
2z = 4,
4z = 4.
que se resuelve por sustitucin hacia atrs, como explicamos antes (ver ejemplo 1.3.7).
(1.5.1)
.
..
.. . .
..
..
.
.
.
.
0
. . . tnn
cn
1
(ci ti ,i +1 xi +1 ti ,i +2 xi +2 . . . ti n xn )
ti i
para i = n 1, n 2, . . . , 2, 1.
18
Depto. de lgebra
+
+
a12 x2
a22 x2
+ ... +
+ ... +
..
.
a1n xn
a2n xn
b1
b2
=
=
+
+
+
+
2x2 + x3
4x2
2x2 + 3x3
4x2
+
+
+
+
3x4
4x4
5x4
4x4
+
+
+
+
3x5
4x5
5x5
7x5
1 2 1 3 3
2 4 0 4 4
A=
,
1 2 3 5 5
2 4 0 4 7
=
=
=
=
5,
6,
9,
9.
(1.6.1)
1
2
1
3
3
1 2 1 3 3
2 4 0 4 4 0 0 2 2 2
1 2 3 5 5 0
0
2
2
2
0
0 2 2
1
2 4 0 4 7
19
Depto. de lgebra
pivote. Sin embargo, en este ejemplo, es imposible llevar un elemento no nulo a
la posicin (2, 2) mediante el intercambio de la segunda fila con una fila inferior.
Para manejar esta situacin, debemos modificar el procedimiento de la eliminacin gaussiana.
A=
20
1
2
1
2
2
4
2
4
1
0
3
0
3
4
5
4
3
4
5
7
Depto. de lgebra
y marcamos las posiciones pivote.
1
0
0
0
2
0
0
0
1
0
0
0
2
0
0
0
1
3
3
1
-2 2 2 0
0
0 0 0
0
0
3
0
2
0
0
0
1
2
1
2
2
4
2
4
1
0
3
0
3
4
5
4
3
4
5
7
1
3
3
-2 2 2
2
2
2
2 2
1
1
3
3
-2 2 2
.
0
0 3
0
0
0
21
Depto. de lgebra
Una estructura tpica de una forma
marcados, es
0 0 *
0 0 0 *
0 0 0 0
0 0 0 0
0 0 0 0
0
0
0
0
0
0
*
0
0
0
0
Los pivotes son las primeras entradas no nulas en cada fila. Podemos tener tambin columnas de ceros a la izquierda de la matriz.
Como hay flexibilidad para elegir las operaciones por filas que reducen una
matriz A a una forma escalonada E , las entradas de E no estn unvocamente
determinadas por A. Sin embargo, las posiciones de los pivotes son siempre las
mismas.
e 1j
..
.
er j
,
0
.
..
0
E j
22
Depto. de lgebra
de manera que el pivote e r p r es tal que p r < j , pues hemos supuesto por
hiptesis que E j no tiene pivote.
Vamos a construir la solucin 1 , . . . , n que pruebe el aserto. Asignamos
s = 0 para todo s > j ; ahora, suponiendo que s < j tomamos s = 0 si E s
es una columna sin pivote, es decir, s {p 1 , . . . , p t }. Adems, sea j = 1.
Faltan por asignar valores a p 1 , . . . , p r . Sustituyendo en el sistema de
matriz ampliada [E |0] los valores que ya hemos construido, es decir, x j =
1 y x s = 0 si s > j o bien s {p 1 , . . . , p r }, nos queda el sistema triangular:
e 1p 1 x p 1 + e 1p 2 x p 2 + + e 1p r x p r + e 1j = 0
e 2p 2 x p 2 + + e 2p r x p r + e 2j = 0
S
.
..
e r pr xpr + e r j = 0
23
Depto. de lgebra
P
Sin embargo, la i sima ecuacin de SU es ns=p i u i s x s = 0, y al sustituir los valores x1 = 1 , . . . , xn = n en esta ecuacin obtenemos el valor
u i p i p i 6= 0. En consecuencia, no es solucin de SU y los sistemas no son
equivalentes.
U =
7 0 0 0 2 0
0 2 2 0 1 1
0 0 0 5 1 2
0 0 0 0 0 0
0
0
0
1
, V =
2
0
0
0
0
3
0
0
0 3
2 0
2 2 1 1
0 0 1 2
0 0
0 0
0
0
0
1
Las posiciones pivote de las filas 1 y 2 de ambas matrices coinciden. Sin embargo, el pivote de la tercera fila en U est en la posicin (3, 4), mientras que en V
est en (3, 5). Nos centraremos precisamente en la columna 4 de V para obtener
una solucin del sistema de matriz ampliada [V |0] que no lo sea del de matriz
ampliada [U |0]. Es evidente que los valores x1 = 3/2, x2 = 2/3, x3 = 0, x4 = 1,
x5 = x6 = x7 = 0 representan una solucin del sistema definido por V . Sin embargo, al sustituir estos valores en la tercera ecuacin del sistema definido por
U
5x4 x5 + 2x6 = 0
obtenemos el valor 5 6= 0. Luego no es solucin para el sistema definido por U .
Como las posiciones pivote son nicas, se sigue que el nmero de pivotes,
que es el mismo que el nmero de filas no nulas de E , tambin est unvocamente determinado por A. Este nmero se denomina rango de A, y es uno de
los conceptos fundamentales del curso.
24
Depto. de lgebra
nmero de pivotes
nmero de filas no nulas de E
nmero de columnas bsicas de A,
donde las columnas bsicas de A son aquellas columnas de A que contienen las posiciones pivote.
1 2 1 1
A = 2 4 2 2 .
3 6 3 4
1
1 2 1
0 0 0 0
1
0 0 0
1 =E
0
Por tanto, rango(A) = 2. Las posiciones pivote estn en la primera y cuarta columna, por lo que las columnas bsicas de A son A 1 y A 4 . Esto es,
1
1
2 , 2 .
Columnas bsicas =
3
4
25
Depto. de lgebra
1 2 1 3 3
2 4 0 4 4
1 2 3 5 5
2 4 0 4 7
mediante transformaciones elementales y hacemos, en cada paso, los pivotes
iguales a 1, as como anular las entradas superiores a cada pivote.
1 2
1 2
1
3
3
1
1 2 1 3 3
0 0 -2 2 2
0 0 1
2 4 0 4 4
0 0
0 0
1 2 3 5 5
2
2
2
2
2
4
0
4
7
0
0
2
2
1
0
0
2
0 2
2
0 2
2
0
1 2
1 2
1 2
1
1
0 0 1 1
0 0 1 1
0 0 1
0 0
0 0
0 0 0
0 0
0 0 3
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0 2
0
1 2
0
0 0 1 1
0 0
0 0 1
0 0
0 0
0
3
1
2
2
2
1
0
0
2
1
2
1
0
Depto. de lgebra
la eliminacin, cada pivote es 1 y todas las entradas por encima y por debajo
son nulas. Por tanto, la forma escalonada por filas que produce esta reduccin
contiene un nmero reducido de entradas no nulas. Esto nos permite dar la
siguiente definicin.
Una estructura tpica de una matriz en forma escalonada reducida por filas es
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
Como comentamos antes, si una matriz A se transforma en una forma escalonada por filas mediante operaciones elementales por fila, entonces la forma est unvocamente determinada por A, pero las entradas individuales de
la forma no son nicas. Sin embargo, la forma escalonada reducida tiene una
propiedad especial.
27
Depto. de lgebra
Sean U = (u i j ) y V = (v i j ) dos formas escalonadas reducidas por filas asociadas a A = (ai j ). Hemos probado en el teorema de unicidad de las posiciones
pivote (pg. 22) que dichas posiciones de U y V coinciden. Como las columnas
bsicas de las formas escalonadas reducidas por filas estn formadas por ceros,
salvo un 1 en la posicin pivote, las columnas bsicas de U y V coinciden.
Si una columna no bsica de U , pongamos U j , es nula (formada slo por
ceros), debe serlo tambin la correspondiente columna V j . En caso contrario
los valores
0 i 6= j
xi =
1 i=j
representan una solucin del sistema de matriz ampliada [U |0] pero no del de
[V |0].
Si una columna no bsica de U es no nula, ser de la forma
u 1j
..
.
ur j
=
0 .
.
..
0
U j
v 1j
..
.
vr j
,
V j =
0
.
..
0
es decir, por debajo de la posicin r -sima tiene que haber ceros; en otro caso,
existira un pivote en V en posicin diferente a la de la matriz U .
Hay que probar entonces que u i j = v i j para i = 1, . . . r . Para ello usaremos
que los sistemas SU y S V definidos respectivamente por las matrices [U |0] y
[V |0] son equivalentes.
Fijamos el ndice j y consideramos la siguiente familia de soluciones de
[U |0]:
0
en otro caso,
28
Depto. de lgebra
para i = 1, . . . , r . Imponiendo que tambin sean soluciones de S V , concretamente al sustituir la solucin i sima de la familia 1.7.1 en la ecuacin i sima
de S V se obtiene
v i j = u i j para i = 1, . . . , r.
Luego las matrices U y V son idnticas.
Nota 1.7.1. Para una matriz A, el smbolo E A denotar la nica forma escalonada reducida por filas derivada de A mediante transformaciones elementales
por fila. Tambin escribiremos
rref
G-J
A
E A o bien A
E A.
1 2 2 3 1
2 4 4 6 2
A=
.
3 6 6 9 6
1 2 4 5 3
2 3 1
2 3 1
1 2
1 2
1 2 2 3 1
2 4 4 6 2 0 0 0 0 0 0 0 2 2 2
3 6 6 9 6 0 0
0 0 3 0 0
0 0 3
1 2 4 5 3
0 0
2 2 2
0 0
0 0 0
1 2
0 1 1
2 3 1
1 2
1
0 0 1 1 1 0 0 1 1
0 0
0 0 3 0 0
0 0 3
0 0
0 0 0
0 0
0 0
0
1 2
0 1 1
0 1
0
1 2
1 0 0 1 1
0
0 0 1 1
= EA
0 0
0 0 1 0 0
0 0 1
0 0
0 0
0
0 0
0 0
0
Por tanto, rango(A) = 3, y {A 1 , A 3 , A 5 } son las tres columnas bsicas.
29
Depto. de lgebra
0 0 0
0 0 0 0
Fila i 0 0 0 0 0 0 6= 0.
... ... ... ... ... ... ...
Si esto ocurre en la i -sima fila, entonces la i -sima ecuacin del sistema asociado es
0 x1 + 0 x2 + . . . + 0 xn = .
Para 6= 0, esta ecuacin no tiene solucin, y el sistema original es incompatible (recordemos que las operaciones por filas no alteran el conjunto de soluciones). El recproco tambin se verifica. Esto es, si el sistema es incompatible,
entonces en algn momento del proceso de eliminacin llegamos a una fila de
la forma
0 0 . . . 0 , 6= 0.
(1.8.1)
30
Depto. de lgebra
En otro caso, la sustitucin hacia atrs se podra realizar y obtener una solucin. No hay incompatibilidad si se llega a una fila de la forma
0 0 ... 0 0 .
Compatibilidad de un sistema
Cada uno de las siguientes enunciados es equivalente a que el sistema
lineal determinado por la matriz [A|b] es compatible.
En la reduccin por filas de [A|b], nunca aparece una fila de la
forma
0 0 . . . 0 , 6= 0.
31
Depto. de lgebra
Ejemplo 1.8.1.- Determinemos si el sistema
x1
2x1
2x1
3x1
+ x2
+ 2x2
+ 2x2
+ 5x2
2x3
4x3
4x3
8x3
+
+
+
+
+
+
+
+
2x4
4x4
4x4
6x4
+ x5
+ 3x5
+ 2x5
+ 5x5
=
=
=
=
1,
1,
2,
3,
1
2
2
3
1
2
2
5
2
4
4
8
2
4
4
6
1
3
2
5
1
1
2
3
1
0
0
0
1
0
0
2
2
0
0
2
2
0
0
0
1
0
0
0
1
2
0
0
2
0
0
0
2
0
0
0
1
1
1 1
0
0
0
2
1
1
2
0
1 1
0
0
Depto. de lgebra
+
+
a12 x2
a22 x2
+ ... +
+ ... +
..
.
a1n xn
a2n xn
=
=
0
0
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
x1 = x2 = . . . = xn = 0 siempre es una solucin del sistema, independientemente de los coeficientes. Esta solucin se denomina solucin trivial. La pregunta
es si hay otras soluciones adems de la trivial, y cmo 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 [E |0]. 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.
(1.9.1)
33
Depto. de lgebra
Reducimos la matriz de coeficientes a una forma escalonada por filas:
1 2 2 3
1 2
2
3
1 2
2
3
A = 2 4 1 3 0 0 3 3 0 0 3 3 = E .
3 6 1 4
0 0 5 5
0 0
0
0
2x3 + 3x4 = 0,
3x3 3x4 = 0.
libre ,
x3 = x4 ,
x4 =
libre.
Como las variables libres x2 y x4 pueden tomar todos los valores posibles, las
expresiones anteriores describen todas las soluciones.
34
Depto. de lgebra
Mejor que describir las soluciones de esta forma, es ms conveniente expresarlas como
2x2 x4
2
1
x1
x2
0
x2
1
=
= x2
+ x4
,
x4
0
1
x3
x4
x4
0
1
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
1
2
0
1
h1 =
y h2 =
.
1
0
0
1
x = x f 1 h1 + x f 2 h2 + + x f nr hnr ,
donde x f 1 , x f 2 , . . . , x f nr son las variables libres, y h1 , h2 , . . . , hnr son vectores
columna que representan soluciones particulares.
Observemos que el vector h1 tiene un 1 en la posicin f 1 , y los restantes
vectores h j tienen un cero en esa posicin. Lo mismo se aplica a todos los vectores hi : tienen un valor 1 en la posicin f i y los restantes vectores h j tienen
un cero en esa posicin. Ms adelante necesitaremos esta caracterstica.
Si calculamos la forma escalonada reducida por filas del ejemplo, nos queda
1 2 2 3
1 2 0 1
A = 2 4 1 3 0 0 1 1 = E A,
3 6 1 4
0 0 0 0
lgebra Lineal y Geometra
35
Depto. de lgebra
y el sistema a resolver es
x1 + 2x2 + x4 = 0,
x3 + x4 = 0.
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 el procedimiento de Gauss-Jordan para calcular la forma escalonada reducida por filas E A y construir directamente la solucin general a partir
de las entradas de E A .
Consideremos ahora un sistema homogneo general (A|0) de m ecuaciones
y n incgnitas.
Solucin general de un sistema homogneo
Usamos eliminacin gaussiana para reducir la matriz ampliada
(A|0) a una forma escalonada por filas (E |0).
Identificamos las variables bsicas y libres. Si el rango es r , entonces habr r variables bsicas, correspondientes a las posiciones
de las columnas bsicas de (A|0), y n r variables libres, que se
corresponden con las columnas no bsicas de (A|0).
Mediante el procedimiento de sustitucin hacia atrs, expresamos las variables bsicas en funcin de las variables libres.
Escribimos el resultado de la forma
x = x f 1 h1 + x f 2 h2 + + x f nr hnr ,
donde x f 1 , x f 2 , . . . , x f nr son las variables libres, y h1 , h2 , . . . , hnr
son vectores columna que representan soluciones particulares.
Esta ser la solucin general del sistema homogneo.
Depto. de lgebra
Se tiene que
1 2 2
1 2 2
A = 2 5 7 0 1 3 = E,
3 6 6
0 0 0
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
x1
4
x2 = x3 3 , donde x3 es libre.
x3
1
1 2 2
1 2 2
A= 2 5 7 0 1 3 =E
3 6 8
0 0 2
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.
lgebra Lineal y Geometra
37
Depto. de lgebra
+
+
a12 x2
a22 x2
+ ... +
+ ... +
..
.
a1n xn
a2n xn
=
=
b1
b2
Depto. de lgebra
donde c es una columna de la forma
c=
1
2
..
.
r
..
.
0
..
.
0
x = x f 1 h1 + x f 2 h2 + + x f nr hnr ,
entonces la solucin general del sistema no homogneo tiene la forma similar
x = p0 + x f 1 h1 + x f 2 h2 + + x f nr hnr ,
donde la columna p0 contiene las constantes i junto con ceros.
Por tanto, hemos probado que el conjunto de soluciones del sistema S es
de la forma
nr
X
x = p0 +
i hi .
i =1
Sea entonces p una solucin particular del sistema S . Entonces existen escaP
lares 1 , . . . , nr tales que p = p0 + inr
=1 i hi . Si x es una solucin de S , enlgebra Lineal y Geometra
39
Depto. de lgebra
tonces podemos escribir
x = p0 +
= p
= p+
nr
X
i =1
nr
X
i hi
i hi +
i =1
nr
X
nr
X
i =1
(i i )hi = p + h,
i =1
x = p + x f 1 h1 + x f 2 h2 + + x f nr hnr ,
donde
x f 1 , x f 2 , . . . , x f nr 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
x f 1 h1 + x f 2 h2 + . . . + x f nr hnr
es la solucin general del sistema homogneo de matriz [A|0].
Esta ser la solucin general del sistema no homogneo.
40
Depto. de lgebra
Como las variables libres x f i 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 GaussJordan, y evitamos la sustitucin hacia atrs.
1 2 2 3 4
1 2 0 1 2
[A|b] 2 4 1 3 5 0 0 1 1 1 = E [A|b] .
3 6 1 4 7
0 0 0 0 0
2
2 x2 x4
2
x1
1
x2
1
0
0
x2
(1.10.1)
= + x2
+ x4
=
.
1
0
x3 1 x4
1
0
x4
0
1
x4
La columna
2
0
1
0
41
Depto. de lgebra
que aparece en (1.10.1) es una solucin particular del sistema no homogneo;
se tiene cuando x2 = 0, x4 = 0.
Adems, la solucin general del sistema homogneo
x1 + 2x2 + 2x3 + 3x4 = 0,
2x1 + 4x2 + x3 + 3x4 = 0,
3x1 + 6x2 + x3 + 4x4 = 0,
es
x1
x2
x3
x4
= x2
2
1
0
0
+ x4
1
0
1
1
(1.10.2)
As, la solucin general del sistema homogneo (1.10.2) es una parte de la solucin general del sistema no homogneo original (1.10.1).
+ x2
+ 2x2
+ 2x2
+ 5x2
+
+
+
+
2x3
4x3
4x3
8x3
+
+
+
+
2x4
4x4
4x4
6x4
+ x5
+ 3x5
+ 2x5
+ 5x5
=
=
=
=
1,
1,
2,
3,
1 1 2 2 1
1 1 2 2 1 1
1
0 0 0 0 1 1
2 2 4 4 3 1
[A|b] =
0
0 0 0 0 0
2 2 4 4 2 2
0
3 5 8 6 5 3
0 2 2 0 2
1 1 2 2 1
1 1 2 2 1
1
1
0
0
0 2 2 0 2
0 1 1 0 1
0 0 0 0 1 1
0 0 0 0 1 1
0
0
0 0 0 0 0
0 0 0 0 0
1
1
1 0 1 2 0
1 0 1 2 0
0
1
0 1 1 0 1
0 1 1 0 0
= E [A|b] .
0 0 0 0 1 1
0 0 0 0 1 1
0
0
0 0 0 0 0
0 0 0 0 0
42
Depto. de lgebra
El sistema es compatible, pues la ltima columna es no bsica. Resolvemos el
sistema reducido para las variables bsicas x1 , x2 , x5 en funcin de las variables
libres x3 , x4 para obtener
x1
x2
x3
x4
x5
= 1
x3
2x4 ,
= 1
x3 ,
=
x3 (variable libre),
=
x4 (variable libre) ,
= 1.
2
1
1 x3 2x4
1
x1
x
1
1
0
1 x3
x3
x = x3 =
= 0 + x3 1 + x4 0 .
x4
1
0
0
x4
0
1
1
x5
0
1
2
x1
x3 2x4
1
0
x
x3
x3
x = x3 =
= x3 1 + x4 0 .
x4
0
1
x4
x5
0
0
0
43
Depto. de lgebra
=
2,
=
1,
= 3,
=
8.
1 0 0 2
2 4 6
2
1 0 1 0
3
1 2 3
[A|b] =
= E [A|b] .
1 0 1 3 0 0 1 1
8
0
2 4 0
0 0 0
El sistema es compatible porque la ltima columna no es bsica, o bien porque rango(A) = 3 = nmero de incgnitas (no hay variables libres). El sistema
homogneo asociado tiene nicamente la solucin trivial, y la solucin del sistema original es
2
p = 3 .
1
44