Raum mit Halbmetrik/Offene Menge/Topologie/Fakt

Es sei ${}M$ eine Menge, die mit einer Halbmetrik versehen sei.

Dann ist ${}M$ ein topologischer Raum.

Einen Beweis erstellen