Teora de la Dimensi on en Espacios Vectoriales

Departamento de Matematicas, CCIR/ITESM

29 de octubre de 2009

Indice
17.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
17.2. Resultados matematicos necesarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
17.3. Teorema del intercambio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
17.4. Teorema fundamental de la dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
17.5. Denicion de la dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
17.6. Numerologa en Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
17.7. Procesos de Calculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
17.8. Ejemplos sobre teora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
17.9. Ejemplos de calculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
17.1. Introducci on
Nuestra meta consiste en decir con precisi on que cosas deben permanecer jas en un espacio generado en
un espacio vectorial. El concepto teorico importante es el de dimension de un espacio vectorial. El resultado
tecnico mas importante es el teorema del intercambio: A partir de el, se deduce que cualquier dos bases a un
mismo espacio vectorial deben tener el mismo n umero de elementos. Esto permitira denir la dimension de
un espacio vectorial.
Esta sesion termina con una serie de resultados relativos al n umero de elementos de un conjunto generador y
de un conjunto linealmente independiente en su relacion con la dimension del espacio vectorial.
17.2. Resultados matematicos necesarios
El resultado matematico importante es el teorema del intercambio, pero para su demostracion se requerien
ciertos resultados matematicos. En lo siguiente V es un espacio vectorial.
El primer resultado dice que si un vector es combinacion lineal de otros entonces el espacio generado con el
y esos otros es igual al que generan esos otros vectores. Este resultado tiene varias interpretaciones. En la
primera indica que si un vector es combinacion lineal de los otros y se a nade al conjunto generador, entonces
no se genera mas de lo que ya se generaba. En otra interpretacion dice que si tal vector se omite del conjunto
generador, entonces no se genera menos lo que que ya se generaba:
Lema 1
Si y Gen{x
1
, . . . , x
n
}, entonces
Gen{x
1
, . . . , x
n
, y} = Gen{x
1
, . . . , x
n
}
Demostracion
Claramente Gen{x
1
, . . . , x
n
} Gen{x
1
, . . . , x
n
, y}. Entonces, solo deberemos probar la otra con-
tencion. Como y Gen{x
1
, . . . , x
n
}, entonces existen escalares c
1
, c
2
,. . . ,c
n
tales que
y =
n

i=1
c
i
x
i
Sea ahora v un elemento cualquiera de Gen{x
1
, . . . , x
n
, y}. Por tanto, deberan existir constantes
a
1
,a
2
,. . . ,a
n
,a
n+1
tal que:
v = a
1
x
1
+ a
2
x
2
+ + a
n
x
n
+ a
n+1
y
As
v = a
1
x
1
+ a
2
x
2
+ + a
n
x
n
+ a
n+1
n

