>>676
おまえは>>632で、連結なる操作で作ったS1'+S1により決定番号はωになると言った
S1'+S1は本当にR^Nの元なのか？連結という演算はR^Nで閉じているのか？
お前が主張したことだ。納得できないから証明を載せろ。

----------
>>632
> まあ、無限ホテルの各部屋が満員で、それぞれ泊まっている人が勝手に数字を書いたと思え
> それで可算無限個の数からなる数列ができる。それをS1としよう。数列S1の長さは、ωだ
>
> 数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限)
> ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする
>
> ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
> それはおかしいと、納得できないという人がいるかも知れないが、そういう人は、ヒルベルトの無限ホテルのパラドックスを熟読願いたい