Skip to main content

Section Continuity and Neighborhoods

We can define continuity now in terms of neighborhoods instead of using metrics. The advantage here is that this idea does not explicitly depend on the existence of a metric, so we will be able to adopt this concept of continuity for arbitrary topological spaces.
Recall that a function \(f\) from a metric space \((X, d_X)\) to a metric space \((Y, d_Y)\) is continuous at \(a \in X\) if, for any \(\epsilon \gt 0\) there exists \(\delta \gt 0\) so that \(d_X(x,a) \lt \delta\) implies \(d_Y(f(x),f(a)) \lt \epsilon\text{.}\) We can interpret this definition of continuity to say that for every \(\epsilon \gt 0\text{,}\) the inverse image under \(f\) of the open ball \(B(f(a), \epsilon)\) contains the open ball \(B(a, \delta)\) for some \(\delta \gt 0\text{.}\) It is not unreasonable to wonder if the set \(f^{-1}\left(B(f(a), \epsilon)\right)\) itself is an open ball. We investigate this question in the following activity.

Activity 7.3.

Let \(f\) be a function from a metric space \((X, d_X)\) to a metric space \((Y, d_Y)\) that is continuous at \(a \in X\text{.}\) Using the notation from the paragraph above, in this activity we determine if \(f^{-1}\left(B(f(a), \epsilon)\right)\) must equal \(B(a, \delta)\) for some \(\delta\text{.}\)
Define \(f : \R \to \R\) by
\begin{equation*} f(x) = x^2\text{,} \end{equation*}
where we use the Euclidean metric \(d_E\) throughout. Assume that \(f\) is a continuous function. Then \(f\) is continuous at \(x=2\text{.}\)

(a)

What is \(B(f(2), 1)\text{?}\)

(b)

What is \(f^{-1}\left(B(f(2), 1)\right)\text{?}\)

(c)

Is \(f^{-1}\left(B(f(2), 1)\right)\) an open ball centered at \(2\text{?}\) Explain.
The conclusion to be drawn from Activity 7.3 is that if \(f\) is continuous, we can only conclude that the inverse image of \(B(f(a), \epsilon)\) contains an open ball centered at \(a\text{.}\) By definition of continuity, if for every \(\epsilon \gt 0\) there exists a \(\delta \gt 0\) so that the open ball \(f^{-1}\left(B(f(a), \epsilon)\right)\) contains \(B(a, \delta)\text{,}\) then \(f\) is continuous at \(a\text{.}\) We summarize this in the next theorem.
We can extend this idea of continuity to describe continuity in terms of neighborhoods. This condition will allow us to later consider continuous functions even if there are no metrics on our 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 continuous at some point \(a \in X\text{.}\) We will show that for any neighborhood \(N\) of \(f(a)\) in \(Y\text{,}\) its inverse image \(f^{-1}(N)\) in \(X\) is a neighborhood of \(a\) in \(X\text{.}\) Let \(N\) be a neighborhood of \(f(a)\) in \(Y\text{.}\) To demonstrate that \(f^{-1}(N)\) is a neighborhood of \(a\) in \(X\text{,}\) we need to find an open ball around \(a\) that is contained in \(f^{-1}(N)\text{.}\) Since \(N\) is a neighborhood of \(f(a)\text{,}\) by definition there exists \(\epsilon \gt 0\) so that \(B(f(a), \epsilon) \subseteq N\text{.}\) Since \(f\) is continuous at \(a\text{,}\) there exists \(\delta \gt 0\) such that \(B(a, \delta) \subseteq f^{-1}\left(B(f(a), \epsilon)\right)\text{.}\) So if \(x \in B(a, \delta)\text{,}\) then \(f(x) \in B(f(a), \epsilon) \subseteq N\text{.}\) So \(B(a, \delta) \subseteq f^{-1}(N)\text{,}\) and \(f^{-1}(N)\) is a neighborhood of \(a\) in \(X\text{.}\)
The proof of the reverse implication is left for the next activity.

Activity 7.4.

Let \((X, d_X)\) and \((Y,d_Y)\) be metric spaces, and let \(f : X \to Y\) be a function. Let \(a \in X\text{.}\) In this activity we prove that if the inverse image of every neighborhood of \(f(a)\) is a neighborhood of \(a\text{,}\) then \(f\) is continuous at \(a\text{.}\)

(a)

What does Theorem 7.5 tell us that we need to do to show that \(f\) is continuous at \(a\text{?}\)
Suppose \(\epsilon\) is greater than 0, why is \(B(f(a), \epsilon)\) a neighborhood of \(f(a)\) in \(Y\text{?}\)

(b)

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

(c)

What can we conclude from part (c)?

(d)

How do (a)-(d) show that \(f\) is continuous at \(a\text{?}\)
We conclude this section with some important facts about neighborhoods. Assume that \((X,d)\) is a metric space and \(a \in X\text{.}\)
  • There is a neighborhood that contains \(a\text{.}\)
  • If \(N\) is a neighborhood of \(a\) and \(N \subseteq M\text{,}\) then \(M\) is a neighborhood of \(a\text{.}\)
  • If \(M\) and \(N\) are neighborhoods of \(a\text{,}\) then so is \(M \cap N\text{.}\)
The proofs are straightforward and left for Exercise 8.