-1
$\begingroup$

Let $X$ be a topological space, $A\subset X$ and $B=Fr(A)$.

I have two questions.

  1. How do you prove that if $A$ is open or closed, then $B^\circ=\emptyset$?

  2. Why can this not be proven for a set that is both open and closed?

  • 0
    Just to be clear, what is your definition of boundary?2017-01-09
  • 0
    @Exodd. $ Fr(A)=\overline{A}\cap \overline{(A^c)} $2017-01-09
  • 0
    By your definition, $Fr(X) = Fr(\emptyset) = \emptyset$, so even if $A$ is both open and closed, the interior of $B$ is empty..2017-01-09

1 Answers 1

0

$$(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$$

  • 1
    It’s not necessarily true that $\operatorname{int}\operatorname{cl}A=\operatorname{int}A$: consider the set $A=(0,1)\cup(1,2)$ in $\Bbb R$.2017-01-09