Vai al contenuto

Disco di Poincaré

Da Wikipedia, l'enciclopedia libera.
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 modello di geometria iperbolica, descritto dal matematico francese Jules Henri Poincaré. Un altro modello con caratteristiche simili è il semispazio di Poincaré.

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

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 | modifica wikitesto]

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 | modifica wikitesto]

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.

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.

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 | modifica wikitesto]

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 | modifica wikitesto]

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 | modifica wikitesto]

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 | modifica wikitesto]

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.

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 | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica