All metric spaces are Hausdorff spaces

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.