Atlante (topologia)
In matematica, in particolare in topologia, un atlante è un oggetto che consente di descrivere una varietà attraverso un insieme di funzioni continue. Ogni funzione è detta carta.
Introduzione
modificaUn atlante descrive come uno spazio complicato è formato da pezzi più semplici, detti "carte".
Più precisamente, un atlante di uno "spazio complicato" è costruito a partire dalle seguenti informazioni:
- Una lista di spazi che sono considerati "semplici".
- Per ogni punto dello spazio complicato, un intorno del punto omeomorfo a uno spazio semplice. L'omeomorfismo è chiamato carta.
- Nell'intersezione di due intorni, le due carte possono essere composte, dando luogo ad una funzione fra "spazi semplici", chiamata funzione di transizione (o di incollamento).
- Si richiede che le varie funzioni di transizione siano compatibili. Come minimo, si richiede che siano omeomorfismi, ma in genere si impongono requisiti più stringenti, ad esempio che la funzione sia differenziabile.
Questa definizione di atlante è del tutto analoga al significato non matematico di atlante. Ogni singola mappa in un atlante della Terra comprende un intorno di un punto del globo omeomorfo al piano. Anche se ogni mappa non si allinea esattamente con le altre mappe che si sovrappongono ad essa (a causa della curvatura della Terra), la sovrapposizione fra due mappe può essere ancora confrontata (usando le linee di latitudine e longitudine, ad esempio).
Definizione
modificaUna varietà topologica è uno spazio topologico di Hausdorff , secondo numerabile, per il quale è possibile definire un ricoprimento costituito da insiemi aperti tale che ogni aperto può essere messo in relazione con un aperto dello spazio euclideo attraverso un omeomorfismo.
Si definisce carta un omeomorfismo che ad un aperto mette in relazione un aperto di .
Si definisce atlante per lo spazio topologico un insieme di carte tale che .
In particolare, per ogni punto esiste una carta:
e le funzioni sono dette coordinate di rispetto alla carta .
Atlanti compatibili e massimali
modificaDue atlanti sono compatibili se la loro unione è ancora un atlante. Due atlanti compatibili descrivono lo stesso "oggetto complicato": un tale oggetto può essere descritto da un unico atlante massimale, definito come l'unione di tutti gli atlanti compatibili.
Esempi
modificaScelte differenti di spazi semplici e di condizioni di compatibilità portano a differenti oggetti. Ad esempio, scegliendo come spazio semplice , si ottengono le varietà topologiche. Richiedendo che le funzioni di transizione siano differenziabili, si ottengono le varietà differenziabili.
Bibliografia
modifica- (EN) John M. Lee, Introduction to Smooth Manifolds, Springer-Verlag, 2006, ISBN 978-0-387-95448-6.
- (EN) Mark R. Sepanski, Compact Lie Groups, Springer-Verlag, 2007, ISBN 978-0-387-30263-8.