5
$\begingroup$

(1) Is $U=\{(x,y)\in \mathbb{R^2} : x^2+y^2 \neq 1\}$ open in $\mathbb{R^2}$?

(2) How can i show $(a,b)\times(c,d)$ is open in $\mathbb{R^2}$?

(3)Is $S=\{(x,y)\in \mathbb{R^2}:xy\neq 0\}$ open in $\mathbb{R^2}$?

In all these examples i draw the figure in (1) it is interior part of circle and exterior part of circle so i can draw any ball with some radius it is also containing in the set.

Similar argument for (2) which is rectangle region in $\mathbb {R^2}$ and in the (3) is unbounded region without containing X and Y axis. It is very clear from the geometry but Anyone help me how can i prove all these three sets are open using definition of open set or triangle inequality? If it is possible then give me some hints. Thanks in advance.

  • 0
    @SiddhantTrivedi : (3) is the same with $f(x,y)=xy$ which is also continuous. (2) is trivial since the cartesian product of two open sets is an open set w.r.t. the cartesian product of underlying spaces (here $\mathbb{R}\times\mathbb{R}=\mathbb{R}^2$)2012-09-02

4 Answers 4

4

They are all open. Let's do Question $(3)$, quite formally. The ideas for the others are the same.

Our region is the plane with the union of the two axes removed. Let $(a,b)$ be in our region, and let $\epsilon=\min(|a|, |b|)$. Then $\epsilon$ is positive.

Now consider the open disk $D$ with centre $(a,b)$ and radius $\epsilon$, or, if you want some wiggle room, radius $\epsilon/2$. I claim that all of $D$ is in our region. That will show that there is an open "ball" with center $(a,b)$ that lies entirely in our region. That is one of the definitions of open set in a metric space, I hope the official one you are using in your course.

We need to show that there is no point in the union of the two axes which is in $D$. Note that $\sqrt{(x-a)^2+(y-b)^2}\ge \max(|x-a|,|y-b|)$. If $\sqrt{(x-a)^2+(y-b)^2}\lt \epsilon$, then $\max(|x-a|, |y-b|)\lt \epsilon$.

But by the choice of $\epsilon$, we have $|0-a|\ge \epsilon$, and $|0-b|\ge \epsilon$. It follows that no point in $D$ can lie on either of the axes.

Remark: There is much less to this argument than meets the eye! Take for example $(a,b)$ in the first quadrant, but not on an axis. Let $\epsilon$ be the smaller of $a$ and $b$. Then the (open) disk with centre $(a,b)$ and radius $\epsilon$ cannot meet an axis.

  • 0
    It is done in the post above, using the language of inequalities. The key inequality is $\sqrt{(x-a)^2|(y-b)^2}\ge \max(|x-a|,|y-b|)$ ($\ge \min(|x-a|,|y-b|$ would be enough.)2012-08-28
1

For (1) and (3) it might be easier to prove the complements are closed. You can prove that the unit circle is closed by showing that every sequence on the unit circle has limit on the unit circle. And similarly for (3) were you can prove that all limit points are on the lines $x=0$ or $y=0$.

1

(2) is open by definition, in some sense. It is the product of open intervals and if you pick a point in this product, you can easily find a small radius such that the ball with this radius lies inside $(a,b) \times (c,d)$. It is a matter of elementary geometry. For (1) and (2), consider their complements, and prove that they are closed. The complement of $S$ is the union of the two axes, while the complement of $U$ is a circle. But a direct approach is also easy: let's see in case (3).

Pick $(x_0,y_0) \in S$, so that $x_0 \neq 0$ and $y_0 \neq 0$. Let $R=\min\{|x_0|,|y_0|\}$ and fix $0. The circle $(x-x_0)^2+(y-y_0)^2 < r$ lies in $S$, since it cannot touch the axes.

0

Of course one can work with good old $\varepsilon$ to show openness, though a few simple theorems would make life easier (preimages of open sets under continuous functions are open etc., but if you don't "see" that these sets are open, you're probably not sure about the functions in (1) and (3) being continuous either.

(1) Assume $(x_0,y_0)\in U$. Then $x_0^2+y_0^2\ne 1$, i.e. $d((x_0,y_0),(0,0))\ne 1$. We want to find $\epsilon>0$ such that $d((x_0,y_0),(x,y))<\epsilon$ implies $(x,y)\in U$. By the triangle inequality, $|d((x_0,y_0),(0,0))-d((x,y),(0,0))|\le d((x_0,y_0),(x,y))$, hence letting $\epsilon = |d((x_0,y_0),(0,0))-1|>0$ does the trick: $d((x_0,y_0),(x,y))<\epsilon$ implies that $|d((x_0,y_0),(0,0))-d((x,y),(0,0))|<|d((x_0,y_0),(0,0))-1|$, hence $d((x,y),(0,0))$ cannot equal $1$. Therefore $(x,y)\in U$.

(2) If $(x_0,y_0)\in U$, then $a and $c. Then $\epsilon:=\min\{x_0-a, b-x_0, y_0-c, d-y_0\}$ is $>0$. Then $d((x_0,y_0),(x,y))<\epsilon$ implies e.g. $|x-x_0|<\epsilon$ and $|y-y_0|<\epsilon$, hence $x>x_0-\epsilon\ge x_0-(x_0-a)=a$ and similarly $x, $y>c$, $y. Therefore $(x,y)\in U$.

(3) If $(x_0,y_0)\in U$ then $x_0\ne0$ and $y_0\ne 0$. Therefore $\epsilon:=\min\{|x_0|,|y_0|\}$ is $>0$. Then $d((x_0,y_0),(x,y))<\epsilon$ implies $|x-x_0|<\epsilon\le|x_0|$, hence $x$ cannot be $0$. Similarly we conclude $y\ne0$. It follows that $xy\ne0$, i.e. $(x,y)\in U$.