Proof
Let
be a metric space and let
be a neighbourhood of some
There is an open ball
such that![]()
Let
satisfy
then
and![]()
Hence for any
and any neighbourhood
of
there is a neighbourhood
of
such that![]()
Hence
is regular. Since it is also T1, it is also T3.
Proof
Let
be a metric space and let
be a neighbourhood of some
There is an open ball
such that![]()
Let
satisfy
then
and![]()
Hence for any
and any neighbourhood
of
there is a neighbourhood
of
such that![]()
Hence
is regular. Since it is also T1, it is also T3.