Skip to main content

Section Continuity and Open Sets

Recall that we showed that a function \(f\) from a metric space \((X,d_X)\) to a metric space \((Y,d_Y)\) is continuous if and only if \(f^{-1}(N)\) is a neighborhood of \(a \in X\) whenever \(N\) is a neighborhood of \(f(a)\) in \(Y\text{.}\) We can now provide another characterization of continuous functions in terms of open sets. This is the characterization that will serve as our definition of continuity in topological spaces.

Proof.

Let \((X, d_X)\) and \((Y,d_Y)\) be metric spaces, and let \(f : X \to Y\) be a function. To prove this biconditional statement we need to prove both implications. First assume that \(f\) is a continuous function. We must show that \(f^{-1}(O)\) is an open set in \(X\) for every open set \(O\) in \(Y\text{.}\) So let \(O\) be an open set in \(Y\text{.}\) To demonstrate that \(f^{-1}(O)\) is open in \(X\text{,}\) we will show that \(f^{-1}(O)\) is a neighborhood of each of its points. Let \(a \in f^{-1}(O)\text{.}\) Then \(f(a) \in O\text{.}\) Now \(O\) is an open set, so there is an open ball \(B(f(a), \epsilon)\) around \(f(a)\) that is entirely contained in \(O\text{.}\) Since \(B(f(a), \epsilon)\) is a neighborhood of \(f(a)\text{,}\) we know that \(f^{-1}(B(f(a), \epsilon))\) is a neighborhood of \(a\text{.}\) Thus, there exists \(\delta \gt 0\) so that \(B(a, \delta) \subseteq f^{-1}(B(f(a), \epsilon))\text{.}\) Now \(f(B(a, \delta)) \subseteq B(f(a), \epsilon) \subseteq O\text{,}\) and so \(B(a, \delta) \subseteq f^{-1}(O)\text{.}\) We conclude that \(f^{-1}(O)\) is a neighborhood of each of its points and is therefore an open set in \(X\text{.}\)
The proof of the reverse implication is left for the next activity.

Activity 8.5.

Let \(f\) be a function from a metric space \((X,d_X)\) to a metric space \((Y,d_Y)\text{.}\)

(a)

What assumption do we make to prove the remaining implication of Theorem 8.5? What do we need to demonstrate to prove the conclusion?

(b)

Let \(a \in X\text{,}\) and let \(N\) be a neighborhood of \(f(a)\) in \(Y\text{.}\) Why does there exist an \(\epsilon \gt 0\) so that \(B(f(a), \epsilon) \subseteq N\text{.}\)

(c)

What does our hypothesis tell us about \(f^{-1}(B(f(a), \epsilon))\) in \(X\text{?}\)

(d)

Why is \(f^{-1}(N)\) a neighborhood of \(a\text{?}\) How does this show that \(f\) is a continuous function?
Recall that every open set is a union of open balls, so we can simplify proofs of continuous functions in metric spaces by working only with open balls instead of arbitrary open sets. The next activity provides the details.

Activity 8.6.

In this activity we prove the following corollary to Theorem 8.5.
To set up the proof, let \((X,d_X)\) and \((Y,d_Y)\) be metric spaces, and let \(f: X \to Y\) be a function.

(a)

Since the corollary is a biconditional statement, we need to prove both implications. First, assume that \(f\) is continuous. Use Theorem 8.5 to explain why \(f^{-1}(B)\) is open in \(X\) whenever \(B\) is an open ball in \(Y\text{.}\)

(b)

For the remaining implication, assume that \(f^{-1}(B)\) is an open set in \(X\) for any open ball \(B\) in \(Y\text{.}\) To show that \(f\) is a continuous function, we will use Theorem 8.5 and show that \(f^{-1}(O)\) is open in \(X\) whenever \(O\) is an open set in \(Y\text{.}\) So let \(O\) be an open set in \(Y\text{.}\)
(ii)
Recall that Lemma 2.11 tells us that if \(\{B_{\beta}\}\) is a collection of subsets of \(Y\) for \(\beta\) in some indexing set \(J\text{,}\) then
\begin{equation*} f^{-1}\left(\bigcup_{\beta \in J} B_{\beta}\right) = \bigcup_{\beta \in J} f^{-1}(B_{\beta})\text{.} \end{equation*}
Use Lemma 2.11 to show that \(f^{-1}(O)\) is open in \(X\) and conclude that \(f\) is a continuous function.

Example 8.7.

As an example of Corollary 8.6, we prove that the square function from \(\R\) to \(\R\) is a continuous function. Let \(X = \R\) with the Euclidean metric \(d_E\text{,}\) and let \(f: X \to X\) be defined by \(f(x) = x^2\text{.}\) We will show that \(f\) is a continuous function by verifying that \(f^{-1}(B)\) is open in \(X\) for every open ball \(B\) in \(X\text{.}\) Let \(B = B(b,\beta) = (b-\beta, b+\beta)\) be an open ball in \(X\text{.}\) Let \(B' = B(b,\beta) \cap (\R^+ \cup \{0\})\text{.}\) We consider cases.
  • Suppose that \(B' = \emptyset\text{.}\) Then \(f^{-1}(B) = \emptyset\) and \(f^{-1}(B)\) is open in \(X\text{.}\)
  • Suppose that \(B' = [0, b+\beta)\text{.}\) Then \(f^{-1}(B) = (-\sqrt{b+\beta}, \sqrt{b+\beta})\) and \(f^{-1}(B)\) is open in \(X\text{.}\)
  • The final case is \(B' = (b-\beta, b+\beta)\text{.}\) Then
    \begin{equation*} f^{-1}(B) = (-\sqrt{b+\beta}, -\sqrt{b-\beta}) \cup (\sqrt{b-\beta}, \sqrt{b+\beta}) \end{equation*}
    and \(f^{-1}(B)\) is open in \(X\text{.}\)
Since the inverse image of every open ball is an open set, we conclude that \(f\) is a continuous function.