Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

EDIT: Definition added:

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$.

share|improve this question
    
How are you defining "limit point" and "isolated point"? –  Nate Eldredge Oct 5 '12 at 22:00
add comment

2 Answers 2

up vote 2 down vote accepted

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$?

share|improve this answer
    
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
add comment

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.

share|improve this answer
    
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.