Solution

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

The Borel sigma-algebra is the smallest sigma-algebra containing all open subsets of . A real-valued Borel measurable function on is a map with for every . It suffices to test the sets for rational , because these generate the Borel sigma-algebra.
Here “Borel function” describes measurability into the Borel structure of the target; the domain need not itself be a topological space.

New to topics? Read the docs here!