0

I learned the concept of the fundamental group in Munkres where

For a space $X$ and $x\in X$, the fundamental group is defined by $\pi_1(X,x)=\Omega(X,x)/\sim$ where $\Omega(X,x)=\{\gamma:[0,1]\to X:\gamma(0)=\gamma(1)=x\}$ and $\sim$ is under homotopy.

I interpret it as different kinds of circles up to homotopy. However, on page 339 of Introduction of Topological Manifolds by John M. Lee it's been said that

We can think of nontrivial elements of the fundamental group of a space X as equivalence classes of maps from the circle into X that do not extend to the disk.

My questions are: 1. the path $\gamma: I\to X$ is the same $\gamma':S^1\to X$. Is it because reparametrization preserves homotopy class? 2. What does it mean by not extending to a disk?

quuuuuin
  • 865