エプシロン・ノート
![]() |
ε0(えぷしろん・のーと (Epsilon nought)、または、えぷしろん・ぜろ (Epsilon zero))は、数学における超限順序数の一つ。ω(最小の超限順序数)から有限回の加算・乗算・冪乗では到達できない最小の超限順序数として定義される。従って極限順序数でもある。
カントールの標準形で表すと次の通り。
ただしこれは十分な定義ではない。 であるような γ 番目(0から数え始める)の順序数 α を εγ と書き、これらをエプシロン数と呼ぶ。この中で最小のものが ε0 である。
ε0 はまだ可算である(順序数は非可算個ある)。この順序数は帰納法を用いた様々な証明で非常に重要な役割を果たす。何故なら多くの場合、超限帰納法は ε0まで実行すれば十分だからである(例としてペアノ算術の無矛盾性に関するゲンツェンの証明やグッドスタインの定理の証明などがある)。これがゲンツェンの証明において用いられたこととゲーデルの第二不完全性定理から、ペアノ算術ではこの順序の整礎性を証明できないことが判る(事実、ε0はこのような性質を持つ最小の順序数である。このことから、証明論におけるordinal analysisではペアノ算術の体系の強さを測る尺度として利用されている)。
ドイツの数学者カントールによって考案された。
表記・関数表記
- クヌースの矢印表記
- ヴェブレン関数
- ブーフホルツのψ関数
- ヴァイアーマンのϑ関数
基本列
- テトレーションを使った表記
- ヴェブレン関数を使った表記
脚注
関連項目
- 順序数
- 順序数#後続順序数と極限順序数
- 後続順序数
- 極限順序数
- 有限順序数と超限順序数
- 最小の超限順序数 ω
- 順序数の算術、順序数#順序数の演算
- エプシロン数(イプシロン数)
- ヴェブレン階層(Veblen hierarchy)、ヴェブレン関数(Veblen function)
- フェファーマン・シュッテの順序数(Feferman–Schütte ordinal)Γ0
外部リンク
- "A Century of Controversy over the Foundations of Mathematics" —1999年4月30日、Lowell のマサチューセッツ大学におけるグレゴリー・チャイティンによる講演
- ε₀ | 巨大数研究 Wiki | Fandom