Teoría de la homotopía
En matemáticas, la teoría de la homotopía es un estudio sistemático de situaciones en las que los funciones pueden tener homotopías entre ellos. Se originó como un tema de la topología algebraica, pero, hoy en día, se estudia como una disciplina independiente. Además de la topología algebraica, la teoría también se ha utilizado en otras áreas de las matemáticas, como la geometría algebraica y la teoría de categorías.
Conceptos
Espacios y mapeos
En la teoría de la homotopía y la topología algebraica, la palabra "espacio" denota un espacio topológico . Para evitar patologías, rara vez se trabaja con espacios arbitrarios; en cambio, uno requiere espacios para cumplir con restricciones adicionales, como ser generado de forma compacta, o Hausdorff, o un complejo CW .
En la misma línea que arriba, un "mapeo" (también un aplicación) es una función continua, posiblemente con algunas restricciones adicionales.
Muchas veces, se trabaja con un espacio puntiagudo—un espacio con un "punto distinguido", se llama el punto base. Un mapeo puntiagudo es entonces un mapeo que conserva puntos base; es decir, envía el punto base del dominio al del codominio. Por el contrario, un mapeo libre es aquel que no necesita conservar los puntos base.
Homotopía
Denotemos el intervalo unitario. Una familia de mapeos indexados por , se llama homotopía de a si es un mapeo (debe ser una función continua ). Cuando , son espacios puntiagudos, el tiene que conservar los puntos base. Se puede demostrar que una homotopía es una relación de equivalencia . Dado un espacio puntiagudo y un entero , deja que sea las clases de homotopía de mapeos basados de una n -esfera (puntiaguda) a . Como resulta, son grupos. En particular, se llama grupo fundamental de X.
Si se prefiere trabajar con un espacio (en general) en lugar de un espacio puntiagudo, existe la noción de un grupoide fundamental. Por definición, el grupoide fundamental de un espacio es la categoría donde los objetos son los puntos de y los morfismos son caminos.
Cofibracion y fibracion
Un mapeo se llama un cofibración si, dado que (1) un mapeo y (2) una homotopía , existe una homotopía que se extiende y tal que . En cierto sentido, es parecido de diagrama definitorio de un módulo inyectivo en álgebra abstracta . El ejemplo más básico es un par CW , y dado que muchos individuos trabajan solo con complejos CW, la noción de cofibración a menudo está implícita.
Una fibración en el sentido del autor Serre es la noción dual de una cofibración: es decir, un mapa es una fibración si se le da (1) un mapa y (2) una homotopía , existe una homotopía tal que es el dado y . Un ejemplo básico es un mapa de cobertura (de hecho, una fibración es una generalización de un mapa de cobertura). Si es un G -haz principal, es decir, un espacio con una acción de grupo libre y transitiva (topológica) de un grupo (topológico), entonces el mapa de proyección es un ejemplo de una fibración.
Referencias
- May, J. A Concise Course in Algebraic Topology
- George William Whitehead (1978). Elements of homotopy theory. Graduate Texts in Mathematics 61 (3rd edición). New York-Berlin: Springer-Verlag. pp. xxi+744. ISBN 978-0-387-90336-1. MR 0516508. Consultado el 6 de septiembre de 2011.
- Ronald Brown, Topology and groupoids (2006) Booksurge LLC ISBN 1-4196-2722-8.