User:Boris Tsirelson/sandbox1

Also: analytic measurable space

Category:Classical measure theory

[ 2010 Mathematics Subject Classification MSN: 28A05,(03E15,54H05) | MSCwiki: 28A05   + 03E15,54H05  ]

$ \newcommand{\R}{\mathbb R} \newcommand{\C}{\mathbb C} \newcommand{\Om}{\Omega} \newcommand{\A}{\mathcal A} \newcommand{\B}{\mathcal B} \newcommand{\P}{\mathbf P} $ A Borel space $(X,\A)$ is called analytic if it is countably separated and isomorphic to a quotient space of a standard Borel space.

References

[1]	Alexander S. Kechris, "Classical descriptive set theory", Springer-Verlag (1995) | MR1321597 | Zbl 0819.04002
[2]	Richard M. Dudley, "Real analysis and probability", Wadsworth&Brooks/Cole (1989) | MR0982264 | Zbl 0686.60001
[3]	George W. Mackey, "Borel structure in groups and their duals", Trans. Amer. Math. Soc. 85 (1957), 134–165 | MR0089999 | Zbl 0082.11201