Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacios cociente
En esta seccion estudiamos el cociente de un espacio vectorial V por un subespacio W.
Este cociente se dene como el conjunto cociente de V por una relacion de equivalencia
conveniente.
Definici
si v v
W.
Observaci
+ w.
(3) Es claro que la relacion es una relacion de equivalencia y esto queda como ejercicio.
(4) Si W = {0}, v v
si y solo si v = v
V , v v
.
(5) Recordar que si v V su clase de equivalencia es un subconjunto de V y consiste de
{v
V : v
v} =
_
v
V : v
= v + w para alg un w W
_
. En otras palabras la clase
de equivalencia de v es el subconjunto v + W V .
Definici
1
y v
2
v
2
entonces v
1
+ v
2
v
1
+ v
2
para todo v
1
, v
2
, v
1
, v
2
V .
(2) Si v v
entonces av av
para todo v, v
V y a k.
Demostraci
on. (1) Si v
1
v
1
y v
2
v
2
entonces existe w
1
, w
2
W tales que
v
1
= v
1
+ w
1
y v
2
= v
2
+ w
2
. Entonces v
1
+ v
2
= v
1
+ v
2
+ w
1
+ w
2
y como w
1
+ w
2
W
concluimos que v
1
+ v
1
v
2
+ v
2
.
(2) La demostracion de esta propiedad es muy semejante a la anterior y queda como
ejercicio.
Teorema 7.5. Se denen en V/W las siguientes operaciones: [v] + [v
] = [v + v
] y
a[v] = [av] si a k y v, v
on. El lema anterior nos garantiza que las deniciones de suma y pro-
ducto por un escalar entre clases de equivalencia tienen sentido, o sea el resultado de
sumar [v] y [v
]
_
+[v
] = [v]+
_
[v
]+[v
]
_
. El lado derecho de esta igualdad
es
_
[v] + [v
]
_
+ [v
] = [v + v
] + [v
] =
_
(v + v
) + v
_
v + (v
+ v
= [v] + [v
+ v
] =
[v] +
_
[v
] + [v
]
_
. Se ha usado en esta cadena de igualdades la propiedad asociativa de
la suma en el espacio V . El vector cero en V/W es el vector O
V/W
= [0
V
] = [w] para
cualquier w W. Es claro que [v] + 0
V/W
= [v + 0] = [v] y luego ese vector es el neutro
del espacio cociente.
Si tomamos v, v
V y calculamos (v + v
) tenemos que (v + v
) = [v + v
] =
[v] + [v
] = (v) + (v
U
V/W
b
T
<<
Demostraci
y escribimos v
V tenemos que
T
_
[v] +[v
]
_
=
T
_
[v+v
]
_
= T(v+v
) = T(v)+T(v
) =
T
_
[v]
_
+
T
_
[v
]
_
lo que prueba que
T
_
[v]
_
para todo a k.
Observaci
T) =
_
N(T)
_
y que
Im(
T) = T(V ) =
T(V/W). La segunda armacion se deduce inmediatamente del hecho
de que la proyeccion canonica es sobreyectiva. Por otro lado
T
_
[v]
_
= 0 si y solo si
0 =
T
_
(v)
_
= T(v) y eso sucede si y solo si v N(T), es decir [v] N(T)/W.
7. ESPACIOS COCIENTE 59
(2) La construccion del cociente nos permite demostrar que dado un espacio vectorial
V y un subespacio W V arbitrario, existe una transformacion lineal T : V U en
alg un espacio vectorial U de modo que N(T) = W. En otras palabras, todo subespacio
es el n ucleo de alguna transformacion lineal. Para demostrar lo anterior basta tomar
T = : V V/W la proyecci on canonica.
(3) Es evidente que dado un subespacio vectorial W V existe una transformacion
lineal T : U V para alg un subespacio U de modo que T(U) = W. Para ello basta
tomar U = W y la transformacion lineal T la inclusion canonica de W en V .
El siguiente resultado nos dice como estan relacionados los subespacios de V y los de
V/W.
Teorema 7.8. Existe una correspondencia biyectiva entre los subespacios de V/W y
los subespacios de V que contienen a W. Esa correspondencia esta dada de la siguiente
forma: L V/W
1
(L) V ; W L V L/W = (L) V/W. Mas a un, la
correspondencia respecta inclusiones.
Demostraci
, entonces (L) (L
).
La siguiente denicion es de gran utilidad.
Definici
V/W
e
T
//
V/W
Demostraci
V
subespacios tales que
T(W) W
tal
que
T =
T.
La prueba de este hecho es una facil adaptacion de la prueba del teorema 7.10 y
queda como ejercicio.
Corolario 7.12. Sea T : V U una transformacion lineal, entonces la transfor-
macion lineal
T : V/ N(T) T(V ) es un isomorsmo.
Demostraci
T) = N(T)/ N(T) =
{0} V/ N(T), de donde
T es inyectiva. Ademas,
T
_
V/ N(T)
_
= T(V ), por lo que la
transformacion lineal
T : V/ N(T) T(V ) es sobreyectiva.
A continuaci on veremos algunos resultados sobre dimension que se deducen de la
construccion anterior del cociente.
Teorema 7.13. Sea V un espacio de dimension nita y W un subespacio; entonces
dim(V/W) = dim(V ) dim(W).
Demostraci
on. Claramente N(T) tiene dimension nita. Por otro lado, usando el
Corolario 7.12, sabemos que los espacios vectoriales V/ N(T) y T(V ) son isomorfos, y
eso implica que T(V ) tiene dimension nita y ademas que dim(V ) dim
_
N(T)yr) =
dim
_
V/ N(T)
_
= dim
_
T(V )
_
.
7. ESPACIOS COCIENTE 61
Observaci
B
_
Demostraci
=
t+1
[v
t+1
] + +
n
[v
n
]. Eso implica que la cola (o
sea la parte que va del elemento t +1 hasta el elemento n) del t +j-esimo vector columna
de la matriz
B
[T]
B
es exactamente el j-esimo vector columna de la matriz
B
_
T
B
. Eso
termina la demostracion.
Corolario 7.19. Sea T : V V una transformacion lineal de V , espacio vectorial
de dimension nita, y V = W
1
W
2
un descomposicion en suma directa de subespacios
Tinvariantes. Sea B
1
una base de W
1
, B
2
una base de W
2
y B = B
1
B
2
. Entonces,
B
[T]
B
=
_
B
1
[T]
B
1
0
0
B
2
[T]
B
2
_
Demostraci