A topology induced by the metric defined on a metric
space
.
The open sets are all subsets that can be realized as the unions of open
balls
where ,
and
.
The metric topology makes a T2-space.
Given two distinct points
and
of
, their distance
is certainly positive, so the open balls
and
are disjoint neighborhoods of
and
, respectively.