[Math] Are all the points in a nonempty open set limit points

general-topologyreal-analysis

My conjecture is that given any open set $A\subseteq\mathbb{R}$, all points $a\in A$ are limit points.

Prove, or if untrue, disprove by constructing a counterexample.

A few definitions for clarification:

  • A set $A$ is open iff for every point $a\in A$, there exists a $\delta$ such that the neighborhood $\left(a-\delta,a+\delta\right)$ surrounding $a$ is completely contained within (is a subset of) $A$.

  • A point $x$ is a limit point of a set $A$ iff given any $\varepsilon$, all neighborhoods $\left(x-\varepsilon,x+\varepsilon\right)$ intersect the set $A$ in some point other than $x$. Note that $x$ need not be a point in $A$.

Best Answer

Let $a$ be a point in $A$. Since $A$ is open, there is a number $\delta > 0$ such that $(a - \delta, a + \delta) \subset A$.

We now show $a$ is a limit point of $A$. To that end, let $\epsilon > 0$ be given. We may assume, without loss of generality, that $\epsilon < \delta$. Now, $(a - \epsilon, a + \epsilon) \subset (a - \delta, a + \delta) \subset A$, so $(a - \epsilon, a + \epsilon) \cap A = (a - \epsilon, a + \epsilon)$. Since $(a - \epsilon, a + \epsilon)$ intersects $A$ in a point other than $a$, we conclude $a$ is a limit point.