Theorem
Any two paths inare homotopic.
Proof
A continuous function fruntion the closed intervalinto a space
is called a path in
The spacewith the product topology is a normal space and its subset
is closed in the space.
Ifis any continuous function from A into
then by Tietze's Extension Theorem, f has continuous extension
Hence any two paths inare homotopic.