- #1

- 2,009

- 1,372

-----

Let $X$ be a topological space. Show that $X$ is homotopy equivalent to the cylinder $X \times [0,1]$.

-----

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- MHB
- Thread starter Euge
- Start date

- #1

- 2,009

- 1,372

-----

Let $X$ be a topological space. Show that $X$ is homotopy equivalent to the cylinder $X \times [0,1]$.

-----

- #2

Staff Emeritus

Science Advisor

Gold Member

- 5,544

- 1,480

I would have thought a cylinder would be ##X\times S^1##. I'm going to assume it's the space stated since otherwise the statement isn't true I think.

We need to construct maps ##f: X\to X\times [0,1]## and ##g: X\times [0,1] \to X## such that ##g\circ

f: X \to X## and ##f\circ g: X\times[0,1]\to X\times [0,1]## are each homotopy equivalent to the identity maps on these spaces.

Let ##f(x)=(x,0)## and ##g(x,t)=x##. Then ##g(f(x))=x## is already the identity map. So we need to prove ##f(g((x,t)))=(x,0)## is homotopy equivalent to the identity map on ##X\times [0,1]##.

Let's call ##f\circ g=h## and ##X\times [0,1]=Y##. To show ##h## is homotopy equivalent to the identity map ##id##, we need to construct ##H(y,s) :Y\times [0,1] \to Y\times [0,1]## such that ##H## is continuous ##H(y,0)=h(y)## and ##H(y,1)=id(y)##.

I'm going to drop the ##y##/##Y## notation now.

Let ##H( (x,t),s)=(x,ts)## then ##H## is continuous, ##H((x,t),1)=(x,t)## is the identity map, and ##H((x,t),0)=(x,0)## is ##f\circ g##. Hence these two maps are homotopy equivalent, completing the proof that ##X## and ##X\times [0,1]## are homotopy equivalent.

f: X \to X## and ##f\circ g: X\times[0,1]\to X\times [0,1]## are each homotopy equivalent to the identity maps on these spaces.

Let ##f(x)=(x,0)## and ##g(x,t)=x##. Then ##g(f(x))=x## is already the identity map. So we need to prove ##f(g((x,t)))=(x,0)## is homotopy equivalent to the identity map on ##X\times [0,1]##.

Let's call ##f\circ g=h## and ##X\times [0,1]=Y##. To show ##h## is homotopy equivalent to the identity map ##id##, we need to construct ##H(y,s) :Y\times [0,1] \to Y\times [0,1]## such that ##H## is continuous ##H(y,0)=h(y)## and ##H(y,1)=id(y)##.

I'm going to drop the ##y##/##Y## notation now.

Let ##H( (x,t),s)=(x,ts)## then ##H## is continuous, ##H((x,t),1)=(x,t)## is the identity map, and ##H((x,t),0)=(x,0)## is ##f\circ g##. Hence these two maps are homotopy equivalent, completing the proof that ##X## and ##X\times [0,1]## are homotopy equivalent.

Last edited by a moderator:

- #3

- 2,009

- 1,372

- #4

- 2,009

- 1,372

Share:

- Replies
- 1

- Views
- 687

- Replies
- 1

- Views
- 1K

- Replies
- 1

- Views
- 1K

- Replies
- 1

- Views
- 2K

- Replies
- 1

- Views
- 2K

- Replies
- 1

- Views
- 1K

- Replies
- 1

- Views
- 729

- Replies
- 1

- Views
- 2K

- Replies
- 1

- Views
- 813

- Replies
- 1

- Views
- 2K