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:
Conjunto : conjuntos y funciones. Para demostrar que todo epimorfismo f : X → Y en Conjunto es sobreyectivo, lo componemos tanto con la función característica g 1 : Y → {0,1} de la imagen f ( X ) como con la función g 2 : Y → {0,1} que es constante 1.
Rel : conjuntos con relaciones binarias y funciones que preservan la relación. Aquí podemos utilizar la misma prueba que para Set , equipando a {0,1} con la relación completa {0,1}×{0,1}.
Pos : conjuntos parcialmente ordenados y funciones monótonas . Si f : ( X , ≤) → ( Y , ≤) no es sobreyectiva, tome y 0 en Y \ f ( X ) y sea g 1 : Y → {0,1} la función característica de { y | y 0 ≤ y } y g 2 : Y → {0,1} la función característica de { y | y 0 < y }. Estas funciones son monótonas si a {0,1} se le da el orden estándar 0 < 1.
Top : espacios topológicos y funciones continuas . Para demostrar que todo epimorfismo en Top es sobreyectivo, procedemos exactamente como en Set , dando {0,1} la topología indiscreta , lo que asegura que todas las funciones consideradas sean continuas.
HComp : espacios de Hausdorff compactos y funciones continuas. Si f : X → Y no es sobreyectiva, sea y ∈ Y − fX . Como fX es cerrada, por el Lema de Urysohn existe una función continua g 1 : Y → [0,1] tal que g 1 es 0 en fX y 1 en y . Componemos f tanto con g 1 como con la función cero g 2 : Y → [0,1].
Sin embargo, también hay muchas categorías concretas de interés en las que los epimorfismos no son sobreyectivos. Algunos ejemplos son:
En la categoría de monoides , Mon , la función de inclusión N → Z es un epimorfismo no sobreyectivo. Para ver esto, supongamos que g 1 y g 2 son dos funciones distintas de Z a algún monoide M. Entonces, para algún n en Z , g 1 ( n ) ≠ g 2 ( n ), por lo que g 1 (− n ) ≠ g 2 (− n ). Tanto n como − n están en N , por lo que las restricciones de g 1 y g 2 a N son desiguales.
En la categoría de álgebras sobre anillo conmutativo R , tomemos R [ N ] → R [ Z ], donde R [ G ] es el anillo monoide del monoide G y el morfismo es inducido por la inclusión N → Z como en el ejemplo anterior. Esto se deduce de la observación de que 1 genera el álgebra R [ Z ] (nótese que la unidad en R [ Z ] está dada por 0 de Z ), y el inverso del elemento representado por n en Z es simplemente el elemento representado por − n . Por lo tanto, cualquier homomorfismo de R [ Z ] está determinado de forma única por su valor en el elemento representado por 1 de Z .
En la categoría de anillos , Ring , la función de inclusión Z → Q es un epimorfismo no sobreyectivo; para comprobarlo, nótese que cualquier homomorfismo de anillo sobre Q está determinado completamente por su acción sobre Z , de forma similar al ejemplo anterior. Un argumento similar muestra que el homomorfismo de anillo natural de cualquier anillo conmutativo R a cualquiera de sus localizaciones es un epimorfismo.
En la categoría de espacios de Hausdorff, Haus , los epimorfismos son precisamente las funciones continuas con imágenes densas . Por ejemplo, la función de inclusión Q → R , es un epimorfismo no sobreyectivo.
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:
Si un gráfico dirigido se considera como una categoría (los objetos son los vértices, los morfismos son los caminos, la composición de morfismos es la concatenación de caminos), entonces cada morfismo es un epimorfismo.
Propiedades
Todo isomorfismo es un epimorfismo; de hecho, solo se necesita un inverso del lado derecho: si existe un morfismo j : Y → X tal que fj = id Y , entonces f : X → Y 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 : C → D , 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 : X → Y es un epimorfismo si y solo si los mapas inducidos
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 : G → H , podemos definir el grupo K = im( f ) y luego escribir f como la composición del homomorfismo sobreyectivo G → K que se define como f , seguido del homomorfismo inyectivo K → H 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 .
Se dice que un epimorfismo es regular si es un coecualizador de algún par de morfismos paralelos.
Se dice que un epimorfismo es extremal [1] si en cada representación , donde es un monomorfismo , el morfismo es automáticamente un isomorfismo .
Se dice que un epimorfismo es inmediato si en cada representación , donde es un monomorfismo y es un epimorfismo, el morfismo es automáticamente un isomorfismo .
Se dice que un epimorfismo es fuerte [1] [2] si para cualquier monomorfismo y cualquier morfismo y tal que , existe un morfismo tal que y .
Se dice que un epimorfismo está dividido si existe un morfismo tal que (en este caso se llama inverso por la derecha para ).
También existe la noción de epimorfismo homológico en la teoría de anillos. Un morfismo f : A → B 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 : X → Y 1 y f 2 : X → Y 2 son equivalentes si existe un isomorfismo j : Y 1 → Y 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.
Lawvere, F. William; Rosebrugh, Robert (2015). Conjuntos para matemáticas . Cambridge University Press. ISBN 978-0-521-80444-8.
Linderholm, Carl (1970). "Un epimorfismo de grupo es sobreyectivo". American Mathematical Monthly . 77 (2): 176–177. doi :10.1080/00029890.1970.11992448.
