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: