Es sei M {\displaystyle {}M} eine Menge, die mit einer Halbmetrik d {\displaystyle {}d} versehen sei. Zeige, dass d {\displaystyle {}d} genau dann eine Metrik ist, wenn der topologische Raum M {\displaystyle {}M} ein Hausdorffraum ist.
