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 x0,x1∈X. Un camino α de x0 a x1 es una función continua α:[0,1]→X tal que α(0)=x0,α(1)=x1. El camino constante en x∈X se define como cx(t)=x para todo t∈[0,1]. Dado un camino α se define su camino inverso ¯α como el camino de x1 a x0 dado por ¯α(t)=α(1−t). Si β es camino tal que α(1)=β(0) definimos el camino producto α∗β 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 α1≃α2 entonces ¯α1≃¯α2. Si $\alpha_1\simeq \alpha_2,\;\beta...