## You are here

Homesuspension

## Primary tabs

# suspension

# 1 The unreduced suspension

Given a topological space $X,$ the suspension of $X,$ often denoted by $SX,$ is defined to be the quotient space $X\times[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 $f:X\rightarrow Y,$ there is a map $Sf:SX\rightarrow 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.

# 2 The reduced suspension

If $(X,x_{0})$ is a based topological space, the reduced suspension of $X,$ often denoted $\Sigma X$ (or $\Sigma_{{x_{0}}}X$ when the basepoint needs to be explicit), is defined to be the quotient space $X\times[0,1]/(X\times\left\{0\right\}\cup X\times\left\{1\right\}\cup\left\{x_% {0}\right\}\times[0,1].$ Setting the basepoint of $\Sigma 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, $\mathop{\mathrm{Maps}_{*}}\left(\Sigma X,Y\right)\cong\mathop{\mathrm{Maps}_{*% }}\left(X,\Omega Y\right)$ naturally, where $\mathop{\mathrm{Maps}_{*}}\left(X,Y\right)$ stands for continuous maps which preserve basepoints.

The reduced suspension is also known as the based suspension.

## Mathematics Subject Classification

54B99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia