Example 5.On the real line R, we define the topology τby introducing
the following open subsets: R, empty set ∅, and infinite intervals of the
form (a, +∞), where a∈R. To prove that this collection of subsets
satisfies all necessary properties it suffice to notice that
1) (a1,+∞)∩(a2,+∞) = (a, +∞)∈τ, where a= max{a1, a2},
and
2) ∪α∈I(aα,+∞) = (a, +∞)∈τ, where a= infα∈I{aα}.
1.2 Topology on metric spaces, induced
topology, closed sets
Rand Rnare just two particular cases of the following general con-
struction allowing us to introduce ”topology” on any metric space
(X, d).
Recall the following standard definition.
Definition 4. A metric space is a pair (X, d) where Xis a set, and
dis a metric on X, that is a function from X×Xto Rthat satisfies
the following properties for all x, y, z ∈X:
d(x, y)≥0, and d(x, y) = 0 if and only if x=y,
d(x, y) = d(y, x) (symmetry), and
d(x, y)≤d(x, z) + d(z, y) (triangle inequality).
A metric space (X, d) possesses the following natural topology.
Definition 5. A set Uin a metric space (X, d) is open if and only if
for any x∈Uthere exists δ > 0 such that Bδ(x)⊂U, where
Bδ(x) = {y∈X:d(y, x)< δ}
is the open ball of radius δcentered at x.
Conclusion: Every metric space is a topological space.
Obviously, the topology of Rnis a particular case of this construc-
tion: d(x, y) = |x−y|=pP(xi−yi)2for x, y ∈Rn.
It is very important that the above construction allows us to intro-
duce topology on infinite-dimensional spaces. Recall two examples:
4