Paper 1, Section II, J

Probability and Measure | Part II, 2017

(a) Give the definition of the Borel σ\sigma-algebra on R\mathbb{R} and a Borel function f:ERf: E \rightarrow \mathbb{R} where (E,E)(E, \mathcal{E}) is a measurable space.

(b) Suppose that (fn)\left(f_{n}\right) is a sequence of Borel functions which converges pointwise to a function ff. Prove that ff is a Borel function.

(c) Let Rn:[0,1)RR_{n}:[0,1) \rightarrow \mathbb{R} be the function which gives the nnth binary digit of a number in [0,1[0,1 ) (where we do not allow for the possibility of an infinite sequence of 1 s). Prove that RnR_{n} is a Borel function.

(d) Let f:[0,1)2[0,]f:[0,1)^{2} \rightarrow[0, \infty] be the function such that f(x,y)f(x, y) for x,y[0,1)2x, y \in[0,1)^{2} is equal to the number of digits in the binary expansions of x,yx, y which disagree. Prove that ff is non-negative measurable.

(e) Compute the Lebesgue measure of f1([0,))f^{-1}([0, \infty)), i.e. the set of pairs of numbers in [0,1)[0,1) whose binary expansions disagree in a finite number of digits.

Typos? Please submit corrections to this page on GitHub.