メインメニューを開く

差分

利用者:Nayuta Ito/巨大数における有限と無限

766 バイト追加, 2022年1月21日 (金) 06:40
これは直感的な説明であることに注意すること。
=== 第1節 \( \omega^{\omega} \)まで===
* \( 1, 2, 3, \cdots \)と進んだ先には\( \omega \)がある。
* \( \omega \)から再び\( \omega+1, \omega+2, \omega+3, \cdots \)と進み、\( \omega \times 2 \)に到達する。
* \( \omega^2 \)からまた無限に数えると、\( \omega^2 + \omega \)である。
* \( \omega^2 \)から\( \omega^2 \)の構造をもう一度数えることで、\( \omega^2 \times 2 \)となる。
* \( \omega^2 \)の構造を無限に数えることで、\( \omega^3 \)となる。
* \( \omega^3 \)の構造を無限に数えることで、\( \omega^4 \)となる。
* \( \omega^n \)の構造を無限に積み上げて、\( \omega^{\omega} \)となる。
 
\( \omega^{\omega} \)未満の順序数は\( \omega \)の「多項式」のように表される。すなわち、
 
\( \omega^4 + \omega^3 \times 6 + \omega \times 2 + 3 \)
 
のような形で表される。この表し方が、カントール標準形の\( \omega^{\omega} \)未満の部分である。\( \omega^{\omega} \)以上の部分については後述する。
 
=== 第2節 \( \omega^{\omega^{\omega}} \)まで===
[遠すぎる・・・・・・]
 
[待ってこれ無限節やるの?]
===第1節 ヒドラゲーム===
Wikiいけめん
217

回編集