ベート数

数学、特に集合論において、ベート数とはヘブライ文字 のב（ベート）を用いて ${\beth }_0,{\beth }_1,{\beth }_2,{\beth }_3,\dots$ と表される無限基数の列である。ベート数はアレフ数 ${\mathrm{\aleph }}_0,{\mathrm{\aleph }}_1,{\mathrm{\aleph }}_2,\dots$ と関連するが、一般連続体仮説が真でない限り、アレフ数では表されるがベート数では表されない数が存在する。

定義

ベート数は超限再帰を用いて定義される:

• ${\beth }_0={\mathrm{\aleph }}_0$
• ${\beth }_{\alpha +1}=2^{{\beth }_{\alpha }}$
• ${\beth }_{\lambda }=\sup \{{\beth }_{\alpha }:\alpha <\lambda \}$

ここで、$\alpha$ は順序数、$\lambda$ は極限順序数である。

基数 ${\beth }_0={\mathrm{\aleph }}_0$ は任意の可算無限集合（例えば自然数全体の集合 $\mathbb{N}$）の濃度である。よって ${\beth }_0=|\mathbb{N}|$ となる。

なお、$\alpha$ を順序数、$A_{\alpha }$ を濃度が ${\beth }_{\alpha }=|A_{\alpha }|$ であるような集合としたとき、

• $𝒫(A_{\alpha })$ は $A_{\alpha }$ の冪集合（すなわち、$A_{\alpha }$ の部分集合全体の集合）を表す。

• 集合 $2^{A_{\alpha }}\subset 𝒫(A_{\alpha }\times 2)$ は $A_{\alpha }$ から $\{0,1\}$ への写像全体の集合を表す。

• 基数 $2^{{\beth }_{\alpha }}$ は基数の冪を表す。

• ${\beth }_{\alpha +1}=2^{{\beth }_{\alpha }}=\left|2^{A_{\alpha }}\right|=|𝒫(A_{\alpha })|$ は $A_{\alpha }$ の冪集合の濃度を表す。

以上の定義より、

${\beth }_0,{\beth }_1,{\beth }_2,{\beth }_3,\dots$

はそれぞれ

$\mathbb{N},𝒫(\mathbb{N}),𝒫(𝒫(\mathbb{N})),𝒫(𝒫(𝒫(\mathbb{N}))),\dots$

の濃度であって、2番目のベート数 ${\beth }_1$ は連続体濃度 $𝔠$ に等しく、3番目のベート数 ${\beth }_2$ は連続体濃度をもつ集合の冪集合の濃度である。

カントールの定理によって上の列の各集合は前の集合よりも真に大きい濃度をもつ。無限極限順序数 $\lambda$ に対して、対応するベート数は $\lambda$ よりも真に小さいすべての順序数に対するベート数の上限として定義される。

${\beth }_{\lambda }=\sup \{{\beth }_{\alpha }:\alpha <\lambda \}$

この定義は以下と同値である。

${\beth }_{\lambda }=|\bigcup \{A_{\alpha }:\alpha <\lambda \}|$

フォン・ノイマン宇宙 $V_{\omega +\alpha }$ は濃度 ${\beth }_{\alpha }$ をもつことも証明できる。

アレフ数との関係

選択公理を仮定すると、無限濃度は全順序であり、任意の2つの濃度は常に比較可能である。したがって、定義により、${\mathrm{\aleph }}_0$ と ${\mathrm{\aleph }}_1$ の間に無限濃度は存在せず、

${\beth }_1\ge {\mathrm{\aleph }}_1$

であることが従う。この議論を繰り返すことによって（超限帰納法参照）すべての順序数 $\alpha$ に対して ${\beth }_{\alpha }\ge {\mathrm{\aleph }}_{\alpha }$ である。

連続体仮説は次と同値である。

${\beth }_1={\mathrm{\aleph }}_1.$

