3
$\begingroup$

I have having trouble with some simple problems involving the closure of sets. From my understanding the closure of a set is a set that contains all possible limits

a) $\{ (x,y) \in \mathbb{R^2} : xy< 1 \}$

b) $\{ (x,\sin(\frac{1}{x}): x > 0 \}$

c) $\{(x,y) \in \mathbb{Q^2}: x^2 + y^2 < 1 \}$

Here are is my attempt

a) $\{ (x,y) \in \mathbb{R^2} : xy \leq 1 \}$

b) Just itself? Not sure if this is even remotely meaningful

c) I think this is just the unit disk, not just why being members of only rationals makes any difference

3 Answers 3

1

I like the definition of closure as the smallest closed set containing the set.

a) You are correct.

b) You should plot this, particularly near $x=0$ where $\sin \frac{1}{x}$ oscillates wildly. The points $(\frac{1}{(2n+1) \frac{\pi}{2}}, (-1)^n) $ are in the set and $\sin$ is continuous, hence you have the closure $\{ (x,\sin(\frac{1}{x}): x > 0 \} \cup \{0\} \times [-1,1]$

c) Any closed set which contains the open disk must also contain the edge of the disk. Hence any closed set containing the disk contains the closed set $\{(x,y) \in \mathbb{R}^2 | x^2+y^2 \leq 1\}$, hence this is the closure.

  • 0
    Yes, perhaps I should have written it as $\{(0,y) | |y| \leq 1 \}$.2012-10-22
1

You've got (a) and (c) (provided we construe "unit disk" as "closed unit disk").

For (b), notice that every point of the form $(0,y)$ for $|y|\le 1$ is in the closure. The function $x\mapsto \sin(1/x)$ oscillates infinitely many times between $-1$ and $1$ for $x$ between $0$ and any positive number. So, for example, you get an infinite sequence $x_1,x_2,x_3,\ldots$ approaching $0$ such that $\sin x_1=\sin x_2=\sin x_3=\cdots = 3/4$. So $(0,3/4)$ is in the closure.

1

The closure of a set $A$ is $A$ together with any limit points of $A$ that aren’t already in $A$. If $A$ is the set in (a), the points on the hyperbola $xy=1$ are indeed the only limit points that aren’t already in $A$, so your answer is correct.

In (c) the closure of $A$ is indeed the closed unit disk: not only are the points on the unit circle limit points of $A$, but because the rationals are dense in the reals, every point inside the unit circle is a limit point of $A$ as well.

The set in (b) is just the graph of the function $f(x)=\sin\frac1x$ over the domain $x>0$. There’s a picture of it here; see how it squeezes towards the $y$-axis, or at any rate the part of the $y$-axis between $y=-1$ and $y=1$? That should suggest a bunch of limit points of $A$ that aren’t already in $A$.