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?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
|
|
|||
|
|
|
13
|
All uncountable standard Borel spaces are Borel isomorphic (see A. S. Kechris, Classical Descriptive Set Theory, page 90, Theorem 15.6). |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
7
|
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. |
|||
|
