Space of Continuous on Closed Interval Real-Valued Functions with Supremum Norm forms Banach Space

Theorem
Let $I = \closedint a b$ be a closed real interval.

Let $\map \CC I$ be the space of real-valued functions, continuous on $I$.

Let $\norm {\,\cdot\,}_\infty$ be the supremum norm.

Then $\struct {\map \CC I, \norm {\,\cdot\,}_\infty}$ is a Banach space.

$\sequence {\map {x_n} t}_{n \mathop \in \N}$ is a Cauchy sequence
Let $\sequence{x_n}_{n \mathop \in \N}$ be a Cauchy sequence in $\map \CC I$:


 * $\forall \epsilon \in \R_{> 0} : \exists N \in \N : \forall n, m > N : \norm{x_n − x_m}_\infty < \epsilon$

Suppose all the elements of $\sequence{x_n}_{n \mathop \in \N}$ are also dependent on $t \in I$.

Then:

Hence $\sequence{\map {x_n} t}_{n \mathop \in \N}$ is a Cauchy sequence in $\R$.

From Real Number Line is Complete Metric Space, $\R$ is a complete metric space.

Therefore, $\sequence{\map {x_n} t}_{n \mathop \in \N}$ is convergent.

Denote the limit by $\map x t$:


 * $\displaystyle \lim_{n \mathop \to \infty} \map {x_n} t = \map x t$

$\map x t$ is continuous
Choose $N$ such that:


 * $\forall n, m > N : \norm{x_n - x_m} < \dfrac \epsilon 3$

Let $\tau \in I$.

Then $\forall n > N$ and $m = N + 1 > N$:

Take the limit $n \to \infty$:

By assumption, $\map {x_{N + 1} } t \in \map \CC I$.

Then:


 * $\forall t, \tau \in I : \exists \delta > 0: \size {\tau - t} < \delta \implies \size {\map {x_{N + 1} } t - \map {x_{N + 1} } \tau} < \dfrac \epsilon 3$

Thus:

Hence, $\map x t$ is continuous in $I$.

$\sequence {x_n}_{n \mathop \in \N}$ converges to $x$
Let $\epsilon > 0$.

Choose $N$ such that:
 * $\forall n, m > N : \norm {x_n - x_m}_\infty < \epsilon$

Fix $n > N$.

Let $t \in I$.

Then, $\forall m > N$:

Take the limit $m \to \infty$:

This holds for every $n > N$.

Repeat the argument for all $\epsilon > 0$:


 * $\forall \epsilon > 0 : \exists N \in \N : \forall n \in \N : \forall n > N : \norm {x_n - x}_\infty < \epsilon$.

Therefore, $x_n$ converges to $x$ in $\map \CC I$:


 * $\displaystyle \lim_{x \mathop \to \infty} x_n = x$