i=1
c
i
x
i
Si desarrollamos y reagrupamos lo anterior obtenemos:
v = (a
1
+ a
n+1
c
1
) x
1
+ (a
2
+ a
n+1
c
2
) x
2
+ + (a
n
+ a
n+1
c
n
) x
n
lo anterior dice que v es una combinaci on lineal de x
1
, x
2
,. . . , x
n
. Por tanto v Gen(x
1
, . . . , x
n
).
Siendo v cualquier elemento de Gen(x
1
, . . . , x
n
, y) esto prueba que
Gen{x
1
, . . . , x
n
, y} Gen{x
1
, . . . , x
n
}
La validez de estas dos contenciones prueba que los conjuntos son iguales
El siguiente resultado requerido dice que si un vector del generado se a nade al conjunto generador, el nuevo
generador sera linealmente dependiente:
Lema 2
Si y Gen{x
1
, . . . , x
n
}, entonces {x
1
, . . . , x
n
, y} es linealmente dependiente.
Demostracion
Efectivamente, si y Gen{x
1
, . . . , x
n
}, entonces existen escalares c
1
,c
2
,. . . ,c
n
tales que
y = c
1
x
1
+ + c
n
x
n
por consiguiente:
c
1
x
1
+ + c
n
x
n
1 y = 0
La anterior es una combinacion lineal de x
1
, . . . ,x
n
,y que da el vector 0 donde el coeciente de y
no es cero. Por tanto, el conjunto {x
1
, . . . , x
n
, y} es linealmente dependiente
Existen otros resultados basicos que se requieren y que son faciles de deducir:
Lema 3
Si el conjunto {v
1
, . . . , v
n
} es linealmente independiente, entonces:
ninguno de los vectores v
i
es el vector cero.
cualquier subconjunto de el es tambien linealmente independiente.
Demostracion
2
Razonemos por contradiccion: si un vector fuera cero, digamos v
1
= 0. Entonces 1 v
1
+ 0
v
2
+ + 0 v
n
= 0 y por tanto el conjunto sera linealmente dependiente. Lo cual contradice
el supuesto.
Razonemos tambien por contradiccion: si un subconjunto de v
i
fuese linealmente dependiente,
tal combinacion lineal se podra completar con coecientes ceros a una combinacion lineal con
todos los v
i
y por tanto el conjunto con todos los v
i
sera linealmente dependiente. Lo cual
contradice el supuesto
El siguiente resultado da operatividad a la demostracion del teorema del intercambio:
Lema 4
Suponga que u
1
= 0. Si el conjunto {u
1
, u
2
, . . . , u
n
} es linealmente dependiente, entonces existe
un vector u
i
que es combinacion lineal de los vectores anteriores u
1
, . . . , u
i1
. (As i > 1)
Demostracion
Si el conjunto es linealmente dependiente, existen constantes c
1
,c
2
,. . . ,c
n
no todos cero tal que:
c
1
u
1
+ c
2
u
2
+ + c
n
u
n
= 0.
Denimos i el ndice mayor (entre 1 y n) tal que c
i
= 0. Note que tal entero existe pues hay al
menos un c
j
diferente de cero. Por consiguiente, los c
j
posteriores a c
i
son cero, y as la formula
previa queda:
c
1
u
1
+ c
2
u
2
+ + c
i
u
i
= 0 con c
i
= 0
Observe que i > 1, pues en caso contrario lo anterior quedara c
1
v
1
= 0. Como c
1
= 0 se tendra
u
1
= 0 lo cual es contrario a la hipotesis. De donde obtenemos:
u
i
=
c
1
c
i
u
1

c
2
c
i
u
2

