+ ::: +
n vn
= 0,
+ ::: +
n vn
= 0,
v=
v2 + ::: +
n
1
vn 2 hBi ,
Claramente hBi
donde ;
+ ::: +
n vn
donde
1 v1
1 b1
+ ::: +
m bm ,
2 F, bi 2 B. Por lo tanto,
u =
=
1 b1
+ ::: +
1 b1 + ::: +
m bm )
+ 1 v1 + ::: +
m bm + 1 v1 + ::: +
hBi.
dim (V ).
1
n vn
n vn
2 hBi .
=0
2 R, denamos
Entonces, el conjunto
G = fg :
2 Rg
obtenemos que
1g
+ ::: + n g n ( i ) = 0 ( i ) ;
1 g 1 ( i ) + ::: + i g i ( i ) + ::: + n g n ( i ) = 0;
i = 0.
1
0!0
, f1;1 :
1!0
0!0
, f1;0 :
1!1
0!1
.
1!1
0!1
.
1!0
Como f1;1 = f0;1 + f1;0 , podemos vericar que ff1;0 ; f0;1 g es una base de F un (Z2 ).
4. Si dim (V ) = n, cualquier subconjunto de V de cardinalidad mayor que n es linealmente
independiente.
2
FALSO. Por el Teorema de Deniciones Equivalentes de Base, una base es un conjunto linealmente independiente maximal, as que no pueden existir un conjunto linealmente
independiente con cardinalidad mayor que n.
5. Si dim (V ) = n, cualquier subconjunto de V de cardinalidad mayor que n genera a V .
FALSO. No necesariamente cualquier conjunto de cardinalidad mayor que n genera a
V ; por ejemplo, sea v 2 V , v 6= 0. Si n 2, entonces el conjunto
f0; v; 2v; 3v; :::; nvg
no es generador.
Ejercicio 3 Encuentra la dimensin de los subespacios hAi i
R3 , donde
A1 = f(3; 0; 0)g ,
A2 = f(2; 0; 0); (0; 0; 0); (1; 0; 0); (0; 0; 1)g ,
A3 = f(1; 0; 0); (1; 1; 0); (1; 1; 1)g .
Las dimensiones son:
dim (hA1 i) = 1, dim (hA2 i) = 2, dim (hA3 i) = 3.
Ejercicio 4 Sea V un espacio vectorial sobre F y S un subespacio de V . Demuestra que si
dim (S) = dim (V ), entonces S = V .
Sea n = dim (S) = dim (V ). Sea B una base de S, as que jBj = n. Como B es un
subconjunto de V linealmente independiente, debe estar contenido en una base B 0 de V
(Teorema Existencia de Bases 1.). Sin embargo, tambin tenemos que jB 0 j = n. Luego,
B B 0 y jBj = jB 0 j implica que B = B 0 . Por lo tanto, S = hBi = hB 0 i = V .
Ejercicio 5 Sea V un espacio vectorial sobre F. Usa el Lema de Zorn para demostrar que
cualquier conjunto generador de V contiene a una base de V .
Sea G
G : S es linealmente independienteg .