Theorem
A Topology
is a Discrete Topology on a Set
if and Only if Every Point of
is an Open Set.
Proof
Let
the set of all collections of elements of![]()
is called the discrete topology on
Every point of
is an open set.
Since
consists of all subsets of![]()
![]()
Conversely, suppose
is a topology on
such that![]()
Let
be any subset of
then![]()
All sets
are open sets of
so
and since
is a topology, the union of open sets is an open set. Hence, since
we have![]()