[Math] Show a real valued holomorphic function on an open and arcwise connected set is constant

complex-analysis

The question:

Show that a holomorphic function on an open and arcwise connected set $U$ that only attains real values is necessarily constant. Is this still true if we drop the assumption that $U$ is arcwise connected?

I'm pretty new to complex analysis, so I just want some idea of how you would tackle this kind of question. I believe I need to employ the Cauchy Riemann equations somehow. I haven't really been told much about the properties of arcwise connected sets either, so if possible could someone shed some light on those?

Best Answer

This is essentially the open mapping theorem, which states that a holomorphic, non-constant function is always an open map(i.e. it sends open subsets of its domain to open subsets of $\mathbb{C}$).

Now, the reals are a closed subset of $\mathbb{C}$, so if you have a holomorphic map $f: U \to \mathbb{R}$, where $U$ is open and connected, that map is constant; if it wasn't, $f(U)$ should be open in $\mathbb{C}$.

If we drop the assumption that $U$ is connected, then the map is constant at each component of $U$, but those values may be different for each component.