Espacio contráctil - Contractible space

Ilustración de algunos espacios contractuales y no contractuales. Los espacios A, B y C son contráctiles; los espacios D, E y F no lo son.

En matemáticas , un espacio topológico X es contractible si el mapa de identidad en X es nulo-homotópico, es decir, si es homotópico a algún mapa constante. Intuitivamente, un espacio contráctil es aquel que se puede reducir continuamente a un punto dentro de ese espacio.

Propiedades

Un espacio contráctil es precisamente uno con el tipo de homotopía de un punto. De ello se deduce que todos los grupos homotópicos de un espacio contráctil son triviales . Por lo tanto, cualquier espacio con un grupo de homotopía no trivial no puede ser contraíble. De manera similar, dado que la homología singular es un invariante de homotopía, los grupos de homología reducida de un espacio contráctil son todos triviales.

Para un espacio topológico X, los siguientes son todos equivalentes:

  • X es contráctil (es decir, el mapa de identidad es homotópico nulo).
  • X es homotopía equivalente a un espacio de un punto.
  • La deformación X se retrae sobre un punto. (Sin embargo, existen espacios contráctiles que no se deforman fuertemente y se retraen hasta un punto).
  • Para cualquier espacio Y , dos mapas f , g : YX son homotópicos.
  • Para cualquier espacio Y , cualquier mapa f : YX es nulo-homotópico.

El cono en un espacio X siempre es contráctil. Por lo tanto, cualquier espacio puede integrarse en uno contractible (lo que también ilustra que los subespacios de los espacios contractuales no necesitan ser contractuales).

Además, X es contráctil si y sólo si existe una retracción del cono de X a X .

Cada espacio contráctil está conectado con un camino y simplemente conectado . Además, dado que todos los grupos de homotopía superiores desaparecen, cada espacio contráctil está n conectado para todo n ≥ 0.

Espacios localmente contractuales

Un espacio topológico X es localmente contráctil en un punto x si para cada barrio U de x existe un entorno V de x contenida en U de tal modo que la inclusión de V es nulhomotopic en U . Un espacio es localmente contraíble si es localmente contraíble en cada punto. Esta definición se conoce ocasionalmente como "localmente contractible del topólogo geométrico", aunque es el uso más común del término. En el texto de topología algebraica estándar de Hatcher , esta definición se conoce como "débilmente contractible localmente", aunque ese término tiene otros usos.

Si cada punto tiene una base local de vecindarios contráctiles, entonces decimos que X es fuertemente contractible localmente . Los espacios contraíbles no son necesariamente contraíbles localmente ni viceversa. Por ejemplo, el espacio del peine es contráctil pero no localmente contráctil (si lo fuera, estaría conectado localmente, lo cual no es así). Los espacios localmente contraíbles están localmente n conectados para todo n ≥ 0. En particular, están localmente conectados de forma simple , localmente conectados por caminos y localmente conectados . El círculo es (fuertemente) contraíble localmente pero no contraíble.

La contractibilidad local fuerte es una propiedad estrictamente más fuerte que la contractibilidad local; los contraejemplos son sofisticados, el primero de ellos lo dan Borsuk y Mazurkiewicz en su artículo Sur les rétractes absolus indécomposables , CR. Acad. Sci. París 199 (1934), 110-112).

Existe cierto desacuerdo sobre qué definición es la definición "estándar" de contractibilidad local; la primera definición se usa más comúnmente en topología geométrica, especialmente históricamente, mientras que la segunda definición encaja mejor con el uso típico del término "local" con respecto a las propiedades topológicas. Siempre se debe tener cuidado con las definiciones al interpretar los resultados sobre estas propiedades.

Ejemplos y contraejemplos

Ver también

Referencias