Académique Documents
Professionnel Documents
Culture Documents
Indice
7.1. Objetivos . . . . . . . . . . . . . . . . . . .
7.2. Introduccion . . . . . . . . . . . . . . . . . .
7.3. Ejemplo 1, caso homogeneo . . . . . . . . .
7.4. Motivacion: Ejemplo 2, caso no homogeneo
7.5. Espacio generado . . . . . . . . . . . . . . .
7.6. Condicion de pertencia a un generado . . .
7.7. Vectores especiales . . . . . . . . . . . . . .
7.8. Espacios generados en R2 . . . . . . . . . .
7.9. Espacios generados en R3 . . . . . . . . . .
7.10. Reduccion del conjunto generador . . . . . .
7.11. Cerradura del espacio generado . . . . . . .
7.12. Contencion entre espacios generados . . . .
7.13. Generacion de Rn . . . . . . . . . . . . . .
7.1.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
3
4
5
6
6
7
8
11
11
13
Objetivos
7.2.
Introducci
on
En el curso de
algebra lineal casi todo gira en torno a la solucion de sistemas de ecuaciones lineales.
Despues de sistema de ecuaciones lineales y combinacion lineal, el tercer concepto en importancia en el curso
es el de espacio generado. Este concepto tiene mucho de abstracto y conviene ilustrar como se relaciona con el
analisis de un sistema de ecuaciones lineales. En los siguientes dos ejemplos se motivara el concepto de espacio
generado por un conjunto de vectores. En ellos lo que debe es observar la forma que tiene la solucion general
obtenida.
7.3.
Ejemplo 7.1
Suponga que desea resolver el sistema:
x
3x
2x
x
2x
2y + 3z + 2w + t = 0
y + 2z + 4w + 3t = 0
6y + 8z
2t = 0
+ 3y 4z
+ t = 0
+ y z + 2w + 2t = 0
1 2
3 2
1
2
1 1 2
2
1
3 4 0
1
3 1
2 4
3
2 6
8 0 2
0
0
0
0
0
Al aplicarle eliminaci
on gaussiana tenemos:
1
0
0
0
0
0
1/5
6/5 1 0
1 7/5 2/5 0 0
0
0
0 0 0
0
0
0 0 0
0
0
0 0 0
Observamos que el sistema es consistente al no tener pivotes en la columna de las constantes. En general,
y debido a que las operaciones elementales no pueden aparecer n
umeros diferentes de cero en una columna
que solo contena ceros, si el sistema es homogeneo, la columna de las constantes seguira conteniendo ceros
despues del algoritmo de eliminaci
on gaussiana. Y por consiguiente, no podra haber pivote en la columna
de las constantes. Es decir, los sistemas homog
eneos siempre ser
an consistentes. Esta conclusi
on era
obvia pues hacer cero todas las variables en toda ecuacion lineal homogenea la debe convertir en una identidad.
Regresemos a nuestro ejemplo. Adem
as de que nuestro sistema es consistente, observamos que tiene columnas
de variables sin pivote, y por consiguiente, tiene variables libres: lo que nos lleva a concluir que el sistema de
ecuaciones tiene infinitas soluciones.
Determinemos la formula general para todas las soluciones. Para ello debemos convertir cada regl
on no cero
en una ecuacion:
1
6
x+ z+ w+t=0
5
5
7
2
y z w=0
5
5
Despejando las variables fijas:
1
6
x = z wt
5
5
7
2
y =
z+ w
5
5
x
y
z
w
t
1
6
z wt
5
5
7
2
z+ w
5
5
z
w
t
es decir, que la formula para la soluci
on general es:
1
6
5
5
7
2
0
x
y
5
5
+ w
+ t 0
z = z
,
1
0
0
t
0
1
1
0
0
para z, w y t escalares libres
7.4.
Motivaci
on: Ejemplo 2, caso no homog
eneo
1 3
1 1
2
1 3 5 2
1
2 6 4 3
3
1
3 7
0 3
Al aplicarle eliminaci
on gaussiana tenemos:
7
6
1
6
0
0
1 3 0
0
0
0 1
0 0
0 0
3
11
6
1
6
0
0
11
y 0
+y
z 1
w
0
1
+w
0
0
7
6
1
6
7.5.
Espacio generado
(1)
Soluci
on
El vector x pertence a V si y s
olo si x es una combinacion lineal de los vectores y1 y y2 , es decir, si y s
olo si
existen escalares c1 y c2 para los cuales:
x = c1 y1 + c2 y2
Esto se convierte en un sistema con matriz aumentada y que
1 3 2
1
2 5 3 0
1 0 1
0
reduciendola:
0 0
1 0
0 1
Como el sistema es inconsistente, no pueden existir c1 y c2 que cumplan la relacion, y por tanto, x no es
combinacion lineal de y1 y y2 , y por tanto, x1 no pertence al espacio generado
Ejemplo 7.4
Indique para que valor del par
ametro a el vector x1 =< 2, 3, a > pertenece al espacio
V = Gen {y1 =< 1, 2, 1 >, y2 =< 3, 5, 0 >}
Soluci
on
El vector x pertence a V si y s
olo si x es una combinacion lineal de los vectores y1 y y2 , es decir, si y s
olo si
existen escalares c1 y c2 para los cuales:
x = c1 y1 + c2 y2
Al formar la matriz aumentada del sistema y escalonarla queda
1 3 2
1
3
2
2 5 3 0 1
1
1 0 a
0
0 a+1
De aqu vemos que la u
nica posibilidad para que el sistema sea consistente es que en el u
ltimo rengl
on no
exista pivote; por tanto,
a + 1 = 0 = a = 1
7.6.
Condici
on de pertencia a un generado
El siguiente es el principal resultado sobre espacios generados y marca la relacion entre estos y los sistemas
de ecuaciones lineales. Este resultado no es sino una reformulacion de la interpretacion de la soluci
on de un
sistema de ecuaciones lineales. Aquel que dice que cuando se resuelve un sistema de ecuaciones lineales lo que
se busca es la forma de combinar las columnas de la matriz de coeficientes para obtener el vector de constantes.
Teorema
Sean b, v1 , v2 ,. . . , vm vectores en Rn . Entonces
b Gen{v1 , v2 , . . . , vm } [v1 , v2 , . . . , vm |b] es consistente
Dicho de otra manera, Gen {v1 , v2 , . . . , vk } consiste justo por aquellos vectores b para los cuales [v1 , v2 , . . . , vm |b]
es consistente.
7.7.
Vectores especiales
Los siguientes vectores son importantes porque conforman el conjunto mas simple que genera a Rn . En el
espacio n-dimensional Rn , el vector ei representa el vector que es el vector con solo ceros, excepto que en la
coordenada i tiene un 1.
Ejemplo 7.5
En R4
1
0
0
1
e1 =
0 , e2 = 0
0
0
0
0
0
0
, e3 = , y e4 =
1
0
0
1
En general:
Rn = Gen{ei , i = 1, . . . , n}
7.8.
Espacios generados en R2
Los espacios generados son conjuntos de vectores o abusando de la notacion, son conjuntos de puntos. Una
pregunta que se puede hacer es: geometricamente, que son los espacios generados?
Como veremos posteriormente, los u
nicos tres tipos de espacios generados en R2 independientemente del
n
umero de vectores son
Todo R2 .
Veamos algunos ejemplos que nos ilustran la naturaleza de los espacios generados en R2 .
Ejemplo 7.6
Indique que vectores x =< x, y > pertenece al espacio
V = Gen {y =< 1, 2 >}
Soluci
on
El vector x pertence a V si y s
olo si x es una combinacion lineal del vector y, es decir, si y solo si existe un
escalar c tal que:
x = cy
Esto se convierte en un sistema con matriz aumentada que escalonadose queda:
1 x
1
x
2 y
0 y 2x
De aqu vemos que la u
nica posibilidad para que el sistema sea consistente es que en el u
ltimo rengl
on no
exista pivote en la columna de las constantes; por tanto
y 2x = 0
Es decir, para que un vector x =< x, y > pertenezca al espacio generado por y =< 1, 2 >, el vector debe
cumplir
y = 2x
Es decir, que el espacio generado por el vector y es la recta anterior. La cual observamos que efectivamente
pasa por el origen
6
Ejemplo 7.7
Indique que vectores x =< x, y > pertenecen al espacio
V = Gen {y1 =< 1, 2 >, y2 =< 1, 1 >}
Soluci
on
El vector x pertence a V si y s
olo si x es una combinacion lineal de los vectores y1 y y2 , es decir, si y s
olo si
existen escalares c1 y c2 tales que:
x = c1 y1 + c2 y2
Esto se convierte en un sistema con matriz aumentada que escalonadose queda:
1 1 x
1 0 x + y
2 1 y
0 1 2x y
Como no hay pivotes en la columna de las constantes, el sistema es siempre consistente. Por consiguiente,
todo vector x =< x, y > es combinaci
on lineal de los vectores y1 y y2 . Por tanto, los vectores y1 y y2 generan
todo R2 :
Gen {y1 , y2 } = R2
7.9.
Espacios generados en R3
Los u
nicos cuatro tipos de espacios generados en R3 independientemente del n
umero de vectores son
Todo R3 .
Ejemplo 7.8
Indique que vectores x =< x, y, z > pertenecen al espacio
V = Gen {y1 =< 1, 2, 1 >, y2 =< 1, 0, 1 >}
Soluci
on
El vector x pertence a V si y s
olo si x es una combinacion lineal de los vector y1 y y2 , es decir, si y s
olo si
existen escalares c1 y c2 tales que:
x = c1 y1 + c2 y2
Esto se convierte en un sistema con matriz
1 1
2 0
1 1
x
1
1
x
y 0 2 y 2 x
z
0
0 zx
Gen {y1 , y2 } = y : z x = 0
z
7
1 x
2 y
1 z
1
x
0 y 2x
0 zx
Gen {y1 , y2 } = y : y = 2 x y z = x
z
Posteriormente veremos que esta ecuaci
on representa una recta en R3 que pasa por el origen
7.10.
Reducci
on del conjunto generador
Un problema que frecuentemente ocurre es que el generador del espacio es redundante. Es decir, que tiene
mucha informaci
on que podra ser deducida de otra. En terminos de vectores, diramos hay vectores que no
aportan una componente nueva al espacio que generan los vectores restantes. El siguiente resultado dice en
que condicion el conjunto generado se puede reducir y seguir generando el mismo espacio generado.
Teorema
Si uno de los vectores en la lista v1 , v2 ,. . . , vk es una combinacion del resto, el espacio generado
permance igual si dicho vector se elimina de la lista.
Demostraci
on
Sin perder generalidad, supongamos que vk es combinacion lineal de los vectores v1 , v2 ,. . . ,vk1 . Por tanto,
deben existir escalares a1 ,a2 ,. . . ,ak1 tales que
vk = a1 v1 + + ak1 vk1
(2)
Sea ahora un vector v cualquiera del espacio generado V = Gen {v1 , v2 , . . . , vk }. Por consiguiente, deben
existir escalares ci para i = 1, . . . , k tales que
v = c1 v1 + + ck1 vk1 + ck vk
Sustituyendo (2) en (3) obtenemos
v = c1 v1 + + ck1 vk1 + ck (a1 v1 + + ak1 vk1 )
8
(3)
2
1
2
1
V = Gen 2 , 4 , 1 , 1
1
0
2
1
Soluci
on
Determinemos cuales vectores son combinaciones lineales de los restantes; Por conveniencia, designemos por
v, u, x, y y los vectores del conjunto en el orden izquierda a derecha. Veamos si el vector y es combinaci
on
lineal de los anteriores:
Armamos la matriz aumentada como se convino previamente (final de lectura 22):
1 2
1
1 2 0 1
2
2 4 1
1 0
0 1 1
1
2
0 1
0
0 0 0
Siendo el sistema consistente, el vector y es combinacion lineal de los vectores u, v y x por el resultado
anterior:
Gen {u, v, x, y} = Gen {u, v, x}
Nuevamente nos preguntamos si es posible eliminar otro vector, digamos x:
1 2
1
1 2 0
2 4 1 0
0 1
1
2
0
0 0
0
Como el sistema es inconsistente, no es posible eliminar el vector x y seguir generando el mismo espacio.
Ahora nos preguntamos si el vector v es combinacion lineal de v y x:
1 0 2
1
1 2
2 1 4 0 1
0
1
0
2
0 0
0
Siendo el sistema consistente, concluimos que el vector u es combinacion lineal de los vectores v y x, y por
tanto:
Gen {u, v, x, y} = Gen {u, v, x} = Gen {v, x}
Nos seguimos preguntanto si es posible continuar determinando si hay un vector que se combinacion lineal de
los restantes en el conjunto {v, x}: Veamos si el vector x es combinacion lineal de v:
1
1
1 0
2 1 0 1
1
0
0 0
Por tanto, x no es combinaci
on lineal de v y por consiguiente
v es combinacion lineal de x:
1
1
1
1
2 0
0 1
0
0
1
0
Veamos si el vector
1
2
1
2
4
2
1
1
0
1
10
3
Soluci
on
Por conveniencia, designemos por v, u, x, y y los vectores del conjunto en el orden izquierda a derecha.
Formemos la matriz con los vectores como columnas:
1 2
1 1
1 2 0
3
2 4 1 10 0
0 1 4
1
2
0 3
0
0 0
0
Por tanto, los vectores que deben permanecer son los vectores que entraron en las columnas 1 y 3; los
demas pueden eliminarse del generador:
1
2
1
1
1
1
Gen 2 , 4 , 1 , 10 = Gen 2 , 1
1
2
0
3
1
0
Puede verificarse facilmente que:
u = 2 v
y = 3 v + (4) x
Note lo completo de la informaci
on contenida en la matriz reducida!
10
7.11.
7.12.
Contenci
on entre espacios generados
En general, los espacios generados son infinitos y para ver que un espacio generado esta contenido como
conjunto dentro de otro debera hacerse elemento por elemento. Sin embargo, el siguiente resultado nos dice
como se pueden comparar espacios generados a partir de conjuntos de generadores. Es decir, reduce el problema
de ver si un espacio generado est
a contenido dentro de otro a un caso finito.
Teorema
Si V = Gen {x1 , , xm }, y W = Gen {y1 , , yk } son conjuntos de vectores en Rn .
Todo vector xi (i = 1, 2, . . . , m) pertence a W si y solo si V W .
Demostraci
on
Supongamos que todo vector xi (i = 1, 2, . . . , m) pertence a W . Veamos que V W . Como W = Gen {x1 , , xm },
deben existir escalares cij para i = 1, . . . , m y j = 1, . . . , k tales que
xi = ci1 y1 + + cik yk
11
Sea w un vector de V cualquiera. Como V = Gen {x1 , , xm }, entonces deben existir escalares a1 , a2 ,. . . ,am
tales que
v = a1 x1 + + am xm
Sustituyendo cada xi obtenemos:
v = a1 (c11 y1 + + c1k yk ) + + am (cm1 y1 + + cmk yk )
Si desarrollamos los productos anteriores y agrupamos respecto a los vectores yj obtenemos
v = (a1 c11 + + am cm1 )y1 + + (a1 c1k + + am cmk )yk
Por consiguiente, cualquier vector v de V es combinacion de los vectores yj y por tanto, pertenece a W .
Probando que V W .
Supongamos ahora que V W . Por tanto, cualquier vector de V pertenece a W . En perticular, pertenecen a
W los vectores
xi = 0 x1 + 0 x2 + + 1 xi + + 0 x m
de donde se concluye que cada vector xi W
Ejemplo 7.12
Diga si U V , V U , U = V , o no son comparables, si
2
3
1
U = Gen u1 = 2 , u2 = 6 , u3 = 4
2
3
1
4
1
V = Gen v1 = 8 , v2 = 0
4
1
Soluci
on Veamos si U V : De acuerdo al resultado previo debemos ver si todo ui V . Para ello construimos
4 1
1 0 1/4
1
2 0 1
0
[v1 , v2 |u1 ] = 8 0
4 1 1
0 0
0
4 1
3
1 0 3/4
6 0 1
0
[v1 , v2 |u2 ] = 8 0
4 1 3
0 0
0
4 1 2
1 0 1/2
0
[v1 , v2 |u3 ] = 8 0 4 0 1
4 1
2
0 0
0
Como cada sistema es consistente ui V y as U = Gen {u1 , u2 , u3 } V.
Veamos si V U : De acuerdo al resultado previo debemos ver si todo vi U . Para ello construimos
1
3 2
4
1 3 2 4
6 4
8 0 0
0 0
[u1 , u2 , u3 |v1 ] = 2
1 3
2 4
0 0
0 0
1
3 2 1
1 3 2 0
6 4 0 0 0
0 1
[u1 , u2 , u3 |v2 ] = 2
1 3
2 1
0 0
0 0
12
7.13.
Generaci
on de Rn
En el siguiente resultado se revisa las condiciones en las cuales un conjunto genera todo el espacio que lo
contiene:
Teorema
Sea {v1 , v2 , . . . , vm } un conjunto de vectores en Rn . Entonces son equivalentes las siguientes afirmaciones:
1. Para cualquier vector de constantes b, el sistema [v1 , v2 , . . . , vm |b] es consistente.
2. Rn = Gen{v1 , v2 , . . . , vm }.
3. La matriz reducida (o escalonada) obtenida de [v1 , v2 , . . . , vm ] tiene pivote en cada rengl
on.
Demostraci
on
En lo siguiente digamos que V = Gen {v1 , . . . , vm }.
1 implica 2
Como vi Rn , entonces el teorema anterior afirma que V Rn . Lo que falta probar es que Rm V . Sea c
un vector cualquiera de Rn . Usamos la propiedad 1. aplicada para b = c, y se deduce que
[v1 , . . . , vm |c]
es un sistema consistente. Aplicando el primer teorema de esta seccion se deduce que c V = Gen {v1 , . . . , vm }.
Esto prueba que Rn V . Como las dos contenciones se cumplen se tiene que V = Rn .
2 implica 3
Demostremos su contrapositiva. Supongamos que al aplicar las operaciones elementales O1 ,O2 ,. . . ,Or la matriz
[v1 , . . . , vm ] tiene un rengl
on un rengl
on sin pivote. Sin perdida de generalidad supongamos que en el rengl
on
n no quedan pivotes. Tomemos b como el vector que se obtiene de aplicar los inversos de las operaciones
elementales Oi a en en orden opuesto:
b = O1inv O2inv Orinv en
(La idea es que al aplicarle a b las operaciones O1 , O2 ,. . . ,Or se obtenga el vector en ) De lo anterior se deduce
que al aplicarle al sistema [v1 vm |b] las operaciones O1 , O2 , . . . , y Or se obtiene una matriz cuyo u
ltimo
renglon es el renglon de ceros salvo que en su u
ltima posicion tiene 1. Por tanto, el sistema es inconsistente.
Por el primer teorema de esta secci
on, se deduce que el b no pertenece a V . As hemos probado que si no se
cumple 3 entonces no se cumple 2. Esta es la contrapositiva de 2 implica 3.
3 implica 1
Sea b un vector de constantes cualquiera. Formemos el sistema [v1 vm |b]. Al reducir el sistema, no existe
pivote en la columna de las constantes debido a que por 3 todos los renglones tienen pivote y estos est
an en la
parte izquierda de la matriz aumentada. Por lo tanto, el sistema es consistente.
La prueba de estas implicaciones muestra que las 3 afirmaciones son equivalentes
13
4
5
2
3 6
5 25
3
0
Soluci
on
Al aplicar eliminaci
on gaussiana a la matriz A se obtiene
4 3 6
1 0
3
5 5 25 0 1 2
2 3
0
0 0
0
Como no quedan pivotes en todos los renglones de ceros se concluye, por el teorema previo, que no es cierto
que para cualquier vector b de R3 el sistema es consistente
Ejemplo 7.14
Sean a1 , a2 , a3 , b, y c vectores de Rn . Ser
a cierto que:
Si 4 b Gen {a1 , a2 }, entonces [a1 , a2 , a3 |b] es consistente.
Soluci
on
Si 4 b Gen {a1 , a2 } entonces existen escalares c1 y c2 tales que:
4 b = c1 a1 + c2 a2
dividiendo entre 4 tendremos que:
b=
c2
c1
a1 + a2
4
4
por lo tanto:
c1
c2
a1 + a2 + 0 a3
4
4
Esto dice que el vector b se obtiene combinado los vectores a1 , a2 y a3 , por lo tanto:
b=
[a1 a2 a3 |b]
es consistente. Por tanto, la afirmaci
on es cierta.
Ejemplo 7.15
Sean a1 , a2 , a3 , b, y c vectores de Rn . Ser
a cierto que:
Si [a1 , a2 |b] es consistente y [a1 , 3 a2 |6 c] es inconsistente, entonces [a1 , b|b + c] es consistente.
Soluci
on
Si [a1 , a2 |b] es consistente, entonces que s existen escalares c1 y c2 tales que
b = c1 a1 + c2 a2
Si [a1 , 3 a2 |6 c] es inconsistente entonces no existen escalares e1 y e2 que cumplan
6 c = e1 a1 + e2 3 a2
14
e1
3 e2
a1 +
a2
6
6
15
Soluci
on
[a1 , a2 , a3 |b] consistente indicara que existen c1 , c2 , c3 tales que:
b = c1 a1 + c2 a2 + c3 a3
Si multiplicamos por 3 se tendra
3 b = 3 c1 a1 + 3 c2 a2 + 3 c3 a3
= (3 c1 ) a1 + (3 c2 )a2 + 23 c3 2 a3
= (3 c1 ) a1 + 23 c3 2 a3 + (3 c2 ) a2
Lo cual dice que el vector 3 b es combinaci
on lineal de a1 , 2 a3 y a2 . Por tanto, el sistema [a1 2 a3 a2 |3 b] es
consistente.
Ejemplo 7.18
Sean a1 , a2 , a3 , b, y c vectores de Rn . Ser
a cierto que:
Si [a1 , a2 , a3 |b] es inconsistente, entonces b Gen {a1 , a2 }
Soluci
on
Si la conclusion de la implicaci
on b Gen {a1 , a2 } fuera cierta entonces existiran escalares c1 y c2 tales que
b = c1 a1 + c2 a2
por tanto
b = c1 a1 + c2 a2 + 0 a3
y por tanto, concluiramos que el vector b se obtiene combinado a1 , a2 y a3 . Es decir [a1 a2 a3 |b] es consistente.
Pero esto es la negaci
on de la hip
otesis [a1 , a2 , a3 |b] es inconsistente de la implicacion. Por tanto, no es posible
que b Gen {a1 , a2 }. Por tanto, la afirmaci
on debe ser falsa.
16