1
$\begingroup$

A real valued function on the complex plane taking a complex number to its real part is an Open map,

just a hint please, first of all is it a continuous map? I did one problem in complex analysis which says if an analytic function takes only real values on $Y$ axis then it is a constant map which was clear to me by applying open map theorem as its image was closed set. what is the difference here?I know my $f$ is not given analytic.

$\endgroup$
  • 1
    $\begingroup$ Recall that a map $f\colon X\rightarrow Y$ is open if and only if the image of basis elements of the topology on $X$ are open in $Y$. There's a very natural basis you can place on the complex plane. $\endgroup$ – Dan Rust Jan 29 '13 at 12:26
3
$\begingroup$

You're really looking at the map $f(x,y) = x$ from $\mathbb{R}^2$ to $\mathbb{R}$ if I understand your question correctly.

This is an open mapping: If $U \subset \mathbb{R^2}$ is open and $(x,y) \in U$, then a small disc of radius $r$ centered at $(x,y)$ will be contained in $U$. Hence a small interval of length $2r$, centered at $x$ will be contained in $f(U)$.

(Note that this map is not open if you think of it as $\mathbb{R}^2 \ni (x,y) \mapsto (x,0) \in \mathbb{R}^2$.)

$\endgroup$
2
$\begingroup$

What you want to show is that for any $U \subset \mathbb{R}$ that is open, its image (in $\mathbb{R}$) is open too.

So take any $x \in f(U)$. Our claim is now that there exists an $\epsilon >0$ s.t. $\forall x' \in (x-\epsilon, x+\epsilon): \exists w \in U s.t. f(w) = x'$.

Let $v \in U s.t. f(v) = x$, which must exist. We know (as $U$ is open) that $\exists \delta >0 s.t. \forall v' \in B(v,\delta): v'\in U$.

Finally set $\epsilon = \delta$ and take any $x' \in (x-\epsilon, x+\epsilon)$. One can see that $w':=(x',IM(x))\in B(v,\delta) \subset U$ and $f(w') = x'$ which proves the statement.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.