Teorı́a de la Dimensión en Espacios Vectoriales

Departamento de Matemáticas, CCIR/ITESM

14 de enero de 2011

Índice
15.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
15.2. Resultados matemáticos necesarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
15.3. Teorema del intercambio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
15.4. Teorema fundamental de la dimensión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
15.5. Definición de la dimensión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
15.6. Numerologı́a en Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
15.7. Procesos de Cálculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
15.8. Ejemplos sobre teorı́a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
15.9. Ejemplos de cálculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

15.1. Introducción
Nuestra meta consiste en decir con precisión que cosas deben permanecer fijas en un espacio generado en
un espacio vectorial. El concepto teórico importante es el de dimensión de un espacio vectorial. El resultado
técnico más importante es el teorema del intercambio: A partir de él, se deduce que cualquier dos bases a un
mismo espacio vectorial deben tener el mismo número de elementos. Esto permitirá definir la dimensión de
un espacio vectorial.
Esta sesión termina con una serie de resultados relativos al número de elementos de un conjunto generador y
de un conjunto linealmente independiente en su relación con la dimensión del espacio vectorial.

15.2. Resultados matemáticos necesarios

El resultado matemático importante es el teorema del intercambio, pero para su demostración se requerien
ciertos resultados matemáticos. En lo siguiente V es un espacio vectorial.
El primer resultado dice que si un vector es combinación lineal de otros entonces el espacio generado con él
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ón lineal de los otros y se añade al conjunto generador, entonces
no se genera más de lo que ya se generaba. En otra interpretación 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ón
 Claramente Gen{x1 , . . . , xn } ⊆ Gen{x1 , . . . , xn , y}. Entonces, sólo deberemos probar la otra con-
tención. Como y ∈ Gen{x1 , . . . , xn }, entonces existen escalares c1 , c2 ,. . . ,cn tales que
n
X
y= ci xi
i=1

Sea ahora v un elemento cualquiera de Gen{x1 , . . . , xn , y}. Por tanto, deberán existir constantes
a1 ,a2 ,. . . ,an ,an+1 tal que:

v = a1 x1 + a2 x2 + · · · + an xn + an+1 y

Ası́
n
X
v = a1 x1 + a2 x2 + · · · + an xn + an+1 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ón 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ñade al conjunto generador, el nuevo
generador será linealmente dependiente:
Lema 2

Si y ∈ Gen{x1 , . . . , xn }, entonces {x1 , . . . , xn , y} es linealmente dependiente.

Demostración

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ón 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ásicos que se requieren y que son fáciles 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 él es también linealmente independiente.

Demostración

2
 Razonemos por contradicción: si un vector fuera cero, digamos v1 = 0. Entonces 1 · v1 + 0 ·
v2 + · · · + 0 vn = 0 y por tanto el conjunto serı́a linealmente dependiente. Lo cual contradice
el supuesto.
Razonemos también por contradicción: si un subconjunto de vi fuese linealmente dependiente,
tal combinación lineal se podrı́a completar con coeficientes ceros a una combinación lineal con
todos los vi y por tanto el conjunto con todos los vi serı́a linealmente dependiente. Lo cual
contradice el supuesto 

El siguiente resultado da operatividad a la demostración 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ón lineal de los vectores anteriores u1 , . . . , ui−1 . (Ası́ i > 1)

Demostración

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 fórmula
previa queda:
c1 u1 + c2 u2 + · · · + ci ui = 0 con ci 6= 0
Observe que i > 1, pues en caso contrario lo anterior quedarı́a c1 v1 = 0. Como c1 6= 0 se tendrı́a
u1 = 0 lo cual es contrario a la hipótesis. De donde obtenemos:
c1 c2 ci−1
ui = − u1 − u2 − · · · − ui−1
ci ci ci
Lo anterior nos dice que ui es combinación lineal de los vectores previos en la lista 

Un resultado teórico también ú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} también será linealmente independiente.

Demostración

Razonemos por contradicción. Supongamos que el conjunto {x1 , . . . , xn , y} es linealmente depen-

diente. Aplicando el lema 3 se tiene que x1 6= 0, entonces por el lema 4 existe un vector que es
combinación lineal de los anteriores: tenemos sólo dos alternativas. Que sea un xi o que sea y. Si
fuera un xi deberı́a ser combinación de los elementos anteriores, o sea de los mismos xj . Por tanto,
el conjunto de los xj deberı́a ser linealmente dependiente. Esto contradice el supuesto. Si el vector
que es combinación lineal de los anteriores fuera y esto dirı́a que y ∈ Gen(x1 , . . . , xn ). Esto también
contradice el supuesto. Esta contradicción en todas las alternativas indica que {x1 , . . . , xn , y} no
puede ser linealmente dependiente. Ası́, debe ser linealmente independiente 

