16/04/17 14:33:15.37 4VAQCJUa.net
>>457-460
1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, 7, 9, 3, ... という無限数列を分割する場合
個別の数字に分割したとすると当然可算無限個に分割される
| 1 | 4 | 1 | 5 | 9 | 2 | 6 | 5 | 3 | 5 | 8 | 9 | 7 | 9 | 3 | ...
これら全てに何らかの操作をすると無限回の操作が必要
無限回の操作は避けたいので無限数列を有限個に分割したい
代表元が(0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 8, 9, 7, 9, 3, ... )だとする
代表元に由来する部分をひとまとめにして分割したとすると
| 1 | 4 | 1 | 5 | 9 | 2 | 6 | 5 | 3 | 5, 8, 9, 7, 9, 3, ... |
有限個(この場合は10個)に分割できる(決定番号に等しい)
代表元は前もって決まっていることから以下の無限数列の決定番号は同じ代表元を用いて
求めることができる
(決定番号=3) | 1 | 4 | 0, 0, 0, 0, 0, 0, 0, 5, 8, 9, 7, 9, 3, ... |
(決定番号=4) | 1 | 4 | 1 | 0, 0, 0, 0, 0, 0, 5, 8, 9, 7, 9, 3, ... |
(決定番号=5) | 1 | 4 | 1 | 5 | 0, 0, 0, 0, 0, 5, 8, 9, 7, 9, 3, ... | など
よって決定番号の異なる無限数列を得ることも当然できる
スレ主は決定番号が大きくなりすぎることを批判していたが決定番号が小さい無限数列を選べば良い
逆に任意の無限数列を使いたかったら決定番号が大きくなることを認めなくてはいけない