Disque de Poincaré

modèle de géométrie hyperbolique

En géométrie, le disque de Poincaré (appelé aussi représentation conforme) est un modèle du plan hyperbolique, ou plus généralement de la géométrie hyperbolique à n dimensions, où les points sont situés dans la boule unité ouverte de dimension n et les droites sont soit des arcs de cercles contenus dans cette boule et orthogonaux à sa frontière, soit des diamètres de la boule. En plus du modèle de Klein et du demi-plan de Poincaré, il a été proposé par Eugenio Beltrami[1] pour démontrer que la consistance de la géométrie hyperbolique était équivalente à la consistance de la géométrie euclidienne.

Exemple de « droites » en représentation conforme.
Pavage du disque de Poincaré par des carrés.
Pavage du disque de Poincaré par des triangles.

La fonction distance

modifier

Si u et v sont deux vecteurs de l'espace à n dimensions Rn muni de la norme euclidienne, de norme inférieure à 1, alors il est possible de définir un invariant isométrique de la façon suivante :

 

  est la norme euclidienne. Alors la fonction distance entre les deux éléments u et v est définie par

 

Une telle fonction munit la boule unité d'une métrique qui fait de cette boule un modèle d'espace hyperbolique de courbure constante -1.

Forme métrique

modifier

La métrique locale du disque de Poincaré en un point de coordonnées   est donnée par la formule suivante :

 

de sorte que, localement, cette métrique est équivalente à une métrique euclidienne du modèle. En particulier, l'angle entre deux droites du plan hyperbolique est exactement le même que l'angle euclidien entre les deux arcs de cercle du modèle.

Relation avec le modèle de l’hyperboloïde

modifier
 
Relation entre le disque de Poincaré et une nappe de l'hyperboloïde.

Le disque de Poincaré, comme le modèle de Klein, a un rapport avec le modèle de l'hyperboloïde. Il est possible de projeter le point [t, x1, … , xn] de la nappe supérieure du modèle hyperboloïde sur l'hypersurface t = 0 en l'intersectant avec une droite passant par [-1, 0, … , 0]. Le résultat est le point correspondant du disque de Poincaré.

Géométrie analytique

modifier

Droite passant par deux points

modifier

Un problème de base en géométrie analytique consiste à trouver une droite passant par deux points. Avec le disque de Poincaré, les droites sont des arcs de cercles qui ont des équations de cette forme :

 

qui est la forme générale d'un cercle orthogonal au cercle unité, ou des diamètres. Étant donné deux points u et v du disque qui n'appartiennent pas un diamètre, nous obtenons, pour le cercle passant par ces points :

 

Si les points u et v sont des points de la frontière du disque non diamétralement opposés, cela se simplifie en :

 

Angles et disque de Poincaré

modifier

Soient deux droites sécantes du plan hyperbolique. Dans le disque de Poincaré, la première droite est représentée par un arc de cercle (ou un diamètre) dont les extrémités sont données par deux vecteurs unitaires u et v. Notons de même s et t les extrémités de la deuxième droite dans le disque de Poincaré. Il est alors possible de calculer l'angle entre les deux droites au moyen d'une formule portant sur u, v, s et t. Puisque ces points idéaux représentant les extrémités des deux droites sont les mêmes pour le modèle de Klein et le disque de Poincaré, les formules sont identiques pour chacun de ces modèles.

Si, dans chaque modèle, les droites sont des représentées par des diamètres tels que v = –u et t = –s, alors l'angle   entre les deux droites vérifie la formule suivante :

 

Si v = -u mais t ≠ -s, la formule devient, en termes de produit vectoriel,

 

où :

 
 
 

Si aucune des deux droites hyperboliques n'est représentées par un diamètre dans le modèle, la formule générale est :

 

où :

 
 
 

En utilisant l'identité de Binet-Cauchy et le fait qu'il s'agit de vecteurs unitaires, il est possible de réécrire les expressions ci-dessus en termes de produit scalaire :

 
 
 

Notes et références

modifier
  1. Eugenio Beltrami, « Essai d'interprétation de la géométrie noneuclidéenne », Ann. École Norm. Sup. 6,‎ , p. 251–288 (lire en ligne)

Voir aussi

modifier

Sur les autres projets Wikimedia :

Articles connexes

modifier

Bibliographie

modifier
  • (en) James W. Anderson, Hyperbolic Geometry, Springer, , 2e éd.
  • (it) Eugenio Beltrami, « Teoria fondamentale degli spazii di curvatura costanta », Annali di Mat., iI, vol. 2,‎ , p. 232-255
  • (en) Saul Stahl, The Poincaré Half-Plane, Jones & Bartlett,