3
$\begingroup$

Possible Duplicate:
Proving that a complex set in open/closed/neither and bounded/not bounded

I think $\{z\in C:|z| = |\operatorname{re}(z)| +|\operatorname{im}(z)|\}$ is closed. But I have no idea how to show it since you have to take an element of the set (which lies on the axes) and take a neighbourhood around that (not all of the ball is within the set so it's not open).

But when you do the complement, not all of everything outside of the axes includes the ball (as some of the ball is on the axes). This would make it neither open nor closed but I'm sure it's closed! Can someone help me please?

It's definitely not bounded because no closed ball can cover all of the axes as they go on to infinity and beyond. Right?

  • 0
    Neither is 'neither open nor closed.'2012-11-04

4 Answers 4

3

The set $E=\{z\in C:|z|=|Re(z)|+|Im(z)|\}$ is precisely the union of the horizontal and vertical axes on the complex plane. This is closed but not open.

To see that it is closed, show that the complement is open: for any $z$ in the complement of $E$, let $r=\min(|Re(z)|,|Im(z)|)$. Then the ball with centre $z$ and radius $r$ lies in the complement of $E$.

To see that it is not open, consider the balls centred at $z=0$ with arbitrary radius. Any such ball certainly contains a point not lying on either of the axes.

  • 0
    Thank you! I should be able to do it from the answer you posted originally. Things are a bit less blurry now haha.2012-11-04
1

If you mean the set $\{z\in\mathbb C : |z|=|\mathrm{Re}(z)|+|\mathrm{Im}(z)|\}$ you might want to consider the continuous function $g(z)=|z|-|\mathrm{Re}(z)|-|\mathrm{Im}(z)|$ and remember how continuous functions behave with closed sets.

  • 0
    The preimage of a closed set is closed, and your set is $g^{-1}A$ for some closed $A$.2012-11-04
0

EDIT

Looks like the question has now changed.


I assume you are interested in the following set $X$. $X = \{\left \vert \text{Real}(z) \right \vert + \left \vert \text{Imag}(z) \right \vert : z \in \mathbb{C}\}$

HINT

Note that $X$ contains only non-negative real numbers. It is easy to show that (Why?) $X = \mathbb{R}^+_0 = \mathbb{R}^+ \cup \{0\}$

Now look at the complement of $\mathbb{R}^+_0$ in $\mathbb{C}$ i.e. $X^c = \mathbb{C} \backslash \mathbb{R}^+_0$. Can you show that it is open?

HINT

Consider $z \in X^c$ and $z$ is not purely real. Consider an open ball centered at $z$ and radius $r = \dfrac{\left \vert \text{Imag(z)} \right \vert}2$

For $z \in X^c$ and is purely real, then $z$ is negative, For this $z$, consider an open ball centered at $z$ and radius $r = \dfrac{\left \vert \text{z} \right \vert}2$

  • 0
    If I read her question correctly, that’s the wron$g$ set.2012-11-04
0

The function $|z|-|\operatorname{im}(z)|-|\operatorname{re}(z)|$ is continuous. The set in question is the inverse-image of the closed set $\{0\}$ under this function. The inverse-image of a closed set under a continuous function is closed.

  • 0
    Now I see that someone else posted this same comment.2012-11-04