以下のような巨大数が考えられる。
0からn,nからm,⋯このような自然数の集合の列al(lは0<lの自然数)を考える。1を加算するという操作を、lに1を加える操作だとする。無限回1を加算しても、a1,a2,⋯,alの全ての集合の元の個数は有限個である。また、a1,a2,⋯,alの隣り合った区間を結合していった時に、突然区間の長さが無限になるということはあり得ない。lの初期値を1とした時、無限回lに1を加算した時のalのなかで最大の元を「河城(かわしろ)にとり数」とする。前述の通り、a1,a2,⋯,alの隣り合った区間を結合していった時に、突然区間の長さが無限になるということはあり得ない。従って、河城(かわしろ)にとり数は有限である。
タイトルの通り。自然数の無限回の加算で、無限は作れるか?そもそも作れなかったら選択公理はどうなるの、と思われる向きもあるだろうが、自然数を加算すると、自然数になる、というのが結論でもおかしくはない。これは多分豊姫(とよひめ)の扇から作られる素粒子の数と、同値の命題を含んでいると思う。拙作の「豊姫(とよひめ)の扇から作られる素粒子の数」を参照のこと。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。