Skip to main content

Section Neighborhoods in Topological Spaces

Recall that we defined a neighborhood of a point a in a metric space to be a subset of the space that contains an open ball centered at X. Every open ball is an open set, so we can extend the idea of neighborhood to topological spaces.

Definition 12.6.

Let (X,Ο„) be a topological space, and let a∈X. A subset N of X is a neighborhood of a if N contains an open set that contains a.
Let’s look at some examples.
In metric spaces, an open set was a neighborhood of each of its points. This is also true in topological spaces.

Proof.

Let (X,Ο„) be a topological space, and let O be a subset of X. First we demonstrate that if O is open, then O is a neighborhood of each of its points. Assume that O is an open set, and let a∈O. Then O contains the open set O that contains a, so O is a neighborhood of a.
The reverse containment is the subject of the next activity.

Activity 12.8.

Let (X,Ο„) be a topological space. Let O be a subset of X. Assume O is a neighborhood of each of its points.

(b)

Let a∈O. Why must there exist an open set Oa such that a∈OaβŠ†O?