Théorème affirmant que tout ouvert non vide simplement connexe du plan complexe qui n'est pas l'ensemble entier du plan est conforme au disque unité, c'est‑à‑dire qu'il existe une application holomorphe bijective du domaine sur le disque possédant une inverse holomorphe.

Principe

Les fonctions holomorphes en une variable complexe sont assez rigides pour que la simple connexité topologique, conjuguée à la non trivialité du domaine, impose un modèle conforme unique à trois paramètres réels près ; la structure complexe et les principes du maximum fournissent l'existence d'un biholomorphisme vers le disque.

Démonstration

Exemple : le demi-plan supérieur est simplement connexe et non égal au plan entier et se projette biholomorphiquement sur le disque unité par une transformation de Möbius explicite ; pour beaucoup d'autres domaines simplement connexes l'existence est assurée même si les formules explicites font défaut.

Mauvaise application

Croire que le théorème s'étend aux dimensions complexes supérieures ou aux domaines à plusieurs composantes connexes est erroné. Confondre l'existence d'une application conforme avec l'existence d'une formule élémentaire explicite pour tout domaine est un abus.

Conséquence

Il fournit un modèle canonique (le disque unité) pour les domaines simplement connexes du plan, permettant de transporter les problèmes fonctionnels sur le disque où s'appliquent des outils puissants comme les groupes d'automorphismes et les noyaux reproduisants.

Inversion

Pour des domaines multiplement connexes ou pour C^n avec n>1, l'énoncé analogue échoue : les domaines ne sont pas nécessairement biholomorphiquement équivalents à un modèle fixe, soulignant le caractère singulier de la théorie en une variable.

Limite

Exige que le domaine soit un ouvert non vide simplement connexe de C qui n'est pas tout C. Exclut les domaines à trous, le plan entier et les variétés complexes de dimension supérieure.

Tension sémantique

Tension entre existence et construction explicite : le théorème garantit une application conforme mais pas en forme close en général ; il oppose aussi la classification topologique (simple connexité) à la structure analytique (biholomorphismes).

Synthèse

Le théorème de la représentation conforme de Riemann affirme que tout domaine planaire proprement simplement connexe se réalise comme le disque unité par un changement biholomorphe de coordonnées, fournissant un modèle conforme universel pour l'analyse complexe en une variable.