What is $\aleph_0!$?

Question

What is $\aleph_0!$ ?

I know that in the original definition the factorial is defined for natural numbers but, what if we extend this concept to cardinal numbers?

This concept has been extended to the real numbers by the $\Gamma$ function but I never see this kind of extension before.

This is a proof that I made by myself and can be incorrect but still interesting for me.

$\aleph_0\times(\aleph_0 - 1)\times(\aleph_0 - 2)\times ...$

We can rewrite this as

$$\aleph_0! = \prod_{i = 1}^{\infty}(\aleph_0 - i) = \prod_{i = 1}^{\infty}(\aleph_0)$$

But, is this equal to:

$$\aleph_0^{\aleph_0}$$

Also, if we assume the continumm hypothesis

$2^{\aleph_0} = \mathfrak{c} \leq \aleph_0^{\aleph_0} \leq \mathfrak{c}$

Hence, $\aleph_0! = \mathfrak{c}$

Answer 1

First, a couple quick comments:

• The continuum hypothesis isn't needed (and I'm not sure how you used it) - $(\aleph_0)^{\aleph_0}=2^{\aleph_0}$, provably in ZF (we don't even need the axiom of choice!).

• Also, subtraction isn't really an appropriate operation on cardinals - while it's clear what $\kappa-\lambda$ should be if $\lambda<\kappa$ and $\kappa$ is infinite, what is $\aleph_0-\aleph_0$?

The right definition of the factorial is as the size of the corresponding group of permutations: remember that in the finite case, $n!$ is the number of permutations of an $n$-element set, and this generalizes immediately to the $\kappa$-case. It's now not hard to show that $\kappa!=\kappa^\kappa$ in ZFC - that is, there is a bijection between the set of permutations of $\kappa$ and the set of all functions from $\kappa$ to $\kappa$.

And this can be simplified further: it turns out $\kappa^\kappa=2^\kappa$, always. Clearly we have $2^\kappa\le\kappa^\kappa$, and in the other direction $$\kappa^\kappa\le (2^\kappa)^\kappa=2^{\kappa\cdot\kappa}=2^\kappa.$$

By the way, the equality $\kappa^\kappa=2^\kappa$ can be proved in ZF alone as long as $\kappa$ is well-orderable, the key point being that Cantor-Bernstein doesn't need choice.

Answer 2

You can define the factorial of a cardinal $c$ to be the cardinality of the set of bijections $X \to X$ where $X$ is a set with cardinality $c$; this reproduces the usual factorial if $X$ is finite.

So $\aleph_0!$ is the cardinality of the set of bijections $\mathbb{N} \to \mathbb{N}$, and it's not hard to show that this has cardinality $\aleph_0^{\aleph_0}$, for example using Cantor-Bernstein-Schroder.

Answer 3

We have $k!=1\cdot2\cdots k$, i.e., it is products of all numbers with size at most $k$.

Therefore $$\aleph_0! = 1\cdots 2 \cdots \aleph_0 = \prod_{k\le\aleph_0} k$$ seems like a possible generalization. (Although probably taking the number of bijections - as suggested in other answers - is a more natural generalization.)

I will add that the above product has two - it can be reformulated in this way: For each $k\le\aleph_0$ we have a set $A_k$ such that $|A_k|=k$. And we are interested in the cardinality of the Cartesian product of these sets $\prod_{k\le\alpha_0} A_k$.

It is not difficult to see that if we use this definition, then $$2^{\aleph_0} \le \aleph_0! \le \aleph_0^{\aleph_0}.$$ Together with $\aleph_0^{\aleph_0}=2^{\aleph_0}$, we get $\aleph_0! = 2^{\aleph_0}$.

---

If we wanted to do similar generalization for higher cardinalities, we could define $$\kappa! = \prod_{\alpha\le\kappa} |\alpha|$$ where the product is taken over all ordinals $\le\kappa$. Then exactly the same argument shows that $2^\kappa \le \kappa! \le \kappa^\kappa$.