Grupo fundamental
Origem: Wikipédia, a enciclopédia livre.
O grupo fundamental é o primeiro dos grupos de homotopia. Este grupo mede a conectividade de um espaço topológico. Um espaço topológico com grupo fundamental trivial diz-se simplesmente conexo.
[editar] Definição
Seja 
um espaço topológico e 
um ponto. O grupo fundamental de baseado em 
, representado por 
é definido pelo conjunto das classes de homotopia dos lacetes centrados em com a operação justaposição.
Quando é conexo por arcos, o ponto base não tem qualquer influência no grupo fundamental, ou seja, é isomorfo a 
, para quaisquer 
.
