# Two standard probability spaces

Let $(X,\cal{A},\mu)$ be a standard (Lebesgue-Rokhlin) space with complete probabilistic measure (for example, $[0,1]$). Let $\cal{B}\supset \cal{A}$ be a wider then $\cal{A}$ $\sigma$-algebra on $X$, and let $\nu$ be an extension of $\mu$ onto $\cal{B}$ so that $(X,\cal{B},\nu)$ is a standard probability space again. Then $\cal{A}=\cal{B}$. We hope that we may prove it, but this should be definitely known if true, so let me ask either for the reference or for one-sentence proof.

• This should follow from the fact that a standard space is perfect. I expect that there is a reference in Fremlin, measure theory for this (I'll have a look...). – George Lowther Apr 30 '12 at 0:10
• I don't see it explicitly stated. But, it follows from the fact that that complete perfect measures on a Borel space are Radon, and the domain of a Radon measure is uniquely determined by its values on Borel sets. – George Lowther Apr 30 '12 at 1:41
• Your statement is Theorem 2b on the EOM page on standard probability spaces (encyclopediaofmath.org/index.php/…). – George Lowther Apr 30 '12 at 1:52
• For Standard Borel spaces and, more generally, analytic spaces, this has been shown by Blackwell in On a Class of Probability Spaces, Corollary 1. The argument should extend to completions of standard Borel spaces. – Michael Greinecker Apr 30 '12 at 6:32