A3.3 B3.2
(i) Define the notion of a measurable function between measurable spaces. Show that a continuous function is measurable with respect to the Borel -fields on and .
By using this, or otherwise, show that, when are measurable with respect to some -field on and the Borel -field on , then is also measurable.
(ii) State the Monotone Convergence Theorem for -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 be the real Banach space of continuous real-valued functions on with the uniform norm. Fix and define
Show that is a bounded, linear map with norm
Is it true, for every choice of , that there is function with and ?