MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider $\mathbb{R}^n$ as measurable space with the Borel algebra. If $\mathbb{R}^n$ and $\mathbb{R}^m$ are isomorphic (in the category of measurable spaces, i.e. there are measurable maps in both directions, which are inverse to each other), can we conclude $n=m$? Note that this statement is stronger than the invariance of dimension in topology and I doubt that it is true. Can you give a counterexample?

share|cite|improve this question
up vote 15 down vote accepted

All uncountable standard Borel spaces are Borel isomorphic (see A. S. Kechris, Classical Descriptive Set Theory, page 90, Theorem 15.6).

share|cite|improve this answer

If you use $2^\mathbb{N}$ instead of $\mathbb{R}$, then isomorphism of $n$ and $m$-fold products is easy. And since the Cantor set $2^\mathbb{N}$ measurably embeds in $\mathbb{R}$, the construction in the Schroder-Bernstein theorem lets you soup this up to the genuine $\mathbb{R}$ without need of Axiom of Choice.

share|cite|improve this answer
pretty elementary :). vote – Martin Brandenburg Mar 9 '10 at 13:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.