「イプシロン数」の版間の差分
表示
削除された内容 追加された内容
m defaultsort |
巨大数テンプレートを除去(e0と巨大数との関連が不明)/表記・関数表記と基本列を除去(数学的に厳密さを欠く表現、一般的ではない関数の列挙) |
||
(2人の利用者による、間の3版が非表示) | |||
1行目: | 1行目: | ||
{{pp|vandalism|small=yes}} |
|||
{{出典の明記|date=2019年3月}} |
{{出典の明記|date=2019年3月}} |
||
{{Otheruses|数学における順序数|物理定数の ε<sub>0</sub>|誘電率}} |
{{Otheruses|数学における順序数|物理定数の ε<sub>0</sub>|誘電率}} |
||
'''イプシロン数'''あるいは'''エプシロン数''' ({{lang-en-short|epsilon numbers}})とは、[[数学]]における[[順序数|超限順序数]]の一つ。 |
'''イプシロン数'''あるいは'''エプシロン数''' ({{lang-en-short|epsilon numbers}})とは、[[数学]]における[[順序数|超限順序数]]の一つ。それ自身よりも小さい順序数から有限回の加算・乗算・冪乗では到達できない超限順序数として定義される。 |
||
<math>\alpha = \omega^\alpha</math> であるような γ 番目(0から数え始める)の順序数 α を ε<sub>γ</sub> と書き、これらをイプシロン数と呼ぶ。この中で最小のものが ε<sub>0</sub> ('''イプシロン・ゼロ'''({{lang-en-short|epsilon zero}})、あるいは'''イプシロン・ノート'''({{lang-en-short|epsilon nought}}))である。 |
<math>\alpha = \omega^\alpha</math> であるような γ 番目(0から数え始める)の順序数 α を ε<sub>γ</sub> と書き、これらをイプシロン数と呼ぶ。この中で最小のものが ε<sub>0</sub> ('''イプシロン・ゼロ'''({{lang-en-short|epsilon zero}})、あるいは'''イプシロン・ノート'''({{lang-en-short|epsilon nought}}))である。 |
||
ε<sub>0</sub> は基本列 <math>\omega, \omega^{\omega}, \omega^{\omega^{\omega}}, \omega^{\omega^{\omega^\omega}}, \dots </math> の極限として考えることができ、同時にこれらの順序数全体の集合の上限と一致する。ε<sub>0</sub> はしたがって[[極限順序数]]でもある。 |
|||
ε<sub>0</sub> はしたがって[[順序数#後続順序数と極限順序数|極限順序数]]でもある。 |
|||
:<math>\varepsilon_0 = \omega^{\omega^{\omega^{\cdot^{\cdot^{\cdot}}}}}.</math> |
:<math>\varepsilon_0 = \sup \{\omega, \omega^{\omega}, \omega^{\omega^{\omega}}, \omega^{\omega^{\omega^\omega}}, \dots \} = \omega^{\omega^{\omega^{\cdot^{\cdot^{\cdot}}}}}.</math> |
||
[[:en:Ordinal arithmetic#Cantor_normal_form|カントールの標準形]]で表すと次の通り。 |
[[:en:Ordinal arithmetic#Cantor_normal_form|カントールの標準形]]で表すと次の通り。 |
||
:<math>\varepsilon_0 = \omega^{\varepsilon_0}.</math> |
:<math>\varepsilon_0 = \omega^{\varepsilon_0}.</math> |
||
14行目: | 14行目: | ||
エプシロン数は、ドイツの数学者[[ゲオルク・カントール|カントール]]によって{{ill|順序数の算術|en|ordinal arithmatics}}([[順序数#順序数の演算]]も参照)の文脈において導入された。 |
エプシロン数は、ドイツの数学者[[ゲオルク・カントール|カントール]]によって{{ill|順序数の算術|en|ordinal arithmatics}}([[順序数#順序数の演算]]も参照)の文脈において導入された。 |
||
== 表記・関数表記 == |
|||
;クヌースの矢印表記 |
|||
:<math>\varepsilon_0 = \omega \uparrow\uparrow \omega.</math> |
|||
:<math>\varepsilon_0 = \omega \uparrow\uparrow\uparrow 2.</math> |
|||
;ヴェブレン関数 |
|||
:<math>\varepsilon_0 = \varphi_1(0)</math> |
|||
:<math>\varepsilon_0 = \varphi(1,0)</math> |
|||
;ブーフホルツのψ関数 |
|||
:<math>\varepsilon_0 = \psi\left(0\right)</math> |
|||
;ヴァイアーマンのϑ関数 |
|||
:<math>\varepsilon_0 = \vartheta\left(0\right)</math> |
|||
== 基本列 == |
|||
:<math>\varepsilon_0 = \sup \{ \omega, \omega^{\omega}, \omega^{\omega^{\omega}}, \omega^{\omega^{\omega^\omega}}, \dots \}</math> |
|||
;テトレーションを使った表記 |
|||
:<math>\varepsilon_0 = \sup \{ \omega \uparrow\uparrow 1, \omega \uparrow\uparrow 2, \omega \uparrow\uparrow 3, \omega \uparrow\uparrow 4, \dots \}</math> |
|||
:<math>\varepsilon_0 = \sup \{ {}^{1}\omega, {}^{2}\omega, {}^{3}\omega, {}^{4}\omega, \dots \}</math> |
|||
;ヴェブレン関数を使った表記 |
|||
:<math>\varepsilon_0 = \sup \{ \varphi_0(1), \varphi_0(\varphi_0(1)), \varphi_0(\varphi_0(\varphi_0(1))) , \varphi_0(\varphi_0(\varphi_0(\varphi_0(1)))), \dots \}</math> |
|||
:<math>\varepsilon_0 = \sup \{ \varphi(0,1), \varphi(0,\varphi(0,1)), \varphi(0,\varphi(0,\varphi(0,1))) , \varphi(0,\varphi(0,\varphi(0,\varphi(0,1)))), \dots \}</math> |
|||
== 脚注 == |
== 脚注 == |
||
56行目: | 30行目: | ||
{{集合論}} |
{{集合論}} |
||
{{巨大数}} |
|||
{{DEFAULTSORT:いふしろんすう}} |
{{DEFAULTSORT:いふしろんすう}} |
2023年9月28日 (木) 12:53時点における最新版
イプシロン数あるいはエプシロン数 (英: epsilon numbers)とは、数学における超限順序数の一つ。それ自身よりも小さい順序数から有限回の加算・乗算・冪乗では到達できない超限順序数として定義される。
であるような γ 番目(0から数え始める)の順序数 α を εγ と書き、これらをイプシロン数と呼ぶ。この中で最小のものが ε0 (イプシロン・ゼロ(英: epsilon zero)、あるいはイプシロン・ノート(英: epsilon nought))である。
ε0 は基本列 の極限として考えることができ、同時にこれらの順序数全体の集合の上限と一致する。ε0 はしたがって極限順序数でもある。
カントールの標準形で表すと次の通り。
ε0 はまだ可算である(前述の γ を非可算順序数とすると、非可算なエプシロン数が得られる)。この順序数は帰納法を用いた様々な証明で非常に重要な役割を果たす。何故なら多くの場合、超限帰納法は ε0まで実行すれば十分だからである(例としてペアノ算術の無矛盾性に関するゲンツェンの証明やグッドスタインの定理の証明などがある)。これがゲンツェンの証明において用いられたこととゲーデルの第二不完全性定理から、ペアノ算術ではこの順序の整礎性を証明できないことが判る(事実、ε0はこのような性質を持つ最小の順序数である。このことから、証明論におけるordinal analysisではペアノ算術の体系の強さを測る尺度として利用されている)。
エプシロン数は、ドイツの数学者カントールによって順序数の算術(順序数#順序数の演算も参照)の文脈において導入された。
脚注
[編集]関連項目
[編集]- 最小の超限順序数 ω
- ヴェブレン階層、ヴェブレン関数(Veblen function)
- フェファーマン・シュッテの順序数(Feferman–Schütte ordinal)Γ0
外部リンク
[編集]- "A Century of Controversy over the Foundations of Mathematics" —1999年4月30日、Lowell のマサチューセッツ大学におけるグレゴリー・チャイティンによる講演
- ε₀ | 巨大数研究 Wiki | Fandom