3
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ón se centra en la segunda afirmación: Se prueba que todo conjunto linealmente
independiente tiene a lo más m elementos, siendo m el número de elementos de un conjunto generador del
espacio. En la demostración, 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
más 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ón
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ñadido 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 combinación lineal de los anteriores, por
tanto debe ser un yi1 el que es combinación 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ñadido 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 también
que x2 6= 0, y ası́ por el lema 4, existe un elemento de A2 que es combinación lineal de los anteriores, por
tanto debe ser un yi2 el que es combinación lineal de los anteriores. Si fuera un vector xj combinación de los
anteriores se contradice el hecho que los vectores x’s 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ñadido x2 y se ha eliminado un vector yi2 y se cumple V = Gen(C2 ). Conti-
nuamos de esta manera añadiendo uno a uno vectores x’s y sacando un vector y. La situación continuará hasta

4
que uno de los conjuntos B1 ó B2 se haya agotado. Si se agotó B1 , eso significa que #(B1 ) ≤ #(B2 ) que
es lo que se desea probar. Si se agotó B2 antes que B1 , eso significarı́a que todos los vectores y’s salieron y
quedó un vector xj sin entrar. Pero tal situación es imposible pues en el correspondiente Cj−1 = {xj−1 , . . . , x1 }
genera a todo V y xj ∈ V y por tanto
{xj , xj−1 , . . . , x1 }
serı́a linealmente dependiente contradiciendo que B1 es linealmente independiente (Lema 5). Por consiguiente
la única posibilidad que se puede tener es que B1 se agotó probando que #(B1 ) ≤ #(B2 ) 

15.4. Teorema fundamental de la dimensión

Habiendo probado el teorema del intercambio, probar que dos bases cualquiera tienen el mismo número de
elementos es fácil:
Teorema
Si un espacio vectorial V tiene una base con n elementos, entonces cualquier otra base de V también
tiene n elementos.
Demostración
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ón de la dimensión

El anterior resultado afirma que cualquiera dos bases para un mismo espacio vectorial tienen el mismo
número de elementos. Por consiguiente, la siguiente definición es válida:
Definición
Si un espacio vectorial V tiene una base con n elementos, se dice que V es dimensional finito, y
que n es la dimensión de V . Se expresa:

dim(V ) = n

15.6. Numerologı́a en Espacios Vectoriales

En un espacio vectorial y relativos a su dimensión existen cierto resultados sobre las cantidades de elementos
de conjuntos generadores o conjuntos linealmente dependientes o independientes.
El siguiente resultado define lı́mites máximos y mı́nimos para el número de elementos de conjuntos que son
linealmente independientes o que generan a un espacio.
Teorema
Sea V un espacio vectorial de dimensión 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 más elementos que la dimensión del espacio que los contiene es
linealmente dependiente. Pero tener menos que n no es garantı́a 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 dimensión no puede generar el espacio que
lo contiene. Pero tener más que n no es garantı́a para generar.

Demostración

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

afirmarı́a:
m = #(S) ≤ #(B) = n

2. Como B es base, B es linealmente independiente. Si S genera a V el teorema del intercambio

afirmarı́a:
n = #(B) ≤ #(V ) = m

El siguiente resultado indica que si se ha alcanzado un cierto número de elementos y respecto al número
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ón

Sea B una base de V con n elementos.

1. Si S no generara a V entonces existirı́a y ∈ V − Gen(S). Por el lema 5, S 0 = S ∪ {y}, deberı́a

ser linealmente independiente. Pero esto es imposible pues S 0 tiene n + 1 elementos.
2. Si S no fuera linealmente independiente, entonces serı́a linealmente dependiente. Y por tanto
existirı́a un elemento de S que es combinación lineal de los restantes. Los resultados que
hemos desarrollado indican que si tomamos como S 0 el conjunto que queda de S después de
eliminar el elemento que es combinación lineal de los otros se tiene Gen(S 0 ) = Gen(S). Pero
esta generación es imposible pues S 0 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 aplicación referida en el primer inciso se obtiene primeramente eligiendo una base y después 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ón
lineal de los restantes y posterioremente eliminándolos.

El siguiente resultado indica cómo deben ser las dimensiones de los subespacios respecto a la dimensión
del espacio que los contiene.
Teorema

6
 Sea W un subespacio de un espacio vectorial V de dimensión n. Entonces

dim(W ) ≤ n. Es decir, la dimensión de un subespacio no puede exceder la dimensión del

espacio que lo contiene.
dim(W ) = n si y sólo si W = V Es decir, el subespacio es el total del espacio cuando su
dimensión alcanza la dimensión del espacio que lo contiene.

15.7. Procesos de Cálculo

Nuestros principales procesos referentes a la dimensión de un espacio o subespacio vectorial son los siguein-
tes:

En el caso de espacios generados:

El número de pivotes en la matriz reducida es la dimensión del espacio generado.

En el caso de sistemas de ecuaciones lineales homogéneos:

El número de variables libres es la dimensión del espacio lineal.

Note que en sistemas no homogéneos el concepto de dimensión no aplica pues el conjunto de soluciones no es
un espacio vectorial.

15.8. Ejemplos sobre teorı́a

Veamos algunos ejemplos donde participa directamente la teorı́a:
Ejemplo 15.1
Suponga que en un espacio vectorial V existe un conjunto linealmente independiente B1 con 4 elementos,
entonces la dimensión del espacio será . . .

A mayor o igual que 4

B menor o igual que 4
C igual a 4
D menor que 4
E mayor que 4

Solución
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ón de V es mayor o igual que 4 

Ejemplo 15.2
Suponga que en un espacio vectorial V con dimensión 7 el subconjunto B tiene 7 elementos diferentes, ¿se
puede decir que B es base?

A Falso
B Cierto

7
Solución
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 6= 0, entonces son diferentes todos los vectores del conjunto {v, 2 v, 3 v, 4 v, . . .}
y éste es linealmente dependiente. 

Ejemplo 15.3
Suponga que en un espacio vectorial V existe un conjunto generador B1 con 8 elementos, entonces la dimensión
del espacio será . . .
A igual a 8
B mayor que 8
C menor o igual que 8
D mayor o igual que 8
E menor que 8
Solución
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ón de V es menor o igual que 8 

Ejemplo 15.4
Suponga que en un espacio vectorial V con dimensión 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)
Solución
Se deduce que 8 ≤ dim(W ) ≤ dim(V ) = 8. Por tanto, dim(W ) = dim(V ) y ası́ W = V 

15.9. Ejemplos de cálculo

Veamos algunos ejemplos donde participa directamente la teorı́a:
Ejemplo 15.5
Determine la dimensión del subespacio:
       

 −6 −4 −42 16 


5   5   40   −10 
Gen    ,   ,   ,  

 1   −2   −1   −8  
1 2 11 0
 

Solución
Formando la matriz aumentada y aplicando Gauss-Jordan tenemos:
   
−6 −4 −42 16 1 0 5 −4
 5 5 40 −10   0 1 3 2 
 1 −2 −1 −8  →  0 0
   
0 0 
1 2 11 0 0 0 0 0

8
¿Qué significa el cálculo anterior? Si hubieramos puesto armado la matriz aumentada con la parte de coefie-
cientes hasta el segundo vector quedarı́a:
   
−6 −4 −42 16 1 0 5 −4
 5 5 40 −10   0 1 3 2 
 1 −2 −1 −8  →  0 0
   
0 0 
1 2 11 0 0 0 0 0

Lo cual dirı́a que los vectores 3 y 4 son combinación lineal de los vectores 1 y 2. Por tanto,

Gen {v1 , v2 , v3 , v4 } = Gen {v1 , v2 }

El mismo cálculo 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 dimensión es 2 

Ejemplo 15.6
Determine la dimensión 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ón
Formando la matriz aumentada de los polinomios vectorizados y aplicando Gauss-Jordan tenemos:
   
−2 1 2 3 1 0 0 1
 −1 1 −3 
5  →  0 1 0 −1 
 

 −2 1 0 −3   0 0 1 3 
0 −2 −1 −1 0 0 0 0

Por la nota anterior, la dimensión es el número de pivotes de la matriz reducida. Por tanto, la dimensión es 3 

Ejemplo 15.7
Determine la dimensión del subespacio que generan las matrices:
       
2 −2 1 −1 1 2 −2 −1
, , ,
2 −1 0 1 −2 1 1 −1

Solución
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 −2 1   0 0 1 0 
−1 1 1 −1 0 0 0 1

Por la nota anterior, la dimensión es el número de pivotes de la matriz reducida. Por tanto, la dimensión es 4 

Ejemplo 15.8
Determine la dimensión 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
Solución
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ón 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ón
En este caso tenemos la libertad de escoger una base de donde tomar vectores para completar la base. Elijamos
entonces la base canónica:       
 1 0 0 
e1 = 0 , e2 = 1 , e3 = 0 
    
0 0 1
 

Para determinar adecuadamente la selección de vectores formamos y reducimos la matriz:

 
1 0 1/2 0 −1/2
[v1 v2 |e1 e2 e3 ] →  0 1 1/2 0 1/2 
0 0 0 1 1

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

10