Suspension (Topology)¶
A space formed by collapsing the two ends of a cylinder on X to distinct points, with a further basepoint-line quotient in the reduced pointed form.
Core Idea¶
The unreduced suspension \(SX\) forms \(X\times I\) and collapses \(X\times\{0\}\) to one point and \(X\times\{1\}\) to a different point. It is two cones on \(X\) joined at their common base. For pointed \((X,x_0)\), the reduced suspension \(\Sigma X\) additionally collapses the basepoint segment \(\{x_0\}\times I\). These are different quotient constructions. Hatcher proves their homotopy equivalence when \(X\) is a CW complex with \(x_0\) a $0$-cell; one should not claim point-set equality for every pointed space.[^ref-62af00da5249]
Scope of Application¶
Suspending \(S^1\) ordinarily produces \(S^2\), with the two collapsed end circles at its poles. For the pointed CW wedge \(S^1\vee S^1\), ordinary suspension has two sphere pieces meeting along a basepoint arc; collapsing that arc gives the simpler \(\Sigma(S^1\vee S^1)=S^2\vee S^2\). In based homotopy, maps from \(\Sigma X\) to a pointed target correspond to maps from \(X\) into its loop space. A suspension spectrum instead uses an entire sequence of iterated reduced suspensions.[ref-62af00da5249][ref-62af00da5249-2][^ref-62af00da5249-4]
Clarity¶
“Pinch the cylinder ends” is incomplete until one says that the ends remain distinct, and whether the basepoint line is also identified. Collapsing only one end makes a cone, not a suspension. Sphere recurrence, reduced-homology shift and loop adjunction are consequences in their relevant categories, not extra constitutive quotient steps. Freudenthal does not promise arbitrary-degree stabilization: for an \((n-1)\)-connected CW space the suspension map is an isomorphism for \(i<2n-1\) and surjective at \(i=2n-1\).[ref-62af00da5249][ref-62af00da5249-3]
Manages Complexity¶
One product-and-quotient rule works for varied spaces and induces a corresponding suspension of continuous maps. In pointed CW calculations, \(\Sigma X=X\wedge S^1\) and \(\Sigma(X\vee Y)=\Sigma X\vee\Sigma Y\) simplify algebraic bookkeeping. The simplification changes the literal quotient, so a claimed equivalence to \(SX\) must carry Hatcher's CW/basepoint qualification.[^ref-62af00da5249]
Abstract Reasoning¶
Given \(X\), form \(X\times I\) and identify its bottom and top slices to separate vertices. Only if a pointed model is required should one choose \(x_0\) and additionally collapse \(\{x_0\}\times I\). Then apply the appropriate theorem: sphere homeomorphism for sphere inputs, based adjunction for \(\Sigma X\), or Freudenthal only after checking connectivity and degree range. The quotient can be defined without presupposing any homology or stability result.[ref-62af00da5249][ref-62af00da5249-2][^ref-62af00da5249-3]
Knowledge Transfer¶
The quotient transfers literally from a circle to a pointed wedge, though its outputs differ. The same operation feeds stable homotopy through iterated reduced suspensions and direct-limit groups, not by automatic stabilization in every degree. Live prime Suspension is a same-title false friend describing prepared musical dissonance; live Cone (Topology) is a one-end component, not a strict parent. The staged topological node is proposed unparented, while any portable boundary-identification skeleton is a future-prime question.[ref-62af00da5249][ref-62af00da5249-4]
[^ref-62af00da5249]: Allen Hatcher, Algebraic Topology, author-hosted electronic edition, Chapter 0, pp. 8–10. [^ref-62af00da5249-2]: Hatcher, Algebraic Topology, §4.3, p. 395. [^ref-62af00da5249-3]: Hatcher, Algebraic Topology, §4.2, Corollary 4.24, pp. 360–361. [^ref-62af00da5249-4]: Hatcher, Algebraic Topology, §4.F, pp. 453–454.
Neighborhood in Abstraction Space¶
Suspension (Topology) sits in a sparse region of the domain-specific corpus (73rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Smallest-Circle Problem — 0.83
- Cusp Form — 0.83
- Skip list — 0.83
- Terminal singularity — 0.83
- Cone (topology) — 0.83
Computed from structural-signature embeddings · 2026-10-08