Théorème de l'application ouverte (analyse complexe)

 Ne pas confondre ce théorème-ci de l'application ouverte avec cet autre : théorème de Banach-Schauder.

En mathématiques, et plus précisément en analyse complexe, le théorème de l'application ouverte affirme que les fonctions holomorphes non constantes sont ouvertes.

Énoncé

Soit U un ouvert connexe^[1] 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

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 l'ensemble B mentionné par la démonstration.

Soit U un ouvert connexe de C et f:U → C une fonction holomorphe non constante. Nous voulons montrer que tout point de f(U) est intérieur, autrement dit est contenu dans un disque inclus dans f(U). Soit w₀ = f(z₀) un point arbitraire de f(U) (avec z₀ dans U). U étant ouvert, il existe d > 0 tel que B, le disque fermé de centre z₀ et de rayon d, soit inclus dans U. f étant non constante sur U et U étant connexe, f est non constante sur B^[2]. La fonction g(z) = f(z) − w₀ est analytique non constante, et admet z₀ 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^[3], et soit D le disque de centre w₀ et de rayon e. D'après le théorème de Rouché, la fonction g(z) = f(z) − w₀ a le même nombre de racines dans B que f(z) − w pour tout w à une distance < e de w₀. Ainsi, pour chaque w dans D, il existe un et un seul z₁ dans B tel que f(z₁) = w. Le disque D est donc contenu dans f(B), sous-ensemble de f(U) ; w₀ est donc un point intérieur de f(U).

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\mapsto z\bar{z}$ est R-différentiable et de classe $C^{\infty}$, 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, +$\infty$[. 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 des applications ouvertes reste valable pour les fonctions holomorphes à plusieurs variables : on remplace simplement dans l'énoncé U par un ouvert connexe de Cⁿ. La preuve^[4] 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.

Une application

Le 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ⁿ, alors pour tout point z₀ de U, l'image par f de tout voisinage ouvert de z₀ est un voisinage ouvert W de f(z₀) dans C. De par la topologie de C, |f(z₀)| n'est pas un maximum de l'ensemble des |w| pour w parcourant W. Donc |f(z₀)| n'est pas un maximum local.

Le même raisonnement tient pour Re(f(z)) à la place de |f(z)|.

Notes

1. ↑ 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.
2. ↑ D'après les propriétés des fonctions analytiques, par exemple par unicité du prolongement analytique.
3. ↑ e existe et est strictement positif, car cette fonction est continue et la frontière de B est compacte.
4. ↑ Ludger Kaup, Burchard Kaup, Holomorphic functions of several variables:an introduction to the fundamental theory. Walter de Gruyter, 1983, Theorem 6.3

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Open mapping theorem (complex analysis) » (voir la liste des auteurs)

• Rudin, Walter (1966), Real & Complex Analysis, MacGraw-Hill, ISBN 0-07-054234-1