ベート数

数学において、無限基数はヘブライ文字 ℵ {\displaystyle \aleph } （アレフ（英語版））の右下に順序数の添え字をつけて表される（アレフ数参照）。2番目のヘブライ文字 ב（ベート（英語版））は関連した方法で使われるが、 ℵ {\displaystyle \aleph } によって表されるすべての数を表しているとは限らない。 ベート数 (beth number) を定義するために、 ℶ 0 = ℵ 0 {\displaystyle \beth _{0}=\aleph _{0}} を任意の可算無限集合の濃度とすることで始める。具体的にするために、典型的な自然数全体の集合 N {\displaystyle \mathbb {N} } をとる。P(A) によって A のベキ集合、すなわち A のすべての部分集合からなる集合を表す。そして ℶ α + 1 = 2 ℶ α {\displaystyle \beth _{\alpha +1}=2^{\beth _{\alpha }}} と定義する。これは ℶ α {\displaystyle \beth _{\alpha }} が A の濃度であれば A のベキ集合の濃度である。 この定義が与えられると、 ℶ 0 ,   ℶ 1 ,   ℶ 2 ,   ℶ 3 ,   … {\displaystyle \beth _{0},\ \beth _{1},\ \beth _{2},\ \beth _{3},\ \dots } はそれぞれ N ,   P ( N ) ,   P ( P ( N ) ) ,   P ( P ( P ( N ) ) ) ,   … . {\displaystyle \mathbb {N} ,\ P(\mathbb {N} ),\ P(P(\mathbb {N} )),\ P(P(P(\mathbb {N} ))),\ \dots .} の濃度であって、2番目のベート数 ℶ 1 {\displaystyle \beth _{1}} は連続体濃度 c {\displaystyle {\mathfrak {c}}} に等しく、3番目のベート数 ℶ 2 {\displaystyle \beth _{2}} は連続体濃度をもつ集合のベキ集合の濃度である。 カントールの定理によって上の列の各集合は前の集合よりも真に大きい濃度をもつ。無限極限順序数 λ に対して、対応するベート数は λ よりも真に小さいすべての順序数に対するベート数の上限として定義される。 ℶ λ = sup { ℶ α : α < λ } . {\displaystyle \beth _{\lambda }=\sup\{\beth _{\alpha }:\alpha <\lambda \}.} フォン・ノイマン宇宙 V ω + α {\displaystyle V_{\omega +\alpha }\!} は濃度 ℶ α {\displaystyle \beth _{\alpha }\!} をもつことも証明できる。 選択公理を仮定すると、無限濃度は全順序であり、任意の2つの濃度は常に比較可能である。したがって、定義により、 ℵ 0 {\displaystyle \aleph _{0}} と ℵ 1 {\displaystyle \aleph _{1}} の間に無限濃度は存在せず、 ℶ 1 ≥ ℵ 1 {\displaystyle \beth _{1}\geq \aleph _{1}} であることが従う。この議論を繰り返すことによって（超限帰納法参照）すべての順序数 α {\displaystyle \alpha } に対して ℶ α ≥ ℵ α {\displaystyle \beth _{\alpha }\geq \aleph _{\alpha }} である。 連続体仮説は次と同値である。 ℶ 1 = ℵ 1 . {\displaystyle \beth _{1}=\aleph _{1}.} 一般連続体仮説が言っているのはこのように定義されたベート数の列はアレフ数の列と同じである、すなわちすべての順序数 α {\displaystyle \alpha } に対して ℶ α = ℵ α {\displaystyle \beth _{\alpha }=\aleph _{\alpha }} であるということである。 これは ℵ 0 {\displaystyle \aleph _{0}} 、アレフ・ヌルと定義されるから、濃度が ℶ 0 {\displaystyle \beth _{0}} の集合には次のものがある。 自然数全体 N 有理数全体 Q 代数的数全体 計算可能数全体と帰納的集合 整数からなる有限集合全体の集合 濃度が ℶ 1 {\displaystyle \beth _{1}} の集合には次のものがある。 超越数全体 無理数全体 実数全体 R 複素数全体 C ユークリッド空間 Rn 自然数全体の集合のベキ集合（自然数全体の集合のすべての部分集合からなる集合） 整数からなる数列全体の集合（すなわちすべての関数 N → Z からなる集合で、しばしば ZN と表記される） 実数列全体 RN R から R へのすべての連続関数からなる集合 有限個の実数からなる集合全体 ℶ 2 {\displaystyle \beth _{2}} （（英語では）beth two と読む）は 2c（2 の c 乗、two to the power of c）とも呼ばれる。 濃度が ℶ 2 {\displaystyle \beth _{2}} の集合には次のものがある。 実数全体の集合のベキ集合、つまり実数直線の部分集合の数、あるいは実数からなる集合の数 自然数全体の集合のベキ集合のベキ集合 R から R への関数すべてからなる集合（RR） Rm から Rn へのすべての関数からなる集合 自然数全体の集合からそれ自身へのすべての関数からなる集合のベキ集合、つまり自然数列の集合の数 R, Q, N のストーン・チェックのコンパクト化（英語版） ℶ ω {\displaystyle \beth _{\omega }} （beth omega）は最小の非可算強極限基数（英語版）である。 より一般的な記号 ℶ α ( κ ) {\displaystyle \beth _{\alpha }(\kappa )} 、ここで α は順序数で κ は基数、が時折用いられる。それは次のように定義される。 ℶ 0 ( κ ) = κ , {\displaystyle \beth _{0}(\kappa )=\kappa ,} ℶ α + 1 ( κ ) = 2 ℶ α ( κ ) , {\displaystyle \beth _{\alpha +1}(\kappa )=2^{\beth _{\alpha }(\kappa )},} ℶ λ ( κ ) = sup { ℶ α ( κ ) : α < λ } {\displaystyle \beth _{\lambda }(\kappa )=\sup\{\beth _{\alpha }(\kappa ):\alpha <\lambda \}} if λ is a limit ordinal. なので ℶ α = ℶ α ( ℵ 0 ) . {\displaystyle \beth _{\alpha }=\beth _{\alpha }(\aleph _{0}).} ZF において、任意の濃度 κ と μ に対して、ある順序数 α が存在して、 κ ≤ ℶ α ( μ ) . {\displaystyle \kappa \leq \beth _{\alpha }(\mu ).} そして ZF において、任意の濃度 κ と順序数 α、β に対して ℶ β ( ℶ α ( κ ) ) = ℶ α + β ( κ ) . {\displaystyle \beth _{\beta }(\beth _{\alpha }(\kappa ))=\beth _{\alpha +\beta }(\kappa ).} したがって、ur-element（英語版）のないZermelo–Fraenkel 集合論において、選択公理はあってもなくても、任意の濃度 κ と μ に対して、等式 ℶ β ( κ ) = ℶ β ( μ ) {\displaystyle \beth _{\beta }(\kappa )=\beth _{\beta }(\mu )} がすべての十分大きい順序数 β に対して成り立つ（つまり、ある順序数 α が存在して、すべての順序数 β ≥ α に対して等式が成り立つ）。 これは ur-element をもつ Zermelo–Fraenkel 集合論においても選択公理はあってもなくても、ur-element が pure set（推移閉包が ur-element を全く含まないような集合）と等濃な集合をなすと仮定すれば、成り立つ。選択公理を仮定すれば、ur-element からなる任意の集合はある pure set と等濃である。 T. E. Forster, Set Theory with a Universal Set: Exploring an Untyped Universe, Oxford University Press, 1995 — Beth number is defined on page 5. Bell, John Lane; Slomson, Alan B. (2006) [1969]. Models and Ultraproducts: An Introduction (reprint of 1974 edition ed.). Dover Publications. ISBN 0-486-44979-3  See pages 6 and 204–205 for beth numbers. Roitman, Judith (2011). Introduction to Modern Set Theory. Virginia Commonwealth University. ISBN 978-0-9824062-4-3  See page 109 for beth numbers.