Teora de la Dimension en Espacios Vectoriales

Departamento de Matematicas, CCIR/ITESM

14 de enero de 2011

Indice
15.1. Introduccion . . . . . . . . . . . . . . .
15.2. Resultados matem
aticos necesarios . .
15.3. Teorema del intercambio . . . . . . . .
15.4. Teorema fundamental de la dimensi
on
15.5. Definicion de la dimensi
on . . . . . . .
15.6. Numerologa en Espacios Vectoriales .
15.7. Procesos de C
alculo . . . . . . . . . .
15.8. Ejemplos sobre teora . . . . . . . . .
15.9. Ejemplos de c
alculo . . . . . . . . . .

15.1.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

1
1
4
5
5
5
7
7
8

Introducci
on

Nuestra meta consiste en decir con precisi

on que cosas deben permanecer fijas en un espacio generado en
un espacio vectorial. El concepto te
orico 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 definir la dimensi
on 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.

15.2.

Resultados matem
aticos necesarios

El resultado matem
atico importante es el teorema del intercambio, pero para su demostracion se requerien
ciertos resultados matem
aticos. 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 combinaci
on 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{x1 , . . . , xn }, entonces
Gen{x1 , . . . , xn , y} = Gen{x1 , . . . , xn }
Demostraci
on

Claramente Gen{x1 , . . . , xn } Gen{x1 , . . . , xn , y}. Entonces, solo deberemos probar la otra contencion. Como y Gen{x1 , . . . , xn }, entonces existen escalares c1 , c2 ,. . . ,cn tales que
y=

n
X

ci xi

i=1

Sea ahora v un elemento cualquiera de Gen{x1 , . . . , xn , y}. Por tanto, deberan existir constantes
a1 ,a2 ,. . . ,an ,an+1 tal que:
v = a1 x1 + a2 x2 + + an xn + an+1 y
As
v = a1 x1 + a2 x2 + + an xn + an+1

n
X

ci xi

i=1

Si desarrollamos y reagrupamos lo anterior obtenemos:

v = (a1 + an+1 c1 ) x1 + (a2 + an+1 c2 ) x2 + + (an + an+1 cn ) xn
lo anterior dice que v es una combinaci
on lineal de x1 , x2 ,. . . , xn . Por tanto v Gen(x1 , . . . , xn ).
Siendo v cualquier elemento de Gen(x1 , . . . , xn , y) esto prueba que
Gen{x1 , . . . , xn , y} Gen{x1 , . . . , xn }
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{x1 , . . . , xn }, entonces {x1 , . . . , xn , y} es linealmente dependiente.
Demostraci
on
Efectivamente, si y Gen{x1 , . . . , xn }, entonces existen escalares c1 ,c2 ,. . . ,cn tales que
y = c1 x1 + + cn xn
por consiguiente:
c1 x1 + + cn xn 1 y = 0
La anterior es una combinaci
on lineal de x1 , . . . ,xn ,y que da el vector 0 donde el coeficiente de y
no es cero. Por tanto, el conjunto {x1 , . . . , xn , y} es linealmente dependiente 
Existen otros resultados b
asicos que se requieren y que son faciles de deducir:
Lema 3
Si el conjunto {v1 , . . . , vn } es linealmente independiente, entonces:
ninguno de los vectores vi es el vector cero.
cualquier subconjunto de el es tambien linealmente independiente.
Demostraci
on
2

Razonemos por contradicci

on: si un vector fuera cero, digamos v1 = 0. Entonces 1 v1 + 0
v2 + + 0 vn = 0 y por tanto el conjunto sera linealmente dependiente. Lo cual contradice
el supuesto.
Razonemos tambien por contradiccion: si un subconjunto de vi fuese linealmente dependiente,
tal combinaci
on lineal se podra completar con coeficientes ceros a una combinacion lineal con
todos los vi y por tanto el conjunto con todos los vi sera linealmente dependiente. Lo cual
contradice el supuesto 
El siguiente resultado da operatividad a la demostracion del teorema del intercambio:
Lema 4
Suponga que u1 6= 0. Si el conjunto {u1 , u2 , . . . , un } es linealmente dependiente, entonces existe
un vector ui que es combinaci
on lineal de los vectores anteriores u1 , . . . , ui1 . (As i > 1)
Demostraci
on
Si el conjunto es linealmente dependiente, existen constantes c1 ,c2 ,. . . ,cn no todos cero tal que:
c1 u1 + c2 u2 + + cn un = 0.
Definimos i el ndice mayor (entre 1 y n) tal que ci 6= 0. Note que tal entero existe pues hay al
menos un cj diferente de cero. Por consiguiente, los cj posteriores a ci son cero, y as la formula
previa queda:
c1 u1 + c2 u2 + + ci ui = 0 con ci 6= 0
Observe que i > 1, pues en caso contrario lo anterior quedara c1 v1 = 0. Como c1 6= 0 se tendra
u1 = 0 lo cual es contrario a la hip
otesis. De donde obtenemos:
ui =

