Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-202/2/b/solution

A simple predictable process has the form
where , is bounded and -measurable, and each is bounded and -measurable. Finite linear combinations of indicators of predictable rectangles are of this form after refining the finitely many time partitions.
Those rectangles form a semiring of sets generating . The collection of sets whose indicators can be approximated in by simple predictable processes is a monotone class: for an increasing sequence, truncate the union and use the finiteness of ; complements and finite disjoint unions are handled by linearity. The Monotone class theorem therefore puts every -measurable indicator in the closure. Ordinary measurable simple functions are dense in , so simple predictable processes are dense there as well.

New to topics? Read the docs here!