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 fCR(K)=supxKf(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 SCR(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 SCR(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 K1K2K3LK_{1} \subset K_{2} \subset K_{3} \subset \cdots \subset L and n=1Kn=L\bigcup_{n=1}^{\infty} K_{n}=L. Suppose SCR(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 nNn \in \mathbb{N} such that f(x)<ϵ|f(x)|<\epsilon for every xL\Knx \in L \backslash K_{n} and for every fSf \in S. Show that SS is relatively compact.