[Math] Proving the Maximum Modulus Principle using the Open Mapping Theorem

complex-analysis

I was reading on Wikipedia that

"The maximum modulus principle can be viewed as a special case of the open mapping theorem, which states that a nonconstant holomorphic function maps open sets to open sets. If $|f|$ attains a local maximum at $a$, then the image of a sufficiently small open neighborhood of $a$ cannot be open. Therefore, $f$ is constant".

Could someone expand upon that? I don't follow why the image of a open neighborhood of a would not be open?

Best Answer

If $\frak{U}$ is an open set in $\mathbb{C}$, then $|\frak{U}|$ can have no greatest element. Thus, $|f(\frak{U})|$ is cannot have a greatest element since $f(\frak{U})$ is open.

Suppose that $f$ attains its maximum in $\frak{U}$; this means that for some $z_0\in\frak{U}$, $|f(z)|\le|f(z_0)|$ for all $z\in\frak{U}$. Thus, $|f(z_0)|$ is the greatest element of $|f(\frak{U})|$. This means that $f(\frak{U})$ is not open. Therefore, $f$ is constant.

Related Question