Ich führe als Alternative zu Dojima den Abgeschlossenheitsbeweis für \(A\) so:
Die Abbildung \(x\mapsto d(y,x)\) ist für \(y\notin A\) stetig, nimmt also
wegen der Kompaktheit ihr Minimum \(m\) auf \(K\) an. Wegen
\(d(y,x)\gt \epsilon \; \forall x\in K\) ist dann \(m\gt \epsilon\).
Setzt man nun \(\delta=(m-\epsilon)/2\), dann gilt \(B_{\delta}(y)\subseteq \mathbb{R}^d\backslash A\),
d.h. das Komplement von \(A\) ist offen.