[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
611(1): 2020/03/22(日)14:48 ID:OFMTPL9H(3/8) AAS
>>608
＞おっ、分かってきたかな？
なんだ、分かってないのか
「的中確率１」だぞ
＞誤：無作為に
＞正：十分大きな
「十分大きな」では無意味
「無作為に」で十分
＞”可算無限長列で、
＞ 常に有限の決定番号ｄが存在するならば、
＞ 十分大きなmを選んで、 d<=mとできるなら、
＞ 代表列との比較で "rXd=Xd"と推測が的中確率1”
二行目
いかなる無限長列r∈R^Nも自身が属する同値類の代表元と同値
ゆえに常に有限（つまり自然数）の決定番号d∈Nが存在する
したがって「決定番号をdと表せば」が正しい
三行目
d<=mとなるｍが存在するのは自明
重要なのは、ほとんどすべての自然数mで、d<=mとなること
したがって、「ほとんどすべての自然数mで、d<=mとなるので」が正しい
四行目
比較するのはXdではなくXm
したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい
つまり通して書くと以下の通り
「可算無限長列で、
決定番号をdと表せば
ほとんどすべての自然数mで、d<=mとなるので
代表列との比較で "rXm=Xm"となる的中確率1」
623: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)22:07 ID:TMbOZsnt(21/22) AAS
>>611
＞ したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい
ああ、それでも可だ
下記 時枝にある通りで
”結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう”だな
だから、 "rXm=Xm"も "rXd=Xd"も どちらも可だ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
時枝問題（数学セミナー201511月号の記事）
(抜粋)
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.033s