BASE DE UN ESPACIO VECTORIAL

DEFINICIÓN:
Sean V un espacio vectorial y B un subconjunto de V .
B es una base de V si y sólo si B genera a V y B es un conjunto linealmente
independiente.
EJEMPLOS:

1) Determinar si el conjunto B  1,1,1 , 1,1, 0  , 1, 0, 0  es una base de lR3

De acuerdo a la definición de base, hay que determinar si B es un conjunto
linealmente independiente que genere a lR3
a) Verificar la indenpendencia lineal de B
1 1 1 
 
Sea A  1 1 0 
1 0 0 
 
 det A  1(1)(1)
 det A  1
 B es un conjunto linealmente independiente
3
b) Determinar si B genera a lR
( x, y, z )  1 1,1,1   2 1,1, 0    3 1, 0, 0 
 ( x , y , z )   1   2   3 ,  1   2 ,  1 
1   2   3  x 1 1 1   1   x 
     
  1   2  y  1 1 0    2    y 
 1  z 1 0 0    3   z 

La matriz de coeficientes del sistema es inversible, por lo tanto es consistente el sistema,
esto significa que cualquier vector de lR 3 se lo puede expresar como combinación lineal
de los vectores de B. De ahí que B genera a lR 3

3
Por a) y b) se concluye que B es una base de lR
2) Determinar una base para lR n .
Hay que determinar un conjunto de vectores linealmente independientes en lR n y
que genere a lR n
a) Determinar un conjunto B generador de lR n :
Sea X=  x1 , x2 , x3 ,..., xn  un vector cualquiera en lR n , entonces:
X=  x1 , x2 , x3 ,..., xn 
  x1 , 0, 0,..., 0    0, x2 , 0,..., 0    0, 0, x3 ,..., 0   ...   0, 0, 0,..., xn 
 x1 1, 0, 0,..., 0   x2  0,1, 0,..., 0   x3  0, 0,1,..., 0   ...  xn  0, 0, 0,...,1
 X es una combinación lineal del conjunto
1, 0, 0,..., 0  ,  0,1, 0,..., 0  ,  0, 0,1,..., 0  ,...,  0, 0, 0,...,1
 lR  gen 1, 0, 0,..., 0  ,  0,1, 0,..., 0  ,  0, 0,1,..., 0  ,...,  0, 0, 0,...,1
n

 B  1, 0, 0,..., 0  ,  0,1, 0,..., 0  ,  0, 0,1,..., 0  ,...,  0, 0, 0,...,1

b) Determinar que el conjunto B es linealmente independiente:
x1 1, 0, 0,..., 0   x2  0,1, 0,..., 0   x3  0, 0,1,..., 0   ...  xn  0, 0, 0,...,1   0, 0, 0,..., 0 
  x1 , x2 , x3 ,..., xn    0, 0, 0,..., 0 
 xi  0, i  1, 2,3,..., n
 B es un conjunto linealmente independiente
n
Por a) y b) B es una base de lR .

B  1,0,0,...,0  ,  0,1,0,...,0  ,  0,0,1,...,0  ,...,  0,0,0,...,1 es la base canónica de lR n

3) Determinar un conjunto B que sea base de Pn :

Hay que determinar un conjunto de vectores linealmente independientes en Pn y

que generen a Pn

a) Determinar un conjunto B generador de Pn

Sea p( x)  an x n  an 1 x n 1  ...  a2 x 2  a1 x  a0 un polinomio cualquiera en Pn , entonces:
p ( x)  an x n  an 1 x n 1  ...  a2 x 2  a1 x  a0
 an  x n   an 1  x n 1   ...  a2  x 2   a1  x   a0 1
 p ( x) es una combinación lineal del conjunto  x n , x n 1 ,..., x 2 , x,1
 Pn  gen  x n , x n 1 ,..., x 2 , x,1
 B   x n , x n 1 ,..., x 2 , x,1

b) Determinar que el conjunto B es linealmente independiente:

an  x n   an 1  x n 1   ...  a2  x 2   a1  x   a0 1  0
 ai  0, i  0,1, 2,..., n
 B es un conjunto linealmente independiente

Por a) y b) B es una base de Pn .

B   x n , x n 1 ,..., x 2 , x,1 es la base canónica de Pn

4) Determinar una base para M mn .
Hay que determinar un conjunto de vectores linealmente independientes en M mn
y que genere a M mn
a) Determinar un conjunto B generador de M mn :
 a11 a12 a1n 
