Metrischer Raum/Kompakt/Vollständig/Fakt/Beweis/Aufgabe