up:: Metric Topology
Let be a Metric Space, and .
Then let their respective Open Balls (Metric Spaces) both with radius .
Note that .
Proof by absurd:
Let . Then and .
Thus, , which is absurd.
Thus, since we have found open sets which separate these points, then this space is a Hausdorff Space.