...
 
 a21 a22 ...
a2 n 
 . . . 
Sea A=   una matriz cualquiera en M mn , entonces:
 . . ... . 
 . . . 

a 
 m1 am 2 ... amn  
 a11 a12 ... a1n 
 
 a21 a22 ... a2 n 
 . . . 
A=  
 . . ... . 
 . . . 

a 
 m1 am 2 ... amn  
 1 0 ... 0   0 1 ... 0   0 0 ... 1 
     
 0 0 ... 0   0 0 ... 0   0 0 ... 0 
. . . . . . . . .
 a11    a12    ...  a1n  
. . ... .  . . ... .  . . ... . 
. . . . . . . . .

 0 0 ... 0   
 0 0 ... 0   
 0 0 ... 0  
     
 0 0 ... 0   0 0 ... 0   0 0 ... 0 
     
 1 0 ... 0   0 1 ... 0   0 0 ... 1 
. . . . . . . . .
 a21    a22    ...  a2 n  
. . ... .  . . ... .  . . ... . 
. . . . . . . . .

 0 0 ... 0   
 0 0 ... 0   
 0 0 ... 0  
     
 0 0 ... 0   0 0 ... 0   0 0 ... 0
     
 0 0 ... 0   0 0 ... 0   0 0 ... 0
. . .   . . .  . . .
 ...  am1    am 2    ...  amn  
. . ... .  . . ... .  . . ... .
. . . . . . . . .

 1 0 ... 0   
 0 1 ... 0   
 0 0 ... 
     1

 A es una combinación lineal del conjunto:
 1 0 ... 0 0 1 ... 0 0 0 ... 1 0 0 ... 0 0 0 ... 0 0 0 ... 0 
           
 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 

 . . . . . .  . . .  . . . . . .  . . . 

 ,  ,...,   ,...,  ,  ,...,  
 . . ... . . . ... . . . ... . . . ... . . . ... . . . ... . 
 . . . . . . . . . . . . . . . . . . 

           

 0 0 ... 0 
 0 0 ... 0
0
 0 ... 0
1
 0 ... 0 
 0 1 ... 0
0
 0 ... 1

 1 0 ... 0 0 1 ... 0 0 0 ... 1 0 0 ... 0 0 0 ... 0 0 0 ... 0 
           
 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 

 . . . . . . . . . . . . . . . . . . 

 M mn  gen  ,  ,...,   ,...,  ,  ,...,  
 . . ... . . . ... . . . ... . . . ... . . . ... . . . ... . 
 . . . . . . . . . . . . . . . . . . 

           

 0 0 ... 0 
 0 0 ... 
0 0
 0 ... 
0 1
 0 ... 0 
 0 1 ... 
0 0
 0 ... 1

 1 0 ... 0 0 1 ... 0 0 0 ... 1 0 0 ... 0 0 0 ... 0 0 0 ... 0 
           
 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 0 0 ... 0 

 . . . . . . . . . . . . . . . . . . 

 B   ,  ,...,   ,...,  ,  ,...,  
 . . ... . . . ... . . . ... . . . ... . . . ... . . . ... . 
 . . . . . . . . . . . . . . . . . . 

           

 0 0 ... 0 
 0 0 ... 0

0
 0 ... 0

1
 0 ... 0 
 0 1 ... 0

0
 0 ... 1

 b) Determinar que el conjunto B es linealmente independiente:
1 0 ... 0  0 1 ... 0   0 0 ... 1
     
0 0 ... 0  0 0 ... 0   0 0 ... 0
. . . . . . . . .
a11    a12    ...  a1n  
. . ... .  . . ... .  . . ... .
. . . . . . . . .

0  
 0 0 ... 0   
 0 ... 0   


 0 0 ...
 0
 0 0 ... 0   0 0 ... 0  0 0 ... 0 
     
 1 0 ... 0   0 1 ... 0  0 0 ... 1 
. . .   . . .  . . .
 a21    a22    ...  a2 n  
. . ... .  . . ... .  . . ... . 
. . . . . . . . .

 0 0 ... 0   
 0 0 ... 0   
0 0 
     ... 0 

 0 0 ... 0   0 0 ... 0  0 0 ... 0 0 0 ... 0
       
 0 0 ... 0   0 0 ... 0  0 0 ... 0 0 0 ... 0
