Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-217/1/solution
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 217 1 Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Because is measurable for the cylinder sigma-algebra, membership in depends on only countably many coordinates . Its image in is a measurable linear subspace , and
By successively applying the finite-dimensional Gaussian regression formula, realize this Gaussian sequence as a lower-triangular linear transform of independent standard normal variables:where every coordinate of the sum contains only finitely many terms. If some deterministic column does not belong to , then, after conditioning on every except , at most one value of can put the sum in . The continuous normal distribution gives probability zero. If every belongs to , changing finitely many does not change the membership event. It is then a tail event, and the Kolmogorov zero-one law gives probability zero or one. This proves the Gaussian zero-one law for measurable linear subspaces.
Now let for independent standard normal variables . DefineBoth are cylinder-measurable infinite-dimensional linear subspaces. For every ,so the Borel-Cantelli lemmas imply almost surely and hence . On the other hand, infinitely often almost surely, again by Borel-Cantelli, soalmost surely. Therefore .
New to topics? Read the docs here!