Sfera di Riemann
In matematica e più precisamente in analisi complessa, la sfera di Riemann è una particolare superficie di Riemann, definita aggiungendo un "punto all'infinito" al piano complesso. È anche chiamata retta proiettiva complessa, in simboli o piano complesso esteso, in simboli
È possibile quindi vedere la sfera di Riemann da diverse prospettive tra loro complementari. A livello algebrico si considera il punto all'infinito come risultato dell'operazione
In questo contesto il piano complesso esteso è analogo alla retta reale estesa. Da un punto di vista topologico, il piano complesso esteso è effettivamente una sfera, come mostrato dalla proiezione stereografica. In analisi complessa la sfera di Riemann è la più semplice superficie di Riemann compatta e quindi un oggetto centrale della teoria, utile a definire le funzioni meromorfe.
La sfera di Riemann è centrale anche in altri campi della geometria, ad esempio in geometria proiettiva e geometria algebrica in quanto esempio fondamentale di varietà complessa, spazio proiettivo e varietà algebrica.
Costruzione
modificaSi considera dunque una sfera tangente al piano nel suo polo SUD come in figura. Il polo SUD della sfera coincide con l'origine del piano complesso, rappresentato con gli assi di colore rosso. Quindi si stabilisce una corrispondenza biunivoca tra i punti della superficie sferica Z e i punti del piano complesso z (in blu nella figura). Per estensione, il punto coincidente con il polo NORD è il punto all'infinito rappresentato come . Grazie a questa estensione il piano complesso diventa piano complesso chiuso e la corrispondenza biunivoca prende il nome di proiezione stereografica.
Matematicamente il punto all'infinito va trattato come un punto per il quale l'argomento è indefinito e il modulo è . Un intorno del punto all'infinito è l'insieme aperto , cioè l'insieme dei punti maggiori di qualsiasi valore.
Funzioni sulla sfera di Riemann
modificaDetta la sfera di Riemann, vista come il piano complesso unito con il punto , nel senso chiarito prima, una funzione è detta meromorfa su se esistono due carte definite come segue:
- , ossia l'inclusione;
- (ricordando la definizione precedente di );
e tali che le composizioni con siano meromorfe. Si può dimostrare che le uniche funzioni meromorfe su sono le funzioni razionali (rapporti di polinomi di ), mentre discende dal teorema di Liouville che ogni funzione olomorfa sulla sfera di Riemann nel senso appena chiarito è costante.
La sfera di Riemann come varietà
modificaLa sfera di Riemann è inoltre la compattificazione di Alexandrov del piano complesso, ed è quindi omeomorfa a ma poiché vi è definita una precisa struttura complessa (ogni punto ha un intorno biolomorfo a ) si ottiene anche che è una 1-varietà sul campo complesso. Un altro fatto che rende chiara l'importanza del ruolo rivestito dalla sfera di Riemann è una conseguenza del Teorema di uniformizzazione di Riemann, il quale afferma che le uniche 1-varietà semplicemente connesse sono il piano complesso, il piano iperbolico e la sfera di Riemann. Tra queste tre la sfera di Riemann è l'unica ad essere una superficie chiusa (ossia una superficie compatta senza bordo). Quindi ammette un'unica struttura complessa se vista come 1-varietà complessa.
Automorfismi
modificaCome in molte strutture matematiche, anche per la sfera di Riemann lo studio degli automorfismi presenta un interesse notevole; nel caso specifico gli automorfismi sono biolomorfismi invertibili di in sé. Le uniche funzioni che soddisfano tali requisiti sono le trasformazioni di Möbius, ossia quelle della forma
con numeri complessi tali che
È particolarmente interessante a questo proposito ricordare la struttura che S eredita se visto come quoziente topologico di in quanto questo consente di dare una caratterizzazione delle trasformazioni di Möbius in termini di proiettività di . Ad esempio usando le coordinate omogenee di una trasformazione di Möbius può essere scritta come:
scrittura che evidenzia la corrispondenza tra le trasformazioni di questo tipo e il proiettivizzato del gruppo lineare di dimensione due sul campo complesso.
Bibliografia
modifica- Serge Lang (1999): Complex Analysis, 4th ed., Springer, ISBN 0-387-98592-1
- Rudin, Walter, Real and Complex Analysis, New York, McGraw-Hill, 1987, ISBN 0-07-100276-6.
Voci correlate
modificaAltri progetti
modifica- Wikimedia Commons contiene immagini o altri file sulla sfera di Riemann
Collegamenti esterni
modifica- (EN) Eric W. Weisstein, Sfera di Riemann, su MathWorld, Wolfram Research.