Composition of Continuous Mapping on Compact Space Preserves Uniform Convergence

Theorem
Let $\struct{ X, d_X }$ be a compact metric space.

Let $\struct{ Y, d_Y }, \struct{ Z, d_Z }$ be metric spaces.

Let $\phi : Y \to Z$ be a continuous mapping.

For all $n \in \N$, let $f_n : X \to Y$ be a continuous mapping.

Let $f: X \to Y$ be a mapping such that $\sequence {f_n}_{n \in \N}$ converges to $f$ uniformly on $X$.

Then the sequence $\sequence {\phi \circ f_n}_{n \in \N}$ converges to $\phi \circ f$ uniformly on $X$.

Proof
that $\sequence {\phi \circ f_n}_{n \in \N}$ do not converge to $\phi \circ f$ uniformly.

This implies that there exists $\epsilon \in \R_{>0}$ such that for all $n \in \N$, there exist $N_n \ge n$ and $x_n \in X$ such that:


 * $\map {d_Z}{ \map { \phi \circ f_{N_n} }{ x_n }, \map { \phi \circ f }{ x_n} } \ge \epsilon$

From Compact Subspace of Metric Space is Sequentially Compact in Itself, it follows that $\struct{ X, d_X }$ is sequentially compact in itself.

This implies that there exist $x' \in X$ and a subsequence $\sequence {x_{n_m} }_{m \in \N}$ such that $x_{n_m} \to x'$ for $m \to \infty$.

We calculate:

which is a contradiction, as $\epsilon > 0$.