Is the cardinality of $\mathbb{Z^R}$=$\mathbb{R^Z}$?

Question

Previously in this question, we have found that $\mathbb{R^Z}$ is uncountable and its multiset of components, denoted by

$$K = \{ (..., 0, 0, w, 0, 0, ... ) : w \in \mathbb{R} \}$$

where for each real number $x$ there's a sequence $(k_m)$ in $K$ with $k_0 = w$ and $k_j = 0$ for all $j \ne 0$.

OR

$$A = \{ Y_j : j \in \mathbb{Z} \}$$

where $$Y_j = \{ (..., 0, x_j, 0, 0, ... ) : x_j \in \mathbb{R} \}$$

is also uncountable and a sub(multi)set of of $\mathbb{R^Z}$

==========================================================

Now I am wondering about the cardinality of $\mathbb{Z^R}$ and $\mathbb{R^Z}$

Using my half baked understanding of cardinal exponentiation and multiplication, (assuming the Axiom of Choice), learnt from here, and also some properties of cardinality here, I use the following formulae

1. If 2 ≤ κ and 1 ≤ μ and at least one of them is infinite, then: $$\max (κ, 2^μ) ≤ κ^μ ≤ \max (2^κ, 2^μ)$$
2. If either κ or μ is infinite and both are non-zero, then $$\kappa\cdot\mu=\max\left\{\kappa,\mu\right\}$$
3. $$|\mathbb{R}|=2^{\aleph_0}>\aleph_0=|\mathbb{N}|=|\mathbb{Z}|$$

and get

$$\max (|\mathbb{Z}|, |2^\mathbb{R}|) ≤ |\mathbb{Z^R}| ≤ \max (|2^\mathbb{Z}|, |2^\mathbb{R}|)$$ $$\max (|\mathbb{R}|, |2^\mathbb{Z}|) ≤ |\mathbb{R^Z}| ≤ \max (|2^\mathbb{R}|, |2^\mathbb{Z}|)$$ Simplifying using the formulae $$|2^\mathbb{R}| ≤ |\mathbb{Z^R}| ≤ |2^\mathbb{R}|$$ $$\max (|\mathbb{R}|, |2^\mathbb{Z}|) ≤ |\mathbb{R^Z}| ≤ |2^\mathbb{R}|$$ $\hspace{1mm}$ $$|\mathbb{Z^R}| = |2^\mathbb{R}|=2^{2^{\aleph_0}}$$ $$\max (2^{\aleph_0}, 2^{\aleph_0}) ≤ |\mathbb{R^Z}| ≤ 2^{2^{\aleph_0}}$$ $\hspace{1mm}$ $$|\mathbb{Z^R}| = |2^\mathbb{R}|=2^{2^{\aleph_0}}$$ $$2^{\aleph_0} ≤ |\mathbb{R^Z}| ≤ 2^{2^{\aleph_0}}$$ And finally $$|\mathbb{R}| < |\mathbb{R^Z}| ≤ |\mathbb{Z^R}|$$

But then what are the approaches I should use in order to seek for a bijective function (if it exists) that maps elements of $\mathbb{Z^R}$ to $\mathbb{Z^R}$ and vise versa, so that I can work out whether $|\mathbb{R^Z}| < |\mathbb{Z^R}|$ or $|\mathbb{R^Z}| = |\mathbb{Z^R}|$?

Answer 1

No. We have $$|\mathbb Z^{\mathbb R}|\ge |2^{\mathbb R}| > |\mathbb R| $$ but $$ |\mathbb R^{\mathbb Z}| = |(2^{\mathbb Z})^{\mathbb Z}| = |2^{(\mathbb Z\times\mathbb Z)}| = |2^{\mathbb Z}| = |\mathbb R|$$

Answer 2

As Henning explains, they're different. Do you know about the beth numbers? We have:

Proposition 0. $$|\mathbb{Z}| = \beth_0, \qquad |\mathbb{R}| = \beth_1$$

From this, we can answer your question:

Claim.

$$|\mathbb{R}^\mathbb{Z}| = \beth_1, \qquad |\mathbb{Z}^\mathbb{R}| = \beth_2$$

Since the beth numbers are a strictly increasing family of cardinal numbers (this follows immediately from Cantor's theorem), the above claim implies that

$$|\mathbb{R}^\mathbb{Z}| < |\mathbb{Z}^\mathbb{R}|,$$

so they're different.

Lets begin by proving $|\mathbb{R}^\mathbb{Z}| = \beth_1$. Essentially we just copy Henning's proof, in different notation:

$$|\mathbb{R}^\mathbb{Z}| = \beth_1^{\beth_0} = (2^{\beth_0})^{\beth_0} = 2^{\beth_0 \cdot \beth_0} = 2^{\beth_0} = \beth_1$$

So much for that! Proving the latter is just a little more involved. We're trying to simplify the expression:

$$\beth_0^{\beth_1}$$

The intuition is that since $\beth_0$ is quite small compared to $\beth_1$, hence raising $\beth_0$ to the power of $\beth_1$ gives the same result as raising $2$ to the power of $\beth_1$. Much more precisely, we use the following theorem about cardinal numbers.

Proposition 1. If $2 \leq \kappa \leq 2^\nu,$ then $\kappa^\nu = 2^\nu$. (Assuming that $\nu$ is infinite.)

Hence since $2 \leq \beth_0 \leq 2^{\beth_1}$ (and $\beth_1$ infinite) we deduce that $\beth_0^{\beth_1} = 2^{\beth_1}$ which implies that: $$\beth_0^{\beth_1} = \beth_2.$$

Exercise. Prove Proposition 1 using only the basic principles of cardinal arithmetic. (It isn't hard!)