User:Caliburn/s/fa/Arzelà-Ascoli Theorem/Corollary
< User:Caliburn | s | fa | Arzelà-Ascoli Theorem
Jump to navigation
Jump to search
Theorem
Let $\struct {X, d}$ be a compact metric space.
Let $\map C {X, \R}$ be the set of continuous functions from $X$ to $\R$.
Let $\norm \cdot_\infty$ be the supremum norm on $\map C {X, \R}$.
Let $d'$ be the metric induced by $\norm \cdot_\infty$.
Let $\struct {A, d'_A}$ be a metric subspace of $\struct {\map C {X, \R}, d'}$.
Then $\struct {A, d'_A}$ is a compact metric space if and only if:
- $(1): \quad$ $A$ is closed
- $(2): \quad$ there exists a real number $R > 0$ such that $\norm f_\infty \le R$ for all $f \in A$
- $(3): \quad$ $A$ is uniformly equicontinuous in $\struct {\map C {X, \R}, d'}$.
Proof
[...]
Sources
- 2020: James C. Robinson: Introduction to Functional Analysis ... (previous) ... (next) $6.3$: Arzelà-Ascoli Theorem