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

La sfera di Riemann è ottenuta aggiungendo al piano complesso un "punto all'infinito". La proiezione stereografica mostra che lo spazio ottenuto è effettivamente una sfera.

È 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

modifica
 
Sfera di Riemann

Si 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

modifica

Detta   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à

modifica

La 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

modifica
  Lo stesso argomento in dettaglio: Trasformazione di Möbius.
 
Nell'immagine una trasformazione di Möbius agente sul piano complesso per proiezione stereografica

Come 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

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

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