[Math] Prove that $a$ is a cluster point of $E$ $\iff$ for each $r>0$, $E\cap B_r(a)$ \ $\{a\}$ is nonempty.

analysiscalculusgeneral-topologyreal-analysisself-learning

Question:

Let $E$ be a subset of $\Bbb R^n$

Prove that $a$ is a cluster point of $E$ $\iff$ for each $r>0$, $E\cap B_r(a)$ \ $\{a\}$ is nonempty.


definiton:

A point $a \in \Bbb R^n$ is cluster point of $E$ if $E\cap B_r(a)$ contains infinitely manypoints for every $r>0$


Please can someone prove this? Thanks.

Best Answer

Hint Just one direction needs a proof

$\Leftarrow$ by contraposition: suppose that $E\cap B_r(a)\setminus\{a\}$ contains finitely many points $x_1,\ldots,x_s$ for some $r>0$ and let $d=\min_{i}d(a,x_i)$. Prove that $E\cap B_{d/2}(a)\setminus\{a\}$ is the empty set.