Voir la source de Théorème de l'application conforme

En [[mathématiques]], et plus précisément en [[analyse complexe]], le '''théorème de l'application conforme''', dû à [[Bernhard Riemann]], assure que toutes les parties [[ensemble ouvert|ouvertes]] [[Connexité simple|simplement connexes]] du [[plan complexe]] qui ne sont ni vides ni égales au plan tout entier sont [[application conforme|conformes]] entre elles.

== Historique ==
[[Fichier:Georg Friedrich Bernhard Riemann.jpeg|vignette|Bernhard Riemann]]
Le théorème fut énoncé (sous l'hypothèse plus forte d'une frontière formés d'arcs différentiables) par [[Bernhard Riemann]] dans sa thèse, en 1851. Cette version initiale fut décrite par [[Lars Ahlfors]] comme « formulée en définitive dans des termes qui défient toute tentative de démonstration rigoureuse, même à l'aide des méthodes modernes ». La démonstration de Riemann dépendait du [[principe de Dirichlet]]<ref>Il s'agit de l'affirmation de l'existence d'une fonction minimisant une certaine intégrale ; le nom de ce principe fut créé par Riemann lui-même à cette occasion.</ref>, qui était considéré comme vrai à cette époque. Cependant, [[Karl Weierstrass|Karl Weierstraß]] découvrit des exceptions à ce principe, et il fallut attendre les travaux de [[David Hilbert]] pour une démonstration de ce que, dans une large mesure, il s'appliquait aux situations étudiées par Riemann. Toutefois, le principe de Dirichlet ne s'appliquait pas à des domaines simplement connexes de frontière non suffisamment lisse ; de tels domaines furent étudiés en 1900 par W.&nbsp;F.&nbsp;Osgood.

La première démonstration rigoureuse du théorème (dans le cas général) fut publiée par [[Constantin Carathéodory]] en 1912. Elle utilisait des [[surface de Riemann|surfaces de Riemann]] ; [[Paul Koebe]], deux ans plus tard, en découvrit une version simplifiée permettant de s'en passer.

En 1922, une autre démonstration fut publiée par [[Lipót Fejér|Leopold Fejér]] et [[Frigyes Riesz]] ; plus courte que les précédentes, elle reprenait l'idée de la preuve de Riemann passant par la solution d'un problème d'optimisation ; cette preuve fut par la suite encore simplifiée par [[Alexander Ostrowski]] et par Carathéodory, qui précisa le résultat sous la forme du [[Théorème d'extension de Carathéodory|théorème portant son nom]], et donnant des conditions sous lesquelles la [[bijection]] peut se prolonger aux frontières des domaines.

== Énoncé du théorème ==
Plusieurs formulations équivalentes du théorème sont possibles ; on
l'énonce généralement ainsi :

{{Théorème|Théorème de l'application conforme|Soit <math>U</math> un [[ensemble ouvert|ouvert]] [[simplement connexe]] non vide du [[plan complexe]], distinct du plan<ref>La condition de simple connexité est clairement nécessaire, pour des raisons topologiques ;  il n'existe pas non plus de bijection holomorphe entre <math> \mathbb{D}</math> et <math> \mathbb{C}</math> tout entier, mais cela résulte en revanche du [[Fonction entière#Le principe du maximum|principe du maximum]] pour les fonctions holomorphes.</ref>. Il existe une bijection [[holomorphe]] <math>f</math> entre <math>U</math> et le disque unité <math> \mathbb{D}= \{z \in\Complex\mid|z| <1  \}.</math>}}

Utilisant les propriétés caractéristiques des fonctions holomorphes (en particulier le fait que, dans '''C''', <math>f</math> dérivable implique <math>f</math> analytique), on peut encore reformuler le théorème en disant qu'il existe une bijection dérivable (dans '''C''') de <math>U</math> vers <math> \mathbb{D}</math> ; comme la dérivée d'une bijection holomorphe n'est jamais nulle, on en déduit que la bijection réciproque <math>f^{-1}</math> est également holomorphe.
[[File:Conforme1.png|thumb|bijection conforme entre deux ouverts]]
Comme les fonctions holomorphes "conservent les angles"<ref>Plus précisément, cela est vrai en tout point où la dérivée de <math>f</math> n'est pas nulle, ce qui est le cas ici, puisque <math>f</math> est bijective ; pour plus de détails, voir [[Transformation conforme]].</ref>, cela revient à dire, d'un point de vue géométrique, qu'il existe une bijection [[transformation conforme|conforme]] entre <math>U</math> et <math> \mathbb{D}</math>. La composée de deux fonctions holomorphes étant holomorphe, on voit qu'en fait, plus généralement, il existe une bijection conforme entre deux ouverts quelconques <math>U</math> et <math>V</math> satisfaisant les hypothèses précédentes.

[[Henri Poincaré]] a montré que l'application <math>f</math> (entre <math>U</math> et <math> \mathbb{D}</math>) est [[essentiellement unique]] : si <math>z_0</math> appartient à <math>U</math> et si φ est un angle arbitraire, il existe exactement une bijection holomorphe <math>f</math> telle que <math>f(z_0)=0</math> et que l'argument de la dérivée <math>f'(z_0)</math> soit φ. Ce résultat découle du [[lemme de Schwarz]].

Techniquement, la seule conséquence de la simple connexité de ''U'' utilisée dans la preuve est que toute fonction holomorphe sur ''U'' et sans zéro a une [[racine carrée]] holomorphe sur ''U''. En fait, le théorème de l'application conforme fournit une caractérisation très efficace des parties du plan simplement connexes : pour une partie du plan ''A'' ouverte et connexe,

: ''A'' simplement connexe ⇔ <math>(\mathbb{C}\setminus A) \cup\{\infty\}</math> est connexe dans la [[sphère de Riemann]].

== Un résultat contraire à l'intuition ==

Une description plus intuitive du résultat est que si un ouvert du plan peut être mis en bijection continue avec le disque unité, il existe une autre bijection qui est dérivable (au sens complexe). Formulé ainsi, le théorème peut sembler assez naturel ; les remarques suivantes devraient convaincre qu'il n'en est rien.
* Le théorème ne s'applique pas au plan tout entier, lequel est pourtant isomorphe topologiquement (et même de façon indéfiniment différentiable) au disque unité : le problème ne vient pourtant pas de son caractère non borné, puisque le demi-plan ouvert <math>\{z\in\Complex\mid\Re(z)>0\}</math> peut être mis en bijection avec le disque unité par l'application holomorphe <math>z\mapsto f(z)=\frac{1+z}{1-z}</math>, laquelle est une [[involution (mathématiques)|involution]] <ref>Cette remarque et cet exemple sont donnés par [[Walter Rudin]] (''Real and complex analysis'', ch.14, p. 281 et 283).</ref>.
* Les applications conformes transforment des carrés infinitésimaux en carrés ; il paraît donc impossible, par exemple, de transformer un carré unité en rectangle, puisqu'un pavage fini par des carrés devra être transformé en un pavage gardant le même nombre d'éléments dans les deux directions (et de fait, la bijection conforme qui convient n'a rien de simple à construire).
* Même les bijections correspondant à des ouverts relativement simples, tels que l'intérieur d'un carré, ne peuvent s'exprimer de manière explicite à l'aide de fonctions élémentaires.
* Les ouverts simplement connexes du plan peuvent avoir des formes extrêmement complexes. Ainsi, l'image par [[inversion (géométrie)|inversion]] (de centre 0) du complémentaire de l'[[ensemble de Mandelbrot]] est un tel ouvert ; il semble impossible que cet ensemble à la frontière [[fractale]] puisse être transformé en un disque régulier (voir à ce sujet les remarques de la dernière section).
* L'analogue du théorème pour d'autres ouverts du plan, même très simples, est faux : ainsi, il n'y a pas d'applications conformes entre deux anneaux de proportions différentes, comme {&nbsp;''z''&nbsp;|&nbsp;1&nbsp;<&nbsp;|''z''|&nbsp;<&nbsp;2&nbsp;} et {&nbsp;''z''&nbsp;|&nbsp;1&nbsp;<&nbsp;|''z''|&nbsp;<&nbsp;4&nbsp;} ; voir à ce sujet le [[théorème de Tsuji]], classifiant tous les ouverts doublement connexes.
* Il n'y a aucun théorème même vaguement analogue en dimension 3 ou plus ; en fait, les seules transformations conformes en dimension 3 sont essentiellement les [[transformation de Möbius|transformations de Möbius]].
* En fait, en dimension supérieure, même des résultats intuitivement bien plus naturels encore deviennent faux ; ainsi, il existe des [[variété (géométrie)|variétés]] [[espace contractile|contractiles]] de dimension 3 non [[homéomorphe]]s à ℝ{{3}} ; c'est le cas de la [[variété de Whitehead]].

== Esquisses de démonstrations ==
{{section vide}}
L'historique aura montré qu'il est difficile de donner des démonstrations rigoureuses ; dans le cas où la frontière de l'ouvert est suffisamment régulière, il est relativement aisé d'en donner une démonstration complète ; mais, comme pour le [[théorème de Jordan]], ce cas est nettement plus facile à traiter que le cas général<ref> On trouvera par exemple {{Planetmath|titre=proof of Riemann mapping theorem}}, démonstration faisant appel à des connaissances déjà avancées sur les [[fonction harmonique|fonctions harmoniques]]… et supposant vrai le [[principe de Dirichlet]].</ref>. Une démonstration générale peut cependant être esquissée grâce aux [[famille normale|familles normales]] (dues à [[Paul Montel (mathématicien)|Paul Montel]])<ref>[[Walter Rudin]], ''Real and Complex Analysis'', ch.14, {{p.|283-284}}.</ref>.

== Détermination explicite de bijections conformes ==
{{section vide}}

Dans certains cas, il est possible d'obtenir explicitement les bijections dont l'existence est affirmée par le théorème, soit sous forme de [[Transformation géométrique|transformations géométriques]] (ainsi, la [[projection stéréographique]] est conforme ; la composition de telles projections est une [[transformation de Möbius]]), soit par des méthodes relevant de la [[théorie du potentiel]]. Voici une liste des cas que l'on sait traiter :

== Conséquences et généralisations ==
On a déjà signalé qu'en fait, le théorème implique que deux ouverts du plan, simplement connexes, non vides et distincts du plan entier, peuvent être mis en bijection conforme ; la [[projection stéréographique]] étant une application conforme, il en est de même des ouverts simplement connexes de la sphère ne contenant pas au moins deux points de celle-ci. Plus généralement encore, on en déduit le [[théorème d'uniformisation de Riemann]] : toute [[surface de Riemann]] simplement connexe est conforme à l'une des trois surfaces de référence que sont le disque unité, le plan complexe, et la [[sphère de Riemann]]. En particulier, toute surface de Riemann simplement connexe compacte est conforme à la sphère de Riemann.

La théorie des [[système dynamique|systèmes dynamiques]] a largement utilisé ces résultats pour étudier les [[ensemble de Julia|ensembles de Julia]] associés à un [[polynôme]], ainsi que l'[[ensemble de Mandelbrot]] : il est en effet possible dans ce cas de construire explicitement les transformations conformes dont l'existence est garantie par le théorème ; c'est ainsi, par exemple que l'on démontre que l'ensemble de Mandelbrot est connexe<ref>[[Adrien Douady]] et [[John H. Hubbard]], [http://www.math.cornell.edu/~hubbard/OrsayFrench.pdf Étude dynamique des polynômes complexes].</ref>. L'image par ces transformations de points de la frontière des ensembles (qui sont donc des points du [[cercle unité]]) joue un rôle essentiel dans la théorie ; voir l'article anglais sur les {{Lien|langue=en|trad=external ray|fr=Rayon externe|texte=arguments externes}} pour plus de détails. Ces constructions sont, au demeurant, proches des idées de Riemann, et relèvent de manière essentielle de la [[théorie du potentiel]].

Les généralisations du théorème sont de deux sortes : d'abord, on dispose de résultats analogues dans le cas d'ouverts non simplement connexes du plan (mais on a vu que le petit nombre de transformations conformes en dimension supérieure interdit en revanche tout espoir de généralisation à ce cas) ; le plus simple de ces résultats est le [[théorème de Tsuji]], caractérisant les applications conformes entre ouverts topologiquement isomorphes à un disque privé de son centre (les ouverts "doublement connexes"), et montrant qu'un tel ouvert est toujours conforme à une couronne circulaire. D'autre part, le problème du prolongement d'une telle application conforme au disque unité fermé s'est avéré redoutable ; on dispose par exemple du [[théorème de Carathéodory]], qui montre qu'un tel prolongement continu existe si la frontière de ''U'' est une [[courbe de Jordan]].

== Notes ==
{{Références}}
== Références ==
{{Traduction/Référence|en|Riemann mapping theorem|340067910}}
* {{en}} {{Lien|langue=en|fr=John B. Conway}}, ''Functions of one complex variable'', Springer-Verlag, 1978 {{ISBN|0-387-90328-3}}
* {{en}} John B. Conway, ''Functions of one complex variable II'', Springer-Verlag, 1995 {{ISBN|0-387-94460-5}}
* {{en}} [[Reinhold Remmert]], ''Classical topics in complex function theory'', Springer-Verlag, 1998 {{ISBN|0-387-98221-3}}
* {{de}} [[Bernhard Riemann]], ''[http://www.emis.de/classics/Riemann/Grund.pdf Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse]'', Göttingen, 1851

{{Palette|Bernhard Riemann}}
{{Portail|mathématiques}}

[[Catégorie:Théorème d'analyse complexe|application conforme]]
[[Catégorie:Bernhard Riemann|Théorème de représentation]]
[[Catégorie:Géométrie conforme]]