1
$\begingroup$

First of all, sorry for the unspecific title, but can't think of a better one..

Here's an argument.

Let $F$ be a set in a metric space $X$ and $A$ be the set of all isolated points of $F$. Then, $\overline F \setminus A$ is closed and is the set of all limit points of $F$. Since $F\setminus A \subset \overline F \setminus A$, $\overline {F\setminus A} \subset \overline F \setminus A$.

Now, fix $x\in \overline F \setminus A$. Suppose $x\notin \overline {F\setminus A}$. Then there exists $r>0$ such that $B(x,r)\cap (F\setminus A)\setminus \{x\} = \emptyset$. Since $x\notin F\setminus A$, $B(x,r)\cap (F\setminus A) = \emptyset$.

Since $x\in \overline F \setminus A$, $x$ is a limit point of $F$. Thus, $B(x,r)\cap F ≠ \emptyset$. Thus, $B(x,r)\cap F \subset A$ hence $x\in A$, which is a contradiction. Thus $\overline F \setminus A \subset \overline {F\setminus A}$.

Consequently, $\overline F \setminus A = \overline {F\setminus A}$. Q.E.D.

Consider a set $F=\{1/m \in \mathbb{R} | m \in \mathbb{N}\}$. This shows equality does not hold. Where in the argument is wrong and what kind of constraint should I mention?

  • 0
    "Now fix $x \in \overline F \backslash A$. Suppose $x \notin \overline{F \backslash A}$. Then there exists r > 0 such that $B(x,r) \cap (F \backslash A) = \varnothing$." In other words, you don't need to remove $x$ from there. I don't know why you do it in two steps. The set $\overline E$ is often defined as \{ x \in X \, | \, \forall r > 0, \quad B(x,r) \cap E \neq \varnothing \}, so the negation of that is not a two-step thing. But if you have chosen another definition it's fine too.2012-09-16

1 Answers 1

1

Your argument goes wrong at

"Thus, $B(x,r) \cap F \subset A$, hence $x \in A$, which is a contradiction."

Why would $x$ need to belong to $A$? Because it belongs to $B(x,r) \cap F$? I don't see why it would. Sure, $x$ belongs to the ball, but you've only shown that the intersection $B(x,r) \cap F$ was non-empty, not that it contained $x$. It is precisely what goes wrong in your example with $\{ 1/m \}$ ; you assume in the proof that $x \in \overline F \backslash A$, but that does not imply anywhere that $x \in F$. $0$ is precisely one of those limit points that are not in $F$.

If you don't see my point, notice that $0 \notin A$ in your example, but all the other assumptions you make (beginning with $x = 0$) work.

Hope that helps,