Paper 2, Section II, I

Linear Analysis | Part II, 2016

(a) Let KK be a topological space and let CR(K)C_{\mathbb{R}}(K) denote the normed vector space of bounded continuous real-valued functions on KK with the norm ∥f∥CR(K)=sup⁡x∈K∣f(x)∣\|f\|_{C_{\mathbb{R}}(K)}=\sup _{x \in K}|f(x)|. Define the terms uniformly bounded, equicontinuous and relatively compact as applied to subsets S⊂CR(K)S \subset C_{\mathbb{R}}(K).

(b) The Arzela-Ascoli theorem [which you need not prove] states in particular that if KK is compact and S⊂CR(K)S \subset C_{\mathbb{R}}(K) is uniformly bounded and equicontinuous, then SS is relatively compact. Show by examples that each of the compactness of KK, uniform boundedness of SS, and equicontinuity of SS are necessary conditions for this conclusion.

(c) Let LL be a topological space. Assume that there exists a sequence of compact subsets KnK_{n} of LL such that K1⊂K2⊂K3⊂⋯⊂LK_{1} \subset K_{2} \subset K_{3} \subset \cdots \subset L and ⋃n=1∞Kn=L\bigcup_{n=1}^{\infty} K_{n}=L. Suppose S⊂CR(L)S \subset C_{\mathbb{R}}(L) is uniformly bounded and equicontinuous and moreover satisfies the condition that, for every ϵ>0\epsilon>0, there exists n∈Nn \in \mathbb{N} such that ∣f(x)∣<ϵ|f(x)|<\epsilon for every x∈L\Knx \in L \backslash K_{n} and for every f∈Sf \in S. Show that SS is relatively compact.

Typos? Please submit corrections to this page on GitHub.