Intereting Posts

Show an exponential function has a valid density.
Prove or disprove: $\sum a_n$ convergent, where $a_n=2\sqrt{n}-\sqrt{n-1}-\sqrt{n+1}$.
Example of subgroup of $\mathbb Q$ which is not finitely generated
Differentiable $f$ such that the set of translates of multiples of $f$ is a vector space of dimension two
Binomial probability with summation
Necessary condition for have same rank
What is $(26+15(3)^{1/2})^{1/3}+(26-15(3)^{1/2})^{1/3}$?
Does rapid decay of Fourier coefficients imply smoothness?
A convergence problem in Banach spaces related to ergodic theory
If $n\ge2$, Prove $\binom{2n}{3}$ is even.
prove that $24 \mid a(a^2-1)$
Show that for $|f_n| \le g_n$ $\forall n$: $\lim_{n\to \infty} {\int_E g_n } = \int_E g \Rightarrow \lim_{n\to \infty} {\int_E f_n } = \int_E f$
Why do we assume principal root
If $f(x)$ is continuous and differentiable function , prove that $f(x) \geq e^{3x}, \forall x \geq 0$
Ramanujan log-trigonometric integrals

The open mapping theorem says a non constant analytic function maps open sets to open sets.

The maximum modulus principle says if $f$ a non constant analytic function on an open connected set $D\subset\mathbb{C}$, then $|f|$ does not attain a local maximum on $D$.

It it known that one application of the open mapping theorem is to prove the maximum modulus principle. But what about the other way around? Can we use the maximum modulus principle(possibly plus some other results) to prove the open mapping theorem?

- Conformal map from a lune to the unit disc in $\mathbb{C}$
- A problem about generalization of Bezout equation to entire functions
- Doing Complex Analysis on the Riemann Sphere?
- Expressing the area of the image of a holomorphic function by the coefficients of its expansion
- Liouville's theorem for Banach spaces without the Hahn-Banach theorem?
- Prove $\int_0^\infty \frac{\sin^4x}{x^4}dx = \frac{\pi}{3}$

The reason I am interested in this question is because after I see the proof in wiki-pedia, personally I found the idea in this proof somewhat “hidden”, it is not that intuitive (at least to me).

- Analytic continuation for $\zeta(s)$ using finite sums?
- Choosing a contour to integrate over.
- Addition theorems for elliptic functions: is there a painless way?
- Understanding Eigenvector
- Entire functions for which the absolute value is the sum of functions of $x$ and $y$
- How far can we take “If $f$ is holomorphic in $D\setminus C$, $f$ is holomorphic in $D$.”?
- Complex Conjugate of Complex function
- Find the root of the polynomial?
- A strange identity related to the imaginary part of the Lambert-W function
- Help with integrating $\displaystyle \int_0^{\infty} \dfrac{(\log x)^2}{x^2 + 1} \operatorname d\!x$ - contour integration?

Sorry for the late response. Here’s a proof of the open mapping theorem assuming the maximum modulus principle.

First, we need the “minimum modulus principle”. That is, if $f$ is a non-constant analytic function on an open connected set $D \subset \mathbb{C}$, and $f$ has no zeroes in $D$, then $| f |$ cannot attain a minimum in $D$. The proof follows trivially by applying the maximum modulus principal to the function $1/f$ which is analytic on $D$.

Now suppose $D \subset \mathbb{C}$ is open and connected, and $f$ is a non-constant analytic function on $D$. Let $U \subset D$ be open, and let $w_0 \in f(U)$, say $w_0=f(z_0)$ with $z_0 \in U$. We must show that there is a disc centered at $w_0$ which is contained in $f(U)$.

Choose $t>0$ so that $\overline {D_t(z_0)} \subset U$ and $f(z) \neq w_0$ for any $z \in \overline {D_t(z_0)}$ other than $z_0$. Let $m=inf \{|f(z)-w_0| : |z-z_0|=t \} > 0 $. Suppose $|w-w_0| < m/3$, and that there is no $z \in U$ such that $f(z)=w$. Then the function $g(z)=f(z)-w$ is analytic, non-constant, and has no zeroes in the open connected set $D_t(z_0)$, so the minimum modulus principle shows that $g$ cannot attain a minimum modulus in $D_t(z_0)$. However, $g$ does attain a minimum modulus in the compact set $ \overline {D_t(z_0)} $, so this minimum modulus must occur on the boundary circle defined by $|z-z_0|=t$. But if $|z-z_0|=t$, then

