Atlante (topologia)

concetto della 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

modifica

Un 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

modifica
 
Due carte che si intersecano danno luogo ad una funzione di transizione fra "spazi semplici".

Una 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

modifica

Due 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.

Scelte 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

Voci correlate

modifica

Collegamenti esterni

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