For any set $A\subseteq\mathbb{R}^n$, we have $ \overline{A^{\circ}} = \overline{\overline{A^{\circ}}^{\,\circ}}$ I have to prove that for any set $A\subseteq\mathbb{R}^n$,
$$ \large\overline{A^{\circ}} = \overline{\overline{A^{\circ}}^{\,\circ}} $$
This is what I got so far: for any set $A$ I'm using these definitions:
Interior:
$$\exists r > 0\text{ such that }\{x \mid B_r(x) \subseteq A\}$$
Closure:
$$\{x \in \mathbb{R}\mid \exists (X_n) \subseteq A \land X_n \rightarrow x\}$$
Now what I don't get is, I think the right part of the equal, because, I have the interior of $A$, that is all the points that have a ball that is included in $A$, using this I know using the definition of closure that I can pick a sequence that converges to them (using $r$ and decreasing it with $\frac{r}{n}$,  $n\to\infty$ for example). But then I don't know how to take the interior of that, I mean what I'm getting at, is that the closure of the interior is the interior, and then the right part of the equation is trivial, as it is the same (m the interior of the interior is the interior, and its closure its the interior)
I think I'm missing something..
 A: First, we can rephrase the question: Prove that for an open set $U\subseteq\mathbb{R}^2$,
$$\overline{U}=\overline{\overline{U}^{\circ}}$$
For the direction $\subseteq$, we have $U\subseteq \overline{U}^{\circ}$ because the RHS is the maximal open set that is contained is $\overline{U}$. Since taking a closure is monotone (if $A\subseteq B$ then $\overline{A}\subseteq \overline{B}$), we get $\overline{U}\subseteq\overline{\overline{U}^{\circ}}$.
For the direction $\supseteq$, note that for any set $A$ we have $\overline{A}=\overline{\overline{A}}$. Since $\overline{U}\supseteq\overline{U}^{\circ}$ we get $\overline{U}=\overline{\overline{U}}\supseteq\overline{\overline{U}^{\circ}}$.
A: Interestingly, you can solve this problem by appealing to only a few abstract properties of interior and closure. See this article for more information. Here are three conditions satisfied by the closure operation:


*

*$\mathrm{cl}(S) \supset S$ for all $S \subset \mathbb{R}^n$ (sets get bigger when you close them)

*$\mathrm{cl} (\mathrm{cl} (S)) = \mathrm{cl} (S)$ for all $S \subset \mathbb{R}^n$ (the closure of a closed set is itself)

*If $S \subset T \subset \mathbb{R}^n$, then $\mathrm{cl}( S) \subset \mathrm{cl}( T)$ (closure preserves containment)


The situation for interiors is nearly the same:


*

*$\mathrm{int}(S) \subset S$ for all $S \subset \mathbb{R}^n$ (sets get smaller when you take their interiors)

*$\mathrm{int} (\mathrm{int} (S)) = \mathrm{int} (S)$ for all $S \subset \mathbb{R}^n$ (the interior of an open set is itself)

*If $S \subset T \subset \mathbb{R}^n$, then $\mathrm{int}( S) \subset \mathrm{int}( T)$ (taking interiors preserves containment)


Now, let $S \subset \mathbb{R}^n$ be given. We have $\mathrm{cl} (\mathrm{int}(S)) \supset \mathrm{int}(S)$. Now take the interior of both sides to get $\mathrm{int}(\mathrm{cl}(\mathrm{int}(S))) \supset \mathrm{int}(\mathrm{int}(S)) = \mathrm{int}(S)$. Taking the closure on both sides leads to
$$ \mathrm{cl}(\mathrm{int}(\mathrm{cl}(\mathrm{int}(S)))) \supset \mathrm{cl} (\mathrm{int}(S))$$
which is one half what we set out to prove. I encourage you to try to deduce the reverse inclusion using similar methods beginning from $\mathrm{int}(\mathrm{cl}(\mathrm{int}(S))) \subset \mathrm{cl}(\mathrm{int}(S))$. 
A: I like to take $ U = \operatorname{cl}(\operatorname{int}(A))$. Then $U$ is a closed set in $\mathbb{R}^n$.
So we have to prove $ U = \operatorname{cl}(\operatorname{int}(U))$.
$\operatorname{int}(U) \subset U $
As $U$ is closed and closer is smallest closed set containing $\operatorname{int}(U)$, we say $\operatorname{cl}(\operatorname{int}(U)) \subset U$.
Take any point $a \in U$. 
If $a \in \operatorname{int} (U)$, trivially $a \in \operatorname{cl}(\operatorname{int} (U))$.
If $a \in \operatorname{bd}(U)$, $a$ shall be a limit point of $\operatorname{cl}(\operatorname{int}(U))$. 
In any case $a \in \operatorname{cl}(\operatorname{int}(U))$.
Thus $U = \operatorname{cl}(\operatorname{int}(A))$.
Now replace $U$ by $\operatorname{cl}(\operatorname{int}(A))$, and get the result. 
Replace notations only.
A: Observation 1: for $U$ open, $\bar{U}^o$ is the largest open set contained in $\bar{U}$, so since $\bar{U}$ contains the open set $U$ we have $U \subset \bar{U}^o$. Observation 2: for $C$ closed, $\bar{C^o}$ is the smallest closed set containing $C^o$, so since the closed set $C$ contains $C^o$ we have $C\supset \bar{C^o}$. 
Apply observation 1 to $U=A^o$ to get $A^o\subset \bar{A^o}^o$, and take closure on both sides to get $\bar{A^o}\subset \bar{\bar{A^o}^o}$. Now apply observation 2 to $C=\bar{A^o}$ to get the other inclusion.