$|g(z)|=|f(z)-w| \geq |f(z)-w_0| – |w_0-w| \geq 2m/3 $, and

$|g(z_0)| = |w_0-w| < m/3 < 2m/3$.

This gives a contradiction since $z_0$ is obviously in the interior of the disc in question. Therefore $f(z)=w$ for some $z \in D_t(z_0)$, and $D_{m/3}(w) \subset f(U)$, showing that $f(U)$ is open and proving the theorem.

You can’t prove the open mapping theorem with the maximum modulus principle. Because the maximum modulus principle is not a tool that is suitable for proving the open mapping theorem. The maximum modulus principle is insufficiently sophisticated to understand the topology of the complex plane. It is merely a statement about $|f|$, not about $f$ itself. The maximum modulus principle holds for lots of maps, e.g., the product of $f$ with any unimodular function, which have no reason to be open. Etc., etc.

I will try to explain the idea of the OMT proof instead. Pick a point $z_0$ in the domain of $f$. Consider the series $f(z)=f(z_0)+a_k(z-z_0)^k+\dots$ where by $k$ is the first index after $0$ such that $a_k\ne 0$. Let $F(z)=f(z_0)+a_k(z-z_0)^k$. The map $F$ is open, because it’s just a power of $z$ composed with some shifts. (The power of $z$ can be written out explicitly in polar coordinates, to check that it’s open.)

When $z$ is sufficiently closed to $z_0$, $|f(z)-F(z)|$ is very small, because it consists of powers of $z-z_0$ higher than $k$. This allows us to use Rouché’s theorem to conclude that the values attained by $F$ will also be attained by $f$ (I am omitting the details of estimates here). Since the image of $F$ contains a neighborhood of $f(z_0)$, so does the image of $f$.

I think maximal principle implies open mapping theorem.

Suppose $f$ is the non constant continuous function that satisfies the maximal principle property. If open mapping theorem is not true, then $f$ maps an interior point $x$ of a small closed neighborhood $D$ to the point $f(x)$ which is on the boundary of $f(D)$. Then using translation $g$ to compose with $f$, to make sure $|g(f(x)|$ has the maximal moduli over $D$. We can do that because $f(D)$ is compact, so there exits $z_0$ in $f(D)$ such that dist($f(x), z_0$) is equal to the maximum of the distance from $f(x)$ to all points in $f(D)$, then consider $g(z)=z-z_0$. Now $g(f(x))$ achieves its local maximal point over $D$ at $x$, by hypothesis, $g(f(x))$ is constant function on $D$ since maximal principle is preserved under translation. Therefore, $f$ is a constant function on $D$.

Finally, Using typical method (like Lebesgue lemma) for path-connectness of a domain, we say that $f$ is constant on its domain.

- Center of the Orthogonal Group and Special Orthogonal Group
- Find the indefinite integral $\int {dx \over {(1+x^2) \sqrt{1-x^2}}} $
- When does intersection commute with tensor product
- Number of solutions to a set of homogeneous equations modulo $p^k$
- A Banach space of (Hamel) dimension $\kappa$ exists if and only if $\kappa^{\aleph_0}=\kappa$
- Explicit formula for Fermat's 4k+1 theorem
- What can be said about the eigenvalues of the Laplace operator in $H^k(\mathbb{T}^2)$
- Derangements of a deck of cards, where ranks are equal
- On automorphisms group of some finite 2-groups
- The main attacks on the Riemann Hypothesis?
- How to turn this into an equation and then sum the series?
- Request for Statistics textbook
- Prove that $f(x)=d(x,A)=\inf_{y\in A}d(x,y)$ is continuous on $M$
- A question concerning on the axiom of choice and Cauchy functional equation
- Global sections of $\mathcal{O}(-1)$ and $\mathcal{O}(1)$, understanding structure sheaves and twisting.