c
i1
c
i
u
i1
Lo anterior nos dice que u
i
es combinacion lineal de los vectores previos en la lista
Un resultado teorico tambien util es el siguiente:
Lema 5
Suponga que y / Gen(x
1
, . . . , x
n
) y que el conjunto {x
1
, . . . , x
n
} es linealmente independiente.
Entonces {x
1
, . . . , x
n
, y} tambien sera linealmente independiente.
Demostracion
Razonemos por contradiccion. Supongamos que el conjunto {x
1
, . . . , x
n
, y} es linealmente depen-
diente. Aplicando el lema 3 se tiene que x
1
= 0, entonces por el lema 4 existe un vector que es
combinacion lineal de los anteriores: tenemos solo dos alternativas. Que sea un x
i
o que sea y. Si
fuera un x
i
debera ser combinacion de los elementos anteriores, o sea de los mismos x
j
. Por tanto,
el conjunto de los x
j
debera ser linealmente dependiente. Esto contradice el supuesto. Si el vector
que es combinacion lineal de los anteriores fuera y esto dira que y Gen(x
1
, . . . , x
n
). Esto tambien
contradice el supuesto. Esta contradiccion en todas las alternativas indica que {x
1
, . . . , x
n
, y} no
puede ser linealmente dependiente. As, debe ser linealmente independiente
3
17.3. Teorema del intercambio
El siguiente teorema se conoce como el teorema del intercambio y recibe su nombre por la forma como es
demostrado. La demostracion se centra en la segunda armacion: Se prueba que todo conjunto linealmente
independiente tiene a lo mas m elementos, siendo m el n umero de elementos de un conjunto generador del
espacio. En la demostracion, se toma un vector del conjunto linealmente independiente y se introduce vector
a vector en un conjunto que genera. Como el conjunto sigue generando y es dependiente, es posible sacar
un elemento del conjunto inicial que genera: Es decir, se intercambia un elemento que genera por uno del
conjunto linealmente independiente.
Teorema
Si un espacio vectorial V es generado por m vectores. Entonces cualquier subconjunto que contenga
mas de m vectores es linealmente dependiente. En otras palabras, todo subconjunto linealmente
independiente de V tiene cuando mucho m vectores. En otras palabras, si B
1
es un conjunto de
vectores de V linealmente independiente y B
2
es un conjunto de vectores que genera a V entonces
#(B
1
) #(B
2
) (1)
Demostracion
Suponga que
B
1
= {x
1
, x
2
, . . . , x
n
}
es un conjunto linealmente independiente de V y que
B
2
= {y
1
, y
2
, . . . , y
m
}
genera a V . Dena C
0
= B
2
. A partir de C
0
demos el conjunto
A
1
= {x
1
, y
1
, y
2
, . . . , y
m
}
(A
1
es C
0
donde de ha a nadido x
1
al frente del conjunto) Por el lema 1, V = Gen(A
1
). Por el lema 2, A
1
es linealmente dependiente. Por el lema 3, al ser B
1
linealmente independiente, ninguno de los vectores x
i
es
igual al vector cero. Por el lema 4, existe un elemento de A
1
que es combinacion lineal de los anteriores, por
tanto debe ser un y
i
1
el que es combinacion lineal de los anteriores. Por el lema 1, este vector y
i
1
puede ser
removido de A
1
y el conjunto resultante sigue generando V . Denamos
C
1
= {x
1
, y
1
, y
2
, . . . , y
i
1
1
, y
i
1
+1
. . . , y
m
}
Note que en C
1
, es C
0
pero se ha a nadido x
1
y se ha eliminado un vector y
i
1
y se cumple V = Gen(C
1
). A
partir de C
1
denimos el conjunto:
A
2
= {x
2
, x
1
, y
1
, y
2
, . . . , y
i
1
1
, y
i
1
+1
. . . , y
m
}
Nuevamente: Por el lema 1, V = Gen(A
2
). Por el lema 2, A
2
es linealmente dependiente. Se tiene tambien
que x
2
= 0, y as por el lema 4, existe un elemento de A
2
que es combinacion lineal de los anteriores, por
tanto debe ser un y
i
2
el que es combinacion lineal de los anteriores. Si fuera un vector x
j
combinacion de los
anteriores se contradice el hecho que los vectores xs forman un conjunto linealmente independiente. Por el
lema 1, este vector y
i
2
puede ser removido de A
2
y el conjunto resultante sigue generando V . Denamos
C
2
= {x
2
, x
1
, y
1
, y
2
, . . . , y
i
1
1
, y
i
1
+1
. . . , y
i
2
1
, y
i
2
+1
. . . , y
m
}
Note que en C
2
, es C
1
pero se ha a nadido x
2
y se ha eliminado un vector y
i
2
y se cumple V = Gen(C
2
). Conti-
nuamos de esta manera a nadiendo uno a uno vectores xs y sacando un vector y. La situacion continuara hasta
4
que uno de los conjuntos B
1
o B
2
se haya agotado. Si se agoto B
1
, eso signica que #(B
1
) #(B
2
) que
es lo que se desea probar. Si se agoto B
2
antes que B
1
, eso signicara que todos los vectores ys salieron y
quedo un vector x
j
sin entrar. Pero tal situacion es imposible pues en el correspondiente C
j1
= {x
j1
, . . . , x
1
}
genera a todo V y x
j
V y por tanto
{x
j
, x
j1
, . . . , x
1
}
sera linealmente dependiente contradiciendo que B
1
es linealmente independiente (Lema 5). Por consiguiente
la unica posibilidad que se puede tener es que B
1
se agoto probando que #(B
1
) #(B
2
)
17.4. Teorema fundamental de la dimension
Habiendo probado el teorema del intercambio, probar que dos bases cualquiera tienen el mismo n umero de
elementos es facil:
Teorema
Si un espacio vectorial V tiene una base con n elementos, entonces cualquier otra base de V tambien
tiene n elementos.
Demostracion
Sean dos bases para V : B
1
y B
2
una con n elementos y otra con m elementos, respectivamente.
Entoces utilizando primeramente que B
1
(al ser base) genera a V y que B
2
(al ser base) es
linealmente independiente en V se deduce por el teorema del intercambio que m n. Por otro
lado, si ahora se usa que B
2
genera a V y que B
1
es linealmente independiente en V se deduce por
el teorema del intercambio que n m. Por tanto, m = n
17.5. Denici on de la dimension
El anterior resultado arma que cualquiera dos bases para un mismo espacio vectorial tienen el mismo
n umero de elementos. Por consiguiente, la siguiente denicion es valida:
Denicion
Si un espacio vectorial V tiene una base con n elementos, se dice que V es dimensional nito, y
que n es la dimension de V . Se expresa:
dim(V ) = n
17.6. Numerologa en Espacios Vectoriales
En un espacio vectorial y relativos a su dimension existen cierto resultados sobre las cantidades de elementos
de conjuntos generadores o conjuntos linealmente dependientes o independientes.
El siguiente resultado dene lmites maximos y mnimos para el n umero de elementos de conjuntos que son
linealmente independientes o que generan a un espacio.
Teorema
Sea V un espacio vectorial de dimension n, y S un subconjunto con m elementos.
1. Si S es linealmente independiente, entonces m n. Equivalentemente: si n < m, S es lineal-
mente dependiente.
Un conjunto con mas elementos que la dimension del espacio que los contiene es
linealmente dependiente. Pero tener menos que n no es garanta de que sea l.i.
2. Si S genera a V , entonces m n. Equivalentemente: si m < n, S no puede generar a V .
5
Un conjunto con menos elementos que la dimension no puede generar el espacio que
lo contiene. Pero tener mas que n no es garanta para generar.
Demostracion
Sea B una base para V , as #(B) = n.
1. Como B es base, B genera a V . Si S es linealmente independiente el teorema del intercambio
armara:
m = #(S) #(B) = n
2. Como B es base, B es linealmente independiente. Si S genera a V el teorema del intercambio
armara:
n = #(B) #(V ) = m
El siguiente resultado indica que si se ha alcanzado un cierto n umero de elementos y respecto al n umero
de elementos de la base, entonces se tienen otras propiedades.
Teorema
Sea V un espacio vectorial n dimensional, y sea S un conjunto con n elementos.
1. Si S es linealmente independiente, entonces S genera a V . Es decir, S es base.
2. Si S genera a V , entonces S es linealmente independiente. Es decir, S es base.
Demostracion
Sea B una base de V con n elementos.
1. Si S no generara a V entonces existira y V Gen(S). Por el lema 5, S

= S {y}, debera
ser linealmente independiente. Pero esto es imposible pues S

tiene n + 1 elementos.
2. Si S no fuera linealmente independiente, entonces sera linealmente dependiente. Y por tanto
existira un elemento de S que es combinacion lineal de los restantes. Los resultados que
hemos desarrollado indican que si tomamos como S

el conjunto que queda de S despues de

eliminar el elemento que es combinacion lineal de los otros se tiene Gen(S

) = Gen(S). Pero
esta generacion es imposible pues S

tiene n 1 elementos.
El siguiente resultado indica cuando se pueden extender conjuntos linealmente independientes o reducir con-
juntos generadores para tener una base de un espacio vectorial.
Teorema
Sea V un espacio vectorial n dimensional, y S un conjunto con m elementos.
Si S es linealmente independiente y m < n, entonces S se puede ampliar a una base.
Si S genera a V , entonces S contiene una base.
La aplicacion referida en el primer inciso se obtiene primeramente eligiendo una base y despues simulando el
proceso del intercambio de un elemento de la base por uno del conjunto linealmente independiente. Una base
puede ser obtenida de un conjunto generador primero identicando aquellos vectores que sean combinacion
lineal de los restantes y posterioremente eliminandolos.
El siguiente resultado indica como deben ser las dimensiones de los subespacios respecto a la dimension
del espacio que los contiene.
Teorema
6
Sea W un subespacio de un espacio vectorial V de dimension n. Entonces
dim(W) n. Es decir, la dimensi on de un subespacio no puede exceder la dimension del
espacio que lo contiene.
dim(W) = n si y solo si W = V Es decir, el subespacio es el total del espacio cuando su
dimension alcanza la dimension del espacio que lo contiene.
17.7. Procesos de Calculo
Nuestros principales procesos referentes a la dimension de un espacio o subespacio vectorial son los siguein-
tes:
En el caso de espacios generados:
El n umero de pivotes en la matriz reducida es la dimension del espacio generado.
En el caso de sistemas de ecuaciones lineales homogeneos:
El n umero de variables libres es la dimension del espacio lineal.
Note que en sistemas no homogeneos el concepto de dimension no aplica pues el conjunto de soluciones no es
un espacio vectorial.
17.8. Ejemplos sobre teora
Veamos algunos ejemplos donde participa directamente la teora:
Ejemplo 17.1
Suponga que en un espacio vectorial V existe un conjunto linealmente independiente B
1
con 4 elementos,
entonces la dimension del espacio sera . . .
A mayor o igual que 4
B menor o igual que 4
C igual a 4
D menor que 4
E mayor que 4
Solucion
La respuesta correcta es A : Sea B
2
una base para V , as dim(V ) = #(B
2
). Como B
2
una base para V , B
2
genera a V . Siendo B
1
linealmente independiente el teorema del intercambio arma que
4 = #(B
1
) #(B
2
) = dim(V ).
Por tanto, la dimension de V es mayor o igual que 4
Ejemplo 17.2
Suponga que en un espacio vectorial V con dimension 7 el subconjunto B tiene 7 elementos diferentes, se
puede decir que B es base?
A Falso
B Cierto
7
Solucion
La respuesta correcta es A : hay mucha distancia entre un conjunto con vectores diferentes entre si y un conjun-
to que es base. Por ejemplo, si v = 0, entonces son diferentes todos los vectores del conjunto {v, 2 v, 3 v, 4 v, . . .}
y este es linealmente dependiente.
Ejemplo 17.3
Suponga que en un espacio vectorial V existe un conjunto generador B
1
con 8 elementos, entonces la dimension
del espacio sera . . .
A igual a 8
B mayor que 8
C menor o igual que 8
D mayor o igual que 8
E menor que 8
Solucion
La respuesta correcta es C : Sea B
2
una base para V , as dim(V ) = #(B
2
). Como B
2
una base para V , B
2
es linealmente independiente. Siendo B
1
un conjunto generador para V , el teorema del intercambio arma que
dim(V ) = #(B
2
) #(B
1
) = 8.
Por tanto, la dimension de V es menor o igual que 8
Ejemplo 17.4
Suponga que en un espacio vectorial V con dimension 8, un subespacio W tiene un conjunto linealmente
independiente con 8 elementos, entonces
A W V (Contenido con la posibilidad de la igualdad)
B W = V
C W V (Contenido pero sin la posibilidad de la igualdad)
Solucion
Se deduce que 8 dim(W) dim(V ) = 8. Por tanto, dim(W) = dim(V ) y as W = V
17.9. Ejemplos de calculo
Veamos algunos ejemplos donde participa directamente la teora:
Ejemplo 17.5
Determine la dimension del subespacio:
Gen
_

