We are familiar with the idea of open intervals in \(\R\text{.}\) We next introduce the idea of an open neighborhood of a point and characterize continuity in terms of neighborhoods. This is the next step in developing the notation of continuity in topological spaces.
The open ball \(B(a, \delta)\) in a metric space \((X,d)\) is also called the \(\delta\)-neighborhood around \(a\text{.}\) A neighborhood of a point can be thought of as any set that envelops that point.
Definition7.2.
Let \((X, d_X)\) be a metric space, and let \(a \in X\text{.}\) A subset \(N\) of \(X\) is a neighborhood of \(a\) if there exists a \(\delta \gt 0\) such that \(B(a, \delta) \subseteq N\text{.}\)
Example7.3.
In \(\R\) with the Euclidean metric, the set \(\R^+\) (the positive real numbers) is a neighborhood of \(a=1\) because the open ball \(B(1,0.5)\) is completely contained in \(\R^+\text{.}\)
In \(\R\) with the Euclidean metric, the set \(\Z\) is not a neighborhood of \(a=1\) because any open ball centered at \(a=1\) will contain some non-integers.
In \(\R\) with the discrete metric, the set \(\Z\) is a neighborhood of \(a=1\) because the open ball \(B(a,1) = \{a\}\text{.}\)
As another example, the open ball \(B(a, \delta)\) is a neighborhood of \(a\text{.}\) We can say even more about open balls.
Activity7.2.
Let \((X, d)\) be a metric space, let \(a \in X\text{,}\) and let \(\delta \gt 0\text{.}\) In this activity we ask the question, is \(B(a, \delta)\) a neighborhood of each of its points?
(a)
Let \(b \in B(a, \delta)\text{.}\) What do we have to do to show that \(B(a, \delta)\) is a neighborhood of \(b\text{?}\)
(b)
Use Figure 7.4 to help show that \(B(a, \delta)\) is a neighborhood of \(b\text{.}\)
(c)
Is the converse true? That is, if a set is a neighborhood of each of its points, is the set an open ball? No proof is necessary, but a convincing argument is in order.