"vollständiger metrischer Raum" Englisch