En la teoría de categorías , una rama de las matemáticas , una sección es un inverso correcto de algún morfismo . Dualmente , una retracción es un inverso izquierdo de algún morfismo . En otras palabras, si f : X → Y y g : Y → X son morfismos cuya composición f o g : Y → Y es el morfismo identidad en Y , entonces ges una sección de f , y f es una retracción de g . [1]
Cada sección es un monomorfismo (cada morfismo con un inverso de la izquierda es cancelador a la izquierda ), y cada retracción es un epimorfismo (todo morfismo con un inverso a la derecha es cancelador a la derecha ).
En álgebra , las secciones también se denominan monomorfismos divididos y las retracciones también se denominan epimorfismos divididos . En una categoría abeliana , si f : X → Y es un epimorfismo dividido con monomorfismo dividido g : Y → X , entonces X es isomorfo a la suma directa de Y y el núcleo de f . El sinónimo coretracción para sección se ve a veces en la literatura, aunque rara vez en trabajos recientes.
Terminología
El concepto de retracción en la teoría de categorías proviene de la noción esencialmente similar de retracción en topología : dónde es un subespacio de es una retracción en el sentido topológico, si es una retracción del mapa de inclusión en el sentido de la teoría de categorías. El concepto en topología fue definido por Karol Borsuk en 1931. [2]
El alumno de Borsuk, Samuel Eilenberg , fue con Saunders Mac Lane el fundador de la teoría de categorías, y dado que las primeras publicaciones sobre la teoría de categorías se referían a varios espacios topológicos, uno podría haber esperado que este término se hubiera utilizado inicialmente. De hecho, sus publicaciones anteriores, hasta, por ejemplo, Homology de Mac Lane (1963) , usaban el término inverso a la derecha. No fue sino hasta 1965 cuando Eilenberg y John Coleman Moore acuñaron el término dual "coretracción" que el término de Borsuk fue elevado a teoría de categorías en general. [3] El término corretracción dio paso al término sección a fines de la década de 1960.
Tanto el uso de la inversa izquierda / derecha como de la sección / retracción se ven comúnmente en la literatura: el primer uso tiene la ventaja de que es familiar a partir de la teoría de semigrupos y monoides ; Este último es considerado menos confuso por algunos porque uno no tiene que pensar en 'en qué dirección' va la composición, un tema que se ha vuelto mayor con la creciente popularidad del sinónimo f; g para g∘f . [4]
Ejemplos de
En la categoría de conjuntos , todo monomorfismo ( función inyectiva ) con un dominio no vacío es una sección, y todo epimorfismo ( función sobreyectiva ) es una retracción; la última afirmación es equivalente al axioma de elección .
En la categoría de espacios vectoriales sobre un campo K , todo monomorfismo y todo epimorfismo se divide; esto se deriva del hecho de que los mapas lineales se pueden definir de forma única especificando sus valores sobre una base .
En la categoría de grupos abelianos , el epimorfismo Z → Z / 2 Z que envía cada entero a su resto módulo 2 no se divide; de hecho, el único morfismo Z / 2 Z → Z es el mapa cero . Del mismo modo, la monomorphism naturales Z / 2 Z → Z / 4 Z no divide a pesar de que hay un no trivial morfismo Z / 4 Z → Z / 2 Z .
El concepto categórico de una sección es importante en el álgebra homológica , y también está estrechamente relacionado con la noción de una sección de un haz de fibras en topología : en el último caso, una sección de un haz de fibras es una sección del mapa de proyección del haz de el haz de fibras.
Dado un espacio de cociente con mapa de cocientes , una sección de se llama transversal .
Bibliografía
- Mac Lane, Saunders (1978). Categorías para el matemático en activo (2ª ed.). Springer Verlag .
- Barry, Mitchell (1965). Teoría de categorías . Prensa académica .
Ver también
- Lema de división
- Función inversa # Inversiones izquierda y derecha
- Transversal (combinatoria)
Notas
- ^ Mac Lane (1978, p. 19).
- ^ Borsuk, Karol (1931), "Sur les rétractes" , Fundamenta Mathematicae , 17 : 152-170, doi : 10.4064 / fm-17-1-152-170 , Zbl 0003.02701
- ^ Eilenberg, S. y Moore, JC (1965). Fundamentos del álgebra homológica relativa . Memorias de la American Mathematical Society número 55. American Mathematical Society, Providence: RI, OCLC 1361982 . El término fue popularizado por la influyente Teoría de categorías de Barry Mitchell (1965).
- ^ Cf. por ejemplo, https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-9/