[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
519(2): １３２人目の素数さん [] 2018/01/15(月) 01:16:45.38 ID:KdIP1Ead(1/7) AAS
>>517
>”この定理は、いままで読んだ「Ruler Function」の話と合わない”ということだけは、すぐ分ったよ（＾＾
ほぼ関係ないので
合わないというのは誤解です
ちゃんと証明を読みましょう
469(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/14(日) 09:33:43.01 ID:fNVDpqMq(3/38) AAS
>>468 つづき
＜参考＞
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
2chｽﾚ:math
20 2chｽﾚ:math
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15]
>>519
記事のどこが疑問なのか明確にしてもらえますか？
説明不足でよく分からない
522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
つづく
521(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/15(月) 07:30:23.12 ID:xsWEHCro(1/7) AAS
>>519
証明成り立ってないでしょ？
それは、>>366-370に書いた通りで
「定理1.7 (422 に書いた定理)」は、有理数Ｑのように補集合R−Bf がＲ中に稠密分散しているときは、守備範囲外
つまり、有理数Ｑのように補集合R−Bf がＲ中に稠密分散しているときは、リプシッツ連続であるような開区間（a, b）は取れない（>>368）
だから、系1.8に対して、「定理1.7 (422 に書いた定理)」を使って、矛盾を導くことはできない
証明は、これからじっくり読む予定です
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s