Homotopy Group is Group

Theorem
The set of all homotopy classes of continuous mappings:
 * $c: \left[{0 \,.\,.\, 1}\right]^n \to X$

satisfying:
 * $c \left({\partial \left[{0 \,.\,.\, 1}\right]^n }\right) = x_0$

in a space $X$ at a base point $x_0$, under the operation of concatenation on class members, forms a group.

This group is called the $n$th homotopy group.

Proof
We examine each of the group axioms separately.

G0: Closure
The concatenation of any two functions:
 * $c_1, c_2: \left[{0 \,.\,.\, 1}\right]^n \to X$

from any two (not necessarily distinct) equivalence classes is another function:
 * $c_3: \left[{0 \,.\,.\, 1}\right]^n \to X$

by the definition of concatenation, which will have its own equivalence class.

G1: Associativity
Let $c_1, c_2, c_3$ be three functions $\left[{0 \,.\,.\, 1}\right]^n \to X$, selected from three (not necessarily different) equivalence classes.

The concatenation $\left({ c_1 * c_2 }\right) * c_3$ is, from the definition of concatenation:

$A \left({ \hat v }\right) = \begin{cases} c_1 \left({ 4v_1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\,{\dfrac 1 4}}\right] \\ c_2 \left({ 4v_1 - 1, v_2, \ldots, v_n }\right) & : v_1 \in \left({\dfrac 1 4 \,.\,.\, \dfrac 1 2}\right) \\ c_3 \left({ 2v_1 - 1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{\dfrac 1 2 \,.\,.\, 1}\right] \end{cases}$

Likewise, the concatenation $c_1 * \left({ c_2 * c_3 }\right)$ is by definition:

$B \left({ \hat v }\right) = \begin{cases} c_1 \left({ 2 v_1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, \dfrac 1 2}\right] \\ c_2 \left({ 4 v_1 - 2, v_2, \ldots, v_n }\right) & : v_1 \in \left({\dfrac 1 2 \,.\,.\, \dfrac 3 4}\right) \\ c_3 \left({ 4 v_1 - 3, v_2, \ldots, v_n }\right) & : v_1 \in \left[{\dfrac 3 4 \,.\,.\, 1}\right] \end{cases}$

We construct a homotopy:

$H \left({ \hat v, t }\right) = \begin{cases} c_1 \left({ \dfrac {4 v_1} {1 + t}, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, \dfrac {1 + t} 4}\right] \\ c_2 \left({ 4 v_1 - t - 1, v_2, \ldots, v_n }\right) & : v_1 \in \left({\dfrac {1 + t} 4 \,.\,.\, \dfrac {2 + t} 4}\right) \\ c_3 \left({ \dfrac {4 v_1 - \left({2 + t}\right)} {2 - t}, v_2, \ldots, v_n }\right) & : v_1 \in \left[{\dfrac {2 + t} 4 \,.\,.\, 1}\right] \end{cases}$

We observe it satisfies $H \left({ \hat v, 0 }\right) = A \left({ \hat v }\right)$ and $H \left({ \hat v, 1 }\right) = B \left({ \hat v }\right)$.

Therefore $A$ and $B$ are in the same equivalence class.

G2: Identity
The identity is simply the function $i: \left[{0 \,.\,.\, 1}\right]^n \to X$ defined as $i \left({ \hat v }\right) = x_0$, where $\hat v \in \left[{0 \,.\,.\, 1}\right]^n$.

Suppose we are given the function $c: \left[{0 \,.\,.\, 1}\right]^n \to X$ and its concatenation with $i$:
 * $\left({ c*i }\right) \left({ \hat v }\right) = \begin{cases}

c \left({ 2 v_1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, \dfrac 1 2}\right] \\ i \left({ \hat v }\right) = x_0 & : v_1 \in \left[{\dfrac 1 2 \,.\,.\, 1}\right] \end{cases}$

We construct a homotopy:


 * $H \left({ \hat v, t }\right) = \begin{cases}

c \left({ \dfrac {2 v_1} {2 - t}, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, 1 - \dfrac {1 - t} 2}\right] \\ i \left({ \hat v }\right) = x_0 & : v_1 \in \left[{{1 - \dfrac {1 - t} 2}\,.\,.\, 1}\right] \end{cases}$

which satisfies $H \left({ \hat v, 0 }\right) = c \left({ \hat v }\right)$ and $H \left({ \hat v, 1 }\right) = \left({ c*i }\right) \left({ \hat v }\right)$.

This shows $c$ and $c*i$ are in the same equivalence class.

G3: Inverses
For any $c: \left[{0 \,.\,.\, 1}\right]^n \to X$, $c^{-1} \left({ \hat v }\right) = c \left({ \left({ 1, 0, \ldots, 0 }\right) - \hat v }\right)$.

Then we can construct a homotopy:

$H \left({ \hat v, t }\right) = \begin{cases} c \left({ 2 v_1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, \dfrac {1 - t} 2}\right] \\ c \left({ 1 - t, v_2, \ldots, v_n }\right) & : v_1 \in \left({\dfrac {1 - t} 2 \,.\,.\, \dfrac {1 + t} 2}\right) \\ c^{-1} \left({ 2 v_1 - 1, v_2, \ldots v_n }\right) &: v_1 \in \left[{\dfrac {1 + t} 2 \,.\,.\, 1}\right] \end{cases}$

We observe it satisfies:


 * $H \left({ \hat v, 0 }\right) = \begin{cases}

c \left({ 2 v_1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{0 \,.\,.\, \dfrac 1 2}\right] \\ c^{-1} \left({ 2 v_1 - 1, v_2, \ldots, v_n }\right) & : v_1 \in \left[{\dfrac 1 2 \,.\,.\, 1}\right] \end{cases}$

and:
 * $H \left({ \hat v, 1 }\right) = x_0$

Hence $i$ and $c * c^{-1}$ are in the same equivalence class.

Also see

 * Homotopy Group is Homeomorphism Invariant


 * Fundamental Group is Independent of Base Point for Path-Connected Space


 * List of Fundamental Groups for 2-Manifolds