From Wikipedia, two generalizations of the Arzelà–Ascoli theorem are
- Let $X$ be a compact Hausdorff space. Then a subset $F$ of $C(X)$, the set of real-valued continuous functions on X, is relatively compact in the topology induced by the uniform norm if and only if it is equicontinuous and pointwise bounded.
- Let $X$ be a compact Hausdorff space and $Y$ a metric space. Then a subset $F$ of $C(X,Y)$ is compact in the compact-open topology if and only if it is equicontinuous, pointwise relatively compact and closed.
$C(X)$ is a normed space with the uniform norm, and also a metric space under the metric induced by the uniform norm. I was wondering if the Arzelà–Ascoli theorem generalizations are direct results of applying to $C(X)$ some similar theorem(s) on normed spaces, metric spaces or other spaces (which $C(X)$ belongs to) ?
For example, are the Arzelà–Ascoli theorem generalizations results of the following theorem:
A subset in a metric space is compact iff it is complete and totally bounded?
Or the Arzelà–Ascoli theorem generalizations are not direct results of any similar theorems on normed spaces, metric spaces or other spaces (which $C(X)$ belongs to) ?
Thanks and regards!