stringtranslate.com

Cono de mapeo (topología)

Una ilustración de un cono de mapeo; es decir, un cono está pegado a un espacio a lo largo de alguna función .

En matemáticas , especialmente en teoría de homotopía , el cono de mapeo es una construcción en topología análoga a un espacio cociente y se denota . Alternativamente, también se le llama cofibra de homotopía y también se denota . Su dual, una fibración , se llama fibra de mapeo . El cono de mapeo puede entenderse como un cilindro de mapeo con el extremo inicial del cilindro colapsado en un punto. Los conos de mapeo se aplican con frecuencia en la teoría de homotopía de espacios puntiagudos .

Definición

Dado un mapa , el cono de mapeo se define como el espacio cociente del cilindro de mapeo con respecto a la relación de equivalencia , . Aquí denota el intervalo unitario [0, 1] con su topología estándar . Nótese que algunos autores (como J. Peter May ) usan la convención opuesta, intercambiando 0 y 1.

Visualmente, se toma el cono en X (el cilindro con un extremo (el extremo 0) colapsado en un punto) y se pega el otro extremo en Y a través de la función f (el extremo 1).

En términos generales, se toma el espacio cociente por la imagen de X , por lo tanto ; esto no es precisamente correcto debido a cuestiones de conjuntos de puntos, pero es la filosofía y se hace precisa mediante resultados tales como la homología de un par y la noción de un mapa n -conectado .

Lo anterior es la definición de una función de espacios no puntiagudos; para una función de espacios puntiagudos (por lo que ), también se identifican todos los . Formalmente, . Por lo tanto, un extremo y la "costura" se identifican con

Ejemplo de circulo

Si es el círculo , el cono de aplicación puede considerarse como el espacio cociente de la unión disjunta de Y con el disco formado al identificar cada punto x en el límite de con el punto en Y.

Consideremos, por ejemplo, el caso en el que Y es el disco , y es la inclusión estándar del círculo como límite de . Entonces, el cono de aplicación es homeomorfo a dos discos unidos en su límite, que topológicamente es la esfera .

Cilindro de doble mapeo

El cono de mapeo es un caso especial del cilindro de mapeo doble . Básicamente, se trata de un cilindro unido por un extremo a un espacio a través de un mapa.

y se unió en el otro extremo a un espacio a través de un mapa

El cono de mapeo es el caso degenerado del cilindro de mapeo doble (también conocido como expulsión de homotopía), en el que uno de ellos es un solo punto.

Construcción dual: la fibra de mapeo

El dual del cono de mapeo es la fibra de mapeo . Dado el mapa puntiagudo, se define la fibra de mapeo como [1]

.

Aquí, I es el intervalo unitario y es una trayectoria continua en el espacio (el objeto exponencial ) . La fibra de mapeo a veces se denota como ; sin embargo, esto entra en conflicto con la misma notación para el cilindro de mapeo.

Es dual al cono de mapeo en el sentido de que el producto anterior es esencialmente el producto fibrado o pullback que es dual al pushout usado para construir el cono de mapeo. [2] En este caso particular, la dualidad es esencialmente la de currificación , en que el cono de mapeo tiene la forma currificada donde es simplemente una notación alternativa para el espacio de todos los mapas continuos desde el intervalo unitario hasta . Las dos variantes están relacionadas por un funtor adjunto . Obsérvese que la currificación preserva la naturaleza reducida de los mapas: en un caso, a la punta del cono, y en el otro caso, caminos al punto base.

Aplicaciones

Complejos CW

Adjuntar una celda.

Efecto sobre el grupo fundamental

Dado un espacio X y un bucle que representa un elemento del grupo fundamental de X , podemos formar el cono de aplicación . El efecto de esto es hacer que el bucle sea contráctil en , y por lo tanto la clase de equivalencia de en el grupo fundamental de será simplemente el elemento identidad .

Dada una presentación grupal por generadores y relaciones, se obtiene un complejo 2 con ese grupo fundamental.

Homología de un par

El cono de mapeo permite interpretar la homología de un par como la homología reducida del cociente. Es decir, si E es una teoría de homología y es una cofibración , entonces

,

que se obtiene aplicando escisión al cono de mapeo. [2]

Relación con equivalencias de homotopía (homología)

Un mapa entre complejos CW simplemente conexos es una equivalencia de homotopía si y solo si su cono de mapeo es contráctil.

De manera más general, un mapa se llama n -conexo (como un mapa) si su cono de mapeo es n -conexo (como un espacio), más un poco más. [3] [ página necesaria ]

Sea una teoría de homología fija . La función induce isomorfismos en , si y solo si la función induce un isomorfismo en , es decir, .

Los conos de mapeo se utilizan para construir secuencias de Puppe coexactas largas , a partir de las cuales se pueden obtener secuencias largas y exactas de grupos de homotopía y homotopía relativa. [1]

Véase también

Referencias

  1. ^ ab Rotman, Joseph J. (1988). Introducción a la topología algebraica . Springer-Verlag. ISBN 0-387-96678-1.Véase el Capítulo 11 para comprobarlo.
  2. ^ ab May, J. Peter (1999). Un curso conciso de topología algebraica (PDF) . Chicago Lectures in Mathematics. ISBN 0-226-51183-9.Véase el capítulo 6.
  3. ^ * Hatcher, Allen (2002). Topología algebraica. Cambridge: Cambridge University Press . ISBN 9780521795401.