Métrique de Cayley-Klein

La distance de Cayley-Klein entre les points a et b est donnée par le logarithme du birapport : $d(a,b)=C\ln (a,b;p,q)$.

En mathématiques, une métrique de Cayley-Klein est une métrique définie sur le complémentaire d'une quadrique fixée d'un espace projectif, la quadrique absolue, à l'aide du birapport. Cette métrique a été construite par Arthur Cayley en 1859 ; la construction fut complétée par Felix Klein entre 1871 et 1873. Les métriques de Cayley-Klein fournissent un cadre unifié aux différentes géométries euclidiennes et non euclidiennes, en y définissant la notion de distance par la même construction dans tous les cas.

Historique

Parmi les idées ayant servi de base à la construction de Cayley-Klein, on trouve l'« Modèle:Lien » créée par Karl von Staudt en 1847, une approche de la géométrie ne faisant pas intervenir de distances ou d'angles, et n'utilisant que les notions de division harmonique et de birapport. En 1853, Edmond Laguerre obtint Modèle:Lien, montrant que l'angle entre deux droites (en géométrie euclidienne) peut être calculé à partir d'un birapport. Finalement, en 1859, Arthur Cayley formula dans son article On the theory of distance des relations exprimant les distances à partir de calculs (en géométrie projective) liés à une quadrique définie par lui comme l'absolu de la géométrie étudiéeModèle:,. Felix Klein, dans des articles de 1871 et 1873, puis dans une série d'ouvrages, reprit le travail de von Staudt, en supprima les dernières références à la distance euclidienne, et le combina à la théorie de Cayley pour définir la nouvelle métrique comme le logarithme d'un birapport, éliminant le risque d'une définition circulaire, et montrant que les géométries non euclidiennes pouvaient, comme la géométrie euclidienne, être définies à partir de cette métrique.

La géométrie de Cayley-Klein (suivant les principes du programme d'Erlangen) est l'étude du groupe des isométries pour cette métrique ; on démontre qu'il s'agit du sous-groupe des transformations projectives laissant globalement invariante la quadrique absolue ; chaque choix de quadrique correspond à une des géométries classiques (euclidienne, hyperbolique, elliptique, etc.).

Définition

On fixe une quadrique Q d'un espace projectif E sur le corps des complexes ; Q est appelée la quadrique absolue de la géométrie qu'on veut définir. Si a et b sont deux points distincts de E, non dans Q, la droite (a,b) intersecte Q en deux autres points p et qModèle:Note. La distance de Cayley–Klein d(a,b) est proportionnelle au logarithme du birapport (a,b ; p,q) : $d(a,b)=C\ln (a,b;p,q)$, où $C$ est une constante.

Si le birapport est positif, $C$ est réel (cela correspond à une géométrie hyperbolique ; la valeur 1/2 donne une courbure $K=-1$) ; sinon, il faut prendre $C$ complexe (on est alors dans le cas d'une géométrie elliptique).

Pour des calculs algébriques (et en utilisant une forme plus moderne de représentation), on se place en coordonnées homogènes, et on fixe une forme quadratique $Q$ ; on note $B$ la forme bilinéaire associée, appelée dans ce contexte forme polaire de $Q$, définie par $B(u,v)=\frac{1}{2}(Q(u+v)-Q(u)-Q(v))$. La quadrique absolue a alors pour équation $Q(x)=0$ (plus précisément, $Q(x)=\sum q_{\alpha \beta }{x}_{\alpha }{x}_{\beta }=0$, $x$ étant un point de coordonnées $x_i$, avec $\alpha ,\beta \in \{1,2,3\}$ dans le cas du plan et $\alpha ,\beta \in \{1,2,3,4\}$ dans l'espace ; de plus, la matrice de $Q$ étant symétrique, on a $q_{\alpha \beta }=q_{\beta \alpha }$) ; on démontre alors que la distance de Cayley–Klein entre les points $x$ et $y$ est :

$d=C\ln \frac{B(x,y)+\sqrt{B^2(x,y)-Q(x)Q(y)}}{B(x,y)-\sqrt{B^2(x,y)-Q(x)Q(y)}}$ ; avec ces notations, $B(x,y)=\sum q_{\alpha \beta }{x}_{\alpha }{y}_{\beta }$.

Prenant $C=1/2$ pour simplifier, on en déduit que dans le cas hyperbolique :

$d=\mathrm{argch}\frac{B(x,y)}{\sqrt{Q(x)Q(y)}}$,

et dans le cas elliptique (en prenant $C=i/2$) :

$d=\arccos \frac{B(x,y)}{\sqrt{Q(x)Q(y)}}$.

Formes normales de la quadrique absolue

Dans le cas réel, toute quadrique définie par l'équation $Q(x)=\sum q_{\alpha \beta }{x}_{\alpha }{x}_{\beta }=0$ peut être mise par changement (linéaire) de variable sous la forme $Q(X)=\sum {ϵ}_i{X}_i^2=0$, avec ${ϵ}_i\in \{0,1,-1\}$ (réduction de Gauss), le nombre des ${ϵ}_i$ de chaque type ne dépendant pas du changement de variable, d'après la loi d'inertie de Sylvester. On obtient dans l'espace euclidien usuel la classification suivante (voir l'article quadrique et les articles détaillés pour des illustrations) : Modèle:Boîte déroulante/début

I. Quadriques régulières.

1. $x_1^2+x_2^2+x_3^2+x_4^2=0$. Surface vide.

2. $x_1^2+x_2^2+x_3^2-x_4^2=0$. Surfaces topologiquement semblables à la sphère.

a) Ellipsoïde (pas d'intersection avec le plan de l'infini).

b) Paraboloïde elliptique (tangente avec le plan de l'infini).

c) Hyperboloïde à deux nappes (sécante avec le plan de l'infini).

3. $x_1^2+x_2^2-x_3^2-x_4^2=0$. Surfaces topologiquement semblables à la bouteille de Klein.

a) Hyperboloïde à une nappe (sécante avec le plan de l'infini).

b) Paraboloïde hyperbolique (tangente avec le plan de l'infini).

II. Cônes.

1. $x_1^2+x_2^2+x_3^2=0$. « Cônes » vides.

a) Cône réduit à son sommet.

b) Cylindre vide (sommet dans le plan à l'infini).

2. $x_1^2+x_2^2-x_3^2=0$. « Cônes » ordinaires.

a) Cône

b) Cylindre elliptique (sommet dans le plan à l'infini)

c) Cylindre parabolique (droite double dans le plan à l'infini)

d) Cylindre hyperbolique (deux droites dans le plan à l'infini)

III. Couples de plans.

1. $x_1^2+x_2^2=0$. Plans imaginaires conjugués.

a) Intersection à distance finie.

