DEPARTAMENTO

DE MATEMÁTICA

Algebra Lineal (MAT061)

Clase 16

Coordinación MAT061

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Contenidos

1 Dimensión de un Espacio Vectorial

2 Subespacios de un Espacio de Dimensión Finita

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Dimensión de un Espacio Vectorial

Teorema
Si un espacio vectorial V tiene una base B, de n vectores entonces
cualquier conjunto en V que contenga más de n vectores es lineal-
mente dependiente.

Demostración.
Sea U = { u1 , . . . , u p } un conjunto en V con más de n vectores.
Sabemos que los vectores coordenada [u1 ]B , . . . , [u p ]B forman un con-
junto linealmente dependiente en Rn , debido a que p > n.
Luego, existen escalares c1 , . . . , c p , no todos cero, tales que
c1 [u1 ]B + . . . + c p [u p ]B = 0
[c1 u1 + . . . + c p u p ] = 0,

y como las coordenadas de un vector son únicas al fijar una base

c1 u1 + . . . + c p u p = 0
y entonces el conjunto U es linealmente dependiente.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Dimensión de un Espacio Vectorial

Teorema
Si un espacio vectorial V tiene una base de n vectores, entonces toda
base de V debe contener n vectores.

Demostración.
Sean B1 ⊂ V una base con n vectores y B2 ⊂ V cualquier otra base.

Dado que B1 es una base y B2 es linealmente independiente, por el

teorema anterior, B2 no tiene más de n elementos. Luego, dado que
B2 es una base y B1 es linealmente independiente, B2 tiene por lo
menos n vectores.

Ası́, B2 tiene exactamente n vectores.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Dimensión de un Espacio Vectorial

Observación
Si un espacio vectorial V 6= {0} es generado por un conjunto finito S,
entonces un subconjunto de S es una base de V , en base al teorema
del conjunto generador.

Definición
Si V es generado por un conjunto finito, se dice que V es de dimen-
sión finita, y la dimensión de V es el número de vectores de una
base de V .

La dimensión del espacio vectorial cero, se defina igual a cero. Si V

no es generado por un conjunto finito, entonces se dice que V es de
dimensión infinita.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Dimensión de un Espacio Vectorial

Ejemplo
Sea W ≤ R2 [x] el subespacio definido por
 Z 1 
0
W = p(x) ∈ R2 [x] : xp(x) dx = 0 ∧ p (0) = 0
0

determine la dimensión de W .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Dimensión de un Espacio Vectorial

Observación
Recuerde que los subespacios de R3 pueden clasificarse de acuerdo
a su dimensión:
Subespacios de dimensión 0. Solo el subespacio cero.
Subespacios de dimensión 1. Cualquier subespacio generado
por un único vector distinto de cero. Tales subespacios son
lı́neas que pasan por el origen.
Subespacios de dimensión 2. Cualquier subespacio generado
por dos vectores linealmente independientes. Son planos que
pasan por el origen.
Subespacios de dimensión 3. Solo el propio grupo R3 . De
acuerdo al teorema de la matriz invertible, cualesquiera tres
vectores linealmente independientes en R3 generan R3 .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Subespacios de un Espacio de Dimensión Finita
Teorema (contraparte natural del teorema del conjunto generador)
Sea H un subespacio de un espacio vectorial de dimensión finita V .
Cualquier conjunto linealmente independiente en H puede ampliarse,
de ser necesario, hasta construir una base para H. También, H es de
dimensión finita y
dim H ≤ dimV
Demostración.
Si H = {0}, entonces dim H = 0 ≤ dimV . Por otro lado, sea S =
{u1 , . . . , uk } cualquier conjunto linealmente independiente en H. Si S
genera H, entonces S es una base para H. Si no, quiere decir que
existe un uk+1 ∈ H que no es combinación lineal de los elementos de
S. Luego el conjunto {u1 , . . . , uk , uk+1 } será linealmente independiente.
Este proceso se puede iterar mientras el nuevo conjunto no genere H.
La ampliación de S se puede realizar hasta un conjunto linealmente
independiente más grande en H, pero su dimensión no puede exceder
la dimensión de V . Entonces, una ampliación de S generará H y será
una base de H, por lo que dim H ≤ dimV .
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Subespacios de un Espacio de Dimensión Finita

Teorema de la base
Sea V un espacio vectorial de dimensión p, p ≥ 1.
i. Cualquier conjunto linealmente independiente con exactamente
p elementos en V es una base para V .
ii. Cualquier conjunto de exactamente p elementos que genere V
es una base para V .

Demostración.
De acuerdo con el teorema anterior, un conjunto linealmente indepen-
diente S de p elementos puede ampliarse hasta construir una base
para V . Pero esta base debe contener exactamente p elementos de-
bido a que dimV = p. Por lo tanto, S tiene que ser una base para V .
Supongamos que S tiene p elementos y genera V . Como V es dis-
tinto del espacio cero, por teorema del conjunto generador sabemos
que existe un subconjunto S0 ⊆ S que es una base para V . Dado que
dimV = p, S0 debe contener p vectores. Por lo que S = S0 .
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejercicios
1 Encuentre una base y establezca la dimensión de cada
subespacio:
  
 s − 2t 
1  s + t  : s,t ∈ R
3t
 
  

 a − 4b − 2c 

 2a + 5b − 4c  : a, b, c ∈ R
  
2


 −a + 2c  

−3a + 7b + 6c
 

2 Encuentre la dimensión del subespacio generado por los

vectores:        
1 3 9 −7
 0  ,  1  ,  4  ,  −3  .
2 1 −2 1
3 Determinar las dimensiones del NulA y ColA para la matriz
 
1 0 9 5
A=
0 0 1 −4
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA