16/11/26 20:34:02.33 eZ9pCsLc.net
>>493
> "全ての箱に数を入れる行為"までは、問題の仮定だからOK
たとえば e = 2.71828... の小数表示を1桁ずつバラバラにした数列an (a0=2, a1=7, a2=1, a3=8, ... )を
出題しようとしたとき
有限個の場合は a0=2, a1=7, a2=1, a3=8, a4=2, a5=8 の数字を用いて別の数列
b0=2, b1=2.7, b2=2.71, b3=2.718, b4=2.7182, b5=2.71828 は構成できる
有限個ならば項の数をいくつでも増やすことができるが無限個の場合は？
a0=2, a1=7, a2=1, a3=8, a4=2, a5=8, ... , ???
b0=2, b1=2.7, b2=2.71, b3=2.718, b4=2.7182, b5=2.71828, ... , ???
この場合は bn < e であるからanをeの小数表示と一致させることができない
そこでanの全ての数字とeの小数表示を一致させるために同値類を導入する
> 完全代表系を一組用意すればR^Nの任意の数列はある自然数n'が存在して n > n' の時に
> ある代表元のn番目以降の項と全て一致する
anの全ての数字とeの小数表示が全て一致すれば「全ての箱に数を入れる行為」が終了したと見なせる
ここまでは「問題の仮定だからOK」なのでしょう？
その結果として数当て戦略が成立する
以前にも同様のことを書いたが
ｽﾚﾘﾝｸ(math板:35番)