An elementary proof of the Borel isomorphism theorem

MaRDI QIDQ1890636zbMATH OpenFDO

Authors Yanyan Li

Publication date 27 July 1995

Published in Real Analysis Exchange (Search for Journal in Brave)

zbMATH Keywords

Borel isomorphism theoremBorel setsPolish space

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

We present a very elementary proof of the Borel isomorphism theorem. The traditional and more well known proof of this theorem uses the first separation principle for analytic sets. A proof avoiding the first separation principle is also known [\textit{K. Kuratowski}, Topology. Vol. I (1966; Zbl 0158.408)]. Our proof is perhaps the simplest.

Recommendations

• scientific article; zbMATH DE number 4161653
• Borel isomorphism between the sample space and a product space
• Representation of Borel Isomorphism by a Probability Measure
• Isomorphisms for convergence structures. II: Borel spaces and infinite measures

Cited in

(8)

• Isomorphisms for convergence structures. II: Borel spaces and infinite measures
• Baire isomorphisms at the first level and dimension
• Borel isomorphism between the sample space and a product space
• An elementary proof that the Borel class of the reals has cardinality continuum
• scientific article; zbMATH DE number 4143004 (Why is no real title available?)
• Representation of Borel Isomorphism by a Probability Measure
• A Schröder-Bernstein construction of homeomorphisms of \(P\)-spaces
• A survey of some recent developments in measures of association

This page was built for publication: An elementary proof of the Borel isomorphism theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1890636)