A3.3 B3.2

Functional Analysis
Part II, 2001

(i) Define the notion of a measurable function between measurable spaces. Show that a continuous function R2R\mathbb{R}^{2} \rightarrow \mathbb{R} is measurable with respect to the Borel σ\sigma-fields on R2\mathbb{R}^{2} and R\mathbb{R}.

By using this, or otherwise, show that, when f,g:XRf, g: X \rightarrow \mathbb{R} are measurable with respect to some σ\sigma-field F\mathcal{F} on XX and the Borel σ\sigma-field on R\mathbb{R}, then f+gf+g is also measurable.

(ii) State the Monotone Convergence Theorem for [0,][0, \infty]-valued functions. Prove the Dominated Convergence Theorem.

[You may assume the Monotone Convergence Theorem but any other results about integration that you use will need to be stated carefully and proved.]

Let XX be the real Banach space of continuous real-valued functions on [0,1][0,1] with the uniform norm. Fix uXu \in X and define

T:XR;f01f(t)u(t)dtT: X \rightarrow \mathbb{R} ; \quad f \mapsto \int_{0}^{1} f(t) u(t) d t

Show that TT is a bounded, linear map with norm

T=01u(t)dt\|T\|=\int_{0}^{1}|u(t)| d t

Is it true, for every choice of uu, that there is function fXf \in X with f=1\|f\|=1 and T(f)=T\|T(f)\|=\|T\| ?