title: Théorème de Hilbert (géométrie différentielle)
text: # Théorème de Hilbert (géométrie différentielle)
  
  En géométrie différentielle, le théorème de Hilbert, publié par David Hilbert en 1901, affirme qu'on ne peut pas représenter le plan hyperbolique dans l'espace usuel, ou plus rigoureusement qu'il n'existe pas de surfaces régulières de courbure constante négative immergées isométriquement dans $\mathbb {R} ^{3}$.
  
  ## Historique
  
  * David Hilbert publia son théorème sous le titre Über Flächen von konstanter Krümmung (de) (Sur les surfaces de courbure constante) dans les Transactions of the American Mathematical Society (1901, vol. 2, p. 87-99).
  * Peu après, une démonstration différente fut proposée par Erik Holmgren (en), sous le titre Sur les surfaces à courbure constante négative (Comptes rendus de l'Académie des Sciences, 1902).
  * Une importante généralisation fut obtenue par Nikolai Efimov en 1975, montrant qu’il n’existe pas non plus de submersion du plan hyperbolique.
  
  ## Démonstration
  
  Un énoncé rigoureux du théorème est que
  
  Théorème — Si $S$ est une variété riemannienne complète de dimension 2, de courbure négative constante $K$, il n'existe pas d'immersion isométrique de $S$ vers $\mathbb {R} ^{3}$.
  
  La démonstration est complexe et passe par une série de lemmes. L'esquisse qui suit, proche de la preuve de Hilbert, mais s'appuyant sur la présentation faite dans les livres de Do Carmo et Spivak, consiste essentiellement à montrer l'impossibilité d'une immersion isométrique $\varphi =\psi \circ \exp _{p}:S'\longrightarrow \mathbb {R} ^{3}$ d'une surface $S'$ (déduite de $S$ et isométrique au plan hyperbolique $H$) vers l'espace euclidien $\mathbb {R} ^{3}$.
  
  On commence, sans perte de généralité puisque les similitudes de $\mathbb {R} ^{3}$ multiplient la courbure par une constante, par supposer $K=-1$. L'application exponentielle $\exp _{p}:T_{p}(S)\longrightarrow S$est un difféomorphisme local (en fait, un revêtement, d'après le théorème de Cartan-Hadamard), elle induit donc un produit scalaire (et une métrique) en chaque point de $T_{p}(S),$ le plan tangent à $S$ en $p$. On note $S'$ ce plan muni de cette métrique ; si $\psi :S\longrightarrow \mathbb {R} ^{3}$est une immersion isométrique, il en est de même de ${\psi }'=\psi \circ \exp _{p}:S'\longrightarrow \mathbb {R} ^{3}$. On montre successivement que $S'$ et $H$ sont isométriques, que $H$ est d'aire infinie, et que l'aire de l'image de $S'$ par ${\psi }'$ est finie, d'où la contradiction cherchée.
  
  Lemme 1 : $S'$ et $H$ sont isométriques.
  
  Définissant $H$ comme variété riemannienne, on construit une application $\varphi =\exp _{p'}\circ \ \psi \circ \exp _{p}^{-1}$ par l'intermédiaire des applications exponentielles vers les plans tangents, et on applique des résultats de géométrie différentielle pour montrer (théorème de Minding) que $\varphi$ est une isométrie locale, puis ($S'$ étant simplement connexe) que $\varphi$ est une isométrie globale.
  
  Lemme 2 : l'aire de $H$ est infinie.
  
  Utilisant la première forme fondamentale, on peut identifier $H$ à $\mathbb {R} ^{2}$ en prenant autour de chaque point de coordonnées $(u,v)$ les coefficients de la jacobienne $E=\left\langle {\frac {\partial }{\partial u}},{\frac {\partial }{\partial u}}\right\rangle =1\qquad F=\left\langle {\frac {\partial }{\partial u}},{\frac {\partial }{\partial v}}\right\rangle =\left\langle {\frac {\partial }{\partial v}},{\frac {\partial }{\partial u}}\right\rangle =0\qquad G=\left\langle {\frac {\partial }{\partial v}},{\frac {\partial }{\partial v}}\right\rangle =e^{u}$ ; on a donc comme expression de l'aire $\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }e^{u}dudv=\infty$.
  
  Lemme 3 : pour chaque $p\in S'$, il existe une paramétrisation de $S'$ par un ouvert de $\mathbb {R} ^{2}$, $f:U\subset \mathbb {R} ^{2}\longrightarrow S',\qquad p\in f(U)$, tel que les courbes coordonnées sont asymptotes ; l'aire de tout quadrilatère formé par ces courbes est inférieur à $2\pi$.
  
  Lemme 4 : $f$ peut se prolonger en un difféomorphisme bijectif.
  
  $S'$ peut donc être couvert par une réunion de quadrilatères inclus les uns dans les autres, et d'aires bornées par $2\pi$, d'où la contradiction cherchée.
  
  