Given any uncountable subset $S$ of the unit interval. Then $S$ clearly has an accumulation point and indeed uncountably many (which might also be a nice exercise). So my question is: Is there an accumulation point, that again lies in $S$?

  • 1
    $\begingroup$ This blog post may be of interest. $\endgroup$ – David Mitra Feb 21 '13 at 12:24
  • $\begingroup$ Others have answered this, but I thought it worth mentioning that even more is true: All but countably many points of $S$ are accumulation points of $S.$ This is part of one version of the Cantor-Bendixson theorem. (A few seconds after writing this, I noticed that the "even more is true" result is in Brian M. Scott's answer.) $\endgroup$ – Dave L. Renfro Feb 21 '13 at 19:11

Yes, every uncountable subset of $\mathbb{R}$ contains at least one of its accumulation points.

Suppose otherwise, that $S \subseteq \mathbb{R}$ is uncountable and contains none of its accumulation points. Then for each $x \in S$ there is an $\epsilon_x > 0$ such that $( x - \epsilon_x , x + \epsilon_x ) \cap S = \{ x \}$. Then there is an $n \in \mathbb{N}$ such that $S^\prime = \{ x \in S : \epsilon_x > \frac 1n \}$ is uncountable. Consider the family $$\{ ( x - \tfrac {1}{2n} , x + \tfrac{1}{2n} ) : x \in S^\prime \}.$$ It can be shown that this is an uncountable family of pairwise disjoint open subsets of $\mathbb{R}$ which contradicts that the countable set $\mathbb{Q}$ is a dense subset of $\mathbb{R}$.


Yes; you can even take it to be a complete accumulation point.

Let $\mathscr{B}$ be any countable base for the topology of $\Bbb R$, e.g., the set of open intervals with rational endpoints. Let $$C=\{x\in S:\exists B\in\mathscr{B}(x\in B\text{ and }B\cap S\text{ is countable})\}$$ be the set of points of $S$ having an open nbhd containing only countably many points of $S$. For each $x\in C$ let $B_x\in\mathscr{B}$ be such that $x\in B_x$ and $B\cap S$ is countable, and let $\mathscr{B}_0=\{B_x:x\in C\}$. Then $\mathscr{B}_0$ is countable, so $$C=\bigcup_{B\in\mathscr{B}_0}(B\cap S)$$ is countable as well, and every point of $S\setminus C$ is a complete accumulation point of $S$.

  • $\begingroup$ You seem to use $C$ to refer to two different sets, although the meaning is clear. $\endgroup$ – Mark S. Sep 28 '16 at 11:40
  • $\begingroup$ @Mark: It’s the same set in both displayed expressions; the whole point is that the righthand sides of those two expressions are equal. $\endgroup$ – Brian M. Scott Sep 28 '16 at 16:02
  • $\begingroup$ I see what you're saying. I'm not sure why I didn't see that before. $\endgroup$ – Mark S. Sep 28 '16 at 18:09

If any accumulation point of $S$ does not lie in $S$, then $S$ is discrete; so for any $s \in S$, there is an interval $I_s$ of length $\ell_s>0$ such that $S \cap I_s = \{s\}$. Moreover, $\displaystyle \sum\limits_{s \in S} \ell_s \leq \ell g([0,1])=1$. So $S$ is at most countable. Indeed, since $\displaystyle \sum\limits_{s \in S} \ell_s$ is finite, then $\{s \in S : \ell_s > 1/n \}$ is finite, hence $\displaystyle S= \{s \in S : \ell_s >0 \}=\bigcup\limits_{n >0} \{s \in S : \ell_s > 1/n \}$ is at most countable.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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