# A point in subset $A$of metric space is either limit point or isolated point.

Let $A$ be a subset of a metric space. $A'$ be the set of limit points of $A$ and $A^i$ be the set of isolated points of $A$.

Show $A \subset A' \cup A^i$.

The picture on my mind is that I draw a disk plus a point outside of the disk, call it a set $A$, if the point falls on the disk, it is automatically a limit point of $A$. If the point is the point that lies outside of the disk, it is of course an isolated point. But I got trouble formalizing it in a rigorous way. Any hint?

Limit Point: $A \subset X$, $X$ a metric space. $b \in X$ is a limit point if every neighborhood (topology sense) of $b$ contains a point of $A$ different from $b$.

Isolated point: $b$ is an isolated point of $A$ if there exists a neighborhood around $b$ that contains no point from $A$.

• How are you defining "limit point" and "isolated point"? – Nate Eldredge Oct 5 '12 at 22:00
• If you look closely you can see that the definitions are just the negation of each other – Robson Aug 28 '18 at 0:56

This is just a matter of using the definitions of isolated point and limit point, so it’s hard to give a useful hint without doing the problem, but I’ll try.

Let $x\in A$; if $x\in A^i$, we’re done with $x$, so suppose that $x\notin A^i$. This means that there is no open set $U$ in $X$ such that $U\cap A=\{x\}$. In other words, if $U$ is open, and $x\in U$, then $U$ also contains at least one other point of $A$. What does that tell you about $x$?

• It must imply that for every neighborhood around $x$ there must be a point in $A$, since if it is not the case, there will exist a neighborhood that contains no point of $A$. $x$ would be an isolated point and contradicts $x \not \in A^i$ – Daniel Oct 5 '12 at 22:18
• @jsk: Exactly. And that’s the definition of a limit point: every nbhd of it contains another point of the set. – Brian M. Scott Oct 5 '12 at 22:19
• Merci Beaucoup! – Daniel Oct 5 '12 at 22:20
• @jsk: You’re welcome! – Brian M. Scott Oct 5 '12 at 22:23

A point in $A$ is either isolated, or it is not. You have to show that if it is not isolated, it is a limitpoint. Let $x\in A$ be a non-isolated point. Then $\forall \varepsilon > 0 \exists y \in A : |x-y| < \varepsilon$. Now try to construct a sequence that converges to x.

• Sequence, not series. – Brian M. Scott Oct 5 '12 at 22:03
• Fixed, thanks. German here, sorry. – Stefan Oct 5 '12 at 22:04
• Kein Problem! I always want to translate Reihe as sequence. – Brian M. Scott Oct 5 '12 at 22:18