c1
c2
ci1
u1 u2
ui1
ci
ci
ci

Lo anterior nos dice que ui es combinacion lineal de los vectores previos en la lista 
Un resultado teorico tambien u
til es el siguiente:
Lema 5
Suponga que y
/ Gen(x1 , . . . , xn ) y que el conjunto {x1 , . . . , xn } es linealmente independiente.
Entonces {x1 , . . . , xn , y} tambien ser
a linealmente independiente.
Demostraci
on
Razonemos por contradicci
on. Supongamos que el conjunto {x1 , . . . , xn , y} es linealmente dependiente. Aplicando el lema 3 se tiene que x1 6= 0, entonces por el lema 4 existe un vector que es
combinacion lineal de los anteriores: tenemos solo dos alternativas. Que sea un xi o que sea y. Si
fuera un xi debera ser combinaci
on de los elementos anteriores, o sea de los mismos xj . Por tanto,
el conjunto de los xj debera ser linealmente dependiente. Esto contradice el supuesto. Si el vector
que es combinaci
on lineal de los anteriores fuera y esto dira que y Gen(x1 , . . . , xn ). Esto tambien
contradice el supuesto. Esta contradicci
on en todas las alternativas indica que {x1 , . . . , xn , y} no
puede ser linealmente dependiente. As, debe ser linealmente independiente 

15.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 demostraci
on se centra en la segunda afirmacion: Se prueba que todo conjunto linealmente
independiente tiene a lo m
as m elementos, siendo m el n
umero de elementos de un conjunto generador del
espacio. En la demostraci
on, 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 B1 es un conjunto de
vectores de V linealmente independiente y B2 es un conjunto de vectores que genera a V entonces
#(B1 ) #(B2 )

(1)

Demostraci
on
Suponga que
B1 = {x1 , x2 , . . . , xn }
es un conjunto linealmente independiente de V y que
B2 = {y1 , y2 , . . . , ym }
genera a V . Defina C0 = B2 . A partir de C0 defimos el conjunto
A1 = {x1 , y1 , y2 , . . . , ym }
(A1 es C0 donde de ha a
nadido x1 al frente del conjunto) Por el lema 1, V = Gen(A1 ). Por el lema 2, A1
es linealmente dependiente. Por el lema 3, al ser B1 linealmente independiente, ninguno de los vectores xi es
igual al vector cero. Por el lema 4, existe un elemento de A1 que es combinacion lineal de los anteriores, por
tanto debe ser un yi1 el que es combinaci
on lineal de los anteriores. Por el lema 1, este vector yi1 puede ser
removido de A1 y el conjunto resultante sigue generando V . Definamos
C1 = {x1 , y1 , y2 , . . . , yi1 1 , yi1 +1 . . . , ym }
Note que en C1 , es C0 pero se ha a
nadido x1 y se ha eliminado un vector yi1 y se cumple V = Gen(C1 ). A
partir de C1 definimos el conjunto:
A2 = {x2 , x1 , y1 , y2 , . . . , yi1 1 , yi1 +1 . . . , ym }
Nuevamente: Por el lema 1, V = Gen(A2 ). Por el lema 2, A2 es linealmente dependiente. Se tiene tambien
que x2 6= 0, y as por el lema 4, existe un elemento de A2 que es combinacion lineal de los anteriores, por
tanto debe ser un yi2 el que es combinaci
on lineal de los anteriores. Si fuera un vector xj combinaci
on de los
anteriores se contradice el hecho que los vectores xs forman un conjunto linealmente independiente. Por el
lema 1, este vector yi2 puede ser removido de A2 y el conjunto resultante sigue generando V . Definamos
C2 = {x2 , x1 , y1 , y2 , . . . , yi1 1 , yi1 +1 . . . , yi2 1 , yi2 +1 . . . , ym }
Note que en C2 , es C1 pero se ha a
nadido x2 y se ha eliminado un vector yi2 y se cumple V = Gen(C2 ). Continuamos de esta manera a
nadiendo uno a uno vectores xs y sacando un vector y. La situacion continuar
a hasta
4

