|
|
|
|
|
Given a topological space $X,$ the suspension of $X,$ often denoted by $SX,$ is defined to be the quotient space $X\cross[0,1]/\sim,$ where $(x,0)\sim(y,0)$ and $(x,1)\sim(y,1)$ for any $x, y\in X.$
Given a continuous map $\funcdef{f}{X}{Y},$ there is a map $\funcdef{Sf}{SX}{SY}$ defined by $Sf([x,t]):=[f(x),t].$ This makes $S$ into a functor from the category of topological spaces into itself.
Note that $SX$ is homeomorphic to the join $X\star S^0,$ where $S^0$ is a discrete space with two points.
The space $SX$ is sometimes called the unreduced, unbased or free suspension of $X,$ to distinguish it from the reduced suspension described below.
If $(X,x_0)$ is a based topological space, the reduced suspension of $X,$ often denoted $\susp X$ (or $\susp_{x_0} X$ when the basepoint needs to be explicit), is defined to be the quotient space $X\times[0,1]/(X\cross\set{0}\cup X\cross\set{1}\cup\set{x_0}\cross[0,1].$ Setting the basepoint of $\susp X$ to be the equivalence class of $(x_0,0),$ the reduced suspension is a functor from the category of based topological spaces into itself.
An important property of this functor is that it is a left adjoint to the functor $\Omega$ taking a (based) space $X$ to its loop space $\Omega X$ . In other words, $\bmaps{\susp X}{Y}\isom\bmaps{X}{\Omega Y}$ naturally, where $\bmaps{X}{Y}$ stands for continuous maps which preserve basepoints.
The reduced suspension is also known as the based suspension.
|
"suspension" is owned by antonio.
|
|
(view preamble | get metadata)
Cross-references: preserve, loop space, left adjoint, property, equivalence class, basepoint, based topological space, points, discrete space, join, homeomorphic, category, functor, map, continuous map, quotient space, topological space
There are 6 references to this entry.
This is version 7 of suspension, born on 2003-02-06, modified 2006-02-15.
Object id is 3984, canonical name is Suspension.
Accessed 9888 times total.
Classification:
| AMS MSC: | 54B99 (General topology :: Basic constructions :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