b) Plans parallèles.

2. $x_1^2-x_2^2=0$. Plans réels.

a) Intersection à distance finie.

b) Plans parallèles.

c) Un plan à distance finie et le plan de l'infini.

IV. Plan double.

1. $x_1^2=0$.

a) Plan double à distance finie.

b) Plan de l'infini compté deux fois.

Modèle:Boîte déroulante/fin Les transformations projectives bijectives (les collinéations) laissant ces formes invariantes sont liées aux transformations de Möbius. Ces formes amènent à des équations simples pour la distance de Cayley-Klein ; le plan euclidien a ainsi pour absolu les droites isotropes $x_1^2+x_2^2=0$ (ou , si l'on préfère, les points cycliques $x_1^2+x_2^2=0,x_3=0$). De même, le plan hyperbolique a pour absolu le cercle unité $x_1^2+x_2^2-x_3^2=0$, et comme distance de Cayley-Klein $d=\mathrm{argch}\frac{x_1{y}_1+x_2{y}_2-x_3{y}_3}{\sqrt{x_1^2+x_2^2-x_3^2}\sqrt{y_1^2+y_2^2-y_3^2}}$.

Relativité restreinte

Dans ses conférences de 1919 et 1920 (publiées à titre posthume en 1926) sur l'histoire des mathématiques, Klein écrivait :Modèle:Citation bloc Autrement dit, la conique (ou quadrique) absolue de la géométrie hyperbolique, $x_1^2+x_2^2-x_3^2=0$ ou $x_1^2+x_2^2+x_3^2-x_4^2=0$, correspond aux intervalles $x^2+y^2-t^2$ ou $x^2+y^2+z^2-t^2$ de l'espace-temps, et les transformations laissant la quadrique absolue invariante sont en correspondance avec les transformations de Lorentz. De même, les équations du cercle ou de la sphère unité en géométrie hyperboliquecorrespondent à des vitesses physiques ${\left(\frac{dx}{dt}\right)}^2+{\left(\frac{dy}{dt}\right)}^2=1$ ou ${\left(\frac{dx}{dt}\right)}^2+{\left(\frac{dy}{dt}\right)}^2+{\left(\frac{dz}{dt}\right)}^2=1$, qui, en relativité, sont bornées par la vitesse de la lumière  c, donc pour tout vecteur-vitesse physique v, le rapport v/c doit rester à l'intérieur de la sphère unité, qui forme l'absolu de cette géométrie.

D'autres aspects de cette relation entre la métrique de Cayley–Klein pour l'espace hyperbolique et celle de l'espace de Minkowski en relativité restreinte furent mis en évidence par Klein en 1910, ainsi que dans l'édition de 1928 de ses conférences sur la géométrie non euclidienne.

CK-géométrie affine

En 2008, Horst Martini et Margarita Spirova ont généralisé le premier des Modèle:Lien et d’autres théorèmes de géométrie euclidienne en utilisant la géométrie affine associée à une métrique de Cayley-Klein : l’idée est d’appliquer la même construction à des coniques absolues dégénérées (formées du produit d’une droite et de la droite de l’infini) ; le rôle joué par les complexes en géométrie euclidienne est dévolu aux complexes fendus dans leurs constructions.

Bibliographie

Sources primaires

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage

Sources secondaires

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:En Bertrand Russell (1898) An Essay on the Foundations of Geometry, re-issued 1956 by Dover Books
• Modèle:En Alfred North Whitehead (1898) Universal Algebra, Book VI Chapter 1: Theory of Distance, pp 347–70, especially Section 199 Cayley's Theory of Distance.
• Modèle:Article
• Modèle:En Duncan Sommerville (1910/11) "Cayley–Klein metrics in n-dimensional space", Proceedings of the Edinburgh Mathematical Society 28:25–41.
• Modèle:Article Reprinted in Modèle:Ouvrage English translation by David Delphenich: On the geometric foundations of the Lorentz group
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage; English translation: Development of Mathematics in the 19th Century by M. Ackerman, Math Sci Press
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:En Harvey Lipkin (1985) Metrical Geometry from Georgia Institute of Technology
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage

Compléments

• Modèle:En Jan Drösler (1979) "Foundations of multidimensional metric scaling in Cayley-Klein geometries", British Journal of Mathematical and Statistical Psychology 32(2); 185–211