Definición
Un teorema que describe cómo la suspensión estabiliza los grupos de homotopía: para un espacio suficientemente conexo X, el homomorfismo de suspensión π_k(X) → π_{k+1}(ΣX) es un isomorfismo en una gama determinada por la conectividad de X y es suprayectivo poco más allá de esa gama, lo que conduce a grupos de homotopía estables tras suspensiones iteradas.
Principio
Principio
La suspensión eleva el grado y, dada una conectividad n, la aplicación de suspensión es altamente conectada hasta aproximadamente el doble de la conectividad, de modo que la suspensión iterada finalmente sitúa a los grupos de homotopía en un régimen estable independiente de nuevas suspensiones; la conectividad controla la gama de isomorfismo.
Demostración
Demostración
Para un complejo CW (n−1)-conexo X, la aplicación de suspensión π_q(X) → π_{q+1}(ΣX) es un isomorfismo para q hasta aproximadamente 2n−2 y suprayectiva en el grado siguiente; este mecanismo sustenta cálculos que muestran que π_{k+m}(Σ^m X) se estabiliza para m grande.
Aplicación incorrecta
Aplicación incorrecta
Aplicar Freudenthal sin comprobar la conectividad o usarlo para espacios con mala estructura local puede producir afirmaciones incorrectas sobre la estabilización; asimismo, tratar la gama numérica precisa con excesiva laxitud conduce a errores en los cálculos.
Consecuencia
Consecuencia
El teorema proporciona la base para la teoría de homotopía estable: garantiza que tras suficientes suspensiones los grupos de homotopía se estabilizan, permitiendo definir grupos de homotopía estables de esferas y justificando herramientas como el espectro de suspensión.
Inversión
Inversión
La inversión sería asumir que la suspensión nunca estabiliza los grupos de homotopía o que la estabilización ocurre de inmediato en todos los grados; ambos extremos son falsos y Freudenthal cuantifica dónde comienza la estabilización y cómo la suprayectividad se extiende más allá.
Límite
Límite
Se aplica a complejos CW suficientemente conexos (o espacios bien comportados similares); las gamas exactas de isomorfismo y suprayectividad dependen de la conectividad de X y no son universales, por lo que Freudenthal no afirma una estabilización global para espacios o grados arbitrarios.
Tensión semántica
Tensión semántica
Surge tensión entre fenómenos homotópicos inestables (productos de Whitehead, corchetes de Toda) visibles antes de la estabilización y la imagen estable que permite Freudenthal; las perspectivas en competencia son el cálculo en la gama inestable frente al paso a la categoría de homotopía estable.
Síntesis
Síntesis
El teorema de suspensión de Freudenthal cuantifica cómo las aplicaciones de suspensión se vuelven isomorfismos en una gama dependiente de la conectividad y así produce la estabilización de los grupos de homotopía bajo suspensión iterada, formando el puente entre la homotopía inestable y la estable.