User:Fake Proof/Sandbox/Uniform Limit Theorem

Theorem
Let $\struct {S, \tau}$ be a topological space.

Let $\struct {M, d}$ be a metric space.

Let $\sequence {f_n}_{n \mathop \in \N}$ be a sequence of mappings from $S$ to $M$ such that:
 * $(1): \quad \forall n \in \N: f_n$ is continuous at every point of $S$
 * $(2): \quad \sequence {f_n}$ converges uniformly to $f$

Then $f$ is continuous at every point of $S$.

Proof
Let $a \in S$.

Let $V$ be a neighborhood of $\map f a$.

Then there exists $\epsilon \in \R_{\gt 0}$ such that:
 * $(3): \quad \map {B_\epsilon} {\map f a} \subseteq V$

where $\map {B_\epsilon} {\map f a}$ denotes the open $\epsilon$-ball in $\struct {M, d}$.

From $(2)$, there exists $N \in \R_{\gt 0}$ such that:

From $(1)$, for each $n \in \N$, there exists a neighborhood $U$ of $a$ such that:
 * $(5): \quad \forall x \in U: \map d {\map {f_n} x, \map {f_n} a} < \dfrac \epsilon 3$

Then:

Hence, $f$ is is continuous at every point of $S$.