Sea W un subespacio de un espacio vectorial V sobre un campo F.

Para toda v 2 V el conjunto

fvg + W = fv + w : w 2 Wg se llama co-conjunto de W que contiene a v. Es frecuente expresar este co-
conjunto como v + W en vez de fvg + W. Demostrar lo siguiente:
a) v + W es un subespacio de V si y slo si v 2 W.
Respuesta: Partimos del supuesto que
v + W es un subespacio
para
w 2 W
v + w = v
con
w = 0
por lo que
v 2 W
y
W 2 V
v + w 2 v + W
v w 2 v + W
(v + w) + (v w) 2 v + W
2v = v + v 2 v + W
H
ipotesis
: v + W es un subespacio.
Si v 2 W =) v + W es un subespacio para demostrar
Tecnica
A = B
Si y solo si
A B ^ B A
v + W = W (v 2 W)
W v + W
w 2 W P.D w 2 v + W
w = v + (w v) 2 v + W
donde
(w v) 2 W
b) v
1
+ W = v
2
+ W si y slo si v
1
v
2
2 W.
La suma y el producto por elementos de F puede denirse en el conjunto S = fv + W : v 2 V g de todos
los co-conjuntos de W como sigue:
(v
1
+ W) + (v
2
+ W) = (v
1
+ v
2
) + W
Para toda v
1
; v
2
2 V y
a (v + W) = av + W
para toda v 2 V y a 2 F.
Respuesta:
v
1
+ W = v
2
+ W
| {z }
Hipotesis
=) v
1
v
2
2 W
v
1
+ W = fv
1
+ w : w 2 Wg
v
2
+ W = fv
2
+ w : w 2 Wg
sea
v
1
+ w 2 v
1
+ W = v
2
+ W
| {z }
Hipotesis
existe
w
2
: v
1
+ w = v
2
+ w
2
v
1
v
2
= v
2
+ w
2
v
1
v
2
= w
2
w 2 W
Si
Hipotesis
z }| {
v
1
v
2
2 W =) v
1
+ W = v
2
+ W
probemos que
v
1
+ W v
2
+ W
Sea
v
1
+ w 2 v
1
+ W
pdemos demostrar
v
1
+ w 2 v
2
+ W
v
1
+ w = v
2
+ (v
1
+ w v
2
)
= v
2
+ (v
1
v
2
+ w) 2 v
2
+ W
probemos ahora que
v
2
+ W v
1
+ W
sea
v
2
+ w 2 v
2
+ W
p d
v
2
+ w 2 v
1
+ W
v
2
+ w = v
1
+ (v
2
v
1
+ w) 2 v
1
+ W
c) Demostrar que las operaciones anteriores estn bien denidas; es decir, mostrar que si v
1
+W = v
0
1
+W
y v
2
+ W = v
0
2
+ W, entonces
(v
1
+ W) + (v
2
+ W) = (v
0
1
+ W) + (v
0
2
+ W)
y
a (v
1
+ W) = a (v
0
1
+ W)
para toda a 2 F.
d) Demostrar que el conjunto S es un espacio vectorial bajo las operaciones denidad anteriormente.
Este espacio vectorial se llama espacio cociente de V mdulo W y se expresa mediante V=W.
Sea W un subespacio de un espacio vectorial dimensionalmente nito V . Determinar la dimensin del
espacio vectorial V=W, el espacio cociente de V mdulo de W.
Respuesta:
dimV=W = dimV dimW
W = fw
1
; w
2
; :::; w
k
g
base de W
Se construye una base de
e
de V a partir de
e
= fw
1
; w
2
; :::; w
k
; v
1
; v
2
; ::; v
l
g
se construye esta base
v
1
+ W; v
2
+ W; :::
Clases laterales.