que uno de los conjuntos B1

o B2 se haya agotado. Si se agoto B1 , eso significa que #(B1 ) #(B2 ) que
es lo que se desea probar. Si se agot
o B2 antes que B1 , eso significara que todos los vectores ys salieron y
quedo un vector xj sin entrar. Pero tal situaci
on es imposible pues en el correspondiente Cj1 = {xj1 , . . . , x1 }
genera a todo V y xj V y por tanto
{xj , xj1 , . . . , x1 }
sera linealmente dependiente contradiciendo que B1 es linealmente independiente (Lema 5). Por consiguiente
la u
nica posibilidad que se puede tener es que B1 se agoto probando que #(B1 ) #(B2 ) 

15.4.

Teorema fundamental de la dimensi

on

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.
Demostraci
on
Sean dos bases para V : B1 y B2 una con n elementos y otra con m elementos, respectivamente.
Entoces utilizando primeramente que B1 (al ser base) genera a V y que B2 (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 B2 genera a V y que B1 es linealmente independiente en V se deduce por
el teorema del intercambio que n m. Por tanto, m = n 

15.5.

Definici
on de la dimensi
on

El anterior resultado afirma que cualquiera dos bases para un mismo espacio vectorial tienen el mismo
n
umero de elementos. Por consiguiente, la siguiente definicion es valida:
Definici
on
Si un espacio vectorial V tiene una base con n elementos, se dice que V es dimensional finito, y
que n es la dimensi
on de V . Se expresa:
dim(V ) = n

15.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 define lmites m
aximos 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 dimensi
on n, y S un subconjunto con m elementos.
1. Si S es linealmente independiente, entonces m n. Equivalentemente: si n < m, S es linealmente dependiente.
Un conjunto con m
as 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 m
as que n no es garanta para generar.
Demostraci
on
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
afirmara:
m = #(S) #(B) = n
2. Como B es base, B es linealmente independiente. Si S genera a V el teorema del intercambio
afirmara:
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.
Demostraci
on
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 0 = S {y}, debera
ser linealmente independiente. Pero esto es imposible pues S 0 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 0 el conjunto que queda de S despues de
eliminar el elemento que es combinacion lineal de los otros se tiene Gen(S 0 ) = Gen(S). Pero
esta generaci
on es imposible pues S 0 tiene n 1 elementos.
El siguiente resultado indica cuando se pueden extender conjuntos linealmente independientes o reducir conjuntos 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 identificando aquellos vectores que sean combinaci
on
lineal de los restantes y posterioremente eliminandolos.
El siguiente resultado indica c
omo deben ser las dimensiones de los subespacios respecto a la dimensi
on
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 s
olo si W = V Es decir, el subespacio es el total del espacio cuando su
dimension alcanza la dimensi
on del espacio que lo contiene.

15.7.

Procesos de C
alculo

Nuestros principales procesos referentes a la dimension de un espacio o subespacio vectorial son los sigueintes:
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 homog
eneos:
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.

15.8.

Ejemplos sobre teora

Veamos algunos ejemplos donde participa directamente la teora:

Ejemplo 15.1
Suponga que en un espacio vectorial V existe un conjunto linealmente independiente B1 con 4 elementos,
entonces la dimensi
on del espacio ser
a ...
A

mayor o igual que 4

menor o igual que 4

igual a 4

menor que 4

mayor que 4

Soluci
on
La respuesta correcta es A : Sea B2 una base para V , as dim(V ) = #(B2 ). Como B2 una base para V , B2
genera a V . Siendo B1 linealmente independiente el teorema del intercambio afirma que
4 = #(B1 ) #(B2 ) = dim(V ).
Por tanto, la dimensi
on de V es mayor o igual que 4 
Ejemplo 15.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

Cierto
7

Soluci
on
La respuesta correcta es A : hay mucha distancia entre un conjunto con vectores diferentes entre si y un conjunto que es base. Por ejemplo, si v 6= 0, entonces son diferentes todos los vectores del conjunto {v, 2 v, 3 v, 4 v, . . .}
y este es linealmente dependiente. 
Ejemplo 15.3
Suponga que en un espacio vectorial V existe un conjunto generador B1 con 8 elementos, entonces la dimensi
on
del espacio sera . . .
A

igual a 8

mayor que 8

menor o igual que 8

mayor o igual que 8

menor que 8

Soluci
on
La respuesta correcta es C : Sea B2 una base para V , as dim(V ) = #(B2 ). Como B2 una base para V , B2
es linealmente independiente. Siendo B1 un conjunto generador para V , el teorema del intercambio afirma que
dim(V ) = #(B2 ) #(B1 ) = 8.
Por tanto, la dimensi
on de V es menor o igual que 8 
Ejemplo 15.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)

