Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap07 PDF
Cap07 PDF
Espacios cociente
Demostración. El lema anterior nos garantiza que las definiciones de suma y pro-
ducto por un escalar entre clases de equivalencia tienen sentido, o sea el resultado de
sumar [v] y [v 0 ] no dependen del par v, v 0 ∈ V sino tan sólo de su clase de equivalencia
modulo W . Lo mismo para producto por un escalar.
Necesitamos probar que se verifican para las operaciones definidas en V /W todos
los axiomas de un espacio ¡ vectorial.
¢ Por ejemplo
¡ 0 para ¢ probar la propiedad asociativa
0 00 00
queremos
¡ probar
¢ que [v]+[v ] +[v ] = [v]+
£ [v ]+[v ¤£. El lado
] derecho
¤ de esta 0igualdad
es [v]¡ + [v ] + ¢[v ] = [v + v ] + [v ] = (v + v ) + v v + (v + v ) = [v] + [v + v 00 ] =
0 00 0 00 0 00 0 00
(2) La construcción del cociente nos permite demostrar que dado un espacio vectorial
V y un subespacio W ⊂ V arbitrario, existe una transformación lineal T : V → U en
algún espacio vectorial U de modo que N(T ) = W . En otras palabras, todo subespacio
es el núcleo de alguna transformación lineal. Para demostrar lo anterior basta tomar
T = π : V → V /W la proyección canónica.
(3) Es evidente que dado un subespacio vectorial W ⊂ V existe una transformación
lineal T : U → V para algún subespacio U de modo que T (U ) = W . Para ello basta
tomar U = W y la transformación lineal T la inclusión canónica de W en V .
El siguiente resultado nos dice como están 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 está dada de la siguiente
forma: L ⊂ V /W Ã π −1 (L) ⊂ V ; W ⊂ L ⊂ V Ã L/W = π(L) ⊂ V /W . Más aún, la
correspondencia respecta inclusiones.
T /V
V
π π
² ²
V /W / V /W
Te
Demostración. Claramente N(T ) tiene dimensión finita. 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¢ dimensión finita y además que dim(V ) − dim N(T )yr) =
dim V / N(T ) = dim T (V ) . ¤
7. ESPACIOS COCIENTE 61