Die abgeschlossene Kugel ist definiert durch \(\bar{B}_r(a)=\{x\in X:\; d(x,a)\leq r\}\).
Nun soll gezeigt werden, dass diese Kugel auch eine abgeschlossene Menge
im Sinne der Metrik ist.
Hierzu betrachten wir die Abbildung \(f:X\rightarrow [0\infty), \; x\mapsto 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 \(\bar{B}_r(a)=f^{-1}([0,r])\), q.e.d.