En matemáticas, un endomorfismo es un morfismo que tiene como codominio el mismo conjunto que su dominio . Si además el morfismo es biyectivo se suele hablar de automorfismo.

Ejemplo de un endomorfismo.

Álgebra lineal

editar

En álgebra lineal, cuando se hace referencia a morfismos estos lo son de espacios vectoriales, es decir, se habla de aplicaciones lineales. Por tanto, si   es un espacio vectorial, un endomorfismo es cualquier aplicación   lineal. Siguiendo la usual identificación de las aplicaciones lineales con matrices mediante la matriz del endomorfismo en una base del espacio vectorial, el conjunto de endomorfismos en un espacio vectorial de dimensión   está en correspondencia biyectiva con el conjunto de matrices cuadradas  . Esto permite definir conceptos como los de polinomio característico, polinomio mínimo o valores y vectores propios que son muy importantes en esta rama algebraica y en la geometría lineal y afín.

Álgebra universal

editar

Por lo general, se habla de endomorfismos dentro de cualquier categoría de morfismos (u homomorfismos).[1]​ Por ejemplo, un endomorfismo del grupo   es un homomorfismo de grupos  .

Supongamos un objeto   de una cierta categoría  , y dos endomorfismos  . La composición de funciones   es también un endomorfismo. Dado que la aplicación identidad es también un endomorfismo, se puede observar que en el conjunto de todos los endomorfismos de  ,  , se pueden definir ciertas categorías.

Referencias

editar
  1. «Endomorphism - Encyclopedia of Mathematics». Consultado el 18 de julio de 2019. 

Véase también

editar

Enlaces externos

editar