The question asks:
Do $E$ and $\bar E$ always have same interiors?
Here, $\bar E$ denotes the closure of $E$. That is, $\bar E = E \cup E'$, where $E'$ denotes the set of limit points of $E$. Also, let $E^\circ$ denote the interior of $E$.
My attempt at proof:
Answer. Yes
Clearly, $E^\circ \subseteq (\bar E)^\circ$. Therefore, we need to prove only that $(\bar E)^\circ \subseteq E^\circ$.
If $(\bar E)^\circ$ is empty, then $E^\circ$ is also empty. Therefore, assume that $(\bar E)^\circ$ is non-empty.
Consider a point $p \in (\overline E)^\circ$.
For some $r > 0$, we have that for any $0 < r' \le r$, $N_{r'}(p) \subseteq \bar E$. Here, $N_a(p)$ denotes the (open) neighborhood of $p$.
We need to show that $p \in E^\circ$.
That is, there exists some $\rho > 0$ such that $N_\rho(p) \subseteq E$.
Therefore, assume for contradiction that for all $\rho > 0$, there exists a point $p' \in N_\rho(p)$ such that $p' \not \in E$.
In particular, for any $0 < \rho \le r$, there exists a $p' \in N_\rho(p)$, but $p' \not \in E$.
Therefore, $N_\rho(p) \subseteq E'$. In particular, $p \in E'$, i.e. $p$ is a limit point of $E'$.
However, this is a contradiction because for every neighborhood of a limit point of $E$ must contain a point of $E$.
But the result is not true as shown by the following example.
$E = \mathbb Q \subset \mathbb R$. Here, $\mathbb Q^\circ = \emptyset$, but $\bar{\mathbb{Q}} = \mathbb R$.
So what is wrong with my proof? I thought for a while (even considering the same example!), and I can't find my mistake.
The second sentence does not follow. You know that there exists some point $p'\in N_\rho(p)$ which is not in $E$, but that doesn't mean every point of $N_\rho(p)$ is not in $E$, which is what $N_\rho(p) \subseteq E'$ says. Maybe some points of $N_\rho(p)$ are in $E$ and other points are not. Indeed, this is exactly what happens in the case $E=\mathbb{Q}$: any open ball contains both points of $\mathbb{Q}$ and points which are not in $\mathbb{Q}$.