Beth number

Definition

Beth numbers are indexed by ordinal numbers and defined in terms of the cumulative hierarchy by \beth_\alpha = |V_{\omega+\alpha}|, where |A| is the cardinality of A and \omega is the first infinite ordinal number. In particular, \beth_{\alpha+1} = 2^{\beth_\alpha},, and it follows by Cantor's theorem and transfinite induction that the sequence of beth numbers is strictly increasing. (|A|^{|B|} is the cardinality of the set of functions from B to A, so 2^{|B|} is the cardinality of the power set of B.)

\beth_0 = |V_\omega| = |\omega| = \aleph_0. In general, \beth_\alpha\not for ordinal \alpha, and \aleph_\alpha\leq\beth_\alpha for every limit ordinal \alpha. The axiom of choice implies that the inequality holds in general.

The second beth number \beth_1 is equal to \mathfrak{c}, the cardinality of the continuum (the cardinality of the set of the real numbers), and the third beth number \beth_2 is the cardinality of the power set of the continuum.

Like aleph numbers, beth numbers are idempotent: \beth_\alpha^2 = \beth_\alpha. This follows by transfinite induction from two points:

• V_\lambda\times V_\lambda \subseteq V_\lambda for every limit ordinal \lambda; and

• (2^{\mathfrak{p}})^2 = 2^{2\mathfrak{p}} = 2^{\mathfrak{p}} for every idempotent cardinal number \mathfrak{p}\geq2.

The axiom of choice implies that every set of cardinal numbers has a supremum and that for any set \mathbb{S}, the union set of all its members can be no larger than the supremum of its member cardinalities times its own cardinality. It follows (given the axiom) that \beth_\lambda = \sup\Bigl{ \beth_\alpha : \alpha for every limit ordinal \lambda.

Note that this behavior is different from that of successor ordinals. Even with the axiom of choice, cardinalities less than \beth_{\alpha+1} but greater than \beth_\alpha can exist. (In that case, the existence is undecidable in ZFC and controlled by the Generalized Continuum Hypothesis.)

Relation to the aleph numbers

Even with the axiom of choice (provided Zermelo-Fraenkel set theory is consistent), little more is knowable about the relationship to aleph numbers than is stated above. For example, \beth_1 cannot be \aleph_\omega, but there is a model in which \beth_1=\aleph_{\omega+1}.

Assuming the axiom of choice, infinite cardinalities are linearly ordered; no two cardinalities can fail to be comparable. Since \beth_\alpha\not, the axiom implies that \beth_\alpha \ge \aleph_\alpha for all ordinals \alpha.

Given the axiom of choice, the continuum hypothesis is equivalent to :\beth_1=\aleph_1. Without the axiom of choice, there are statements that address Cantor's concern about subsets of the real line without obviously implying that the real line admits a well ordering. For example, one version of the hypothesis is that \mathfrak{p}\leq\beth_0 for every cardinal number \mathfrak{p}.

The generalized continuum hypothesis extends the assertion above to other indices. One formulation says the sequence of beth numbers is the same as the sequence of aleph numbers, i.e., \beth_\alpha = \aleph_\alpha for all ordinals \alpha. This assertion obviously implies the axiom of choice since beth numbers are cofinal. (In Zermelo-Fraenkel set theory, A\subseteq V_{\omega+\alpha} for some \alpha, so |A| \leq |V_{\omega+\alpha}| = \beth_\alpha. It follows from the statement that |A| \leq \aleph_\alpha, whence A admits a well ordering.) Different formulations of the continuum hypothesis suggest different generalizations, but the known 'reasonable' generalizations turn out to be equivalent and to imply the axiom of choice, although the proofs are more difficult.

Specific cardinals

Beth null

Since (as noted above) this is equal to \aleph_0, or aleph null, sets with cardinality \beth_0 include:

• the natural numbers \mathbb{N}
• the rational numbers \mathbb{Q}
• the algebraic numbers \mathbb{A}
• the computable numbers and computable sets
• the set of finite sets of integers or of rationals or of algebraic numbers
• the set of finite multisets of integers
• the set of finite sequences of integers.

Beth one

Main article: cardinality of the continuum

Sets with cardinality \beth_1 include:

• the transcendental numbers
• the irrational numbers
• the real numbers \mathbb{R}
• the complex numbers \mathbb{C}
• the uncomputable real numbers
• Euclidean space \mathbb{R}^n
• the power set of the natural numbers 2^\mathbb{N} (the set of all subsets of the natural numbers)
• the set of sequences of integers (i.e., \mathbb{Z}^\mathbb{N}, which includes all functions from \mathbb{N} to \mathbb{Z})
• the set of sequences of real numbers, \mathbb{R}^\mathbb{N}
• the set of all real analytic functions from \mathbb{R} to \mathbb{R}
• the set of all continuous functions from \mathbb{R} to \mathbb{R}
• the set of all functions from \mathbb{R} to \mathbb{R} with at most countable discontinuities
• the set of finite subsets of real numbers
• the set of all analytic functions from \mathbb{C} to \mathbb{C} (the holomorphic functions)
• the set of all functions from the natural numbers to the natural numbers (\mathbb{N}^\mathbb{N}).

Beth two

\beth_2 (pronounced beth two) is also referred to as 2^\mathfrak{c} (pronounced two to the power of \mathfrak{c}).

Sets with cardinality \beth_2 include:

• the power set of the set of real numbers, so it is the number of subsets of the real line, or the number of sets of real numbers
• the power set of the power set of the set of natural numbers
• the set of all functions from \mathbb{R} to \mathbb{R} (\mathbb{R}^\mathbb{R})
• the set of all functions from \mathbb{R}^m to \mathbb{R}^n
• the set of all functions from \mathbb{R} to \mathbb{R} with uncountably many discontinuities
• the power set of the set of all functions from the set of natural numbers to itself, or the number of sets of sequences of natural numbers
• the Stone–Čech compactifications of \mathbb{R}, \mathbb{Q}, and \mathbb{N}
• the set of deterministic fractals in \mathbb{R}^n
• the set of random fractals in \mathbb{R}^n.

Beth omega

\beth_\omega (pronounced beth omega) is the smallest uncountable strong limit cardinal.

Generalization

The more general symbol \beth_\alpha(\kappa), for ordinals \alpha and cardinals \kappa, is occasionally used. Given the axiom of choice, it is defined by: :\beth_0(\kappa)=\kappa, :\beth_{\alpha+1}(\kappa)=2^{\beth_\alpha(\kappa)}, :\beth_\lambda(\kappa)=\sup{ \beth_\alpha(\kappa):\alpha if λ is a limit ordinal.

Without the axiom of choice, the definition is more complicated. The main difficulty is that the cardinalities of infinite disjoint unions cannot be calculated just from the cardinalities of the components. Still using recursion, define W_\alpha(A) as follows: :W_0(A)=A, :W_{\alpha+1}(A) = \mathcal{P}(W_\alpha(A)), :\beth_\lambda(A) = \bigcup_{\alpha\in\lambda}({\alpha}\times W_\alpha(A)) if λ is a limit ordinal.

Given an injection f:A\to B, we can construct recursively injections g_\alpha:W_\alpha(A)\to W_\alpha(B). If f is a bijection then so is g_\alpha, so we can define the mapping for cardinal numbers by \beth_\alpha(|A|) = |W_\alpha(A)|.

It follows (easily with the axiom of choice or after more meticulous argument otherwise) that :\beth_{\omega+\alpha}(0) = \beth_\alpha, where \beth_\alpha is an ordinary beth number, and :\beth_\beta(\beth_\alpha(\mathfrak{p})) = \beth_{\alpha+\beta}(\mathfrak{p}).

In particular, \beth_\alpha = \beth_\alpha(\beth_\omega(0)) = \beth_\alpha(\beth_0) = \beth_\alpha(\aleph_0). For any cardinal \mathfrak{p} and any ordinal number \alpha\supseteq\omega^2, \beth_\alpha(\mathfrak{p}) \geq \beth_\alpha(0) = \beth_{\alpha-\omega} = \beth_\alpha. On the other hand, \mathfrak{p}\leq\beth_\beta for some \beta, and it follows that \beth_\alpha(\mathfrak{p}) \leq \beth_\alpha(\beth_\beta) = \beth_{\beta+\alpha} = \beth_\alpha for large \alpha (e.g. the ordinality of \omega copies of \beta stacked linearly). Thus for every cardinal number \mathfrak{p} there is an ordinal number \alpha_0 such that :\beth_\alpha(\mathfrak{p}) = \beth_\alpha for every ordinal number \alpha\supseteq\alpha_0.

This also holds in Zermelo–Fraenkel set theory with ur-elements (with or without the axiom of choice), provided that the ur-elements form a set which is equinumerous with a pure set (a set whose transitive closure contains no ur-elements). If the axiom of choice holds, then any set of ur-elements is equinumerous with a pure set. (If A is not equinumerous with any pure set then it is not clear what object of set theory would be its cardinality, let alone \beth_\alpha(|A|). However, we can still construct W_\alpha(A) as above, and if B is equinumerous with A then W_\alpha(B) is equinumerous with W_\alpha(A).)

Borel determinacy

Borel determinacy is implied by the existence of all beths of countable index.{{cite web |access-date=25 August 2021

References

Bibliography

• T. E. Forster, Set Theory with a Universal Set: Exploring an Untyped Universe, Oxford University Press, 1995 — Beth number is defined on page 5.
• See pages 6 and 204–205 for beth numbers.
• {{cite book

References

1. Soltanifar, Mohsen. (2023). "A classification of elements of function space F(R,R)". Mathematics.
2. Soltanifar, Mohsen. (2021). "A generalization of the Hausdorff dimension theorem for deterministic fractals". Mathematics.
3. Soltanifar, Mohsen. (2022). "The second generalization of the Hausdorff dimension theorem for random fractals". Mathematics.