イプシロン数 イプシロン数の概要

ウィキペディア

イプシロン数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/12 10:30 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。 出典検索?: "イプシロン数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年3月）

この項目では、数学における順序数について説明しています。物理定数の ε0については「誘電率」をご覧ください。

${\displaystyle \alpha =\omega ^{\alpha }}$ であるような γ 番目（0から数え始める）の順序数 α を ε_γ と書き、これらをイプシロン数と呼ぶ。この中で最小のものが ε₀ （イプシロン・ゼロ（英: epsilon zero）、あるいはイプシロン・ノート（英: epsilon nought））である。

ε₀ はしたがって極限順序数でもある。

${\displaystyle \varepsilon _{0}=\omega ^{\omega ^{\omega ^{\cdot ^{\cdot ^{\cdot }}}}}.}$

カントールの標準形で表すと次の通り。

${\displaystyle \varepsilon _{0}=\omega ^{\varepsilon _{0}}.}$

ε₀ はまだ可算である（前述の γ を非可算順序数とすると、非可算なエプシロン数が得られる）。この順序数は帰納法を用いた様々な証明で非常に重要な役割を果たす。何故なら多くの場合、超限帰納法は ε₀まで実行すれば十分だからである（例としてペアノ算術の無矛盾性に関するゲンツェンの証明やグッドスタインの定理の証明などがある)。これがゲンツェンの証明において用いられたこととゲーデルの第二不完全性定理から、ペアノ算術ではこの順序の整礎性を証明できないことが判る（事実、ε₀はこのような性質を持つ最小の順序数である。このことから、証明論におけるordinal analysisではペアノ算術の体系の強さを測る尺度として利用されている）。

エプシロン数は、ドイツの数学者カントールによって順序数の算術（英語版）（順序数#順序数の演算も参照）の文脈において導入された。