Theorem
If
and
are continuous functions and
is homotopic to
- written
then
is homotopic to![]()
Proof
Since
there is a homotopy
with![]()
Define
by![]()
Then
and![]()
Since
is continuous, so is
and![]()
Theorem
If
and
are continuous functions and
is homotopic to
- written
then
is homotopic to![]()
Proof
Since
there is a homotopy
with![]()
Define
by![]()
Then
and![]()
Since
is continuous, so is
and![]()