# 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

Aiming for a contradiction, suppose 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:

\(\ds \epsilon\) | \(\le\) | \(\ds \lim_{m \mathop \to \infty} \map {d_Z}{ \map { \phi \circ f_{N_{n_m} } }{ x_{n_m} } , \map { \phi \circ f }{ x_{n_m} } }\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \map {d_Z}{ \lim_{m \mathop \to \infty} \map { \phi \circ f_{N_{n_m} } }{ x_{n_m} } , \lim_{m \mathop \to \infty} \map { \phi \circ f }{ x_{n_m} } }\) | by Metric is Continous Mapping and definition of continuity | |||||||||||

\(\ds \) | \(=\) | \(\ds \map {d_Z}{ \map { \phi \circ f }{ x' } , \lim_{m \mathop \to \infty} \map { \phi \circ f }{ x_{n_m} } }\) | by Uniformly Convergent Sequence Evaluated on Convergent Sequence | |||||||||||

\(\ds \) | \(=\) | \(\ds \map {d_Z}{ \map { \phi \circ f }{ x' } , \map { \phi \circ f }{ x' } }\) | by Composite of Continuous Mappings between Metric Spaces is Continuous | |||||||||||

\(\ds \) | \(=\) | \(\ds 0\) |

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

$\blacksquare$