Let $X$ be a topological space, $A\subset X$ and $B=Fr(A)$.
I have two questions.
How do you prove that if $A$ is open or closed, then $B^\circ=\emptyset$?
Why can this not be proven for a set that is both open and closed?
Let $X$ be a topological space, $A\subset X$ and $B=Fr(A)$.
I have two questions.
How do you prove that if $A$ is open or closed, then $B^\circ=\emptyset$?
Why can this not be proven for a set that is both open and closed?
$$(Fr(A))^\circ=(\overline{A}\cap \overline{A^c})^\circ=(\overline{A})^\circ\cap (\overline{A^c})^\circ=A^\circ\cap (A^c)^\circ=A^\circ\cap (\overline{A})^c=\emptyset$$