topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
In point-set topology, the (un-reduced) suspension $\mathrm{S} X$ of an inhabited topological space $X$ is the quotient space of the cylinder space $X \times [-1,1]$ (the product space with a closed interval) by the relation which identifies all the points at either end:
The following graphics gives an artistic impression of the suspension of a (non-empty) space $X$, indicated in gray:
(adapted from Muro 2010)
In particular, the suspension of an $n$-sphere is homeomorphic to the $(n+1)$-sphere
namely the union of (in terms of the above graphics):
a north pole “$nth$”
a south pole “$sth$”
the meridians “$mer(x)$” through all points $x \in S^{n}$ on the equator.
Hence, by induction, the $(n+1)$-sphere is homeomorphic to the $n+1$-fold suspension of the 0-sphere:
Regarded in the classical homotopy category, the suspension construction (1) on a CW-complex $X$ is a canonical model for the suspension object of the homotopy type represented by $X$ — namely the homotopy pushout of the terminal map $X \to \ast$ along itself) — and as such plays a key role in homotopy theory and stable homotopy theory.
This also explains the usual definition of the suspension of the empty space as the 0-sphere
since the latter does model the homotopy pushout of $\varnothing \to \ast$ along itself (which is just a 1-categorytheoretic pushout and hence the coproduct of the point space with itself).
For more on this see at suspension object.
More precisely, what appears in most of algebraic topology and stable homotopy theory is the reduced suspension of pointed topological spaces $(X,x_0)$ (and eventually their suspension spectra):
where in addition the copy of the interval over the given basepoint is identified with a single point. For CW-complexes the reduced suspension is weakly homotopy equivalent to the ordinary suspension.
In this context of (stable) homotopy theory, the suspension construction is part of the canonical point-set model for cofiber sequences induced from any mapping cone construction:
(from Muro 2010)
Let $X$ be a space (such as a topological space, or something more interesting like a generalized smooth space). Let $I$ be the unit interval $[0,1]$ in the real line; let $2$ be the $2$-point discrete space $\{\bot,\top\}$. Let $X \times I \times 2$ be the cartesian product of $X$, $2$, and $I$; let $X + (X \times 2 \times I) + 2$ be the disjoint union of $X$, $X \times I \times 2$ and $2$. We will suppress reference to the inclusion maps into $X + (X \times I) + 2$; it will be clear from context how to parse an element of the latter.
The suspension $S X$ of $X$ is the quotient space of $X + (X \times I \times 2) + 2$ by the equivalence relation $\sim$ generated by:
This generalises immediately to an operation called the join $X \star Y$ of two spaces $X$ and $Y$; this is the quotient space of $X + (X \times I \times Y) + Y$ by the equivalence relation generated by:
(Compare join of simplicial sets and join of topological spaces, the same operation in another guise.) Then we have $S X = X \star 2$.
It is somewhat simpler to define $S X$ as the quotient space of $(X \times I) + 2$ by the equivalence relation generated by:
This works to define a topological space, but it does not directly give the smooth structure that matches the picture above.
If $X$ has a point $p$, hence if it is inhabited, then we can define $S X$ as the quotient space of $X \times I$ by the equivalence relation generated by:
This is probably the most common definition seen, but it only works for $X$ an inhabited space (and even then gives only the topological structure).
To make the suspension of a pointed space $(X,p)$ again a pointed space one may further collapse in $S X$ the set $\{p\} \times I$ to the point. The result then is called the reduced suspension of $(X,p)$ and is denoted
It's easy to extend the suspension operation $S$ to a functor from Top to itself.
For CW-complexes suspension and reduced suspension agree, up to weak homotopy equivalence.
In the pointed case (reduced suspension): suspensions are H-cogroup objects
The suspension of the $n$-cube is the $(n+1)$-cube, probably best visualised as a diamond. This gives a recursive definition of cube, starting with the $0$-cube as the point, which is not the suspension of anything. Note that this not only gives us the topological structure of the cube, but also (by working in an appropriate category of smooth spaces throughout) the correct smooth structure on the cube as a manifold with corners. You can probably even get the correct metric on the cube (normalised to have diagonals of length $1$) automatically by using a more complicated quotienting process.
Up to homeomorphism, the suspension of the $n$-sphere is the $(n+1)$-sphere, and the reduced suspension is
See at one-point compactification – Examples – Spheres for details.
Notice that the $n$-sphere is (topologically) the boundary of the $(n+1)$-cube. The coincidence that ‘sphere’ and ‘suspension’ both begin with ‘s’ has not been ignored; we can write $S^n \cong S^n(2)$, where $S^n$ on the left is the $n$-sphere and $S^n$ on the right is the $n$-fold composite of the suspension functor. (Actually, you should start with the $(-1)$-sphere as the empty space, which is not the suspension of anything; then the $0$-sphere is $S \empty = 2$.) However, this does not give the correct smooth structure on the sphere, unless perhaps there is some more sophisticated definition that fixes this (but then that would break the cube). It might be more appropriate to say that the suspension of the $n$-globe is the $(n+1)$-globe.
Up to topological structure, the suspension of the $n$-simplex is the $(n+1)$-simplex, but now this is not very useful. To study simplices, you should use the cone functor instead, which is $\Lambda X = X \star 1$, where $1$ is the point.
For discussion of reduced suspension see there. For more general discussion of homotopy pushouts see also there. Most introductions to homotopy theory discuss suspension, in one form or other, see there.
Textbook accounts with the basics definition:
Klaus Jänich, p. 41 in: Topology, Undergraduate Texts in Mathematics, Springer (1984, 1999) [ISBN:9780387908922, doi:10.1007/978-3-662-10574-0, Chapters 1-2: pdf]
Allen Hatcher, p. 8 in: Algebraic Topology, Cambridge University Press (2002) [ISBN:9780521795401, webpage]
A textbook which knows that the suspension of the empty set is the 0-sphere (although even it regards this as an exception):
Discussion of the suspension type as a higher inductive type in homotopy type theory:
On the free loop space of a suspension:
On the question on what is the Eckman-Hilton dual to $X\star Y$:
The above graphics is taken from
Last revised on January 5, 2023 at 21:19:43. See the history of this page for a list of all contributions to it.