Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question

2 Answers 2

up vote 14 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|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|improve this answer
    
pretty elementary :). vote –  Martin Brandenburg Mar 9 '10 at 13:13

Your Answer

 
discard

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.