A Comparison of the Interior and Closure of a Set in a Topo. Space

A Comparison of the Interior and Closure of a Set in a Topological Space

Recall from The Interior Points of Sets in a Topological Space page that if $(X, \tau)$ is a topological space and $A \subseteq X$ then a point $a \in A$ is said to be an interior point of $A$ if there exists a $U \in \tau$ with $a \in U$ such that:

(1)
\begin{align} \quad a \in U \subseteq A \end{align}

We called the set of all interior points the interior of $A$ and denoted it by $\mathrm{int} (A)$. We also saw that the interior of $A$ is the largest open set contained in $A$, i.e., $\mathrm{int} (A) \subseteq A$.

On The Closure of a Set in a Topological Space page we saw that if $(X, \tau)$ is a topological pace and $A \subseteq X$ then the closure of $A$ denoted $\bar{A}$ is the smallest closed set containing $A$, i.e., $A \subseteq \bar{A}$.

You may have noticed that the interior of $A$ and the closure of $A$ seem dual in terms of their definitions and many results regarding them. Consequentially, we will compare both of these sets below.

A Comparison of the Interior and Closure of a Set

The Interior of $A$, $\mathrm{int} (A)$ The Closure of $A$, $\bar{A}$
The interior of $A$ is the LARGEST OPEN set CONTAINED in $A$ The closure of $A$ is the SMALLEST CLOSED set CONTAINING $A$
$\mathrm{int} (A) \subseteq A$ $A \subseteq \bar{A}$
$A$ is OPEN if and only if $A = \mathrm{int} (A)$ $A$ is CLOSED if and only if $A = \bar{A}$
If $A \subseteq B$ then $\mathrm{int} (A) \subseteq \mathrm{int} (B)$ If $A \subseteq B$ then $\bar{A} \subseteq \bar{B}$
$\mathrm{int} (A) \cup \mathrm{int} (B) \subseteq \mathrm{int} (A \cup B)$ $\bar{A} \cup \bar{B} = \overline{A \cup B}$
$\mathrm{int} (A) \cap \mathrm{int} (B) = \mathrm{int} (A \cap B)$ $\bar{A} \cap \bar{B} \supseteq \overline{A \cap B}$

A good way to remember the inclusion/exclusion in the last two rows is to look at the words "Interior" and Closure.

The intersection of interiors equals the interior of an intersection, and the intersection symbol $\cap$ looks like an "n".

The union of closures equals the closure of a union, and the union system $\cup$ looks like a "u".

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License