0
$\begingroup$

In Euclidean Space $R^2$, A : {(x,y) ∈ $Q^2 : x^2 + y^2 < 1$ }. I'm trying to prove that the closure of A is $\overline A$ : {(x,y) ∈ $R^2 : x^2 + y^2 \le 1$ }. In other words I have to prove that any nbd of any point in $\overline A$ contains a point in A. Any help?

$\endgroup$
5
  • 1
    $\begingroup$ What defintion of a closed set can you use? $\endgroup$
    – mag
    Commented Oct 15, 2021 at 14:51
  • $\begingroup$ A is not closed, can u elaborate? thanks $\endgroup$
    – mehrdad
    Commented Oct 15, 2021 at 14:53
  • $\begingroup$ Notice that if $x$ is in $A$, clearly any neighborhood of $A$ contains a point in $A$. Now what happens if you're on the boundary? Take a point $(x,y)$ such that $x^2+y^2=1$. What does a neighborhood of $(x,y)$ look like? Does it contain a point in $A$? $\endgroup$
    – Saegusa
    Commented Oct 15, 2021 at 14:54
  • $\begingroup$ @Saegusa , well first you have to take another thing into account, if x is not on the boundary and is not in A, Secondly i know how it looks like, and well aware of the geometric interpretation. but i can't seem to right an exact proof. $\endgroup$
    – mehrdad
    Commented Oct 15, 2021 at 14:57
  • $\begingroup$ You might want to use the density of $\mathbb{Q}$ in $\mathbb{R}$ and the sequential characterization of closure for subsets of the Euclidean space $\mathbb{R}^2$. $\endgroup$
    – Theleb
    Commented Oct 15, 2021 at 15:01

1 Answer 1

0
$\begingroup$

For $x \in \mathbb{R}^2, r > 0$, set $B(x, r) = \{y \in \mathbb{R}^2 : \lVert y - x \rVert < r\}$, the open ball of radius $r$ centered at $x$.

Using the fact that $\mathbb{Q}$ is dense in $\mathbb{R}$ to prove that $\mathbb{Q}^2$ is dense in $\mathbb{R}^2$, i.e. $\overline{\mathbb{Q}^2} = \mathbb{R}^2$. Also prove that $\overline{B(0, 1)} = \{x \in \mathbb{R}^2 : \lVert x \rVert \leq 1\}$ (this is true in any normed vector space, not just $\mathbb{R}^2$).

You want to show that $\overline{B(0, 1) \cap \mathbb{Q}^2} = \overline{B(0, 1)}$. It suffices to show that $\overline{B(0, 1) \cap \mathbb{Q}^2} \supset B(0, 1)$. But this is easy to show using the density of $\mathbb{Q}^2$ in $\mathbb{R}^2$.

$\endgroup$
3
  • $\begingroup$ i don't understand what B(0,1) stands for $\endgroup$
    – mehrdad
    Commented Oct 16, 2021 at 4:27
  • $\begingroup$ @mehrdad I added the definition. $\endgroup$
    – Mason
    Commented Oct 16, 2021 at 19:35
  • $\begingroup$ thank you Mason for the edit, but i still seem to lack some clarity,since i'm new to analysis. i proved it using density of Q in R. i think i should be deleting my post. $\endgroup$
    – mehrdad
    Commented Oct 24, 2021 at 17:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .