Suspensión (topología)

En topología , una rama de las matemáticas , la suspensión de un espacio topológico X se obtiene intuitivamente estirando X hasta formar un cilindro y luego colapsando ambas caras de los extremos hasta formar puntos. Se considera que X está "suspendido" entre estos puntos finales. La suspensión de X se denota por SX ^[1] o susp( X ) . ^{[2] : 76}

Existe una variación de la suspensión para el espacio puntiagudo , que se llama suspensión reducida y se denota por Σ X . La suspensión "habitual" SX a veces se llama suspensión no reducida , suspensión sin base o suspensión libre de X , para distinguirla de Σ X.

La suspensión (libre) de un espacio topológico se puede definir de varias maneras. ${\estilo de visualización SX}$ ${\estilo de visualización X}$

1. es el espacio cociente En otras palabras, se puede construir de la siguiente manera: ${\estilo de visualización SX}$ ${\displaystyle (X\veces [0,1])/(X\veces \{0\}){\big /}(X\veces \{1\}).}$

• Construye el cilindro .${\displaystyle X\times [0,1]}$
• Considere todo el conjunto como un único punto ("pegue" todos sus puntos juntos).${\displaystyle X\veces \{0\}}$
• Considere todo el conjunto como un único punto ("pegue" todos sus puntos juntos).${\displaystyle X\veces \{1\}}$

2. Otra forma de escribir esto es:

${\displaystyle SX:=v_{0}\cup _{p_{0}}(X\times [0,1])\cup _{p_{1}}v_{1}\ =\ \varinjlim _{i\in \{0,1\}}{\bigl (}(X\times [0,1])\hookleftarrow (X\times \{i\})\xrightarrow {p_{i}} v_{i}{\bigr )},}$

Donde son dos puntos , y para cada i en {0,1}, es la proyección al punto (una función que asigna todo a ). Esto significa que la suspensión es el resultado de construir el cilindro , y luego unirlo por sus caras, y , a los puntos a lo largo de las proyecciones . ${\displaystyle v_{0},v_{1}}$${\displaystyle p_{i}}$${\displaystyle v_{i}}$${\displaystyle v_{i}}$${\displaystyle SX}$ ${\displaystyle X\times [0,1]}$${\displaystyle X\times \{0\}}$${\displaystyle X\times \{1\}}$${\displaystyle v_{0},v_{1}}$${\displaystyle p_{i}:{\bigl (}X\times \{i\}{\bigr )}\to v_{i}}$

3. Se puede ver como dos conos en X, pegados entre sí en su base. ${\displaystyle SX}$

4. también se puede definir como la unión donde es un espacio discreto con dos puntos. ^{[2] : 76}${\displaystyle SX}$ ${\displaystyle X\star S^{0},}$${\displaystyle S^{0}}$

5. En la teoría de tipos de homotopía , se define como un tipo inductivo superior generado por ${\displaystyle SX}$

S:${\displaystyle SX}$

NORTE:${\displaystyle SX}$

${\displaystyle Merid:{\bigl (}X{\bigr )}\to (N=S)}$^[3]

En términos generales, S aumenta la dimensión de un espacio en uno: por ejemplo, convierte una n - esfera en una ( n + 1)-esfera para n ≥ 0.

Dado un mapa continuo existe un mapa continuo definido por donde los corchetes denotan clases de equivalencia . Esto lo convierte en un funtor de la categoría de espacios topológicos a sí mismo. ${\displaystyle f:X\rightarrow Y,}$${\displaystyle Sf:SX\rightarrow SY}$${\displaystyle Sf([x,t]):=[f(x),t],}$${\displaystyle S}$

Si X es un espacio apuntado con punto base x ₀ , existe una variante de la suspensión que a veces resulta más útil. La suspensión reducida o suspensión base Σ X de X es el espacio cociente:

${\displaystyle \Sigma X=(X\times I)/(X\times \{0\}\cup X\times \{1\}\cup \{x_{0}\}\times I)}$.

Esto es equivalente a tomar SX y colapsar la línea ( x ₀ × I  ) que une los dos extremos en un único punto. El punto base del espacio puntiagudo Σ X se toma como la clase de equivalencia de ( x ₀ , 0).

Se puede demostrar que la suspensión reducida de X es homeomorfa al producto de choque de X con el círculo unitario S ¹ .

${\displaystyle \Sigma X\cong S^{1}\wedge X}$

Para espacios con buen comportamiento , como los complejos CW , la suspensión reducida de X es homotópicamente equivalente a la suspensión no basada.

Σ da lugar a un funtor de la categoría de espacios apuntados a sí mismo. Una propiedad importante de este funtor es que es adjunto por la izquierda del funtor que toma un espacio apuntado a su espacio de bucles . En otras palabras, tenemos un isomorfismo natural${\displaystyle \Omega }$${\displaystyle X}$ ${\displaystyle \Omega X}$

${\displaystyle \operatorname {Maps} _{*}\left(\Sigma X,Y\right)\cong \operatorname {Maps} _{*}\left(X,\Omega Y\right)}$

donde y son espacios apuntados y representa aplicaciones continuas que preservan los puntos base. Esta adjunción se puede entender geométricamente, de la siguiente manera: surge de si un círculo apuntado se adjunta a cada punto no base de , y los puntos base de todos estos círculos se identifican y se pegan al punto base de . Ahora, para especificar una aplicación apuntada de a , necesitamos dar aplicaciones apuntadas de cada uno de estos círculos apuntados a . Es decir, necesitamos asociar a cada elemento de un bucle en (un elemento del espacio de bucles ), y el bucle trivial debe estar asociado al punto base de : esta es una aplicación apuntada de a . (Se necesita verificar la continuidad de todas las aplicaciones involucradas). ${\displaystyle X}$${\displaystyle Y}$${\displaystyle \operatorname {Maps} _{*}}$${\displaystyle \Sigma X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle \Sigma X}$${\displaystyle Y}$${\displaystyle Y}$${\displaystyle X}$${\displaystyle Y}$${\displaystyle \Omega Y}$${\displaystyle X}$${\displaystyle X}$${\displaystyle \Omega Y}$

La adjunción es entonces similar a currar , llevando los mapas de productos cartesianos a su forma currada, y es un ejemplo de dualidad de Eckmann-Hilton .

Esta adjunción es un caso especial de la adjunción explicada en el artículo sobre productos Smash .

La suspensión reducida se puede utilizar para construir un homomorfismo de grupos de homotopía , al que se aplica el teorema de suspensión de Freudenthal . En la teoría de homotopía , los fenómenos que se conservan bajo suspensión, en un sentido adecuado, conforman la teoría de homotopía estable .

Algunos ejemplos de suspensiones son: ^{[4] : 77, Ejercicio.1}

• La suspensión de una bola n es homeomorfa a la bola (n+1).

La desuspensión es una operación parcialmente inversa a la suspensión. ^[5]

• Teorema de doble suspensión
• Cono (topología)
• Unirse (topología)

• Este artículo incorpora material de Suspension en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .