Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-3/26k/b/solution

Let with irrational . This irrational rotation of the circle preserves Lebesgue measure and is ergodic. Apply the Birkhoff ergodic theorem to the indicator function . Its limit
is invariant, hence almost everywhere constant by ergodicity. Its integral must equal that of , so the constant is . Therefore
for Lebesgue measure-almost every .

New to topics? Read the docs here!