W =V

W V (Contenido pero sin la posibilidad de la igualdad)

Soluci
on
Se deduce que 8 dim(W ) dim(V ) = 8. Por tanto, dim(W ) = dim(V ) y as W = V 

15.9.

Ejemplos de c
alculo

Veamos algunos ejemplos donde participa directamente la teora:

Ejemplo 15.5
Determine la dimensi
on del subespacio:

6
4
42
16

5 40 10
5

Gen
,
,
,
1 2 1 8

2
11
0
1
Soluci
on
Formando la matriz aumentada y aplicando Gauss-Jordan tenemos:

6 4 42
16
1 0
5

0 1
5
40
10

1 2 1 8 0 0
1
2
11
0
0 0
8

5 4
3
2

0
0
0
0

Que significa el calculo anterior? Si hubieramos puesto armado la

cientes hasta el segundo vector quedara:

6 4 42
16
1 0
5

0 1
5
40
10

1 2 1 8 0 0
1
2
11
0
0 0

matriz aumentada con la parte de coefie

5 4
3
2

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 {v1 , v2 , v3 , v4 } = Gen {v1 , v2 }
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 15.6
Determine la dimensi
on del subespacio que generan las polinomios:
{2 x 2 x2 , 1 + 5 x + x2 2 x3 , 2 + x x3 , 3 3 x 3 x2 x3 }
Soluci
on
Formando la matriz aumentada de los polinomios vectorizados y aplicando Gauss-Jordan tenemos:

2
1
2
3
1 0 0
1

5
1 3

0 1 0 1
2

0 0 1
3
1
0 3
0 0 0
0
0 2 1 1
Por la nota anterior, la dimensi
on es el n
umero de pivotes de la matriz reducida. Por tanto, la dimensi
on es 3 
Ejemplo 15.7
Determine la dimensi
on del subespacio que generan las matrices:

 
 
 

2 1
1 2
1 1
2 2
,
,
,
2 1
1 1
0
1
2 1
Soluci
on
Formando la matriz aumentada de las matrices vectorizadas y aplicando Gauss-Jordan tenemos:

2
1
1 2
1 0 0 0
2 1

2 1

0 1 0 0
2
0 0 1 0
0 2
1
0 0 0 1
1
1
1 1
Por la nota anterior, la dimensi
on es el n
umero de pivotes de la matriz reducida. Por tanto, la dimensi
on es 4 
Ejemplo 15.8
Determine la dimensi
on para el subespacio de R3 formado por las soluciones al sistema:
6x 5y 3z = 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
1 5/2 1/2 0
12
10
6 0 0
0
0 0
36 30 18 0
0
0
0 0
Por tanto,

x
5/2
1/2
y =y 1 +z 0
z
0
1
Por tanto, la dimensi
on del espacio lineal es 2 
Ejemplo 15.9
Extienda el siguiente conjunto de vectores a una base para R3 :

1
1

B = v1 = 1 , v2 = 1

1
1
Soluci
on
En este caso tenemos la libertad de escoger una base de donde tomar vectores para completar la base. Elijamos
entonces la base can
onica:

1
0
0

e1 = 0 , e2 = 1 , e3 = 0

0
0
1
Para determinar adecuadamente la selecci
on de vectores formamos y reducimos la matriz:

1
[v1 v2 |e1 e2 e3 ] 0
0

0 1/2
1 1/2
0
0

Por consiguiente una base que extiende a B es B {e2 }.

10

0 1/2
0
1/2
1
1