Solution

ID: past-exam-of-the-probability-measure-and-martingales-course-of-the-university-of-oxford/2023/2/a/i/solution

The sigma-algebra generated by a random variable is the smallest sigma-algebra on making a measurable function into . Equivalently, it is the intersection of all sigma-algebras containing the inverse images of Borel sets .
Let . This collection is already a sigma-algebra: ,
The right-hand sets are in , since the Borel sigma-algebra is closed under the indicated operations. Any sigma-algebra making measurable must contain every member of . Conversely makes measurable by definition. Hence
This equality holds exactly as a collection of sets, without completing the sigma-algebra.

New to topics? Read the docs here!