Isomorfismos
Sea si es sobreyectiva (todo elemento de le corresponde un elemento en ) entonces , ahora por el teorema de la dimensión no puede ocurrir que , por lo tanto se concluye que , Ahora si es adema inyectiva entonces por los teoremas anteriores sabemos que de esto y por el teorema de la dimensión concluimos que .
Esto mismo es lo que motiva introducir los isomorfismo, que propiedades tienen las transformaciones lineales donde sus espacios vectoriales tienen la misma dimensión.
Isomorfismos
Sean , se dice que es un isomorfismo cuando:
- es inyectiva.
- es sobreyectiva.
Cuando esto ocurre se dirá que y son isomorfos y se denotara por .
Teorema 1
Sea E.V de dimensión finita tal que . Entonces .
Sea base de y base de entonces por el teorema 2 existe una transformación lineal tal que:
Es decir a cada vector de la base de lo mandamos a su respectivo vector a la base de , además es única, ahora suponga que y , entonces si se tiene que como cada vector es L.I entonces cada , por lo tanto es 1-1 y como cumple esto entonces también es sobre, luego concluimos que .
Todo EV tiene asociado un EV real
Este teorema nos asegura que dos E.V de igual dimensión son isomorfos, ya conocemos a todos los espacios vectoriales de la forma , entonces si por el teorema anterior tenemos que Con esto demostramos que todo espacios vectorial es isomorfo a un espacio vectorial de los reales, por este motivo el estudio de los espacios vectoriales y sus propiedades se reduce a estudiar los .
Corolario 1
Si entonces:
Algunos teoremas
Estos teoremas ayudaran a determinar isomorfismo, la demostración es sencilla y muchas de ellas ya fueron dadas en las secciones pasadas.
Sea y y entonces:
- T es inyectiva si y sólo si T es sobre.
- T es inyectiva si y sólo si o .
- Si T es sobre entonces o .
- .
- Si entonces no puede ser Inyectiva.
- Si entonces no puede ser sobre.
- Si entonces es isomorfismo.
Vectores coordenadas
Vectores coordenadas
Sea una base de , definimos el vector de coordenadas de un vector , donde como:
la notación se utiliza para representar el vector de coordenadas de con respecto a la base
Los vectores de coordenadas inducen una transformación lineal que además es isomorfismo, la cual esta definida de la siguiente manera:
Donde representa el i-esimo vector canónico de .
Hallar el vector de coordenadas de para las bases:
Para es trivial ya que se tratan de los vectores canónicos de , por lo tanto .
Ahora para note que tenemos lo siguiente:
Por lo tanto: