Autor Tema: Isomorfismo entre espacios de homomorfismos

0 Usuarios y 1 Visitante están viendo este tema.

20 Febrero, 2019, 09:03 pm
Leído 414 veces

amaranthgf

  • Nuevo Usuario
  • Mensajes: 2
  • Karma: +0/-0
  • Sexo: Masculino
Dado este teorema, me gustaría saber si es correcta mi deducción o estoy definiéndolo mal.

Sea \( f:E \longrightarrow F  \) aplicación k-lineal entre K-e.v. de dimensión finita,
entonces \( f^{**} = f \), donde \( f^{**} \) denota la aplicación lineal dual de
\( f^{*} \). Es decir:
\( \exists h : Hom_K(E^{**},F^{**}) \longrightarrow Hom_K(E,F) \) isomorfismo tal que
\( g^{**}\longrightarrow h(g^{**}) = \phi_F^{-1} \circ g^{**} \circ \phi_E \)

Hemos probado en los apuntes que la función h está bien definida. Falta probar que es una
aplicación, que es k-lineal y que es biyectiva. Vamos a ver las dos primeras:

Queremos probar que dados \( g^{**},{g^{**}}' \in Hom_K(E^{**},F^{**}) \),
con \( g^{**} = {g^{**}}' \),
entonces llevan a la misma imagen, es decir \( h(g^{**}) = h({g^{**}}') \).
Para ello tomamos unos elementos \( w,w' \in F \), \( e,e' \in E \):

\( h(g^{**})(e)(w) = \phi_F^{-1} \circ g^{**} \circ \phi_E (e)(w) =
\phi_F^{-1} ( g^{**} \circ \phi_E (e)(w)) = \phi_F^{-1} (\phi_E (g(e)(w)))=
\phi_F^{-1} (w g(e))  = g(e) \)

Igual para e' y w'. Entonces como tenemos que g es aplicación, se cumple.

21 Febrero, 2019, 08:23 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 46,412
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Queremos probar que dados \( g^{**},{g^{**}}' \in Hom_K(E^{**},F^{**}) \),
con \( g^{**} = {g^{**}}' \),
entonces llevan a la misma imagen, es decir \( h(g^{**}) = h({g^{**}}') \).
Para ello tomamos unos elementos \( w,w' \in F \), \( e,e' \in E \):

\( h(g^{**})(e)(w) = \phi_F^{-1} \circ g^{**} \circ \phi_E (e)(w) =
\phi_F^{-1} ( g^{**} \circ \phi_E (e)(w)) = \phi_F^{-1} (\phi_E (g(e)(w)))=
\phi_F^{-1} (w g(e))  = g(e) \)

Igual para e' y w'. Entonces como tenemos que g es aplicación, se cumple.

Pero no entiendo lo que haces ahí; has definido perfectamente cual es la imagen de \( g^{**} \) por \( h \). En ningún caso puede ocurrir que el mismo elemento tenga dos imágenes distintas. No tiene sentido esa comprobación.

Ese tipo de comprobaciones tienen sentido cuando estás trabajando en un espacio cociente y para definir la imagen de una clase de equivalencia escoges un representante del mismo; entonces hay que ver que la imagen no depende del representante elegido.

Saludos.