. . .   . . .  . . . . . .
 ...  am1    am 2    ...  amn   
. . ... .  . . ... .  . . ... . . . ... .
. . . . . . . . . . . .

 1 0 ... 0   
 0 1 ... 0   
0   
     0 ... 1 
 0 0 ... 0

 a11 a12 ... a1n   0 0 ... 0 
 
 a21 a22 ... a2 n    0 0 ... 0 

 . . .   . . .
  
 . . ... .   . . ... .
 . . .  . . .

a 
   0 0 ... 0  
 m1 am2 ... a mn   
 aij  0; i  1, 2,..., m  j  1, 2,..., n
 B es un conjunto linealmente independiente

Por a) y b) B es una base de M mn .

 1 0 ... 0   0 1 ... 0   0 0 ... 1   0 0 ... 0   0 0 ... 0   0 0 ... 0  

           
 0 0 ... 0   0 0 ... 0   0 0 ... 0   0 0 ... 0   0 0 ... 0   0 0 ... 0  
 . . . . . . . . . . . . . . . . . .  
B   ,  ,...,   ,...,  ,  ,...,   es
 . . ... .   . . ... .   . . ... .   . . ... .   . . ... .   . . ... .  
 . . . . . . . . . . . . . . . . . . 
            
 0 0 ... 0   0 0 ... 0   0 0 ... 0   1 0 ... 0   0 1 ... 0   0 0 ... 1  
la base canónica de M mn
5) Determinar una base para W   A / A  M 22  A  A
T

Hay que determinar un conjunto de vectores linealmente independientes en W y

que genere a W
a) Determinar un conjunto B generador de W

a b
Sea A    W
 b c 
a b 1 0 0 1 0 0
   a    b   c 
 b c   0 0   1 0  0 1
 1 0   0 1   0 0  
 A puede expresarse como combinación lineal de  , , 
 0 0   1 0   0 1 
 1 0   0 1   0 0  
 W  gen  , , 
 0 0   1 0   0 1 
 1 0   0 1   0 0  
 B   , , 
 0 0   1 0   0 1 

b) Determinar que el conjunto B es linealmente independiente:

1 0 0 1 0 0 0 0
a   b   c  
 0 0   1 0  0 1 0 0
 a b  0 0
  
 b c   0 0
abc0
 B es un conjunto linealmente independiente

Por a) y b) B es una base de W

ESPACIO VECTORIAL DE DIMENSIÓN FINITA
DEFINICIÓN:
V es un espacio vectorial de dimensión finita si y sólo si existe alguna base de V
formada por un número finito de vectores. De no ser así, V sería un espacio vectorial
de dimensión infinita.
EJEMPLOS:

Los espacios vectoriales lR n , Pn y M mn son espacios vectoriales de dimensión finita,

porque sus bases tienen un número finito de vectores.

TEOREMA:
El subconjunto B  v1 , v2 , v3 ,..., vn  del espacio vectorial V es una base de V si y sólo
si cada vector v V puede expresarse de manera única como una combinación lineal
de los vectores del conjunto B

DEMOSTRACIÓN:
1) Si el subconjunto B  v1 , v2 , v3 ,..., vn  del espacio vectorial V es una base de V ,
entonces cada vector v V puede expresarse de manera única como una
combinación lineal de los vectores del conjunto B

Como B  v1 , v2 , v3 ,..., vn  es una base de V , entonces B  v1 , v2 , v3 ,..., vn  es un

conjunto linealmente independiente que genera a V . Es decir cualquier vector de
V se lo puede expresar como una combinación lineal del conjunto B .
Supongamos que existe un vector X en V que tiene dos representaciones como
combinación lineal de la base B :
X  1v1   2 v2  ...   n vn  X  1v1   2 v2  ...   n vn
 1v1   2 v2  ...   n vn  1v1   2 v2  ...   n vn
 1  1  v1   2   2  v2  ...   n   n  vn  0
  i   i   0, i  1, 2,..., n porque B es un conjunto linealmente independiente
  i   i , i  1, 2,..., n
Por lo tanto cada vector X de V se puede expresar de manera única como una
combinación lineal de la base B
2) Si cada vector v V puede expresarse de manera única como una combinación
lineal de los vectores del conjunto B , entonces B es una base de V

a) Por la hipótesis de cada v V puede expresarse como combinación lineal de los

