The Interior of a Set of Complex Numbers

The Interior of a Set of Complex Numbers

Definition: Let $A$ be a set of complex numbers. The Interior of $A$, denoted $\mathrm{int} (A)$, is defined to be the largest open set contained in $A$.

By "largest open set contained in $A$" we mean that any other open set contained in $A$ is also contained in $\mathrm{int} (A)$.

We will now prove some properties about the interior of a set of complex numbers.

Theorem 1: Let $A$ be a set of complex numbers. Then $A$ is open if and only if $A = \mathrm{int} (A)$.
  • Proof: $\Rightarrow$ Suppose that $A$ is open. Then clearly the largest open set contained in $A$ is $A$ itself, so $A = \mathrm{int} (A)$.
  • $\Leftarrow$ Suppose that $A = \mathrm{int}(A)$. By definition, $\mathrm{int}(A)$ is the largest open set contained in $A$, and so $\mathrm{int}(A) = A$ is open. $\blacksquare$
Theorem 2: Let $A$ and $B$ be sets of complex numbers. Then:
a) $\mathrm{int}(A) \cup \mathrm{int}(B) \subseteq \mathrm{int}(A \cup B)$.
b) $\mathrm{int}(A) \cap \mathrm{int}(B) = \mathrm{int}(A \cap B)$.

Observe that $\mathrm{int}(A \cup B)$ is not contained in $\mathrm{int}(A) \cup \mathrm{int}(B)$ in general. For example, let $A = (0, 1]$ and let $B = (1, 2]$. Then $\mathrm{int}(A) = (0, 1)$ and $\mathrm{int}(B) = (1, 2)$. So $\mathrm{int}(A) \cup \mathrm{int}(B) = (0, 1) \cup (1, 2)$.

Now $A \cup B = (0, 2]$ and $\mathrm{int}(A \cup B) = (0, 2)$.

Clearly $\mathrm{int}(A) \cup \mathrm{int}(B) \not \supseteq \mathrm{int}(A \cup B)$.

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