Objeto inicial, final y cero

Objeto inicial, final y cero

En teoría de categorías, una rama abstracta de las matemáticas, un objeto inicial de una categoría C es un objeto I en C tal que para todo objeto X en C existe un único morfismo IX. La noción dual es la de objeto final es decir, un objeto F es final si para todo objeto X en C existe un único morfismo XF.

Si un objeto es tanto inicial como final, recibe el nombre de objeto cero.

Contenido

Propiedades

Existencia y unicidad

En una categoría arbitraria no necesariamente existen objetos iniciales ni finales, sin embargo, si existen son esencialmente únicos, es decir si I1 y I2 son dos objetos iniciales, entonces hay un único isomorfismo entre ellos. Además, si I es un objeto inicial, entonces cualquier objeto isomorfo a I es inicial. Por dualidad, todo lo anterior es cierto para objetos finales.

Objeto cero

Si 0 es un objeto cero, entonces de la definición se puede deducir que para cualesquiera dos objetos A y B de la categoría, existe un único morfismo A → 0 → B, que comúnmente recibe el nombre de morfismo cero. Si la categoría es abeliana (o incluso aditiva) el morfismo cero es el neutro bajo la operación aditiva de morfismos.

Ejemplos

  • El conjunto vacío es el único objeto inicial de la categoría de conjuntos; cualquier conjunto con un único elemento es un objeto final y no hay objetos cero en esta categoría.
  • Análogamente, el espacio topológico vacío es el único objeto inicial en la categoría de espacios topológicos y todo espacio con un solo punto es final, tampoco hay objetos cero en esta categoría.
  • En la categoría de grupos, cualquier grupo trivial es un objeto cero, esto también es cierto en la categoría de grupos abelianos, de estas categorías es de donde surgió el nombre de objeto cero.
  • En la categoría de conjuntos punteados (cuyos objetos son los conjuntos no vacíos con un elemento distinguido, mientras que los morfismos son las funciones que preservan el punto distinguido), todo conjunto con un único elemento es un objeto cero. Igualmente, en la categoría de espacios topológicos punteados, los espacios de un solo punto son objetos cero.
  • En la categoría de anillos con unidad y morfismos que preservan la unidad, el anillo de los números enteros Z es un objeto inicial. El anillo trivial, que solo consta de un elemento 0=1, es el objeto final.
  • En la categoría de campos, no hay objetos inicial ni final. Sin embargo, en la subcategoría de los campos de característica p, el campo de orden p es un objeto inicial.

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Final Fantasy XII — Desarrolladora(s) Square Enix Distribuidora(s) …   Wikipedia Español

  • Mantenimiento productivo total — «TPM» redirige aquí. Para otras acepciones, véase TPM (desambiguación). Mantenimiento productivo total (del inglés de total productive maintenance, TPM) es una filosofía originaria de Japón que se enfoca en la eliminación de pérdidas asociadas… …   Wikipedia Español

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Historia de la Puerta del Sol — Aspecto actual de la Puerta del Sol …   Wikipedia Español

  • Anexo:Glosario de bridge — Estos términos son utilizados en bridge,[1] [2] o en el predecesor juego del bridge subasta, usando anotación de la modalidad de bridge duplicado o rubber bridge. Algunos de ellos son también usados en el juego del Whist, Bid whist, y otros… …   Wikipedia Español

  • Función matemática — En la imagen se muestra una función entre un conjunto de polígonos y un conjunto de números. A cada polígono le corresponde su número de lados. En matemáticas, se dice que una magnitud o cantidad es función de otra si el valor de la primera… …   Wikipedia Español

  • Gramática del español — Estatua del gramático Antonio de Nebrija en la Biblioteca Nacional de Madrid, por Anselmo Nogués. En 1492, Nebrija fue el primer europeo en escribir una gramática de una lengua románica o neolatina, el español …   Wikipedia Español

  • Historia del Real Club Deportivo de La Coruña — Artículo principal: Real Club Deportivo de La Coruña Contenido 1 Fundación y primeros años (1906 1941) 1.1 Primeros pasos como club 1.2 Las competiciones liguer …   Wikipedia Español

  • Wikipedia:Candidatos a artículos destacados — Ir a la tabla de contenidos Atajo WP:CADWP:CAD   [ …   Wikipedia Español

  • Ichigo Kurosaki — Este artículo o sección sobre anime y manga necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 23 de noviembre de 2010. También… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”