Section Open Sets
Open sets are vitally important in topology. In fact, we will see later that every topological space is completely defined by its open sets. Recall that an open ball is an open set. There are other subsets that every metric space contains, and we might ask if they are open or not.
Activity 8.2.
Let \(X\) be a metric space.
(a)
Is \(\emptyset\) an open set in \(X\text{?}\) Explain.
(b)
Is \(X\) an open set in \(X\text{?}\) Explain.
We have defined open balls, and open balls are the canonical examples of open sets. In fact, as the following theorem shows, the open balls determine the open sets.
Theorem 8.3.
Let \(X\) be a metric space. A subset \(O\) of \(X\) is open if and only if \(O\) is a union of open balls.
Proof.
Let \(X\) be a metric space and \(O\) a subset of \(X\text{.}\) To prove this biconditional statement we first assume that \(O\) is an open set and demonstrate that \(O\) is a union of open balls. Let \(a \in O\text{.}\) Since \(O\) is open, there exists \(\epsilon_a \gt 0\) so that \(B(a, \epsilon_a) \subseteq O\text{.}\) We will show that
\begin{equation*}
O = \bigcup_{a \in O} B(a, \epsilon_a)\text{.}
\end{equation*}
By the way we chose \(\epsilon_a\text{,}\) \(B(a, \epsilon_a) \subseteq O\) for every \(a \in O\text{.}\) So \(\bigcup_{a \in O} B(a, \epsilon_a) \subseteq O\text{.}\) For the reverse containment, let \(x \in O\text{.}\) Then \(x \in B(x, \epsilon_x)\) and so \(x \in \bigcup_{a \in O} B(a, \epsilon_a)\text{.}\) Thus, \(O \subseteq \bigcup_{a \in O} B(a, \epsilon_a)\text{.}\) We conclude that \(O\) is a union of open balls if \(O\) is an open set.
The proof of the converse is left for the following activity.
Activity 8.3.
Let
\(X\) be a metric space. To prove the remaining implication of
Theorem 8.3, assume that a subset
\(O\) of
\(X\) is a union of open balls.
(a)
What do we need to show to prove that \(O\) is an open set?
(b)
Let \(x \in O\text{.}\) Why is there an open ball \(B\) in \(O\) that contains \(x\text{?}\)
(c)
Complete the proof to show that \(O\) is an open set.
Theorem 8.3 tells us that every open set is made up of open balls, so the open balls generate all open sets much like a basis of a vector space in linear algebra generates all of the elements of the vector space. For this reason we call the set of open balls in a metric space a
basis for the open sets of the metric space. We will discuss this idea in more detail in a subsequent section.