Open mapping theorem (complex analysis)

Open mapping theorem (complex analysis) En analyse complexe, the open mapping theorem states that if U is a domain of the complex plane C and f : U → C is a non-constant holomorphic function, then f is an open map (c'est à dire. it sends open subsets of U to open subsets of C, and we have invariance of domain.).

The open mapping theorem points to the sharp difference between holomorphy and real-differentiability. On the real line, par exemple, the differentiable function f(X) = x2 is not an open map, as the image of the open interval (−1, 1) is the half-open interval [0, 1).

The theorem for example implies that a non-constant holomorphic function cannot map an open disk onto a portion of any line embedded in the complex plane. Images of holomorphic functions can be of real dimension zero (if constant) or two (if non-constant) but never of dimension 1.

Contenu 1 Preuve 2 Applications 3 Voir également 4 References Proof Black dots represent zeros of g(z). Black annuli represent poles. The boundary of the open set U is given by the dashed line. Note that all poles are exterior to the open set. The smaller red disk is B, centered at z0.

Assume f : U → C is a non-constant holomorphic function and U is a domain of the complex plane. We have to show that every point in f(tu) is an interior point of f(tu), c'est à dire. that every point in f(tu) has a neighborhood (open disk) which is also in f(tu).

Consider an arbitrary w0 in f(tu). Then there exists a point z0 in U such that w0 = f(z0). Since U is open, we can find d > 0 such that the closed disk B around z0 with radius d is fully contained in U. Consider the function g(z) = f(z)−w0. Note that z0 is a root of the function.

We know that g(z) is not constant and holomorphic. The roots of g are isolated by the identity theorem, and by further decreasing the radius of the image disk d, we can assure that g(z) has only a single root in B (although this single root may have multiplicity greater than 1).

The boundary of B is a circle and hence a compact set, on which |g(z)| is a positive continuous function, so the extreme value theorem guarantees the existence of a positive minimum e, C'est, e is the minimum of |g(z)| for z on the boundary of B and e > 0.

Denote by D the open disk around w0 with radius e. By Rouché's theorem, the function g(z) = f(z)−w0 will have the same number of roots (compté avec multiplicité) in B as h(z):=f(z)−w1 for any w1 in D. This is because h(z) =g(z) + (w0 - w1), and for z on the boundary of B, |g(z)| ≥ e > |w0 - w1|. Ainsi, for every w1 in D, there exists at least one z1 in B such that f(z1) = w1. This means that the disk D is contained in f(B).

The image of the ball B, F(B) is a subset of the image of U, F(tu). Thus w0 is an interior point of f(tu). Since w0 was arbitrary in f(tu) we know that f(tu) is open. Since U was arbitrary, the function f is open.

Applications Maximum modulus principle Rouché's theorem Schwarz lemma See also Open mapping theorem (analyse fonctionnelle) References Rudin, Walter (1966), Real & Complex Analysis, McGraw Hill, ISBN 0-07-054234-1 Catégories: Théorèmes en analyse complexe

Si vous voulez connaître d'autres articles similaires à Open mapping theorem (complex analysis) vous pouvez visiter la catégorie Théorèmes en analyse complexe.

Laisser un commentaire

Votre adresse email ne sera pas publiée.


Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations