17/10/10 19:09:57.12 c+hKNU/F.net
>>356
>あくまで、否定する部分は、一つの同値類全体Uの場合、
>”決定番号が、１からｎの間に来る確率は、０（ゼロ）”
>「D >= d(S^k) を仮定しよう.」の「仮定」の部分だよ
>つまり、”Dは有限な、１からｎの間に来る確率は、０（ゼロ）”
>ってことを主張しているんだ
やっぱり∃ｙ∀ｘと∀ｘ∃ｙの違いが分かってないんだな
まず、∃ｙ∀ｘの場合
「ある自然数ｎが存在して、任意の１００列について
１００列の決定番号が、全てｎ以下になる」
となる確率は限りなく０に近い
これがあなたの主張
そして、∀ｘ∃ｙの場合
「任意の１００列について、それぞれある自然数ｎが存在して
１００列の決定番号が、全てｎ以下になる」
というのは真だ つまり確率１
ｎを１００列の決定番号の最大値とすればいい
決定番号は必ず自然数であるのだから、最大値も当然存在する
それがいかほど大きかろうが存在しさえすればいいｗ
箱入り無数目で必要なのは後者が成り立つことだ
つまりある１列を除いた９９列の決定番号の最大値をとった場合
それが元の１００列の決定番号の最大値より小さくなる場合は、
１００列中のたった１列にすぎないといえればいい
あらかじめ、ある自然数ｎを設定する必要などないのである
前者が成り立つ確率が限りなく０に近いからといって
そんなことは全然問題にならない