グッドスタインの定理のソースを表示

'''グッドスタインの定理'''（グッドスタインのていり、Goodstein's theorem）は、[[数理論理学]]における[[自然数]]に関する命題であり、「全ての'''グッドスタイン数列'''は必ず0で終わる」という主張。[[ペアノの公理|ペアノ算術]]からは決定不能（[[証明 (数学)|証明]]も反証もできないこと）が知られている。

ペアノ算術に決定不能な命題があること自体は、[[クルト・ゲーデル|ゲーデル]]の[[不完全性定理]]により示されている。しかし、不完全性定理の一般的な証明で用いる命題が自己言及のパラドックスを利用した「人工的」なものであるのに対し、グッドスタインの定理は「自然な」決定不能命題の例として知られる。

なお、グッドスタインの定理は[[公理的集合論|集合論]]の[[公理]]系、特に無限集合の公理を用いて証明できる。

== グッドスタイン数列の定義 ==
グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を<math> a_k n^k + a_{k-1} n^{k-1} + \cdots + a_0 </math>（ただし、<math> a_i </math>は0とn-1の間の値をとる整数）という形に書き換える。次に、ここに現れる各項を独立したnの積で表す。たとえば<math>a_k n^k</math> は <math>n^k + n^k + \cdots + n^k</math>という形になる。そのあと今度は全ての指数kをnを底とした遺伝的記法に書き換える。以下、再帰的に繰り返して、記述中に現れる全ての数字がnか0になるまで続ける。つまり指数でない全ての数字はnとなり、全ての指数（とその指数）はnまたは0になる（<math>n^0=1</math>である点に注意）。

例えば、35は2を底として普通に書くと<math>2^5+2+1</math>となるが、遺伝的記法で書くと

{{Indent|<math>2^{2^2+1}+2+1</math>}}

となる。

数字mの'''グッドスタイン数列'''をG(m)と書き、次のように定義する。数列の初項はmとする。次項を得るには、mを2を底とした遺伝的記法で書いてから、現れる「2」を全て3に置換し、結果から1を引く。これがG(m)の第2項である。G(m)の第3項を得るには、一つ前の項（の3を底とした遺伝的記法）の「3」を全て4に置換し、結果からまた1を引く。以下、同様に繰り返し、結果が0になった時が数列の終わりである。

== グッドスタイン数列の例 ==
初めのほうのグッドスタイン数列はすぐに終結する。G(3)の様子を見てみよう。

{| border="1" cellspacing="0" cellpadding="5"
!底!!遺伝的記法!!値!!備考
|-
|2
|2<sup>1</sup> + 1
|3
|1は2<sup>0</sup>を表す。
|-
|3
|3<sup>1</sup> + 1 &minus; 1 = 3
|3
|2を3に置換してから1を引く
|-
|4
|4<sup>1</sup> &minus; 1 = 1 + 1 + 1
|3
|3を4に置換してから1を引く。得られる3は底である4よりも小さいので、4<sup>1</sup>-1という表現は4<sup>0</sup> + 4<sup>0</sup> + 4<sup>0</sup>つまり1 + 1 + 1となる。
|-
|5
|1 + 1 + 1 &minus; 1 = 1 + 1
|2
|ここに現れる1は皆5<sup>0</sup>のこと。もはや底を換えても意味はない。この数列は以後0に行き着くことが明らかである。
|-
|6
|1 + 1 &minus; 1 = 1
|1
|
|-
|7
|1 &minus; 1 = 0
|0
|
|}

この後の多くのグッドスタイン数列は非常に長い間に渡って増大し続ける。例えば、G(4)は次のように始まる。

{| border="1" cellspacing="0" cellpadding="5"
!遺伝的記法!!値
|-
|2<sup>2</sup>
|4
|-
|2·3<sup>2</sup> + 2·3 + 2
|26
|-
|2·4<sup>2</sup> + 2·4 + 1
|41
|-
|2·5<sup>2</sup> + 2·5 
|60
|-
|2·6<sup>2</sup> + 6 + 5
|83
|-
|2·7<sup>2</sup> + 7 + 4
|109
|-
| style="text-align:center;" colspan="2"|...
|-
|2·11<sup>2</sup> + 11
|253
|-
|2·12<sup>2</sup> + 11
|299
|-
| style="text-align:center;" colspan="2"|...
|}

G(4)の項はしばらく増大し続けるが、底が3 · 2<sup>402653209</sup>となったところで最大値3 · 2<sup>402653210</sup> &minus; 1に達し、そのまま3 · 2<sup>402653209</sup>項の間同じ値を取り続けてから、最初で最後の下降を始める。

値が0となるのは底が3 · 2<sup>402653211</sup> &minus; 1の時である。しかしながら、G(4)はグッドスタイン数列が「いかに」急速に増大し得るかについて、良い例とは言えない。G(19)ははるかに急速に増大する。立ち上がりを見てみよう。

{| border="1" cellspacing="0" cellpadding="5"
!遺伝的記法!!値
|-
|<math>2^{2^2}+2+1</math>
|19
|-
|<math>3^{3^3}+3</math>
|7625597484990
|-
|<math>4^{4^4}+3</math>
|約 1.3 &times; 10<sup>154</sup>
|-
|<math>5^{5^5}+2</math>
|約 1.8 &times; 10<sup>2184</sup>
|-
|<math>6^{6^6}+1</math>
|約 2.6 &times; 10<sup>36305</sup>
|-
|<math>7^{7^7}</math>
|約 3.8 &times; 10<sup>695974</sup>
|-
|<math>7 \times 8^{(7 \times 8^7 + 7 \times 8^6 + 7 \times 8^5 + 7 \times 8^4 + 7 \times 8^3 + 7 \times 8^2 + 7 \times 8 + 7)}</math> 
<math>+ 7 \times 8^{(7 \times 8^7 + 7 \times 8^6 + 7 \times 8^5 + 7 \times 8^4 + 7 \times 8^3 + 7 \times 8^2 + 7 \times 8 + 6)} + \cdots</math> 
<math>+ 7 \times 8^{(8+2)} + 7 \times 8^{(8+1)} </math>
<math>+ 7 \times 8^8 + 7 \times 8^7 + 7 \times 8^6 </math>
<math>+ 7 \times 8^5 + 7 \times 8^4 + 7 \times 8^3 + 7 \times 8^2 + 7 \times 8 + 7</math>
|約 6 &times; 10<sup>15151335</sup>
|-
|
<math>7 \times 9^{(7 \times 9^7 + 7 \times 9^6 + 7 \times 9^5 + 7 \times 9^4 + 7 \times 9^3 + 7 \times 9^2 + 7 \times 9 + 7)}</math> 
<math>+ 7 \times 9^{(7 \times 9^7 + 7 \times 9^6 + 7 \times 9^5 + 7 \times 9^4 + 7 \times 9^3 + 7 \times 9^2 + 7 \times 9 + 6)} + \cdots</math> 
<math>+ 7 \times 9^{(9+2)} + 7 \times 9^{(9+1)}</math> 
<math>+ 7 \times 9^9 + 7 \times 9^7 + 7 \times 9^6 </math>
<math>+ 7 \times 9^5 + 7 \times 9^4 + 7 \times 9^3 + 7 \times 9^2 + 7 \times 9 + 6</math>
|約 4.3 &times; 10<sup>369693099</sup>
|-
| style="text-align:center;" colspan="2"|...
|}

これだけ急速に増大するにもかかわらず、グッドスタインの定理は、初項mが何であろうとグッドスタイン数列は必ず0で終わると主張する。

== 証明 ==
グッドスタインの定理は（ペアノ算術を逸脱する技法を用いて）以下のようにして証明できる。まず、与えられたグッドスタイン数列G(m)について、これと並行する[[順序数]]の数列を作る。この並行する数列の各項は、元のグッドスタイン数列に含まれる各項よりも小さくはないこととする。もしこの並行数列の項が0に収束するならば、グッドスタイン数列も同じく0に収束しなければならない。

並行数列を作るには、グッドスタイン数列の第(n &minus; 1)番目の項のnを底とした遺伝的記法をもとに、そこに現れる全てのnを最初の[[順序数|超限順序数]]であるωで置換する。順序数は加算、乗算、冪乗について[[Well-defined]]であり、かつ、結果として得られる順序数は元の項より小さくないことが明らかである。

グッドスタイン数列における「底の変更」操作は、並行数列の項には影響しない。つまり、<math>4^{4^4} + 4</math>に現れる全ての「4」をωで置換する代わりに、全ての「4」を「5」で置換した後に改めてωで置換しても結果は同じである。ところが「1を引く」操作のほうは、並行数列の超限順序数を減算することに対応する。今の例では、この操作を施すと<math>\omega^{\omega^\omega} + \omega</math>は<math>\omega^{\omega^\omega} + 4</math>に減算される。順序数は[[整列順序]] (well-order) なので、[[無限降下法|無限に減り続ける]]ような順序数の数列は存在しない。従って並行数列は有限個の項の後で必ず0で終わらなければならない。グッドスタイン数列も、並行数列によって頭を押えられているので、同じく0で終わることになる。

グッドスタインの定理に関するこの証明はかなり易しいが、一方この定理がペアノ算術には含まれないと述べる「Kirby-Parisの定理」はテクニカルではるかに難しい。その中ではペアノ算術の可算で非標準的なモデルが利用される。そこでKirbyはグッドスタインの定理から[[ゲンツェンの定理]]([[:en:Gentzen's consistency proof|en]])が導かれることを示した。つまり、グッドスタインの定理は[[エプシロン・ノート|ε<sub>0</sub>]]までの[[帰納法]]の代わりとなるのである。

== 計算可能関数への応用 ==
グッドスタインの定理を応用すると、[[全域関数]]であって、かつ全域関数であることがペアノ算術では証明できないような[[計算可能関数]]を構成できる。個々の数のグッドスタイン数列は[[チューリングマシン]]によって算出できる。したがって、''n'' を「''n'' のグッドスタイン数列が停止するまでに要する項の数」に対応づけるような関数も、何らかのチューリングマシンによって計算できる。この計算機は単に ''n'' のグッドスタイン数列を算出し、もし数列が 0 に収束したならば、その数列の長さを返すだけである。全てのグッドスタイン数列は最終的には収束するので、この関数は全域関数である。ところがペアノ算術からは全てのグッドスタイン数列が収束することは証明できないので、ペアノ算術はこのチューリングマシンが計算しているのが全域関数であることを証明できない。

==参考文献==
*[[:en:Reuben Goodstein|Goodstein, R.]], ''On the restricted ordinal theorem'', Journal of Symbolic Logic, 9 (1944), 33-41.
*[[ローレンス・カービー|Kirby, L.]] and [[:en:Jeff Paris|Paris, J.]], ''Accessible independence results for Peano arithmetic'', Bull. London. Math. Soc., 14 (1982), 285-93.

==脚注==
<references/>

==関連項目==
*[[パリス＝ハーリントンの定理]]

== 外部リンク ==
* {{Cite book |title=On the Independence of Goodstein's Theorem |date=2001-07-23 |chapter=3 Independence of Goodstein's Theorem |origdate=2001-04-30 |chapter-url=https://web.archive.org/web/20060913094157/http://www.u.arizona.edu/~miller/thesis/node11.html |archive-url=https://web.archive.org/web/20060912005737/http://www.u.arizona.edu/~miller/thesis/thesis.html |archive-date=2006-09-12}}
*: グッドスタインの定理がペアノ算術からは導けないことの証明について
* {{Cite web |url=http://www.cwi.nl/~tromp/pearls.html#goodstein |title=How fast can you grow? |access-date=2007-09-24 |author=John Tromp |work=Programming Pearls |publisher=Centrum Wiskunde & Informatica |archive-url=https://web.archive.org/web/20051130153411/http://homepages.cwi.nl/~tromp/pearls.html#goodstein |archive-date=2005-11-30 |url-status=dead|url-status-date=2022-08-20}}
*: プログラミング言語[[Ruby]]と[[Haskell]]によるグッドスタイン数列の定義と、大規模な計算例

{{DEFAULTSORT:くつとすたいんのていり}}
[[Category:集合論]]
[[Category:数学基礎論の定理]]
[[Category:数理論理学]]
[[Category:数学に関する記事]]
[[Category:巨大数]]
[[Category:数学のエポニム]]