Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've been thinking a bit about infinite things lately, and this question I had wondered about came back to me.

One of the classic expository demonstrations of Cantor's work is the two equally surprising facts that there are as many rationals as natural numbers, but there are more reals than natural numbers. This can be reduced to a statement in cardinal arithmetic, namely that $$|2^\mathbb{N}|>|\mathbb{N}^2|$$

Now, we can think of these sets as two collections of functions, $2^\mathbb{N}=\{f:\mathbb{N}\to \{0,1\}\}$ and $\mathbb{N}^2=\{f:\{0,1\}\to\mathbb{N}\}$. So it seems that what this statement (and others like it) is saying, is that if you want more functions, you're better off having a large domain than a large codomain.

Is there an intuitive explanation for why this should be true?

share|improve this question
11  
Don't know. Sure is true of finite sets, $2^n$ grows far faster than $n^2$, –  André Nicolas Jun 27 '13 at 1:31
6  
You mean you're better off having a large domain than a large codomain. –  Andreas Blass Jun 27 '13 at 2:19
    
Perhaps one way to make your question is precise is to ask: if $\alpha,\beta$ are cardinals, which is larger: $\alpha^{\beta}$ or $\beta^{\alpha}$? –  Pete L. Clark Jun 27 '13 at 3:04
    
Andreas: Yes, I did mean that :S –  Eric Stucky Jun 27 '13 at 15:59

6 Answers 6

up vote 20 down vote accepted

The inequality is made somewhat plausible by the observation that $|\mathbb N^2|$ is almost counting the number of $1$-element and $2$-element sets of natural numbers, while $|2^{\mathbb N}|$ counts all the sets of natural numbers. ("Almost" refers to the facts that each $2$-element set $\{a,b\}$ is counted twice, as $(a,b)$ and as $(b,a)$.)

share|improve this answer

This answer that I wrote explains why $\mathbb N^2$ is countably infinite.

One way to prove that $2^{\mathbb N}$ is uncountably infinite is by Cantor's diagonal argument, which I think has been iterated in stackexchange many times.

share|improve this answer
2  
This is true, but I think this was the preamble to the OP's question rather than the question itself. –  Pete L. Clark Jun 27 '13 at 3:02

For a set $X$, the set $2^X$, its power set, should be much bigger than $X$. Cantor's diagonal argument gives a proof of this and I suggest that the contradiction in Cantor's argument gives some sort of indication as to why this is the case.

If you accept this, then we only need intuition as to why $\mathbb{N}, \mathbb{N}^2$ are the same size. Somehow this isn't that surprising. For instance, there are $| \mathbb{N}|$ many prime numbers, and we can associate each $n \in \mathbb{N}$ with its prime factorization which we can take to be a tuple such that each entry is a prime number and the $i$th entry is $\leq$ the $i+1$th. Then we already have an injective map $f: \mathbb{N}^2 \to \mathbb{Z}$ given by $(a, b)$ corresponds to $p_a \cdot p_b$ if $ a \leq b$ and $-p_a \cdot p_b$ otherwise.

The point of this is that $\mathbb{N}$ is the set of $1$-tuples of naturals and $\mathbb{N}^2$ is just the set of $2$-tuples and it shouldn't seem that surprising that we can re-index things to transform one into the other.

share|improve this answer
    
I was hoping for a more direct explanation of the inequality as an answer to the question. But as an answer to the more foundational question of $|\mathbb{N}|=\mathbb{N}^2$, I really liked it. Also, I've never seen that particular injection $\mathbb{N}^2\to\mathbb{Z}$, which is crazy because it's quite awesome. –  Eric Stucky Jun 27 '13 at 15:58

Intuitively, it's because while functions have to be well-defined, they're allowed to be non-injective, so if you're placing arrows between the elements of two objects, you have a lot more freedom in choosing where to make your arrows point than where you can choose where to make them point from.

To put it more succinctly, you can find more ways to send things into an object than you can find ways to send things out of an object; for example, groups and rings generally have more subobjects than quotient objects.

share|improve this answer

Continuing with Andreas answer is that for any $n \in \mathbb{N}$ we have that $\left \vert \mathbb{N}^n \right \vert = \left\vert \mathbb{N} \right\vert$ and even that $\left\vert \mathbb{N}^{<\omega} \right\vert = \left\vert \bigcup \{ \mathbb{N}^{n} \mid n \in \mathbb{N} \} \right\vert = \left\vert \mathbb{N} \right\vert$.

You can think of the functions from $n \to \mathbb{N}$ as sequences of length $n$ with values in $\mathbb{N}$, so what that is saying is that the union of all finite sequences of natural numbers is still countable!

In one sense, this may be clear if you recall the oft-quoted statement that "a countable union of countable sets is countable." But as you point out it is still very confusing. Infinities take time to get used to, but one thing you can always hold on to is that the powerset operation will always give you a larger cardinality, but in general exponentiation will not (unless you are raising it to a big enough size e.g. $\left| \mathbb{N}^{\mathbb{N}} \right| = \left| 2^{\mathbb{N}} \right|$).

share|improve this answer

There is an interesting paper about this theme that claims that the inequality $|2^\mathbb{N}|>|\mathbb{N}^2|$ need not be strict! So in stead of $|2^\mathbb{N}|>|\mathbb{N}^2|$ we have $|2^\mathbb{N}|\geq|\mathbb{N}^2|$.

Here is the link: http://www.gauge-institute.org/cantorset/CantorSetP.pdf.

share|improve this answer
    
This paper is not very interesting, unfortunately. The first argument is wrong, the second and sixth arguments rely on the first argument, the third and fourth arguments conflate cardinal and ordinal operations. I'm not qualified to speak on the fifth argument, but given the rest of the paper, you'll forgive me if I won't be holding my breath. –  Eric Stucky Mar 8 at 21:12

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.