Jump to content

Borel isomorphism

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by M.Rou (talk | contribs) at 13:07, 15 November 2016 (Removed [{{technical|date=November 2011}}] because I have fixed the issue.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 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.

References