数学において、無限基数ヘブライ文字 アレフ英語版)の右下に順序数の添え字をつけて表される(アレフ数参照)。2番目のヘブライ文字 בベート英語版)は関連した方法で使われるが、 によって表されるすべての数を表しているとは限らない。

定義

編集

ベート数 (beth number) を定義するために、

 

を任意の可算無限集合の濃度とすることで始める。具体的にするために、典型的な自然数全体の集合   をとる。P(A) によって Aベキ集合、すなわち A のすべての部分集合からなる集合を表す。そして

 

と定義する。これは  A の濃度であれば A のベキ集合の濃度である。

この定義が与えられると、

 

はそれぞれ

 

の濃度であって、2番目のベート数  連続体濃度   に等しく、3番目のベート数   は連続体濃度をもつ集合のベキ集合の濃度である。

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

 

フォン・ノイマン宇宙   は濃度   をもつことも証明できる。

アレフ数との関係

編集

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

 

であることが従う。この議論を繰り返すことによって(超限帰納法参照)すべての順序数   に対して   である。

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

 

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

具体例

編集

ベート・ヌル

編集

これは  アレフ・ヌルと定義されるから、濃度が   の集合には次のものがある。

ベート・ワン

編集

濃度が   の集合には次のものがある。

ベート・ツー

編集

 ((英語では)beth two と読む)は 2c(2 の c 乗、two to the power of c)とも呼ばれる。

濃度が   の集合には次のものがある。

ベート・オメガ

編集

 beth omega)は最小の非可算強極限基数英語版である。

一般化

編集

より一般的な記号  、ここで α は順序数で κ は基数、が時折用いられる。それは次のように定義される。

 
 
  if λ is a limit ordinal.

なので

 

ZF において、任意の濃度 κ と μ に対して、ある順序数 α が存在して、

 

そして ZF において、任意の濃度 κ と順序数 α、β に対して

 

したがって、ur-element英語版のないZermelo–Fraenkel 集合論において、選択公理はあってもなくても、任意の濃度 κ と μ に対して、等式

 

がすべての十分大きい順序数 β に対して成り立つ(つまり、ある順序数 α が存在して、すべての順序数 β ≥ α に対して等式が成り立つ)。

これは 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.