1
$\begingroup$

My question is somehow related to Closure of the interior of another closure

However, I go a bit further. I have a closed set $X\subseteq \mathbb R^2$ and $Y:=\operatorname{cl}\operatorname{int} X$.

I would like to know whether $Y=\operatorname{cl}\operatorname{int} Y$.

(Here, $\operatorname{cl}$ is the closure and $\operatorname{int}$ is the interior.)

2 Answers 2

4

Let $(X, τ)$ be a topological space. We have the following:
a.) If $F$ is closed, then $\operatorname{int}(\operatorname{cl}(\operatorname{int}(F)))=\operatorname{int}(F)$.
b.) From (a) you can deduce that for any open set $U$, $\operatorname{cl}(\operatorname{int}(\operatorname{cl}(U)))=\operatorname{cl}(U)$
if you set $U:=\operatorname{int}(X)$ you have the desired result.

$\operatorname{Int}(\operatorname{Cl}\operatorname{Int}X) ⊂ \operatorname{Cl}\operatorname{Int}X \Rightarrow \operatorname{Cl}(\operatorname{Int}\operatorname{Cl}\operatorname{Int}X) ⊂ \operatorname{Cl}(\operatorname{Cl}\operatorname{Int}X) = \operatorname{Cl}\operatorname{Int}X,$
$\operatorname{Cl}(\operatorname{Int}X) ⊃ \operatorname{Int}X \Rightarrow \operatorname{Cl}\operatorname{Int}(\operatorname{Cl}\operatorname{Int}X) ⊃ \operatorname{Cl}\operatorname{Int}(\operatorname{Int}X) = \operatorname{Cl}\operatorname{Int}X$

  • 0
    @tohecz Yeah that sounds good.2012-12-27
1

Suppose $U$ is open, ie $U=U^\circ$. We have $U \subset \overline{U}$ and $\overline{U}^\circ \subset \overline{U}$. Since $U$ is open and contained in $\overline{U}$, we have $U \subset \overline{U}^\circ \subset \overline{U}$. Taking closure of both sides shows $\overline{\overline{U}^\circ} = \overline{U}$.

Now let $U = X^\circ$, $Y = \overline{U}$. Then we have $Y = \overline{Y^\circ}$.

  • 0
    I misread the question earlier. I have answered the question as asked now!2012-12-28