Past exam of the mathematics course of the University of Cambridge / 2024 / ii / Paper 1 / 27G / a / i / Solution

A measure $\mu$ on $(\Omega ,\mathcal{F})$ is $\sigma$-finite whenThe $\sigma$-finite uniqueness theorem says that two measures agreeing on a generating $\pi$-system agree on the generated $\sigma$-algebra, provided the space is covered by countably many sets in that system having finite common measure. Equivalently, a $\sigma$-finite premeasure has at most one extension to the generated $\sigma$-algebra.