UNIDAD 3 - ESPACIOS
VECTORIALES
En las unidades anteriores vimos que el lgebra de vectores y el lgebra de matrices
presentan similitudes. Pudimos observar que las propiedades de la suma (de vectores
o de matrices) y del producto por un escalar son idnticas en ambos conjuntos.
1. +
2. + = +
3. ( + ) + = + ( + )
4. + =
5. , ( ) + () =
6.
7. ( + ) = +
8. ( + ) = +
9. () = ()
10. 1 =
1
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Tambin es posible que los escalares pertenezcan a otro conjunto numrico, por
ejemplo los nmeros complejos con los cuales trabajaremos en la ltima unidad.
Ejemplo 1
De acuerdo con las propiedades que vimos en la primera unidad, podemos afirmar
que 3 es un espacio vectorial.
= {(1 , 2 , , ) , }
Sean = (1 , 2 , , ) = (1 , 2 , )
+ = (1 + 1 , 2 + 2 , , + )
= (1 , 2 , , )
Puede comprobarse que las operaciones definidas verifican los axiomas de espacio
vectorial.
Ejemplo 2
De acuerdo con las propiedades enunciadas en la segunda unidad, para cada y
es un espacio vectorial.
Tenemos por ejemplo 23, espacio vectorial cuyos vectores son las matrices de 2 3.
Ejemplo 3
Llamemos 2 al conjunto de polinomios de grado menor o igual que 2, incluyendo el
polinomio nulo.
Dados () = + 1 + 2 2 2 y () = + 1 + 2 2 2
( + )() = () + () = ( + ) + (1 + 1 ) + (2 + 2 ) 2 2
()() = () = ( ) + (1 ) + (2 ) 2 2
Puede demostrarse que estas operaciones verifican todos los axiomas de espacio
vectorial.
2
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Observacin:
Propiedad 1
0 =
Propiedad 2
=
Propiedad 3
() = ()
En particular, para = 1 :
(1) =
Propiedad 4
= = 0 =
Si = 0 , se cumple la proposicin.
1
Si 0 , podemos multiplicar por :
1 1
=
= = demostrado!
3
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Subespacios vectoriales
Definicin
Sea un espacio vectorial y un subconjunto no vaco de .
Ejemplo
= { (1, 2 ) 2 2 = 31 } es un subespacio de 2?
(1 , 31 ) = 1 (1,3)
es la recta que pasa por el origen y tiene vector director (1,3), o sea la recta de
ecuacin y = 3x.
Pero en general no es necesario verificar los axiomas porque existe un criterio sencillo
para determinar si un subconjunto de un espacio vectorial es un subespacio, es el
que sigue.
a. est en .
Observaciones
4
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Si tomamos = 1, resulta:
De las observaciones anteriores se deduce que las condiciones (a), (b) y (c) son
suficientes para demostrar que es un espacio vectorial, y por lo tanto subespacio
de .
Subespacios triviales
Si es un espacio vectorial, entonces es un subespacio de s mismo.
El conjunto {0 }, que contiene slo al vector nulo del espacio, tambin es subespacio
de pues:
0 + 0 = 0 y 0 = 0
= 0 = 0 = 0
5
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
(1,1)
(0,1)
(1,0)
Entonces no es un subespacio de 2.
Ejemplo 2
Consideremos el conjunto = {(, ) 2 | = 0}. Es decir, la recta de ecuacin =
0. Es un subespacio de 2?
(0, ) = (0, )
Luego es subespacio de 2.
Ejemplo 3
Consideremos el conjunto = {(, ) 2 | 2 2 = 0}. Es un subespacio de 2?
2 2 = 0 = =
6
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Entonces no es un subespacio de 2.
Ejemplo 4
Consideremos el conjunto = {(, , ) 3 | + + 2 = 0}. Es decir un plano que
pasa por el origen. Es un subespacio de 3?
Se cumple (b) pues la suma de dos vectores del plano, sigue estando en ese plano:
( 2, , ) + ( 2 , , ) = ( ( + ) 2( + ) , + , + )
Se cumple () pues ( 2, , ) = ( 2, , )
Entonces es subespacio de 3.
Ejemplo 5
Consideremos el conjunto = { 2 | (0) = 0 }. Es decir, los polinomios de grado
menor o igual que 2 (incluyendo el polinomio nulo) tales que evaluados en 0 dan por
resultado 0. Es un subespacio de 2?
()(0) = (0) = 0 = 0
Ejemplo 6
Consideremos el conjunto = { 22 | = }. Es decir, el conjunto de matrices
simtricas de 2 2.
7
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Ejemplo 7
Consideremos el conjunto = { 22 | det() = 0 }. Es un subespacio de 22?
En general det( + ) det() + det(), entonces podra ocurrir que , pero que
+ no est en . Por ejemplo
1 3 0 0 1 3
=( ) , =( ) , + =( )
1 3 2 5 3 8
no es un subespacio de 22.
Subespacios de Subespacios de
{(0,0)} {(0,0,0)}
Rectas que pasan por el origen Rectas que pasan por el origen
2 (como subespacio de s Planos que pasan por el origen
mismo) 3 (como subespacio de s
mismo)
8
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Combinacin lineal
Definicin
Sean 1 , 2 , , , vectores de un espacio vectorial . Se dice que el vector es una
combinacin lineal de los vectores 1 , 2 , , si se puede expresar como sigue:
= 1 1 + 2 2 + +
Observacin: Nosotros estamos trabajando con espacios vectoriales reales, o sea que
los escalares son nmeros reales.
Ejemplo 1
El vector (0,0,3) es combinacin lineal de (0,0,1) ya que
(0,0,3) = 3(0,0,1)
Todos los vectores (0,0, ) con . Es decir que todos los vectores sobre el eje , son
combinacin lineal de (0,0,1).
Ejemplo 2
El vector (1,0,4) es combinacin lineal de (1,0,1), (0,0,2) ya que:
3
1. (1,0,1) + . (0,0,2) = (1,0,4)
2
9
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Ejemplo 3
El vector 8 4 2 es combinacin lineal de los vectores y 2 ya que:
8 4 2 = 8. () + (4). 2
Ejemplo 4
Es el vector (1,8) combinacin lineal de los vectores (1,0), (3,3)?
1 = + 3 8
{ = 7, =
8 = 3 3
Ejemplo 5
Para qu valores de k el vector (, , ) combinacin lineal de los vectores
(, , ), (, , ), (, , )?
10
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
=1
{ + 2 = 2
= 3
Conjunto generador
Sea { 1 , 2 , } un conjunto de vectores de un espacio vectorial .
Ejemplo 1
Es el conjunto {(1,1), (1, 1)} generador de 2?
=+ +
(, ) = (1,1) + (1, 1) { = , =
= 2 2
Ejemplo 2
Es el conjunto {(1,1), (1, 1), (2,0)} generador de 2?
Otra vez planteamos un sistema de ecuaciones. Nos interesa saber si tiene solucin o
no:
= + + 2
(, ) = (1,1) + (1, 1) + (2,0) {
=
1 1 2 1 1 2 1 1 2
( ) ( ) 1 (0 1 1 )
1 1 0 2 1 2 0 2 2 .
2
2 2
11
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
+
+ + 2 = = +
{ { 2
+ =
2 =
2
Ejemplo 3
Es el conjunto (1,0,0), (0,1,0), (1,1,1) generador de 3?
= + =
(, , ) = (1,0,0) + (0,1,0) + (1,1,1) { = + { =
= =
Ejemplo 4
Qu vectores pueden expresarse como combinacin lineal del (1,0)?
Los vectores de la forma (, 0). Entonces el vector (1,0) no genera todo 2, pero
genera la recta = 0.
Ejemplo 5
Qu vectores pueden expresarse como combinacin lineal de (1,0,0) y (0,1,0)?
(, , ) = (1,0,0) + (0,1,0) = (, , 0)
Subespacio generado
Sean 1 , 2 , , vectores de un espacio vectorial .
0 = 0 1 + 0 2 + + 0
(1 1 + + ) + (1 1 + + ) = (1 + 1 )1 + + ( + )
( 1 1 + + ) = (1 )1 + + ( )
12
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Estas tres condiciones permiten afirmar que el conjunto de todas las combinaciones
lineales de 1 , 2 , , es un subespacio de .
Entonces:
{1 , 2 , , } = { : = 1 1 + 2 2 + + , }
Ejemplo 1
Las combinaciones lineales del vector (2,1) son todos los vectores de la forma (2, )
con .
0,5
Ejemplo 2
Las combinaciones lineales de los vectores (1,0,2), (0,0,1) son los vectores coplanares
con (1,0,2) y (0,0,1):
13
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Son todos los vectores con segunda componente nula. Es decir que el subespacio
generado es el plano = 0.
Ejemplo 3
Tomemos los vectores del ejemplo anterior: (1,0,2), (0,0,1) y adems el vector (1,0,1).
Qu espacio generan?
Son vectores con segunda componente nula. Se genera el mismo subespacio que en
el ejemplo anterior. Esto se explica porque el tercer vector es coplanar con los
primeros dos.
14
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
1 1 + 2 2 + + = 0
Demostracin:
1 1 + 2 2 + + = 0
admite otras soluciones adems de la trivial. O sea, existe una combinacin lineal
donde al menos uno de los escalares es distinto de cero, que da el vector nulo.
2
1 = ( ) 2 + + ( )
1 1
Sabemos que uno de los vectores puede expresarse como combinacin de los
dems. Sin perder generalidad, supongamos que:
1 = 2 2 + +
15
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Entonces: 11 + 2 2 + + = 0
Existe una combinacin lineal no trivial (al menos uno de los escalares es distinto de
cero) que es igual al vector nulo. Por lo tanto, el conjunto { 1 , 2 , , } es linealmente
dependiente, como queramos demostrar.
Ejemplo 1
Es el conjunto {(1,1), (1, 1)} LI o LD?
Planteamos la ecuacin:
+ 2 = 0
{ 1 1 = 0 , 2 = 0
1 2 = 0
Ejemplo 2
Es el conjunto {(1,1), (1, 1), (2,0)} LI o LD?
0 = + + 2
(1,1) + (1, 1) + (2,0) = (0,0) {
0=
1 1 2 1 1 2 1 1 2
( ) ( ) ( )
1 1 0 2 1 2 0 2 2 1. 0 1 1
2 2
2
+ + 2 = 0 =
{ { =
+ =0
Ejemplo 3
Es el conjunto {(1,0,0), (0,1,0), (1,1,1)} LI o LD?
0= + =0
(1,0,0) + (0,1,0) + (1,1,1) = (0,0,0) {0 = + { = 0
0= =0
16
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Ejemplo 4
Es el conjunto { (1,0,0) , (0,1,0)} LI o LD?
=0
(1,0,0) + (0,1,0) = (0,0,0) {
=0
Ejemplo 5
Es el conjunto { , 2 , 4 2 } LI o LD?
1 () + 2 ( 2 ) + 3 (4 2 ) = 0 2 + 0 + 0
+ 43 = 0 = 43
{ 2 { 2
1 3 = 0 1 = 3
(1)() + (4)( 2) = 4 2
Propiedades
Propiedad 1
Un conjunto formado por un solo vector, es linealmente independiente (LI) o
dependiente (LD)?
= 0
Propiedad 2
Si un conjunto de vectores contiene al vector nulo, entonces es linealmente
dependiente (LD).
Demostracin:
Sea = {1 , 2 , , , 0 }
01 + 02 + + 0 + 1 0 = 0
17
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Probamos que existe una combinacin lineal con escalares no todos nulos, que da el
vector nulo. Por lo tanto, es linealmente dependiente.
Interpretacin geomtrica
Observacin previa: En lo que sigue consideramos los vectores colocados a partir del
origen de coordenadas.
De [1] resulta que dos vectores 1 y 2 son linealmente dependientes (LD) si y slo si
uno de ellos es un mltiplo escalar del otro.
Podemos afirmar entonces que dos vectores en 2 o 3 son LD si y slo si estn sobre
la misma recta que pasa por el origen (vectores paralelos).
Dos vectores LI en 3
Dos vectores LD en 3
18
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Tres vectores LI en 3
Tres vectores LD en 3
i. es linealmente independiente;
ii. genera a .
Teniendo en cuenta esta definicin, = {(1, 1), (1, 1)} es una base de 2. Otra base
de 2 muy usual es la que contiene a los versores cannicos: = {(1, 0) , (0, 1)}.
Observamos que las dos bases estn compuestas por dos vectores linealmente
independientes. Ser sta una caracterstica de cualquier base de 2?
19
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
De acuerdo con esta propiedad, podemos deducir una caracterstica comn a toda
base de un espacio vectorial:
En consecuencia:
Si no existe una base de formada por un conjunto finito de vectores, se dice que
es un espacio de dimensin infinita. Un ejemplo es el espacio de todos los polinomios
(de cualquier grado).
20
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Anlogamente en 4:
De acuerdo con el nmero de vectores que componen cada una de estas bases,
podemos afirmar que:
dim( ) =
1 0 0 1 0 0 0 0 0 0 0 0
( ) = (0 0) + (0 0) + (1 0) + (0 1) + (0 0) + (0 0)
0 0 0 0 0 0 0 0 1 0 0 1
dim( ) =
() = 0 + 1 + 2 2 = 0 1 + 1 + 2 2
Anlogamente:
{1, , 2 , 3 } 3
{1, , 2 , 3 , , }
Entonces:
dim( ) = + 1
Ejemplo 1
Existen diferentes bases para un mismo espacio vectorial. Consideremos en 2 el
conjunto:
= {(1,0), (1,1)}
21
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
(, ) = (1,0) + (1,1)
+ =
{ = =
=
Ejemplo 2
Hemos visto en ejemplos anteriores que el conjunto {(1,0,0), (0,1,0), (1,1,1)} genera 3, y
que son vectores LI. Por lo tanto es una base de 3.
Ejemplo 3
Veamos que el conjunto = {1,1 + , 1 + 2 } es una base de 2 .
++ =0
0 + 0 + 0 2 = 1 + (1 + ) + (1 + 2 ) { =0 ===0
=0
++ = =
+ + 2 = 1 + (1 + ) + (1 + 2 ) { = { =
= =
22
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Ejemplo 1
Es el conjunto = {(1,1,0), (2, 1,1), (0,1,0)} base de 3?
1 1 0
(1,1,0). (2, 1,1) (0,1,0) = |2 1 1| = 1 0
0 1 0
Luego es base de 3.
Ejemplo 2
= {1 + + 2 , 3 , 2 + 2 } 2
(1 + + 2 ) + (3 ) + (2 + 2 ) = 02
+ 3 + 2 = 0
{ =0
+ = 0
1 3 2
En este caso, = (1 1 0) y det() = 2 4
1 0
23
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
1
Si = 2 el sistema queda compatible indeterminado.
1
Para cualquier el sistema es compatible determinado, por lo tanto
2
{1 + + 2 , 3 , 2 + 2 } es LI, y entonces es base de 2.
Ejemplo 3
Dado = {1 , 2 , 3 , 4 } 3 puede afirmarse que este conjunto es LD. Si hubiera tres
vectores LI, stos formaran una base de 3y por lo tanto el vector restante podra
expresarse como combinacin lineal de ellos.
Ejemplo 4
El conjunto { = (1,2,3), = (1,1,0)} es LI en 3 pero no genera todo 3 sino que genera
un plano. Podemos extenderlo a una base agregando algn vector LI, podra ser por
ejemplo el producto vectorial entre estos dos. Obtenemos {, , } que es una base
de 3.
Demostracin:
Sea = {1 , 2 , , } base de .
= 1 1 + 2 2 + + y = 1 1 + 2 2 + +
0 = (1 1 ) 1 + (2 2 ) 2 + + ( )
= 0 ( = 1, , )
Por lo tanto, los escalares de la combinacin lineal son nicos para cada vector de V.
Sea = {1 , 2 , , } base de .
24
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
= 1 1 + 2 2 + +
1
[] = 2
( )
Ejemplo 1
Sean,
= (1,4,3)
a) Hallar:
[] , coordenadas del vector en la base
[] , coordenadas del vector en la base cannica
b) Sabiendo que:
3
[] = (1)
2
Hallar .
Resolucin
tem a
+ + 2 = 1 = 5
{ + 2 = 4 { = 2
=3 =3
5
[] = (2)
3
En el caso de la base cannica, las coordenadas del vector coinciden con sus
componentes, ya que:
25
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Entonces:
1
[] = ( 4 )
3
tem b
Dadas una base y las coordenadas de un vector en esa base, podemos hallar el
vector:
Observacin: Las bases son conjuntos ordenados. O sea, si reordenamos los vectores
de una base, obtenemos una base diferente. As:
5 3
[] = (2) [] = (5)
3 2
Ejemplo 2
Dados los vectores de 2, y sus coordenadas en la base :
= (5,2) , = (7,1)
3 5
[] = ( ) , [] = ( )
2 3
Resolucin
= {1 , 2 }
3
[] = ( ) 31 + 22 = (5,2)
2
5
[] = ( ) 51 + 32 = (7,1)
3
26
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
2 = (4,7)
Entonces
{(0,0,0)}
Rectas que pasan por el origen,
Planos que pasan por el origen y
3
dim({0 }) = 0
: + 3 2 = 0
= 3 + 2
Esto quiere decir que cualquier vector en ese plano se puede escribir como
combinacin lineal de (3,1,0) y (2,0,1). Cmo son LI:
{(3,1,0), (2,0,1)} 1
dim(1 ) = 2
27
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
2 = {(, , ) 3 | + = 0 , = 0}
+ =0 1
{ , 1 2 =
= 0 2
() = 0 = 2
Si llamamos = , resulta:
(, , ) = (, , 2) = (1, 1,2)
= 3
Nmero mnimo de
Dimensin del
ecuaciones que Objeto geomtrico Ejemplo
subespacio
definen S
0 3 3
=0
2 1 Rectas por el origen {
=0
=0
3 0 {(0,0,0)} { = 0
=0
28
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
EPL 1
Indicar si = {(1,1,1), (1,3,2)} es una base de = {(, , , ) 3 : + 2 = 0 } ,
justificando la respuesta.
Ejemplo 1
Consideremos el siguiente subespacio de R4 y busquemos base y dimensin:
1 = {(1 , 2 , 3 , 4 ) 4 | 1 + 4 = 0 2 4 = 0}
Si 3 no est en las ecuaciones, significa que es una variable libre, o sea que puede
tomar cualquier valor real.
Entonces:
1 = 4
1 : { = 3 , 4
2 4
(4 , 4 , 3 , 4 ) = 3 (0,0,1,0) + 4 (1,1,0,1)
Encontramos dos vectores L.I. que generan el subespacio. Entonces una base de 1
es:
Ejemplo 2
Hallemos una base y la dimensin del subespacio de matrices simtricas de 2x2:
2 = { 22 | = }
Cmo es una matriz simtrica de 2x2? =( )
1 0 0 1 0 0
( ) = ( )+( )+( )
0 0 1 0 0 1
Las tres matrices halladas son L.I. y generan el subespacio de matrices simtricas, por
lo tanto hemos encontrado una base de dicho subespacio:
1 0 0 1 0 0
2 = {( ),( ),( )} dim(2 ) = 3
0 0 1 0 0 1
29
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
EPL 2
Hallar una base y la dimensin del subespacio de matrices antisimtricas de 2x2 y de
3x3.
Ejemplo 3
Hallar base y dimensin de = {() 2 | 0 21 + 32 = 0}
Resolucin
Cmo es un polinomio de 2?
() = 0 + 1 + 2 2
0 21 + 32 = 0 0 = 21 32
() = (21 32 ) + 1 + 2 2
(3 + 2 )
(2 + ) + 2
() = 1
1 () 2 ()
= {2 + , 3 + 2 }
dim() = 2
En este caso, por la definicin de S sabemos que {(1,1,2), (1, 1,0), (0,1,1)} es un
conjunto generador de S. Para determinar si es una base, tendremos que analizar la
independencia lineal:
- Si son LD, tendremos que extraer una base eliminando los vectores que sobren.
30
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Una forma prctica de extraer bases es armar una matriz con los vectores dados y
llevarla a la forma escalonada:
1. Las filas nulas (todos sus elementos son ceros) se encuentran en la parte inferior.
2. En cada fila no nula, el primer elemento distinto de cero (pivote) est a la derecha
del pivote de la fila anterior.
1 1 2 1 1 2 1 1 2
(1 1 0) (0 2 2) ( 0 2 2)
3 2 23
0 1 1 2 1 2 0 1 1 0 0 0
Se denomina rango de una matriz al nmero de filas LI que tiene la matriz. Veremos en
la siguiente unidad la importancia de este concepto en el estudio de sistemas de
ecuaciones lineales.
En el ejemplo, la matriz escalonada tiene rango 2, por lo tanto la matriz que armamos
con los generadores de S tiene rango 2. Esto significa que de los tres generadores de S
hay dos linealmente independientes. Cul es entonces la dimensin de S? dim() = 2
31
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Este mtodo tambin permite obtener bases: las filas no nulas de la ltima matriz son
otra base de S, ya que fueron obtenidas como combinaciones lineales de los vectores
de S:
{(1,1,2), (0,2,2)}
Ejemplo
Dado el conjunto:
= {1 + ; 1 2 ; 2 + 3 + 2 } 2
Resolucin
Los dos primeros vectores de son LI, entonces se trata de analizar para qu valores
de el tercer vector es combinacin lineal de los anteriores:
2 + 3 + 2 = (1 + ) + (1 2 )
2= +
{ 3 = = 3 , = 1, =1
=
{1 + ; 1 2 ; 2 + 3 + 2 } = {1 + ; 1 2 }
{1 + ; 1 2 } 2
0 + 1 + 2 2 = (1 + ) + (1 2 )
+ = 0
{ = 2 = 1 = 2 0 = 1 2
= 1
= () = { 2 | 0 1 + 2 = 0}
32
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Como verificacin, puede comprobarse que los dos vectores de la base verifican la
ecuacin obtenida.
= { }
Propiedad: es subespacio de .
Demostracin:
1. 0 0 0
2. Consideremos ,
+ [1]
+ [2]
Ejemplo 1
Sean los subespacios de 3:
= {(, , )| 3 = 0}
= {(, , )| + = 0}
Hallar .
Resolucin
Por definicin es un conjunto que estar formado por los vectores que
pertenezcan a y a . Es decir aquellos vectores que satisfagan las ecuaciones de y
las de :
= {(, , )| 3 = 0 + = 0}
Se trata de una recta definida como interseccin de dos planos. Una base de la recta
es un vector director.
33
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
= 1 2 = |1 0 3| = (3, 2,1)
1 1 1
3 = 0 = 3
{ { (3, 2, )
+ = 0 = = 2
(, , ) = (3, 2,1)
Ejemplo 2
Sean los subespacios de 22:
= { 22 | = }
1 0 1 0
= {( ),( )}
2 1 1 0
Hallar .
Resolucin
La interseccin de subespacios est formada por los vectores que verifican las
ecuaciones de dichos subespacios.
= {( ) 22 | = }
1 0 1 0
Tiene que poder escribirse como combinacin lineal de: ( ) ( )
2 1 1 0
1 0 1 0
( ) = ( )+( )
2 1 1 0
+ 0
( )=( )
2 +
34
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
=+ =+
=0 =0 + = + 2
{ { {
= 2 + = + 2 =0
= =
= {( ) | = 0 = 0}
Ahora planteamos que las matrices de deben cumplir con las ecuaciones de
y las de :
= {( ) | = = 0 = 0}
O sea:
==0 =
0 1 0
( ) = ( )
0 0 1
1 0
= {( )}
0 1
Hay un mtodo alternativo ms breve para hallar una base de sin necesidad de
obtener las ecuaciones de , como veremos a continuacin.
Escribamos una matriz de como combinacin lineal de los vectores que la generan:
=+
1 0 1 0 =0
( ) ( ) = ( )+( ) {
2 1 1 0 = 2 +
=
0 1 0 1 0
( ) = ( ) = {( )}
0 0 1 0 1
35
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Suma de subespacios
Dados , subespacios de , se define la suma como sigue:
+ = { = 1 + 2 , 1 , 2 }
= {1 , 2 , , } y = {1 , 2 , , } + = {1 , 2 , , 1 , 2 , , }
Para hallar la suma es usual buscar las bases de y . Como las bases son conjuntos
generadores LI, si conocemos una base de cada subespacio podremos obtener un
conjunto generador de la suma:
Resulta: {1 , , , 1 , , }
Ejemplo 1
Dados los siguientes subespacios de = 3:
= {(, , )| 3 = 0}
= {(, , )| + = 0}
= 3
= {(3,0,1), (0,1,0)}
36
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
=+
(, , ) = (, , + ) = (1,0,1) + (0,1,1)
Entonces
= {(1,0,1), (0,1,1)}
Podramos armar una matriz con estos 4 vectores y llevarla a la forma escalonada. O
si no, como el espacio es 3 podemos pensar geomtricamente:
+ = {(3,0,1),
(0,1,0) , (1,0,1) , (0,1,1)}
Como (1,0,1) no verifica la ecuacin del plano S, los 3 primeros vectores no son
coplanares y por lo tanto forman una base de 3. Podemos eliminar (0,1,1) porque es
combinacin lineal de dicha base.
+ = 3
Generalizando:
dim() = dim() =
Ejemplo 2
Dados los siguientes subespacios de = 4:
1 = { 4 | 1 + 2 = 2 + 4 = 0}
2 = { 4 | 1 4 = 3 + 4 = 0}
37
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Resolucin
(1 , 2 , 3 , 4 ) = (2 , 2 , 3 , 2 ) = 2 (1,1,0, 1) + 3 (0,0,1,0)
Cmo hemos visto, un mtodo para analizar si son LI o LD, consiste en armar una
matriz con los vectores como filas y llevarla a su forma escalonada. Por conveniencia
colocaremos los vectores en el siguiente orden:
1 1 0 1 1 1 0 1 1 1 0 1
1 0 1 1 0 1 1 0 0 1 1 0
( ) ( ) ( )
0 1 0 0 2 2 1 0 1 0 0 3 3 2 0 0 1 0
0 0 1 0 0 0 1 0 0 0 1 0
1 1 0 1
0 1 1 0
( )
4 4 3 0 0 1 0
0 0 0 0
La matriz escalonada tiene 3 filas LI (su rango es 3), entonces podemos afirmar que la
dimensin de + es 3.
Como se anul la ltima fila, el vector (0,0,1,0) es combinacin lineal de los otros tres,
por lo tanto una base de + es: + = {(1, 1,0,1), (0,1,0,0), (1,0, 1,1)}.
Recordemos que las filas de la matriz escalonada componen otra base de la suma:
Suma directa
La suma de dos subespacios es directa si y slo si la interseccin de los subespacios es
el vector nulo.
+ = {0 }
Ejemplos en = 3
A continuacin consideraremos diferentes casos de suma de subespacios en 3.
38
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Dos rectas
Un caso posible de suma de dos subespacios en 3 es el de dos rectas que se cortan:
1 2
(0,0,0)
Los dos vectores LI de las rectas generan un plano: aqul que contiene a ambas
rectas. La suma es directa porque la interseccin entre las rectas es el vector nulo.
1 2 = {(0,0,0)} 1 + 2 = {1 , 2 }
1 2
2 (0,0,0)
39
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
1 2 {0 } 1 + 2 = {1 , 2 , 3 , 4 ] = { 1 , 2 , 3 }
1 + 2 = 3
3
(0,0,0)
2
1
2
1 + 2 = 1 2 1
1
(0,0,0)
2
1
40
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
1 2 = {(0,0,0)} y 1 + 2 = {1 , 2, 3 } = 3
1 2 = 3
Observacin: En el ltimo caso, la unin de las bases de los dos subespacios forma
una base de todo el espacio. En este caso, cada vector de 3 puede expresarse de
forma nica como suma de un vector de 1 y otro de 2.
EPL 3
Dados 1 = {(1,2,1), (0,2,0)} y 2 = {(, , ): + = = 0},
EPL 4
Sean los subespacios de 4:
1. = 4
2. + = 4
3. + = dim() = 3
4. = dim() = 3
( + ) = ( ) + ( ) ( )
41
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Ejemplo
Dados los subespacios de 2:
1 = { 2 | (0) = 0}
2 = { 2 | (1) = 0}
Resolucin
(0) = 0 + 1 0 + 2 02 = 0 0 = 0
1 + 2 2
1 = {, 2 } dim(1 ) = 2
(1) = 0 + 1 1 + 2 12 = 0 0 + 1 + 2 = 0
(1 2 ) + 1 + 2 2 = 1 (1 + ) + 2 (1 + 2 )
2 = {1 + , 1 + 2 } dim(2 ) = 2
0 = 0 0 + 1 + 2 = 0 0 = 0 1 = 2
1 1 2 = 1 ( 2 )
Luego:
12 = { 2 } dim(1 2 ) = 1
dim(1 + 2 ) = 2 + 2 1 = 3
42
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
EPL 5
Dados los subespacios de 22:
1 : { 22 | = }
2 : { 22 | = }
a) Hallar bases de 1 y 2
b) Obtener 1 2.
c) Sin hallar 1 + 2 analizar la validez de la siguiente afirmacin:
1 2 = 22
Producto interno
En la primera unidad vimos producto escalar entre vectores y sus aplicaciones a la
Geometra. En esta seccin nos proponemos generalizar esta operacin a otros
espacios vectoriales definiendo la nocin general de producto interno a partir de las
propiedades del producto escalar.
1. =
2. ( + ) = ( ) + ( )
3. = ( )
4. 0 = 0 = 0
(1 , 2 , , ). (1 , 2 , , ) = 1 1 + 2 2 +
43
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
. = 0
Ejemplo
Realicemos el producto interno de los vectores de 4:
= (1,2,3,4) = (1,0,1, 1)
= { = 0 }
Propiedad: es un subespacio de .
2. Sean , . = 0 . = 0 ( + ). = . + . = 0
3. Si . Por qu?
Ejemplo 1
Sea = {(, , ) 3 | 2 + 3 = 0}. Hallar .
Resolucin
Tenemos que buscar los vectores de 3 que sean perpendiculares a todos los
vectores de ese plano.
= {(1,1,1), (0,1,3)}
Para hallar el complemento ortogonal, buscamos todos los vectores (, , ) que sean
ortogonales a (1, ,1,1) y a (0,1,3).
44
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
(, , ). (1,1,1) = 0 + + = 0 3 + = 0
{ {
(, , ). (0,1,3) = 0 + 3 = 0
= 2
{
= 3
= {(2, 3,1)}
EPL 6
Para justificar el procedimiento que utilizamos para encontrar las ecuaciones de ,
les pedimos que demuestren la siguiente propiedad:
Sean , , vectores de .
Ejemplo 2
Dado siguiente subespacio de 4:
45
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
= {(1 , 2 , 3 , 4 ) 4 | 1 + 2 33 = 0 2 4 = 0}
Resolucin
Tenemos que buscar los vectores de 4 que son ortogonales a los vectores de .
(2 + 33 , 2 , 3 , 2 ) = 2 (1,1,0,1) + 3 (3,0,1,0)
= {(1,1,0,1), (3,0,1,0)}
( , , , )(3,0,1,0) = 0 31 + 3 = 0
{ 1 2 3 4 {
(1 , 2 , 3 , 4 )(1,1,0,1) = 0 1 + 2 + 4 = 0
= {(1 , 2 , 3 , 4 ) 4 | 31 + 3 = 0 1 + 2 + 4 = 0 }
1. ( ) =
2. = { 0 } y { 0 } =
3. = {0 }
4. + =
Esta ltima propiedad significa que cualquier vector de puede expresarse como
suma de un vector de S ms otro de .
46
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
Y por lo tanto:
() + ( ) = ()
La unin de una base de con una base de es base de . Esto se aplica para
extender una base de a una base de , como muestra el siguiente ejemplo.
Ejemplo
Sea = {(1 , 2 , 3 , 4 ) 4 1 + 4 = 0 , 1 2 + 34 = 0 }.
Resolucin
22 4 = 0
: { 1
3 = 0
47
AGA Virtual Segundo cuatrimestre 2015 Unidad 3
EPL 7
Dados los siguientes subespacios de 4:
48