vectores del conjunto B , implica que B genera al espacio vectorial V
b) Por la hipótesis también se tiene que el vector 0 tendría una única representación
como combinación lineal de B, es decir tendríamos lo siguiente:
1v1   2v2  ...   n vn  0  i  0, i  1, 2,..., n
Eso implica que el conjunto B es linealmente independiente.

Por a) y b) B es una base de V

TEOREMA

Si V es un espacio vectorial generado por los vectores B  v1 , v2 , v3 ,..., vn  , entonces

cualquier conjunto linealmente independiente en V es finito y no contiene más de n
vectores.
DEMOSTRACION:
Seleccionemos un subconjunto de V formado como m vectores:
B1  w1 , w2 ,.., wm  donde m  n , se mostrará que B1 es linealmente dependiente.

Cada vector de B1 puede expresarse como una combinación lineal de los vectores de
por ser un conjunto generador, es decir:
w j  a1 j v1  a2 j v2  ...  anj vn , j  1, 2,..., m
Ahora el vector 0 lo expresamos como combinación lineal de B1 para determinar si son o no
linealmente independientes:
1w1   2 w2  ...   m wm  0
 1  a11v1  a21v2  ...  an1vn    2  a12 v1  a22 v2  ...  an 2 vn   ...   m  a1m v1  a2 m v2  ...  anm vn   0
 1a11   2 a12  ...   m a1m  v1  1a21   2 a22  ...   m a2 m  v2  ...  1am1   2 am 2  ...   m anm  vn  0
Está claro que de aquí se obtendría un sistema consistente de n ecuaciones con m incógnitas, donde el
número de incógnitas es mayor que el número de ecuaciones, por lo tanto el sistema tendría soluciones
no triviales, de ahí que el conjunto B1 sería linealmente dependiente.

Por lo tanto cualquier conjunto linealmente independiente en un espacio vectorial V generado por n
vectores no puede tener más de n vectores.
COROLARIO:
Sea V un espacio vectorial de dimensión finita. Cualquier par de bases de V tienen el
mismo número de vectores.
DEMOSTRACIÓN
Supongamos que tenemos las bases B1 y B2 de V, donde N(B1)=n y N(B2)=m
B1 es base de V entonces B1 genera a V y B1 es linealmente independiente.
B2 es base de V entonces B2 genera a V y B2 es linealmente independiente.

a) Como B1 genera a V y B2 es linealmente independiente, entonces N  B2   N  B1 

b) Como B2 genera a V y B1 es linealmente independiente, entonces N  B1   N  B2 

Por a) y b) se tiene que N  B2   N  B1  , por lo tanto las dos bases tienen la misma
cantidad de vectores.

DIMENSION DE UN ESPACIO VECTORIAL

DEFINICION:
Sea V un espacio vectorial de dimensión finita.
n es la dimensión del espacio vectorial V si y solo si n es la cantidad de vectores que
tiene cualquier base de V.
Su notación será: dim(V)=n
EJEMPOS:
1) La dimensión de lRn sería n, porque la base canónica de lRn tiene n vectores
2) La dimensión de Pn sería n+1, porque la base canónica de Pn tiene n+1 vectores
3) La dimensión de Mmn sería mn, porque su base canónica tienen mn vectores

LEMAS

1) Si S  v1 , v2 , v3 ,..., vn  un conjunto generador del espacio vectorial V y algún vector

v j  S ,1  j  n puede expresarse como combinación lineal de los n-1 vectores
restantes del conjunto S , entonces el conjunto S  v j  también genera a V
2) Si S es un conjunto linealmente independiente de V y existe un vector no nulo X
de V pero que no pertenece al espacio generado por S , entonces el conjunto
S   X  es linealmente independiente.

DEMOSTRACION

1) Como S  v1 , v2 , v3 ,..., vn  es un conjunto generador de V, entonces cualquier

elemento X de V puede expresarse como combinación lineal de los vectores del
conjunto S , esto es:
X  1v1   2v2  ...   j 1v j 1   j v j   j 1v j 1  ...   nvn
La otra hipótesis nos indica que v j es una combinación lineal de los n-1 vectores
restantes, es decir v j  a1v1  a2v2  ...  a j 1v j 1  a j 1v j 1  ...  anvn
Por lo tanto tenemos lo siguiente:

X  1v1   2 v2  ...   j 1v j 1   j  a1v1  a2 v2  ...  a j 1v j 1  a j 1v j 1  ...  an vn    j 1v j 1  ...   n vn
 X  1   j a1  v1   2   j a2  v2  ...   j 1   j a j 1  v j 1   j 1   j a j 1  v j 1  ...   n   j an  vn
 X  gen v1 , v2 , v3 ,..., v j 1 , v j 1 ,..., vn 


 X  gen S  v j  

V  gen S  v j  
2) Sean S  v1 , v2 , v3 ,..., vn  y X el vector de V que no pertenece al espacio generado
por S . Determinemos si el conjunto S   X  es linealmente independiente

1v1   2 v2  ...   n vn   n 1 X  0
El escalar  n 1 tiene que ser 0, porque si fuera distinto de 0 el vector
X se podría expresar como combinación lineal de los n vectores del
conjunto S , lo cual contradice la hipótesis de que X  gen( S )
Por lo tanto se tiene lo siguiente:
 n 1  0  1v1   2 v2  ...   n vn   n 1 X  0
 1v1   2 v2  ...   n vn  0
  i  0, i  1, 2,..., n porque S es un conjunto linealmente independiente
  i  0, i  1, 2,..., n, n  1
 S   X  es un conjunto linealmente independiente
EJEMPLOS:

Determinar una base y la dimensión de los siguientes espacios vectoriales:

1) W   A / A  M 33  A   A
T

a) Determinamos un conjunto generador de W

 a1 b1 c1   a1 a2 a3   a1 b1 c1 
     
Sea A   a2 b2 c2   A   A   b1 b2 b3    a2 b2 c2 
T

a b c   c c c   a b c 
 3 3 3  1 2 3   3 3 3

a1  a1  2a1  0  a1  0  a2  b1  a3  c1  0 b1 c1 

  
 b2  b2  2b2  0  b2  0  b3  c2  A   b1 0 c2 
c  c  2c  0  c  0  c c 0 
 3 3 3 3  1 2

 0 1 0  0 0 1 0 0 0
     
A  b1  1 0 0   c1  0 0 0   c2  0 0 1 
 0 0 0  1 0 0   0 1 0 
     
 0 1 0   0 0 1   0 0 0  
     
W  gen  1 0 0  ,  0 0 0  ,  0 0 1  
 0 0 0   1 0 0   0 1 0  
     

b) Comprobamos si el conjunto generador es linealmente independiente

 0 1 0  0 0 1 0 0 0 0 0 0
       
b1  1 0 0   c1  0 0 0   c2  0 0 1    0 0 0 
 0 0 0  1 0 0   0 1 0   0 0 0 
       
 0 b1 c1   0 0 0 
   
  b1 0 c2    0 0 0 
 c c 0   0 0 0 
 1 2   
 b1  c1  c2  0
 0 1 0   0 0 1   0 0 0  
     
 B   1 0 0  ,  0 0 0  ,  0 0 1   es un conjunto linealmente independiente
 0 0 0   1 0 0   0 1 0  
     

Por a) y b) el conjunto B es una base de W

Luego la dimW=3
2) W   A / A  M 33  A es una matriz triangular inferior
a) Determinamos un conjunto generador de W
 a1 0 0 
 
Sea A   a2 b2 0 
a b c 
 3 3 3
 a1 0 0  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
             
  a2 b2 0   a1  0 0 0   a2  1 0 0   a3  0 0 0   b2  0 1 0   b3  0 0 0   c3  0 0 0 
a b c  0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1
 3 3 3            
 1 0 0   0 0 0   0 0 0   0 0 0   0 0 0   0 0 0  
           
 W  gen  0 0 0  ,  1 0 0  ,  0 0 0  ,  0 1 0  ,  0 0 0  ,  0 0 0  
 0 0 0   0 0 0   1 0 0   0 0 0   0 1 0   0 0 1  
           

b) Determinamos si el conjunto generador es linealmente independiente

1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
             
a1  0 0 0   a2  1 0 0   a3  0 0 0   b2  0 1 0   b3  0 0 0   c3  0 0 0  0 0 0
0 0 0 0 0 0 1 0 0  0 0 0  0 1 0  0 0 1   0 0 0 
       
 a1 0 0  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
             
  a2 b2 0   a1  0 0 0   a2  1 0 0   a3  0 0 0   b2  0 1 0   b3  0 0 0   c3  0 0 0 
