Diferencia entre epimorfismo, isomorfismo, endomorfismo y automorfismo Transformaciones lineales con ejemplos

Question

Puede alguien explicarme la diferencia entre las transformaciones lineales que epimorfismo, isomorfismo, endomorfismo o automorfismo. Agradecería si alguien puede explicar la idea con ejemplos o guiar a alguna buena fuente para aclarar el concepto.

Answer 1

Para cualquier estructura algebraica, un homomorfismo preserva la estructura, y algunos tipos de homomorfismos son:

• Epimorfismo: un homomorfismo que es sobreyectivo (también conocido como onto)
• Monomorfismo: un homomorfismo que es inyectivo (también conocido como uno a uno, 1-1 o univalente)
• Isomorfismo: un homomorfismo que es biyectivo (AKA 1-1 y onto); los objetos isomorfos son equivalentes, pero quizás definidos de manera diferente
• Endomorfismo: un homomorfismo de un objeto a sí mismo
• Automorfismo: un endomorfismo biyectivo (un isomorfismo de un objeto sobre sí mismo, esencialmente un reetiquetado de elementos)

Nótese que estas son definiciones comunes en el álgebra abstracta; en la teoría de categorías, los morfismos tienen definiciones generalizadas que en algunos casos pueden ser distintas de éstas (pero son idénticas en la categoría de espacios vectoriales).

Así que una transformación lineal $A\colon\mathbb{R}^{n}\to\mathbb{R}^{m}$ es un homomorfismo ya que preserva la estructura del espacio vectorial (suma de vectores, suma y multiplicación escalar, multiplicación escalar de vectores), por ejemplo $A(av+w)=aA(v)+Aw$ . Es un epimorfismo si su imagen es $\mathbb{R}^{m}$ es un monomorfismo si tiene núcleo cero, un endomorfismo si $n=m$ y un automorfismo (así como un isomorfismo) si todos ellos son verdaderos.

La siguiente figura puede ser útil. Más detalles aquí .

Answer 2

En álgebra lineal, un epimorfismo entre espacios vectoriales es una aplicación lineal suryente $A:V_{1}\to V_{2}$ Es decir $\text{Im}(A)=V_{2}$ . Por ejemplo, $B:\mathbb{R}^{2}\to\mathbb{R}:(x,y)\mapsto x+y$ .

En álgebra lineal, endomorfismo de un espacio vectorial a sí mismo. Por ejemplo, $B:\mathbb{R}\to\mathbb{R}:x\mapsto 2x$ . Editado (30/08/2018): se ha eliminado "inyectiva" y se ha corregido la definición.

En el álgebra lineal, un isomorfismo entre espacios vectoriales es una aplicación lineal tanto sobreyectiva como inyectiva $A:V_{1}\to V_{2}$ Es decir $\text{Ker}(A)=\{0_{V_{1}}\}$ y $\text{Im}(A)=V_{2}$ . Un automorfismo es un isomorfismo entre un espacio vectorial y él mismo. Por ejemplo, $B:\mathbb{R}\to\mathbb{R}:x\mapsto x$ .

En un entorno más general, un morfismo $\phi$ entre dos grupos $(G,\cdot)$ y $(H,\star)$ es una aplicación $G\to H:g\mapsto \phi(g)$ tal que, para todo $g,g'\in G$ tenemos $\phi(g\cdot g')=\phi(g)\star\phi(g')$ y tal que $\phi(e_{G})=e_{H}$ donde $e_{I}$ es el elemento de identidad de $I=G,H$ .

Un epimorfismo entre dos grupos de este tipo es un morfismo suryente $\phi:G\to H$ es decir, para cualquier $h\in H$ existe $g\in G$ tal que $h=\phi(g)$ .

Un endomorfismo entre estos dos grupos es un morfismo inyectivo $\phi:G\to H$ es decir, para todos los $g,g'\in G$ con $\phi(g)=\phi(g')$ implica $g=g'$ .

Un isomorfismo entre dos grupos de este tipo es un morfismo tanto inyectivo como sobreyectivo. Un automorfismo es un isomorfismo con $(H,\star)=(G,\cdot)$ .