Voir la source de Théorème de l'image ouverte

{{confusion|texte=Ce théorème ne doit pas être confondu avec le [[théorème de l'application ouverte]], qui est un théorème d'[[analyse fonctionnelle (mathématiques)|analyse fonctionnelle]].}}
En [[mathématiques]], et plus précisément en [[analyse complexe]], le '''théorème de l'image ouverte''' affirme que les [[fonction holomorphe|fonctions holomorphes]] non constantes sont [[applications ouvertes et fermées|ouvertes]].

== Énoncé ==
Soit ''U'' un [[ensemble ouvert|ouvert]] [[espace connexe|connexe]]<ref>
L'hypothèse de connexité est nécessaire. En effet, si ''U'' n'est pas connexe, une fonction constante sur une composante connexe  et non constante sur les autres composantes n'est pas globalement constante, et elle n'est pas ouverte.</ref>
du [[plan complexe]] '''C''' et ''f'' : ''U'' → '''C''' une [[fonction holomorphe]] non constante ; alors ''f'' est une [[application ouverte]], c'est-à-dire qu'elle envoie les sous-ensembles ouverts de ''U'' vers des ouverts de '''C'''.

== Démonstration ==

[[Image: OpenMapping1.png |frame|right|Les points bleus représentent les  zéros de ''g''(''z''). Les pics noirs sont les pôles. La ligne pointillée est la frontière de l'ouvert  ''U'' (remarquez que tous les pôles sont extérieurs à ''U''). Le petit cercle rouge est la frontière du disque ''B'' mentionné par la démonstration.]]
Nous voulons montrer que tout point de ''f''(''U'') est intérieur, autrement dit est contenu dans un disque inclus dans ''f''(''U''). Soit {{nobr|1=''w''{{ind|0}} = ''f''(''z''{{ind|0}})}} un point arbitraire de ''f''(''U'') (avec ''z''{{ind|0}} dans ''U''). ''U'' étant ouvert, il existe ''d ''> 0 tel que ''B'', le disque fermé de centre  ''z''{{ind|0}} et de rayon  ''d'', soit inclus dans ''U''.  ''f'' étant non constante sur ''U'' et ''U'' étant connexe, ''f'' est non constante sur ''B''<ref>D'après les propriétés des fonctions analytiques, par exemple par unicité du [[prolongement analytique]].</ref>. La fonction {{nobr|1=''g''(''z'') = ''f''(''z'') – ''w''{{ind|0}}}} est analytique non constante, et admet ''z''{{ind|0}} comme racine ; d'après le [[principe des zéros isolés]], nous pouvons donc choisir ''d'' pour que ''g'' n'ait pas d'autres racines dans ''B''. Soit alors ''e'' le minimum de  |''g''(''z'')|  pour ''z'' sur le cercle frontière  de ''B''<ref>''e'' existe et est strictement positif, car cette fonction est continue et la frontière de ''B'' est [[Compacité (mathématiques)|compacte]].</ref>, et soit ''D'' le disque de centre ''w''{{ind|0}} et de rayon ''e''. D'après le [[théorème de Rouché]], la fonction ''g''(''z'') = ''f''(''z'') – ''w''{{ind|0}} a le même nombre de racines (comptées avec multiplicités) dans  ''B'' que ''f''(''z'') – ''w ''pour tout ''w ''à une distance strictement inférieure à ''e ''de ''w''{{ind|0}}. Ainsi, pour chaque ''w ''dans ''D'', il existe au moins un ''z''{{ind|1}} dans ''B ''tel que ''f''(''z''{{ind|1}}) = ''w''. Le disque ''D'' est donc contenu dans ''f''(''B''), sous-ensemble de ''f''(''U'') ; ''w''{{ind|0}} est donc un point intérieur de ''f''(''U'').

Il est également possible<ref name=":0">{{Article|langue=anglais|auteur1=Daniel Reem|titre=The open mapping theorem and the fundamental theorem of algebra|périodique=Fixed point theory 9 (2008)|date=25 Jul 2011|issn=|lire en ligne=https://arxiv.org/pdf/0710.5648.pdf|pages=}}</ref> de démontrer ce théorème sans théorie de l'intégration, à partir du [[théorème du point fixe de Brouwer]], ou plus simplement encore à partir du [[Application contractante#Théorème du point fixe pour une application contractante|théorème du point fixe de Banach/Picard]].

== Remarques ==
Ce théorème est un exemple des importantes différences entre les applications holomorphes et les fonctions '''R'''-différentiables de '''C''' vers  '''C''' : la fonction de variable complexe ''z ''↦ ''z {{surligner|z}} ''est '''R'''-différentiable et de [[Classe de régularité|classe C{{exp|{{math|∞}}}}]], mais n'est clairement pas ouverte. Elle n'est même pas ouverte comme application de '''C''' dans '''R''' puisque son image est l'intervalle fermé [0, {{math|+∞}}[. De même, il n'y a pas d'équivalent pour les fonctions de variable réelle.
== Généralisation à plusieurs variables == 

Le théorème de l'image ouverte reste valable pour les fonctions holomorphes à plusieurs variables : on remplace simplement dans l'énoncé ''U ''par un ouvert connexe de '''C'''<sup>''n''</sup>.  La preuve<ref>Ludger Kaup, Burchard Kaup, '' Holomorphic functions of several variables:an introduction to the fundamental theory''.  Walter de Gruyter, 1983, Theorem 6.3</ref> consiste à se ramener au cas d'une variable en traçant la droite (complexe) passant par deux points ayant des valeurs différentes par ''f''.

== Applications ==
* Le [[théorème fondamental de l'algèbre]] se déduit directement du théorème de l'application ouverte<ref name=":0" /> : d'après le théorème de l'application ouverte, l'image <math>P(\mathbb C)</math> de tout polynôme <math>P</math> non constant est un ouvert de <math>\mathbb C</math> ; il ne reste plus qu'à montrer que <math>P(\mathbb C)</math> est un fermé de <math>\mathbb C</math>, et la connexité de <math>\mathbb C</math> permettra de conclure que <math>P(\mathbb C)=\mathbb C</math>, et donc que <math>0 \in P(\mathbb C)</math>.

* Le [[Fonction_entière#Le_principe_du_maximum|principe du maximum]] des fonctions holomorphes peut se déduire aisément du théorème de l'application ouverte. En effet, si ''f'' : ''U'' → '''C''' est une application holomorphe non constante sur un ouvert connexe ''U'' de '''C'''<sup>''n''</sup>, alors pour tout point ''z''<sub>0</sub> de ''U'',  l'image par ''f'' de tout voisinage ouvert de ''z''<sub>0</sub> est un voisinage ouvert ''W'' de ''f''(''z''<sub>0</sub>) dans '''C'''. De par la topologie de '''C''', |''f''(''z''<sub>0</sub>)| n'est pas un maximum de l'ensemble des |''w''| pour ''w'' parcourant ''W''. Donc |''f''(''z''<sub>0</sub>)| n'est pas un maximum local.  Le même raisonnement tient pour Re(''f''(z)) à la place de |''f''(z)|.

== Notes ==

{{références}}

== Références ==
{{Traduction/Référence|en|Open mapping theorem (complex analysis)|334292595}}
*{{Rudin}}

{{Portail|Analyse}}

{{DEFAULTSORT:Theoreme de l'image ouverte}}
[[Catégorie:Théorème d'analyse complexe|Image ouverte]]