_
_

_
6
5
1
1
_

_
,
_

_
4
5
2
2
_

_
,
_

_
42
40
1
11
_

_
,
_

_
16
10
8
0
_

_
_

_
Solucion
Formando la matriz aumentada y aplicando Gauss-Jordan tenemos:
_

_
6 4 42 16
5 5 40 10
1 2 1 8
1 2 11 0
_

_
1 0 5 4
0 1 3 2
0 0 0 0
0 0 0 0
_

_
8
Que signica el calculo anterior? Si hubieramos puesto armado la matriz aumentada con la parte de coee-
cientes hasta el segundo vector quedara:
_

_
6 4 42 16
5 5 40 10
1 2 1 8
1 2 11 0
_

_
1 0 5 4
0 1 3 2
0 0 0 0
0 0 0 0
_

_
Lo cual dira que los vectores 3 y 4 son combinacion lineal de los vectores 1 y 2. Por tanto,
Gen {v
1
, v
2
, v
3
, v
4
} = Gen {v
1
, v
2
}
El mismo calculo indica que el conjunto formado por los vectores 1 y 2 son linealmente independientes. Por
lo tanto, los vectores 1 y 2 son una base para el espacio. Por tanto, la dimension es 2
Ejemplo 17.6
Determine la dimension del subespacio que generan las polinomios:
{2 x 2 x
2
, 1 + 5 x + x
2
2 x
3
, 2 + x x
3
, 3 3 x 3 x
2
x
3
}
Solucion
Formando la matriz aumentada de los polinomios vectorizados y aplicando Gauss-Jordan tenemos:
_

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

