En esta entrada continuaremos con lo expuesto antes sobre homotopía y definiremos un objeto de gran importancia dentro de la Topología Algebraica: el grupo fundamental de un espacio. El grupo fundamental Sean $X$ espacio topológico y $x_0,x_1\in X$. Un camino $\alpha$ de $x_0$ a $x_1$ es una función continua $\alpha:[0,1]\to X$ tal que $\alpha(0)=x_0, \alpha(1)=x_1$. El camino constante en $x\in X$ se define como $c_x(t)=x$ para todo $t\in [0,1]$. Dado un camino $\alpha$ se define su camino inverso $\overline{\alpha}$ como el camino de $x_1$ a $x_0$ dado por $\overline{\alpha}(t)=\alpha(1-t)$. Si $\beta$ es camino tal que $\alpha(1)=\beta(0)$ definimos el camino producto $\alpha*\beta$ como el camino dado por concatenación. Usando que homotopía es una relación de equivalencia la multiplicación de caminos tiene la siguiente propiedades: Si $\alpha_1\simeq \alpha_2$ entonces $\overline{\alpha}_1\simeq \overline{\alpha}_2$. Si $\alpha_1\simeq \alpha_2,\;\beta...