4
$\begingroup$

Possible Duplicate:
bijective map from $\mathbb{R}^3\rightarrow \mathbb{R}$
Do the real numbers and the complex numbers have the same cardinality?

Does $\mathbb R^2$ contain more numbers than $\mathbb R^1$? I know that there are the same number of even integers as integers, but those are both countable sets. Does the same type of argument apply to uncountable sets? If there exists a 1-1 mapping from $\mathbb R^2$ to $\mathbb R^1$, would that mean that 2 real-valued parameters could be encoded as a single real-valued parameter?

  • 3
    $\Bbb R^2$ has the same cardinality as $\Bbb R$. This has been dealt with quite a few times at MSE; the first answer to [this question](http://math.stackexchange.com/questions/183361/bijective-map-from-mathbbr3-rightarrow-mathbbr) is very thorough.2012-11-30
  • 0
    There are plenty of answers for this question on this site. In short, the answer is yes.2012-11-30
  • 0
    NO! ${\aleph _1} = {2^{{\aleph _0}}} = \left| {\mathbb R} \right| = \left| {{{\mathbb R}^n}} \right|$2012-11-30
  • 1
    @glebovg: That is false. $\aleph_1$ does not have to be equal to the cardinality of the continuum.2012-11-30
  • 0
    @AsafKaragila Yes. I meant $\mathfrak{c} = {2^{{\aleph_0}}} = \left| {\mathbb R} \right| = \left| {{{\mathbb R}^n}} \right|$.2012-11-30

1 Answers 1

2

Indeed $\mathbb R^2$ has the same cardinality as $\mathbb R$, as the answers in this thread show.

And indeed it means that functions of two variables can be encoded as functions of one variable. However do note that such encoding cannot be continuous, but can be measurable.

Lastly, to extend this result to all infinite sets one needs the axiom of choice. In fact the assertion "For every infinite $A$ there is a bijection between $A$ and $A^2$" is equivalent to the axiom of choice. If one requires that $A$ is well-ordered then this is true without the axiom of choice, but for many "sets of interest" (e.g. the real numbers) one cannot prove the existence of a well-ordering without some form of choice.

Despite the last sentence, the existence of a bijection between $\mathbb R$ and $\mathbb R^n$ does not require the axiom of choice (for $n>0$, of course).

  • 0
    That's amazing! Thanks for the response.2012-11-30
  • 0
    You're welcome, Jeff.2012-11-30
  • 0
    @AsafKaragila "And indeed it means that functions of two variables can be encoded as functions of one variable". Can you please explain this? How can an element in the set {RXR} such as (0.7777777777......, 0.033333333333......) create the number (0.707373737373......) in {R}? I can see that this number comes from adding the corresponding decimal digits from each of the numbers in (0.7777777777..........,0.033333333333............), but since when is combining decimal digits in this way an "allowable" operation? Basically I don't see how an elemental pair can become a _single_ number?2015-05-12
  • 0
    The fact is that there is a bijection between $\Bbb R^2$ and $\Bbb R$. Since there is such a bijection, pick one, $f$. Then if $f(x,y)=z$ we say that $f$ encodes the pair $x,y$. Then if $g\colon\Bbb R^2\to X$ is any function, then $\bar g\colon\Bbb R\toX$ defined by $\bar g=g\circ f^{-1}$ is a function encoding $g$. All we need to do is who that such $f$ exists. And there are several more explicit examples, and other indirect proofs.2015-05-12