一般連続体仮説が言っているのはこのように定義されたベート数の列はアレフ数の列と同じである、すなわちすべての順序数 $\alpha$ に対して ${\beth }_{\alpha }={\mathrm{\aleph }}_{\alpha }$ であるということである。

具体例

ベート・ヌル

これは ${\mathrm{\aleph }}_0$（アレフ・ヌル）と定義されるから、濃度が ${\beth }_0$ の集合には次のものがある。

• 自然数全体 $\mathbb{N}$
• 有理数全体 $\mathbb{Q}$
• 代数的数全体
• 計算可能数全体と帰納的集合
• 整数からなる有限集合全体の集合

ベート・ワン

濃度が ${\beth }_1$ の集合には次のものがある。

• 超越数全体
• 無理数全体
• 実数全体 $ℝ$
• 複素数全体 $ℂ$
• ユークリッド空間 ${ℝ}^n$
• 自然数全体の集合の冪集合（自然数全体の集合のすべての部分集合からなる集合）
• 整数からなる数列全体の集合（すなわちすべての関数 $\mathbb{N}$ → $\mathbb{Z}$ からなる集合で、しばしば ${\mathbb{Z}}^{\mathbb{N}}$ と表記される）
• 実数列全体 ${ℝ}^{\mathbb{N}}$
• $ℝ$ から $ℝ$ へのすべての連続関数からなる集合
• 有限個の実数からなる集合全体

ベート・ツー

${\beth }_2$（英語では beth two と読む）は $2^{𝔠}$（2 の c 乗、two to the power of c）とも呼ばれる。

濃度が ${\beth }_2$ の集合には次のものがある。

• 実数全体の集合の冪集合、つまり実数直線の部分集合の数、あるいは実数からなる集合の数
• 自然数全体の集合の冪集合の冪集合
• $ℝ$ から $ℝ$ への関数すべてからなる集合（${ℝ}^{ℝ}$）
• ${ℝ}^m$ から ${ℝ}^n$ へのすべての関数からなる集合
• 自然数全体の集合から自然数全体の集合へのすべての写像からなる集合の冪集合、つまり自然数列の集合の数
• $ℝ$, $\mathbb{Q}$, $\mathbb{N}$ のテンプレート:仮リンク

ベート・オメガ

${\beth }_{\omega }$（beth omega）は最小の非可算テンプレート:仮リンクである。

一般化

より一般的な記号 ${\beth }_{\alpha }(\kappa )$、ここで $\alpha$ は順序数で $\kappa$ は基数、が時折用いられる。それは次のように定義される。

${\beth }_0(\kappa )=\kappa ,$

${\beth }_{\alpha +1}(\kappa )=2^{{\beth }_{\alpha }(\kappa )},$

${\beth }_{\lambda }(\kappa )=\sup \{{\beth }_{\alpha }(\kappa ):\alpha <\lambda \}$ if λ is a limit ordinal.

なので

${\beth }_{\alpha }={\beth }_{\alpha }({\mathrm{\aleph }}_0).$

ZF において、任意の濃度 $\kappa$ と $\mu$ に対して、ある順序数 $\alpha$ が存在して、

$\kappa \le {\beth }_{\alpha }(\mu ).$

そして ZF において、任意の濃度 $\kappa$ と順序数 $\alpha$, $\beta$ に対して

${\beth }_{\beta }({\beth }_{\alpha }(\kappa ))={\beth }_{\alpha +\beta }(\kappa ).$

したがって、テンプレート:仮リンクのないZermelo–Fraenkel 集合論において、選択公理はあってもなくても、任意の濃度 $\kappa$ と $\mu$ に対して、等式

${\beth }_{\beta }(\kappa )={\beth }_{\beta }(\mu )$

がすべての十分大きい順序数 $\beta$ に対して成り立つ（つまり、ある順序数 $\alpha$ が存在して、すべての順序数 $\beta$ ≥ $\alpha$ に対して等式が成り立つ）。

これは 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.
• テンプレート:Cite book See pages 6 and 204–205 for beth numbers.
• テンプレート:Cite book See page 109 for beth numbers.