Espacios vectoriales …nitamente generados y bases.

Recordemos: Sean (V; +; ) un k-espacio vectorial …nitamente generado y B

V . Diremos que B es base de V si B es linealmente independiente y genera a
V:
Se demostró que si V es …nitamente generado, entonces siempre tiene al
menos una base y si B y B 0 son bases de V , entonces jBj = jB 0 j < 1:
Por lo que la dimensión de V como k-espacio vectorial, dimk V := jBj para
cualquier B base de V:

También recordemos que si V = f0g; entonces el conjunto vacío, ;; es base de

V y es la única base que contiene V pues f0g es linealmente dependiente. Por
lo tanto, dimk f0g = 0:

También vimos el siguiente

Teorema-De…nición. Sea (V; +; ) un k-espacio vectorial …nitamente gen-
erado. Entonces
1. 8Y V; [Y …nito y hY i = V ] =) [9B X; B base …nita de V ] :
Por lo tanto, V contiene al menos una base (…nita).
1.1. Corolario. 8Y V; [hY i = V ] =) [9X Y …nito, hXi = V y 9B X; B base de V ] :
En particular, todo conjunto generador, contiene una base.
2. 8B es base de V , jBj < 1:
3. Sea B V: Entonces
B es base de V
() B es maximal linealmente independiente en V
() B es minimal generador de V:
4. 8B; B 0 bases de V , jBj = jB 0 j:

De…nimos la dimensión de V (como k-espacio vectorial), dimk V := jBj con

B cualquiera de sus bases.

5. Sea X V conjunto linealmente independiente en V: Entonces

5.1. X es …nito.
5.2. 9B V base; X B:
6. Sea W V k-subespacio vectorial de V: Entonces
W es …nitamente generado y dimk W dimk V:
7. Sea W V k-subespacio vectorial de V: Entonces el k-espacio vectorial
V V
cociente W es …nitamente generado y dimk W = dimk V dimk W:

1
Proposición: Sean (V; +; ) un k-espacio vectorial …nitamente generado de
dimensión n 1 y B = fv1 ; :::; vn g V base de V: Entonces
a. 8x 2 V; 9! 1 ; :::; n 2 k; x = 1 v1 + + n vn :
Recordemos que 9!::: signi…ca existe(n) único(s). Es decir,
8x 2 V; 9! 1 ; :::; n 2 k; x = 1 v1 + + n vn es una proposición equivalente
a
8x 2 V; 9 1 ; :::; n 2 k; [(x = 1 v1 + + n vn ) ^ [8 1 ; :::; n 2 k; [(x =
1 v 1 + + n v n ) =) (( 1 = 1 ) ^ ::: ^ ( n = n ))]]

b. 8X V tal que X es linealmente independiente y jXj = n entonces X es

base de V .
c. 8X V tal que hXi = V y jXj = n entonces X es base de V .

Demostración.
a. PD. 8x 2 V; 9! 1 ; :::; n 2 k; x = 1 v1 + + n vn :

Sea x 2 V:
Como B = fv1 ; :::; vn g genera a V:
Entonces 9 1 ; :::; n 2 k tales que x = 1 v1 + + n vn :

Ahora PD. 8 1 ; :::; n 2 k; [(x = 1 v1 + + n vn ) =) (( 1 = 1) ^ ::: ^

( n= n ))]:
Sean 1 ; :::; n 2 k tales que x = 1 v1 + + n vn
PD. ( 1 = 1 ) ^ ::: ^ ( n = n ):

Ahora
1 v1 + + n vn = x = 1 v1 + + n vn
si y sólo si
( 1 1 )v1 + +( n n )vn = 0
si y sólo si (pues B es linealmente independiente) 0k = 1 1 = = 1 1
si y sólo si ( 1 = 1 ) ^ ::: ^ ( n = n ):

Por lo tanto, 8x 2 V; 9! p
1 ; :::; n 2 k; x = 1 v1 + + n vn :

b. PD. 8X V , (X es linealmente independiente y jXj = n) =) (X es base

de V ).
Sea X V tal que X es linealmente independiente y jXj = n:
Sea X = fx1 ; :::; xn g:
PD. X es base de V .

Como X es linealmente independiente, por Teorema-de…nición. 9B V

base de V tal que X B:
Como jBj = n = jXj : Entoncesp X = B:
Por lo tanto, X es base de V:

2
 PD. 8z 2 V; 9 1 ; :::; n 2 k; z = 1 x1 + + n xn :

c. PD. 8X V , (hXi = V y jXj = n) =) (X es base de V ).

Sea X V tal que hXi = V y jXj = n:
Sea X = fx1 ; :::; xn g:
PD. X es base de V .

Como hXi = V , por Teorema-de…nición. 9B V base de V tal que X B:

Como jBj = n = jXj : Entonces X = B:
Por lo tanto, X es base de V: