Demi-plan de Poincaré

{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}
Révision datée du 22 mars 2023 à 18:07 par 2a01:cb1c:561:3d00:c147:a92:c05:b50c (discussion) (→‎Notes et références)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

{{#invoke:Bandeau|ébauche}} Le demi-plan de Poincaré est un sous-ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d'éclairer les travaux du Russe Nikolaï Lobatchevski.

Le demi-plan de Poincaré (1882)

Le demi-plan de Poincaré est formé par les nombres complexes de partie imaginaire strictement positive. Il fournit un exemple de géométrie non euclidienne, plus précisément de géométrie hyperbolique.

Géométrie

On considère le demi-plan supérieur :

<math>\mathcal H_2=\left\{z=x+iy~|~y>0\right\}.</math>

Métrique

On munit le demi-plan supérieur de la métrique :

<math>\mathrm ds^2=\frac{a^2 \, \left(\mathrm dx^2+\mathrm dy^2\right)}{y^2}.</math>

Cette métrique possède une courbure scalaire constante négative :

<math>R=-\frac1{a^2}.</math>

On se ramène usuellement au cas d'une courbure unité, c’est-à-dire qu'on choisit : Modèle:Math = 1 pour simplifier les équations.

Géodésiques

Les géodésiques<ref>On pourra consulter le site du mathématicien Andrew G. Bennett (université du Kansas) qui contient 3 applets java sur les géodésiques, les cercles hyperboliques et les triangles hyperboliques.</ref> sont les demi-droites (au sens euclidien) verticales : Modèle:Math = cte (en rouge) et les demi-cercles (au sens euclidien) perpendiculaires à l'axe des abscisses : Modèle:Math = 0 (en bleu) :

Fichier:Geodes.GIF

Homographies

Le groupe de matrices GL2+(R) agit sur cet espace, par homographies<ref>Le groupe GL2+(R) est le sous-groupe de GL2(R) formé par les matrices de déterminant positif.</ref>. Plus précisément, soit Modèle:Math un élément de GL2+(R) :

<math>g=\begin{pmatrix}a&b\\c&d\end{pmatrix},\qquad\mathrm{det}(g)=ad-bc>0.</math>

Son action sur un point Modèle:Math du demi-plan est donnée par la transformation de Möbius :

<math>g(z)=\frac{az+b}{cz+d}.</math>

Groupes fuchsiens

Modèle:Section vide ou incomplète

Formes automorphes

Modèle:Section vide ou incomplète

Dynamique chaotique

Le flot géodésique sur une variété riemannienne à courbure négative est le prototype de système dynamique à temps continu le plus chaotique qui soit. Pour plus de détails, voir la section « Dynamique chaotique » de l'article « Géométrie hyperbolique ».

Voir aussi

Notes et références

<references/>3. Le site de Christophe Bertault contient une présentation de niveau L1 pour le demi-plan de Poincaré

(http://christophebertault.fr/documents/articles/Article%20-%20La%20geometrie%20hyperbolique%20du%20demi-plan%20de%20Poincare%20en%20MPSI.pdf)Modèle:Portail