Disco di Poincaré

(Reindirizzamento da Modello di Poincaré)

Il disco di Poincaré è un modello di geometria iperbolica, descritto dal matematico francese Jules Henri Poincaré. Un altro modello con caratteristiche simili è il semispazio di Poincaré.

Una tassellatura del disco di Poincaré tramite triangoli iperbolici.
Un'altra tassellatura del disco tramite poligoni. I poligoni con lo stesso numero di lati sono tutti isometrici nella metrica iperbolica.

Il disco di Poincaré è un disco -dimensionale, in cui i segmenti (cioè le geodetiche) sono archi di circonferenza o di rette ortogonali al bordo del disco. La metrica definita sul disco non è quella standard euclidea: è definita in modo differente, così che il bordo del disco appare in verità "all'infinito".

Definizione

modifica

Il disco di Poincaré è la palla  -dimensionale

 

dotata di una geometria diversa da quella euclidea. Tale geometria può essere introdotta in vari modi. La dimensione   è arbitraria, ma la più studiata è senza dubbio la dimensione  : in questo caso lo spazio è veramente un disco, centrato nell'origine e di raggio unitario.

La definizione moderna della geometria del disco di Poincaré fa uso dei tensori: il disco di Poincaré è una particolare varietà riemanniana, in cui i concetti di distanza, angolo e geodetica sono tutti determinati da un tensore metrico. Una versione semplificata (che non fa uso dei tensori) può essere data definendo direttamente una distanza fra punti.

Con i tensori

modifica

Il disco di Poincaré è la sfera   dotata del tensore metrico

 

In altre parole, il tensore metrico nel punto   è

 

dove   è la delta di Kronecker. Cioè

 

dove   è la matrice identità  -dimensionale. Si tratta quindi dell'usuale tensore metrico euclideo, riscalato di un fattore positivo

 

che dipende dal punto, e che tende a infinito se il punto si avvicina al bordo del disco. Infatti il valore

 

è positivo esattamente all'interno del disco, e nullo sul bordo.

Il tensore metrico è definito positivo in ogni punto: il disco di Poincaré è quindi una varietà riemanniana di dimensione  . Su una varietà riemanniana sono quindi definiti i concetti di distanza, geodetica e angolo.

Come spazio metrico

modifica

Il disco di Poincaré è la palla   dotata di una distanza   definita nel modo seguente.

La distanza fra due punti   e   del disco è espressa tramite la funzione

 

dove ||*|| è l'usuale norma euclidea. La distanza è quindi

 

dove si fa uso della funzione iperbolica settcosh, inversa della funzione coseno iperbolico cosh.

Proprietà

modifica
 
Nel disco di Poincaré le geodetiche sono archi di circonferenza (o retta) ortogonali al bordo. Gli angoli sono quelli formati dalle tangenti. In figura, quattro rette delimitano un quadrilatero con tutti gli angoli uguali.

Il tensore metrico   è ottenuto semplicemente per riscalamento dell'usuale tensore euclideo, tramite una costante che dipende dal punto. La metrica del disco è quindi conforme alla metrica euclidea: ne segue che le due metriche danno gli stessi angoli.

Geodetiche

modifica

Una geodetica completa nel disco di Poincaré è una circonferenza   o un segmento  , che interseca ortogonalmente il bordo del disco in due punti. Il segmento   è quindi un diametro del disco.

Più in generale, una geodetica (non completa) è una porzione di una geodetica completa.

Geometria iperbolica

modifica

Il disco di Poincaré è un modello di geometria non euclidea. Sono infatti validi tutti gli assiomi di Euclide, tranne il quinto.

In particolare, il disco ha una metrica completa e iperbolica.

Metrica completa

modifica

Il disco di Poincaré, con la usuale metrica euclidea, non è uno spazio completo. Infatti uno spazio completo in   è necessariamente chiuso. In particolare, esistono delle successioni di Cauchy convergenti al bordo del disco.

Il disco di Poincaré con la metrica iperbolica qui introdotta è però completo. Questo è dovuto al fatto che il fattore di riscalamento della metrica tende a infinito quando il punto tende al bordo del disco: conseguentemente, non esistono successioni di Cauchy tendenti al bordo per la metrica iperbolica.

La proprietà di completezza può anche essere verificata dal fatto che le geodetiche complete hanno lunghezza (nella metrica iperbolica) infinita.

Metrica iperbolica

modifica

La curvatura sezionale della metrica è costantemente pari a  , indipendentemente dal punto e dal piano su cui è misurata. Una metrica con queste proprietà è detta iperbolica.

Modello dello spazio iperbolico

modifica

In ogni dimensione   esiste a meno di isometrie una sola varietà riemanniana completa con curvatura sezionale costantemente -1, che sia semplicemente connessa. Questa varietà è solitamente chiamata spazio iperbolico e descritta con il simbolo  . Il disco di Poincaré è isometrico a  : si tratta di uno dei modelli dello spazio iperbolico  -dimensionale. Altri modelli sono il semispazio di Poincaré, il modello di Klein, e il modello dell'iperboloide. I modelli descrivono la stessa geometria, ma in modo differente. Ad esempio, il disco ed il semispazio di Poincaré sono gli unici modelli conformi, in cui gli angoli iperbolici ed euclidei coincidono.

Automorfismi

modifica
  Lo stesso argomento in dettaglio: Isometria dello spazio iperbolico.

Un automorfismo del disco di Poincaré è una isometria dal disco in sé. Si tratta cioè di una funzione biiettiva

 

che preserva la distanza iperbolica.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

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