Paper 3, Section II, H
(a) State the Arzela-Ascoli theorem, including the definition of equicontinuity.
(b) Consider a sequence of continuous real-valued functions on such that for all is bounded and the sequence is equicontinuous at . Prove that there exists and a subsequence such that uniformly on any closed bounded interval.
(c) Let be a Hausdorff compact topological space, and the real-valued continuous functions on . Let be a compact subset of . Prove that the collection of functions is equicontinuous.
(d) We say that a Hausdorff topological space is locally compact if every point has a compact neighbourhood. Let be such a space, compact and open such that . Prove that there exists continuous with compact support contained in and equal to 1 on . [Hint: Construct an open set such that and is compact, and use Urysohn's lemma to construct a function in and then extend it by zero.]