_
1 0 0 1
0 1 0 1
0 0 1 3
0 0 0 0
_

_
Por la nota anterior, la dimension es el n umero de pivotes de la matriz reducida. Por tanto, la dimension es 3
Ejemplo 17.7
Determine la dimension del subespacio que generan las matrices:
__
2 2
2 1
_
,
_
1 1
0 1
_
,
_
1 2
2 1
_
,
_
2 1
1 1
__
Solucion
Formando la matriz aumentada de las matrices vectorizadas y aplicando Gauss-Jordan tenemos:
_

_
2 1 1 2
2 1 2 1
2 0 2 1
1 1 1 1
_

_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_

_
Por la nota anterior, la dimension es el n umero de pivotes de la matriz reducida. Por tanto, la dimension es 4
Ejemplo 17.8
Determine la dimension para el subespacio de R
3
formado por las soluciones al sistema:
6 x 5 y 3 z = 0
12 x + 10 y + 6 z = 0
36 x 30 y 18 z = 0
9
Solucion
Al formar la aumentada y al aplicar Gauss-Jordan:
_
_
6 5 3 0
12 10 6 0
36 30 18 0
_
_

_
_
1 5/2 1/2 0
0 0 0 0
0 0 0 0
_
_
Por tanto,
_
_
x
y
z
_
_
= y
_
_
5/2
1
0
_
_
+ z
_
_
1/2
0
1
_
_
Por tanto, la dimension del espacio lineal es 2
Ejemplo 17.9
Extienda el siguiente conjunto de vectores a una base para R
3
:
B =
_
_
_
v
1
=
_
_
1
1
1
_
_
, v
2
=
_
_
1
1
1
_
_
_
_
_
Solucion
En este caso tenemos la libertad de escoger una base de donde tomar vectores para completar la base. Elijamos
entonces la base canonica:
_
_
_
e
1
=
_
_
1
0
0
_
_
, e
2
=
_
_
0
1
0
_
_
, e
3
=
_
_
0
0
1
_
_
_
_
_
Para determinar adecuadamente la seleccion de vectores formamos y reducimos la matriz:
[v
1
v
2
|e
1
e
2
e
3
]
_
_
1 0 1/2 0 1/2
0 1 1/2 0 1/2
0 0 0 1 1
_
_
Por consiguiente una base que extiende a B es B {e
2
}.
10