アレフ数

提供: miniwiki
移動先:案内検索
ファイル:Aleph0.svg
アレフ・ゼロ、最小の無限基数

数学を基礎付ける集合論において、アレフ数(アレフすう、: aleph number)は無限集合濃度(あるいは大きさ)を表現するために使われる数の列である。それらはそれらを表記するのに使われる文字、ヘブライ文字アレフ () にちなんで名づけられている。

自然数全体の集合の濃度はアレフ・ノート 0aleph-naught; アレフ・ヌル (aleph-null) あるいはアレフ・ゼロ (aleph-zero) とも)であり、次に大きい濃度がアレフ・ワン 1, 次はアレフ・ツー 2 と以下同様に続く。このように続けて、すべての順序数 α に対して以下に述べられるように一般のアレフ数となる濃度 α を定義することができる。

概念はゲオルク・カントールまでさかのぼる。彼は濃度の概念を定義し無限集合には異なる濃度があることに気付いた。

アレフ数は代数学や微積分でよく見る無限大 (∞) とは異なる。アレフ数は集合の大きさを測るものだが、一方無限大は一般に(関数数列が「無限大に発散する」とか「限りなく増大する」という形で現れる)実数直線上の非有限極限、あるいは拡張実数直線極点として定義される。

アレフ・ノート

0 はすべての自然数からなる集合の濃度であり、無限基数English版である。すべての有限順序数からなる集合は、ω あるいは ω0 と呼ばれ、濃度 0 をもつ。集合の濃度が 0 であることは、可算無限である—すなわち自然数全体の成す集合との間に全単射(一対一対応)がある—ことと同値である。そのような集合の例は

無限順序数 ω, ω + 1, ω⋅2, ω2, ωω および ε0イプシロン数English版 も参照)は可算無限集合からとれる[1]。例えば、すべての正の奇数のあとにすべての正の偶数を並べた(順序数 ω⋅2 をもつ)列

{1, 3, 5, 7, 9, …, 2, 4, 6, 8, 10, …}

は正の整数全体の(濃度 0 の)集合の整列である。

可算選択公理選択公理の弱いバージョン)を仮定すれば、0 は他のどんな無限基数よりも小さい。

アレフ・ワン

1 はすべての可算順序数からなる集合の濃度で、ω1 あるいは(ときに)Ω と呼ばれる。この ω1 はそれ自身順序数でありすべての可算順序数より大きく、したがって不可算集合である。それゆえ、10 とは異なる。1 の定義は、(選択公理のない ZF、ツェルメロ・フレンケル集合論English版において) 01 の間に基数は存在しないことを意味している。選択公理 (AC) を使えば、さらに次のことが証明できる。基数のクラスは全順序でありしたがって 1 は 2 番目に小さい無限基数である。AC を使って集合 ω1 の最も有用な性質の 1 つを証明できる。ω1 の任意の可算部分集合は ω1 において上界をもつ。(このことは AC の最もよくある応用の 1 つである可算集合の可算和は可算であるという事実から従う。この事実は 0 における状況に類似である。すなわち、自然数からなるすべての有限集合は再び自然数である最大元を持ち、有限集合の有限和は有限である。

ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである。例えば、部分集合の任意の集まりによって生成されるσ-代数を明示的に記述しようとすること(例えばボレル階層English版を見よ)。これは代数(ベクトル空間など)における「生成」のたいていの明示的な記述よりも難しい。なぜならばこれらのケースにおいて有限の操作 - 和、積、などに関して閉じているだけでよいからだ。各可算順序数に対して、超限帰納法を経由して、ありとあらゆる可算和と補集合を「投げ込んで」集合を定義し、ω1 のすべてに渡ってすべてのそれの和集合をとる、ということをその操作(σ-代数の生成)は含む。

連続体仮説

実数の集合の濃度連続体濃度)は 20 である。この数がアレフ数の列のどこに一致するかは ZFC(選択公理を伴ったツェルメロ・フレンケル集合論)から決めることはできないが、ZFC から「連続体仮説 (continuum hypothesis, CH) は等式 20 = ℵ1 と同値である」ことが従う。CH は ZFC から独立である。(ZFC が無矛盾であれば)CH はその公理系において証明も反証もできない。それが ZFC と無矛盾であることは クルト・ゲーデル によって 1940 年にその否定が ZFC の定理でないことを示したときに証明された。それが ZFC と独立であることは ポール・コーエン によって 1963 年に逆に CH 自身は ZFC の定理でないことを(当時は新奇な)強制法の手法によって示したときに証明された。

