Theorem
A Topologyis a Discrete Topology on a Set
if and Only if Every Point of
is an Open Set.
Proof
Letthe set of all collections of elements of
is called the discrete topology on
Every point of
is an open set.
Sinceconsists of all subsets of
Conversely, supposeis a topology on
such that
Letbe any subset of
then
All setsare open sets of
so
and since
is a topology, the union of open sets is an open set. Hence, since
we have