Paper 1, Section II, J
Part II, 2017
(a) Give the definition of the Borel -algebra on and a Borel function where is a measurable space.
(b) Suppose that is a sequence of Borel functions which converges pointwise to a function . Prove that is a Borel function.
(c) Let be the function which gives the th binary digit of a number in ) (where we do not allow for the possibility of an infinite sequence of 1 s). Prove that is a Borel function.
(d) Let be the function such that for is equal to the number of digits in the binary expansions of which disagree. Prove that is non-negative measurable.
(e) Compute the Lebesgue measure of , i.e. the set of pairs of numbers in whose binary expansions disagree in a finite number of digits.