Homotopy of curves
There are two notions of homotopy
Definition
Let be two curves such that
and .
We say that and are homotopic with fixed endpoints in if there exists a continuous function
such that:
- for all ,
- for all ,
- for all ,
- for all .
Definition
Let be two closed curves (i.e., and ).
We say that and are homotopic as closed curves in if there exists a continuous function
such that:
- for all ,
- for all ,
- for all .
From here we define the notion of simply connected set.
Related: fundamental group.