Omotopie e Gruppo Fondamentale
Uso: Topologia > Omotopie e Gruppo Fondamentale
In questa lezione cominceremo a discutere il primo invariante algebrico per spazi topologici: in altre parole definiremo un oggetto algebrico (in questo caso un gruppo) che non cambierà per isomorfismo. Questo ci permetterà di avere uno strumento molto potente per capire al volo quali spazi non possono essere isomorfi in senso topologico: se infatti i loro gruppi fondamentali saranno diversi non potrà esistere nessun isomorfismo tra questi spazi.
Per definire il gruppo fondamentale è necessario introdurre un apparato teorico che si basa sulla definizione di omotopia.
Cammini
modificaUn cammino formalizza la nozione intuitiva di "collegamento" continua tra due punti. Si dà infatti la seguente
Dato uno spazio topologico e due punti , un cammino da a è una funzione continua tale che
Se il cammino è tale che diremo che è un cammino chiuso e lo chiameremo un laccio attorno al punto .
Ora che abbiamo la definizione di cammino ci chiediamo in modo del tutto naturale quali cammini sono "topologicamente" non distinguibili, cioè quali cammini rappresentano lo stesso oggetto a meno di trasformazioni ammissibili nella nostra topologia.