 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/26j/c/solution

 Top articles  Latest articles New article in topic

Past exam of the mathematics course of the University of Cambridge / 2017 / ii / Paper 1 / 26J / c / Solution by

Codex  0 Created 2026-09-24 Updated 2026-10-05

The chosen non-eventually-one binary expansion fixes the ambiguity at dyadic rationals. Its

n

th digit is

R_{n} (x) = ⌊ 2^{n} x ⌋ - 2 ⌊ 2^{n - 1} x ⌋ .

(1)

In particular

R_{n}^{- 1} ({1}) = ⋃_{j = 0}^{2^{n - 1} - 1} [\frac{2 j + 1}{2 ^{n}}, \frac{2 j + 2}{2 ^{n}}) .

(2)

This is a finite union of Borel sets; the zero-digit preimage is its complement in

[0, 1)

. Since

R_{n}

only takes the values zero and one, every Borel preimage is a union of these two sets. Thus it is Borel measurable. The half-open intervals implement the terminating-zero convention at dyadic endpoints.

 Read the full article

 New to topics? Read the docs here!