stringtranslate.com

Epimorfismo

En teoría de categorías , un epimorfismo es un morfismo f  : XY que es cancelativo por la derecha en el sentido de que, para todos los objetos Z y todos los morfismos g 1 , g 2 : YZ ,

Los epimorfismos son análogos categóricos de funciones sobreyectivas o ontológicas (y en la categoría de conjuntos el concepto corresponde exactamente a las funciones sobreyectivas), pero pueden no coincidir exactamente en todos los contextos; por ejemplo, la inclusión es un epimorfismo de anillo. El dual de un epimorfismo es un monomorfismo (es decir, un epimorfismo en una categoría C es un monomorfismo en la categoría dual C op ).

Muchos autores en álgebra abstracta y álgebra universal definen un epimorfismo simplemente como un homomorfismo onto o sobreyectivo . Todo epimorfismo en este sentido algebraico es un epimorfismo en el sentido de la teoría de categorías, pero lo inverso no es cierto en todas las categorías. En este artículo, el término "epimorfismo" se utilizará en el sentido de la teoría de categorías dado anteriormente. Para más información sobre esto, consulte § Terminología a continuación.

Ejemplos

Todo morfismo en una categoría concreta cuya función subyacente es sobreyectiva es un epimorfismo. En muchas categorías concretas de interés también es cierto lo inverso. Por ejemplo, en las siguientes categorías, los epimorfismos son exactamente aquellos morfismos que son sobreyectivos en los conjuntos subyacentes:

Sin embargo, también hay muchas categorías concretas de interés en las que los epimorfismos no son sobreyectivos. Algunos ejemplos son:

Lo anterior difiere del caso de los monomorfismos, donde es más frecuentemente cierto que los monomorfismos son precisamente aquellos cuyas funciones subyacentes son inyectivas .

En cuanto a ejemplos de epimorfismos en categorías no concretas:

Propiedades

Todo isomorfismo es un epimorfismo; de hecho, solo se necesita un inverso del lado derecho: si existe un morfismo j  : YX tal que fj = id Y , entonces f : XY es fácilmente visible como un epimorfismo. Una función con un inverso del lado derecho de este tipo se denomina epi dividida . En un topos , una función que es a la vez un morfismo mónico y un epimorfismo es un isomorfismo.

La composición de dos epimorfismos es nuevamente un epimorfismo. Si la composición fg de dos morfismos es un epimorfismo, entonces f debe ser un epimorfismo.

Como muestran algunos de los ejemplos anteriores, la propiedad de ser un epimorfismo no está determinada únicamente por el morfismo, sino también por la categoría del contexto. Si D es una subcategoría de C , entonces cada morfismo en D que sea un epimorfismo cuando se lo considera como un morfismo en C también es un epimorfismo en D. Sin embargo, no es necesario que se cumpla lo inverso; la categoría más pequeña puede tener (y a menudo tendrá) más epimorfismos.

Como ocurre con la mayoría de los conceptos en la teoría de categorías, los epimorfismos se conservan bajo equivalencias de categorías : dada una equivalencia F  : CD , un morfismo f es un epimorfismo en la categoría C si y solo si F ( f ) es un epimorfismo en D . Una dualidad entre dos categorías convierte los epimorfismos en monomorfismos, y viceversa.

La definición de epimorfismo puede reformularse para afirmar que f  : XY es un epimorfismo si y solo si los mapas inducidos

son inyectivas para cada elección de Z. Esto a su vez es equivalente a la transformación natural inducida

siendo un monomorfismo en la categoría de funtor Conjunto C .

Todo coecualizador es un epimorfismo, consecuencia del requisito de unicidad en la definición de coecualizadores. De ello se deduce en particular que todo conúcleo es un epimorfismo. La recíproca, es decir, que todo epimorfismo sea un coecualizador, no es cierta en todas las categorías.

En muchas categorías es posible escribir cada morfismo como la composición de un epimorfismo seguido de un monomorfismo. Por ejemplo, dado un homomorfismo de grupo f  : GH , podemos definir el grupo K = im( f ) y luego escribir f como la composición del homomorfismo sobreyectivo GK que se define como f , seguido del homomorfismo inyectivo KH que envía cada elemento a sí mismo. Tal factorización de un morfismo arbitrario en un epimorfismo seguido de un monomorfismo se puede llevar a cabo en todas las categorías abelianas y también en todas las categorías concretas mencionadas anteriormente en § Ejemplos (aunque no en todas las categorías concretas).

Conceptos relacionados

Entre otros conceptos útiles se encuentran el epimorfismo regular , el epimorfismo extremal , el epimorfismo inmediato , el epimorfismo fuerte y el epimorfismo dividido .

También existe la noción de epimorfismo homológico en la teoría de anillos. Un morfismo f : AB de anillos es un epimorfismo homológico si es un epimorfismo e induce un funtor completo y fiel en las categorías derivadas : D( f ) : D( B ) → D( A ).

Un morfismo que es tanto un monomorfismo como un epimorfismo se llama bimorfismo . Todo isomorfismo es un bimorfismo pero lo inverso no es cierto en general. Por ejemplo, la función del intervalo semiabierto [0,1) al círculo unitario S 1 (considerado como un subespacio del plano complejo ) que envía x a exp(2πi x ) (ver la fórmula de Euler ) es continua y biyectiva pero no un homeomorfismo ya que la función inversa no es continua en 1, por lo que es una instancia de un bimorfismo que no es un isomorfismo en la categoría Top . Otro ejemplo es la incrustación Q  → R en la categoría Haus ; como se señaló anteriormente, es un bimorfismo, pero no es biyectiva y, por lo tanto, no es un isomorfismo. De manera similar, en la categoría de anillos , la función Z  → Q es un bimorfismo pero no un isomorfismo.

Los epimorfismos se utilizan para definir objetos cocientes abstractos en categorías generales: se dice que dos epimorfismos f 1  : XY 1 y f 2  : XY 2 son equivalentes si existe un isomorfismo j  : Y 1Y 2 con j  f 1 = f 2 . Esta es una relación de equivalencia , y las clases de equivalencia se definen como los objetos cocientes de X .

Terminología

Los términos acompañantes epimorfismo y monomorfismo fueron introducidos por primera vez por Bourbaki . Bourbaki utiliza epimorfismo como abreviatura de una función sobreyectiva . Los primeros teóricos de categorías creían que los epimorfismos eran el análogo correcto de las sobreyecciones en una categoría arbitraria, de forma similar a cómo los monomorfismos son casi un análogo exacto de las inyecciones. Desafortunadamente esto es incorrecto; los epimorfismos fuertes o regulares se comportan mucho más de cerca a las sobreyecciones que los epimorfismos ordinarios. Saunders Mac Lane intentó crear una distinción entre epimorfismos , que eran aplicaciones en una categoría concreta cuyas aplicaciones de conjuntos subyacentes eran sobreyectivas, y morfismos épicos , que son epimorfismos en el sentido moderno. Sin embargo, esta distinción nunca se impuso.

Es un error común creer que los epimorfismos son idénticos a las sobreyecciones o que son un concepto mejor. Desafortunadamente, esto rara vez sucede; los epimorfismos pueden ser muy misteriosos y tener un comportamiento inesperado. Es muy difícil, por ejemplo, clasificar todos los epimorfismos de anillos. En general, los epimorfismos son un concepto único, relacionado con las sobreyecciones pero fundamentalmente diferente.

Véase también

Notas

  1. ^ desde Borceux 1994.
  2. ^ Tsalenko y Shulgeifer 1974.

Referencias

Enlaces externos