The suspension ΣX of a topological space X is the quotient of X×[−1,1] obtained by collapsing X×{−1} to a single point (the south pole) and X×{1} to a single point (the north pole), producing a new space whose homotopy-theoretic dimension is one greater than X.

Principle

Formally collapse two boundary slices of a cylinder over X to points so that every point of X becomes a meridian between two cone points; this construction yields a functor (reduced suspension) that shifts homotopy groups and interacts adjointly with the loop-space construction.

Demonstration

For the n-sphere S^n, the suspension ΣS^n is homeomorphic to S^{n+1}; for a discrete two-point space {a,b} the suspension is homeomorphic to a circle S^1.

Misapplication

Treating the suspension operation without a chosen basepoint (confusing reduced and unreduced suspension) or collapsing the wrong subspaces can produce spaces with different homotopy types; collapsing an interior rather than the end slices yields unrelated quotients.

Consequence

Applied correctly, suspension defines the reduced suspension functor which, up to homotopy, satisfies ΩΣX ≃ X for suitably well-pointed spaces and shifts homotopy groups by one: π_{k+1}(ΣX) ≅ π_k(X) in the stable range.

Reversal

The formal inverse idea is desuspension, realized by taking loop spaces ΩY; not every space is a suspension, so desuspension is only partially defined and often only available up to homotopy or after stabilizing.

Boundary

Statements about adjunctions and group shifts require based and well-pointed spaces or CW complexes; the unreduced suspension (collapsing both ends without a basepoint) differs in categorical properties and in pointed homotopy theory.

Semantic Tension

Suspension is often confused with cone constructions and joins: a cone collapses only one end and produces a contractible apex, whereas suspension collapses both ends producing two distinguished points and a different homotopy behaviour.

Synthesis

Suspension is the quotient of X×[−1,1] that collapses each end to a point, producing a one-dimension-higher space that systematically shifts homotopy information and serves as the reduced-suspension functor in pointed homotopy theory.