Theorem
Any two paths in
are homotopic.
Proof
A continuous function fruntion the closed interval
into a space
is called a path in![]()
The space
with the product topology is a normal space and its subset
is closed in the space.
If
is any continuous function from A into
then by Tietze's Extension Theorem, f has continuous extension![]()
Hence any two paths in
are homotopic.