a b c  0 0 0 0 0 0  1 0 0  0 0 0  0 1 0  0 0 1
 3 3 3        
 a1  a2  a3  b2  b3  c3  0
 1 0 0   0 0 0   0 0 0   0 0 0   0 0 0   0 0 0  
           
 B   0 0 0  ,  1 0 0  ,  0 0 0  ,  0 1 0  ,  0 0 0  ,  0 0 0   es un conjunto
 0 0 0   0 0 0   1 0 0   0 0 0   0 1 0   0 0 1  
           
linealmente independiente

Por a) y b) B es una base de W y dimW=6

3) W   p( x) / p( x)  P3  p(1)  p(1)  p(0)  0
a) Determinamos un conjunto generador de W
Sea p ( x)  ax 3  bx 2  cx  d
p (1)  p (1)
a  b  c  d  a  b  c  d
 2(a  c)  0  c   a
p (0)  0
d 0
 p ( x)  ax 3  bx 2  ax
 p ( x)  a  x 3  x   bx 2
 W  gen  x 3  x, x 2 

b) Comprobamos si el conjunto generador es linealmente independiente

a  x3  x   bx 2  0
 ax3  bx 2  ax  0
 a  0b  0
 B   x3  x, x 2  linealmente independiente

Por a) y b) es una base de W y dimW=2

TEOREMA
Sea V un espacio vectorial de dimensión finita (dimV=n).
1) Cualquier conjunto generador del espacio vectorial V contiene una base de V
2) Si v1 , v2 ,..., vm  es un conjunto linealmente independiente en V, entonces existen
vectores w1 , w2 ,..., wn  m tales que el conjunto v1 , v2 ,..., vm , w1 , w2 ,..., wnm  es una
base de V
DEMOSTRACIÓN:

1) Sea B  v1 , v2 ,..., vm  un conjunto generador de V.

Si B es linealmente independiente, B sería la base de V; sino, existe algún vector
v j que puede expresarse como combinación lineal de los m-1 vectores restantes tal
que el conjunto B1  B  v j  también genera a V.
Si B1  B  v j  es linealmente independiente sería la base de V; sino se repite el
paso anterior hasta obtener un conjunto generador Bi ,1  i  m  n de n vectores
linealmente independiente, en este caso Bi ,1  i  m  n sería la base de V.

2) Si B  v1 , v2 ,..., vm  genera a V sería la base de V por ser un conjunto linealmente

independiente; sino, existe un vector w1 V  w1  gen  B  tal que el conjunto
B1  v1 , v2 ,..., vm , w1 es linealmente independiente en V.
Si B1 genera a V, B1 sería la base de V; caso contrario se repite el paso anterior
n-m veces hasta obtener un conjunto linealmente independiente
Bnm  v1 , v2 ,..., vm , w1 , w2 ,..., wnm  que genere a V, este conjunto sería la base de V.

EJEMPLO:
1) Determinar una base para el espacio W generado por el conjunto
S   x 2  2 x, x 2  1,1  2 x, x 2  2 x  2
En el conjunto S se observa que el vector x 2  2 x  2 es una combinación lineal
de los 3 vectores restantes: x  2 x  2   x  1  1  2 x   0  x  2 x  , por lo
2 2 2

tanto el conjunto S1   x  2 x, x  1,1  2 x genera a W.

2 2
 En el conjunto S1   x  2 x, x  1,1  2 x se observa que el vector x 2  2 x es
2 2

una combinación lineal de los dos vectores restantes: x  2 x   x  1  1  2 x 

2 2

esto implica que el conjunto S2   x  1,1  2 x genera a W.

2

En S2   x  1,1  2 x se tiene que los dos vectores son linealmente

2

independientes, puesto que ninguno de los dos vectores es una combinación

lineal del otro.
Debido a que S2   x  1,1  2 x es linealmente independiente y genera a W,
2

sería la base de W.

2) Determinar una base de lR3 que contenga al vector (1,1, 1)

Cualquier base de lR3 debe tener 3 vectores linealmente independientes, por lo
tanto hay que determinar dos vectores linealmente independientes que no
pertenezcan al espacio W1 generado por (1,1, 1) .
W1  gen (1,1, 1)  a(1,1, 1) / a  lR  (a, a, a) / a  lR
Un vector que no está en W1 puede ser (1, 0, 0) , por lo tanto el conjunto
(1,1, 1), 1, 0, 0 es linealmente independiente.
Ahora determinemos un vector que no pertenezca al espacio W2 generado por el
conjunto (1,1, 1), 1, 0, 0  .
W2  gen (1,1, 1), 1, 0, 0   a(1,1, 1)  b 1, 0, 0  / a, b  lR
= (a  b, a, a) / a  lR   x, y,  y  / x, y  lR
Por último determinemos un vector que no está en W2 , éste podría ser (0,1, 0)
Por lo tanto el conjunto (1,1, 1), 1, 0, 0  , (0,1, 0) es linealmente independiente;
y esta sería la base de lR3 que contiene al vector (1,1, 1)
COROLARIO
Sea V un espacio vectorial de dimensión n.
1) Cualquier conjunto de n vectores linealmente independientes en V es una base
de V
2) Cualquier conjunto de n vectores que genera a V, es una base de V

DEMOSTRACION

1) Debido a que la dimensión de V es n, implica que cualquier base de V debe

tener n vectores linealmente independientes que generen a V. Por el teorema
anterior se conoce que a partir de un conjunto linealmente independiente en
V se puede extender hasta obtener una base de V, pero conocemos que n+1
vectores en un espacio generado por n vectores es linealmente dependiente;
de ahí que si agregamos un vector al conjunto de n vectores linealmente
independiente en este espacio V éste sería linealmente dependiente. Por lo
tanto el conjunto de los n vectores linealmente independiente en V sería la
base de V.

2) Se conoce que de cualquier conjunto generador de V se puede extraer una

base de V. Si el conjunto de n vectores que generan a V no es linealmente
independiente no sería la base de V, por lo cual se puede extraer un conjunto
de n-1 vectores que generan a V. Si los n-1 vectores son linealmente
independientes sería la base de V y la dimV sería n-1, lo cual contradice el
hecho de que la dimV=n, por lo tanto los n vectores que generan al espacio
vectorial de dimensión n sería linealmente independiente y de ahí que sería la
base de V.

Este corolario facilita el hecho de determinar si un conjunto de n vectores es una

base de un espacio vectorial de dimensión n; bastaría probar solo una de las dos
condiciones de la definición de base. Basta con probar que son linealmente
independientes o suficiente con probar que genera al espacio vectorial.
 EJEMPLO:
1) Determinar si el conjunto B  (1,1, 2),  0,1,1 , 1, 1, 3 es una base de lR3
Debido a que tenemos un conjunto de 3 vectores de un espacio vectorial de
dimensión 3, bastaría con determinar si el conjunto es linealmente
independiente; de ser asi, sería una base de lR3
1 0 1 
 
Sea A=  1 1 1 
 2 1 3 
 
 det A   3  1  1  2   3  0
 B es un conjunto de 3 vectores linealmente independientes en lR 3
 B  (1,1, 2),  0,1,1 , 1, 1, 3  es una base de lR 3

2) Determinar si el conjunto B  (1,1, 2),  0,1,1 , 1, 1, 0  es una base de lR3
Debido a que tenemos un conjunto de 3 vectores de un espacio vectorial de
dimensión 3, bastaría con determinar si el conjunto genera a lR3 ; de ser asi,
sería una base de lR3
Sea  x, y, z  cualquier vector de lR 3
 x, y, z   a(1,1, 2)  b  0,1,1  c 1, 1, 0 
  x, y , z   ( a  c, a  b  c , 2a  b )
 ac  1 0 1 x  1 0 1
x x  1 0 1 x 
      
 a  b  c 
y   1 1 1 y    0 1 2 y  x    0 1 2 y  x 
 2a  b  z  2 1 0 z   0 1 2 z  2 x   0 0 0 y  x  z 

 y xz 0 z  x y
 gen  B    x, y, x  y  / x, y  lR  lR 3
 B no genera a lR 3
 B no es una base de lR 3
TAREA:
Demostrar los dos teoremas y el corolario.

TEOREMA
Si W es un subespacio del espacio vectorial V de dimensión finita, entonces W es
de dimensión finita y dimW  dimV

TEOREMA
Si W1 y W2 son subespacios vectoriales del espacio vectorial V de dimensión finita,
entonces dim W1  W2   dimW1  dimW2  dim W1  W2 

COROLARIO
Si W1 y W2 son subespacios vectoriales del espacio vectorial V de dimensión finita,
tales que W1  W2  V , entonces dim V  dim W1  dim W2