Die abgeschlossene Kugel ist definiert durch Bˉr(a)={x∈X : d(x,a)≤r}.
Nun soll gezeigt werden, dass diese Kugel auch eine abgeschlossene Menge
im Sinne der Metrik ist.
Hierzu betrachten wir die Abbildung f : X→[0∞),x↦d(x,a).
Mithilfe der Dreiecksungleichung für die Metrik kann man leicht zeigen,
dass f stetig ist. Eine Abbildung ist genau dann stetig, wenn das
Urbild jeder abgeschlossenen Menge abgeschlossen ist.
In diesem Falle haben wir Bˉr(a)=f−1([0,r]), q.e.d.