Homotopy of curves

There are two notions of homotopy
Definition
Let γ0,γ1:[0,1]AC be two curves such that
z0=γ0(0)=γ1(0) and z1=γ0(1)=γ1(1).

We say that γ0 and γ1 are homotopic with fixed endpoints in A if there exists a continuous function
H:[0,1]×[0,1]A such that:

  1. H(0,t)=γ0(t) for all t[0,1],
  2. H(1,t)=γ1(t) for all t[0,1],
  3. H(s,0)=z0 for all s[0,1],
  4. H(s,1)=z1 for all s[0,1].

Definition
Let γ0,γ1:[0,1]AC be two closed curves (i.e., γ0(0)=γ0(1) and γ1(0)=γ1(1)).
We say that γ0 and γ1 are homotopic as closed curves in A if there exists a continuous function
H:[0,1]×[0,1]A such that:

  1. H(0,t)=γ0(t) for all t[0,1],
  2. H(1,t)=γ1(t) for all t[0,1],
  3. H(s,0)=H(s,1) for all s[0,1].

From here we define the notion of simply connected set.

Related: fundamental group.