Math 2.0

Algebraic topology Definition

Suspension

Builds on Topological spaceProduct topologyEquivalence relationQuotient topologyHomeomorphism

Definition

Let XX be a topological space, and give X×[0,1]X \times [0, 1] the product topology. Let ∼\sim be the equivalence relation on X×[0,1]X \times [0, 1] generated by the following relations, for all x,y∈Xx, y \in X:

  1. (x,0)∼(y,0)(x, 0) \sim (y, 0);
  2. (x,1)∼(y,1)(x, 1) \sim (y, 1).

The suspension of XX is the quotient SX=(X×[0,1])/∼,SX = (X \times [0, 1]) / {\sim}, with the quotient topology.

Remarks

The two classes X×{0}X \times \set{0} and X×{1}X \times \set{1} are the two cone points of SXSX. A continuous map f ⁣:X→Yf \colon X \to Y induces a continuous map Sf ⁣:SX→SYSf \colon SX \to SY by [x,t]↦[f(x),t][x, t] \mapsto [f(x), t].

Example: let X=S0={−1,1}X = S^0 = \set{-1, 1}, a two-point discrete space. Then X×[0,1]X \times [0, 1] is two segments, and the relation joins their lower ends and their upper ends. The result is homeomorphic to the circle S1S^1. More generally, S(Sn)S(S^n) is homeomorphic to Sn+1S^{n+1} for every n≥0n \ge 0.

Non-example: collapsing only X×{1}X \times \set{1} gives the cone CXCX, not the suspension. For X=S1X = S^1 the cone is a disc, which has a boundary circle, while SS1SS^1 is a sphere.

For a pointed space (X,x0)(X, x_0), the reduced suspension ΣX\Sigma X also collapses the segment {x0}×[0,1]\set{x_0} \times [0, 1].

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Equivalence relation concept
  2. Homeomorphism concept
  3. Product topology concept
  4. Quotient topology concept
  5. Topological space concept
  6. Suspension definition

Where this leads

4 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Suspension_(topology)
About this page
Tag2VD7GR64JJ
URIm2://2VD7GR64JJ
Kinddefinition
WritingW0 stub
MSC55P40, 54B15
DefinesSuspension
UsesTopological space, Product topology, Equivalence relation, Quotient topology, Homeomorphism
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by