アレフ・オメガ

慣習的に最小の無限順序数は ω と表記され、濃度 ω はアレフたちの中で

[math]\{\aleph_n : n\in\{\,0,1,2,\dots\}\}[/math]

の最小上界である。

ω はツェルメロ・フレンケル集合論においてすべての実数からなる集合の濃度に等しくないことが証明できる最初の不可算濃度である;任意の正整数 n に対して矛盾なく 20 = n と仮定でき、さらに 20 は好きなだけ大きいと仮定できる。共終数0 である特別な濃度、つまり 0 からそれへの非有界関数が存在し、それの設定を避けることを強制されるだけである(イーストンの定理English版を見よ)。

一般のアレフ数

任意の順序数 α に対して α を定義するために、基数の後者演算English版を定義する必要がある。これは任意の濃度 ρ に対して次に大きい整列された濃度 ρ+ を割り当てる(選択公理が成り立てば、これは次に大きい濃度である)。

するとアレフ数を次のように定義できる。

[math]\aleph_{0} = \omega[/math]
[math]\aleph_{\alpha+1} = \aleph_{\alpha}^+[/math]

そして無限極限順序数 λ に対して、

[math]\aleph_{\lambda} = \bigcup_{\beta \lt \lambda} \aleph_\beta.[/math]

α 番目の無限始数は ωα と書かれる。 その濃度は α と書かれる。始数English版を参照。

ZFC においてアレフ関数 は順序数と無限濃度の間の全単射である[2]

オメガの固定点

任意の順序数 α に対して

[math]\alpha\leq\omega_\alpha[/math]

である。多くの場合 ωαα よりも真に大きい。例えば、任意の後続順序数 α に対してこれが成り立つ。しかしながら、連続な単調増加関数における不動点についての補題English版によって、オメガ関数の固定点である極限順序数が存在する。最初のそのようなものは次の列の極限である。

[math]\omega,\ \omega_\omega,\ \omega_{\omega_\omega},\ \ldots.[/math]

任意の弱到達不能基数はまたアレフ関数の固定点である[3]。これは ZFC において次のように示せる。 κ = λ が弱到達不能基数とする。λ がもし後続順序数であれば、λ後続基数English版になりしたがって弱到達不能でない。もし [math]\lambda[/math]κ よりも小さい極限順序数であれば、その 共終数(そしてしたがって λ の共終数)は κ よりも小さく、したがって κ は正則でなくゆえに弱到達不能でない。したがって λκ であるので λ = κ であり固定点である。

選択公理の役割

任意無限順序数の濃度はアレフ数である。すべてのアレフはある順序数の濃度である。これらの最小元はその始数English版である。濃度があるアレフである任意の集合はある順序数と等濃English版であり、したがって整列可能 (well-orderable) である。

有限集合は整列可能であるが、その濃度としてアレフをもたない。

無限集合の濃度はあるアレフ数であるという仮定は ZF 上すべての集合の整列の存在と同値であり、これは選択公理と同値である。ZFC 集合論は、選択公理を含み、すべての無限集合はその濃度としてあるアレフ数をもつ(すなわちその指数と等濃である)ことを意味し、したがってアレフ数の始数はありとあらゆる無限濃度の代表類として仕える。

選択公理のない ZF において濃度が研究されるとき、各無限集合がその濃度としてあるアレフ数をもつことを証明することはもはや可能ではない。濃度がアレフ数であるような集合はちょうど整列できる無限集合である。スコットのトリックEnglish版の手法はときどき ZF の設定において濃度の代表を構成する代替的な方法として使われる。

関連項目

脚注

  1. Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag 
  2. aleph numbers - PlanetMath.(英語)
  3. Harris, Kenneth (2009年4月6日). “Math 582 Intro to Set Theory, Lecture 31”. Department of Mathematics, University of Michigan. . September 1, 2012閲覧.

外部リンク