Skip to main content

Section Continuity and Closed 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}(O)\) is open for every open set \(O\) in \(Y\text{.}\) We might conjecture that a similar result holds for closed sets. Since closed sets are complements of open sets, to make this connection we will want to know how \(X \setminus f^{-1}(B)\) is related to \(f^{-1}(Y \setminus B)\) for \(B \subset Y\text{.}\)

Activity 10.4.

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

(a)

Let \(x \in X \setminus f^{-1}(B)\text{.}\)
(i)
What does this tell us about \(f(x)\text{?}\)
(ii)
What can we conclude about the relationship between \(X \setminus f^{-1}(B)\) and \(f^{-1}(Y \setminus B)\text{?}\)

(b)

Let \(x \in f^{-1}(Y \setminus B)\text{.}\)
(i)
What does this tell us about \(f(x)\text{?}\)
(ii)
What can we conclude about the relationship between \(X \setminus f^{-1}(B)\) and \(f^{-1}(Y \setminus B)\text{?}\)

(c)

What is the relationship between \(X \setminus f^{-1}(B)\) and \(f^{-1}(Y \setminus B)\text{?}\)
Now we can consider the issue of continuity and closed sets.

Activity 10.5.

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

(a)

Assume that \(f\) is continuous and that \(C\) is a closed set in \(Y\text{.}\) How does the result of Activity 10.4 tell us that \(f^{-1}(C)\) is closed in \(X\text{?}\)

(b)

Now assume that \(f^{-1}(C)\) is closed in \(X\) whenever \(C\) is closed in \(Y\text{.}\) How does the result of Activity 10.4 tell us that \(f\) is a continuous function?
The result of Activity 10.5 is summarized in the following theorem.