In mathematics, a Borel isomorphism is a measurable bijective function between two measurable standard Borel spaces. By Souslin's theorem in standard Borel spaces (a set that is both analytic and coanalytic is necessarily Borel), the inverse of any such measurable bijective function is also measurable. Borel isomorphisms are closed under composition and under taking of inverses. The set of Borel isomorphisms from a space to itself clearly forms a group under composition. Borel isomorphisms on standard Borel spaces are analogous to homeomorphisms on topological spaces: both are bijective and closed under composition, and a homeomorphism and its inverse are both continuous, instead of both being only Borel measurable.
Borel space
A measurable space that is Borel isomorphic to a measurable subset of the real numbers is called a Borel space.[1]
See also
Federer–Morse theorem
References
Alexander S. Kechris (1995) Classical Descriptive Set Theory, Springer-Verlag.
Kallenberg, Olav (2017). Random Measures, Theory and Applications. Switzerland: Springer. p. 15. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
