Classificazione delle superfici

In geometria, le superfici compatte vengono completamente classificate dal punto di vista topologico da alcuni parametri, quali il genere (il "numero di manici"), l'orientabilità ed il numero di componenti connesse del bordo. Il risultato è quindi una classificazione delle superfici dal punto di vista topologico, un risultato importante in topologia algebrica.

Superfici di tipo finitoModifica

Superfici con bordoModifica

Una superficie astratta è una varietà topologica di dimensione 2, cioè uno spazio topologico di Hausdorff tale che ogni punto ha un intorno aperto omeomorfo al piano  . Una superficie con bordo è una varietà con bordo di dimensione 2: ogni punto ha un intorno aperto omeomorfo a   oppure al semipiano

 

I punti del secondo tipo formano il bordo della superficie. Se la superficie è compatta, il bordo è omeomorfo a   circonferenze disgiunte.

Superfici chiuseModifica

Una superficie regolare, o regolare a tratti, si definisce chiusa se risulta priva di bordo. La chiusura di una superficie è strettamente legata al concetto di orientabilità: una superficie chiusa ha sempre due facce distinte e risulta impossibile passare dall'una all'altra se non si attraversa la superficie stessa. Un esempio plausibile di superficie chiusa, e per di più orientabile, è la sfera, nella quale è impossibile passare dalla faccia esterna (guscio sferico) a quella interna se non attraverso di essa.

Tipo finitoModifica

Una superficie di tipo finito   è una superficie connessa ottenuta rimuovendo   punti da una superficie compatta con bordo. Una tale superficie è compatta se e solo se  . Una superficie compatta e senza bordo (cioè con  ) è detta chiusa.

GenereModifica

 
Una superficie orientabile di genere 2.

Una superficie di tipo finito   ha un genere  . Intuitivamente, questo è il "numero di manici" della superficie. Può essere definito come il numero massimo di curve semplici chiuse contenute nella superficie aventi complementare connesso.

Il genere non cambia se vengono rimossi alcuni punti dalla superficie. La sfera ed il disco hanno genere zero. Il piano proiettivo, il nastro di Möbius ed il toro hanno genere uno. La bottiglia di Klein ha genere due. Tutti questi esempi sono compatti, per ottenere esempi non compatti è sufficiente rimuovere alcuni punti.

 
La bottiglia di Klein è una superficie chiusa non orientabile, di genere 2.

OrientabilitàModifica

Una superficie può infine essere orientabile o meno. Una superficie non è orientabile se "ha una faccia sola", ed è orientabile se ne ha due. Una superficie è non-orientabile se e solo se contiene un nastro di Möbius. Sfera, disco e toro sono orientabili. Piano proiettivo, nastro di Möbius e bottiglia di Klein non lo sono.

Classificazione topologicaModifica

Per una superficie di tipo finito è definita quindi la quaterna  , dove   se è orientabile e   se non lo è. Il teorema di classificazione topologica delle superfici asserisce il fatto seguente.

Due superfici di tipo finito sono omeomorfe se e solo se hanno la stessa quaterna  .

Quindi due superfici sono omeomorfe se hanno lo stesso genere, lo stesso numero di componenti di bordo, lo stesso numero di buchi, e se sono entrambe orientabili o non-orientabili. La quaterna di valori   è quindi un sistema completo di invarianti per le superfici.

VariantiModifica

DiffeomorfismoModifica

Un diffeomorfismo è una funzione che, oltre ad essere un omeomorfismo, è anche differenziabile (con la sua inversa).

Due superfici risultano essere diffeomorfe se e solo se sono omeomorfe. Quindi lo stesso teorema di classificazione è valido sostituendo la parola "omeomorfe" con "diffeomorfe".

OmotopiaModifica

Una superficie di tipo finito è chiusa se è compatta e senza bordo. La relazione di equivalenza omotopica è equivalente a quella di omeomorfismo per le superfici chiuse, ma è drasticamente meno fine per le superfici non chiuse: esistono molte superfici omotopicamente equivalenti che non sono omeomorfe. Vale il risultato seguente:

Due superfici di tipo finito sono omotopicamente equivalenti se e solo se

La caratteristica di Eulero di una superficie con invarianti   è

 

Ad esempio, il nastro di Möbius e l'anello sono omotopicamente equivalenti ma non omeomorfe. Un altro esempio è fornito dalla sfera con   buchi ed il toro con   buco, entrambi aventi  .

Gruppo fondamentaleModifica

Due superfici di tipo finito hanno lo stesso gruppo fondamentale se e solo se sono omotopicamente equivalenti. Nel caso delle superfici chiuse, il gruppo fondamentale è quindi un invariante completo (due superfici chiuse sono omeomorfe se e solo se hanno lo stesso gruppo fondamentale).

In effetti, una superficie non-chiusa ha gruppo fondamentale isomorfo al gruppo libero su   elementi, dove   è la caratteristica di Eulero.

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica