Omotopie e Gruppo Fondamentale

Uso: Topologia > Omotopie e Gruppo Fondamentale

lezione
lezione
Omotopie e Gruppo Fondamentale
Tipo di risorsa Tipo: lezione
Materia di appartenenza Materia: Topologia
Avanzamento Avanzamento: lezione completa al 25%


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

modifica

Un cammino formalizza la nozione intuitiva di "collegamento" continua tra due punti. Si dà infatti la seguente

Definizione

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.