Re(z) is an open map

394 Views Asked by At

Is there an explicit way to show this using theorems in real/complex analysis, without using topology?

1

There are 1 best solutions below

8
On

Well obviously some topological notions are necessary; but a quick way to get at this is note that holomorphic functions $f(z)$ are open maps (the open mappig theorem), and the projection $\pi_{\Bbb R}$ onto the real axis is open (see this wikipedia page), so

$\Re(f) = \pi_{\Bbb R} \circ f \tag 1$

is open.

As pointed out by users 797616 Trash Failure in their comments to this answer, there is no need to invoke the openness of general holomorphic $f(z)$ since all that is asked for is the openness of $\Re(z)$; my enthusiasm for generalization got the better of me.