Closed Set in Metric Space is G-Delta

Theorem
Let $\struct {X, d}$ be a metric space, and let $F \subset X$ be a closed set.

Then $F$ is a $G_\delta$ set of X.

Proof
Let $n \in \N$.

Let $\ds F_{\frac 1 n} = \bigcup \limits_{x \mathop \in F} \map B {x, \dfrac 1 n}$, where $\map B {x, \dfrac 1 n}$ is the open ball around $x$ with radius $\dfrac 1 n$.

$F_{\frac 1 n}$ is an open set by definition of open ball.

Also, $F_{\frac 1 n}$ contains $F$ as it is the union of open balls around every element of $F$.

$\ds F \subseteq \bigcap \limits_{n \mathop = 1}^{\infty} F_{\frac 1 n}$ because $F \subseteq F_{\frac 1 n}$ for each $n \in \N$.

Note that:
 * $\ds \lim_{n \mathop \to \infty} \map B {x, \dfrac 1 n} = \set x$

so the above statement holds even in the limit.

Let $\ds y \in \bigcap \limits_{n \mathop = 1}^\infty F_{\frac 1 n}$.

Let $\epsilon > 0$ be given.

There exists $n \in \N$ such that $\dfrac 1 n < \epsilon$.

As $y \in \bigcap \limits_{n \mathop = 1}^\infty F_{\frac 1 n}$, there exists $x \in F$ such that $y \in \map B {x, \dfrac 1 n}$.

Therefore:
 * $\map d {x, y} < \dfrac 1 n < \epsilon$

which shows that $y$ is a Limit Point of $F$.

Since $F$ is closed, then $y \in F$.

Therefore:
 * $\ds F \supseteq \bigcap \limits_{n \mathop = 1}^\infty F_{\frac 1 n}$

We conclude that $\ds F = \bigcap \limits_{n \mathop = 1}^\infty F_{\frac 1 n}$, a countable intersection of open sets.

Therefore $F$ is a $G_\delta$ set by definition.