[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
210(5): 2017/08/13(日)15:06 ID:RAsnrf+s(5/24) AAS
１．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
211(1): 2017/08/13(日)15:06 ID:RAsnrf+s(6/24) AAS
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
省6
212(5): 2017/08/13(日)15:07 ID:RAsnrf+s(7/24) AAS
３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，S^lOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1〜S^(k-l),S^(k+l)〜SlOOの決定番号のうちの最大値Dを書き下す.
省8
213: 2017/08/13(日)15:08 ID:RAsnrf+s(8/24) AAS
ったくテンプレに入れろよな
スレ立てすら満足にできんのか？
>>201
これが時枝記事です
214(1): 2017/08/13(日)15:11 ID:RAsnrf+s(9/24) AAS
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
215(3): 2017/08/13(日)15:12 ID:RAsnrf+s(10/24) AAS
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
省11
216(1): 2017/08/13(日)15:13 ID:RAsnrf+s(11/24) AAS
記事の”後半部分”と云われている箇所を追加しておきました
217: 2017/08/13(日)15:19 ID:XxcSa4Kb(1) AAS
失せろや恥さらし
数学屋のつもりやろけど
全然あかんでｗｗｗ
218(1): 2017/08/13(日)15:56 ID:BjC0xyI+(2/39) AAS
>>212
>.この仮定が正しい確率は99/100
これはなんで？
むしろ0じゃないの？
219(3): 2017/08/13(日)16:01 ID:BjC0xyI+(3/39) AAS
最初はd(S^k)が最大である確率は確かに1/100だろうけど
情報が増えてS^k以外を全部開けたら確率は0になっちゃわない？
220(1): 2017/08/13(日)16:03 ID:VnwS7U3w(14/34) AAS
>>218
以下参照
（100列ではなく6列の場合の説明 確率は5/6)
○ 代表元との不一致箇所
● 代表元との一致箇所
s1 ○●●●●●●●● ・・・
s2 ○○○○●●●●● ・・・
s3 ●●●●●●●●● ・・・
s4 ○○○●●●●●● ・・・
s5 ○○○○○●●●● ・・・
省26
221: 2017/08/13(日)16:07 ID:VnwS7U3w(15/34) AAS
>>219
開けるのは
・S_k以外の列の全箱
・S_kの番号Maxより先の全箱
MaxはS_k以外の列の決定番号の最大値
S_kの代表列をとるのに、
S_kの番号Maxより先の全箱の情報が必要
S_kの決定番号がMaxより大きい確率が1/100
222(3): 2017/08/13(日)16:10 ID:BjC0xyI+(4/39) AAS
>>220
1つ開けるごとにそこの決定番号が決まるので
あいや1つ開けてその決定番号が決まったらその時点でかな
あらかじめ選んでいた数列の決定番号がそれより大きくなる確率は0になりそうだけどな
223(3): 2017/08/13(日)16:11 ID:BjC0xyI+(5/39) AAS
>>222
>決定番号がそれより大きくなる
逆でした
小さくなる確率は0になっちゃうでしょ
224: 2017/08/13(日)16:14 ID:VnwS7U3w(16/34) AAS
>>222
＞1つ開けるごとにそこの決定番号が決まるので
1つ？「1列分」でしょ
＞あらかじめ選んでいた数列の決定番号が
＞それより大きくなる確率は0になりそうだけどな
根拠は？ないなら無意味だよ
225: 2017/08/13(日)16:17 ID:VnwS7U3w(17/34) AAS
>>223
＞あらかじめ選んでいた数列の決定番号が
＞それより小さくなる確率は0になっちゃうでしょ
根拠は？ないなら無意味だよ
226(1): 2017/08/13(日)16:19 ID:VnwS7U3w(18/34) AAS
>>222-223の主張は、100人がそれぞれ異なる列を選んだ場合、破たんする
どの人も自分が最大になる確率が１だというが、
実際にはその中の高々一人だけが最大値の列を選ぶ
227(2): 2017/08/13(日)16:24 ID:BjC0xyI+(6/39) AAS
根拠も何もS^kの決定番号って自然数総てあり得るからですよ
それが特定の値（以下）になる確率は0じゃないかな
228(1): 2017/08/13(日)16:25 ID:BjC0xyI+(7/39) AAS
>>226
なんで選んだ100人が「自分が選んだ列が最大である確率は1」と主張しなくちゃ行けないの？
それはともかく
まだどれも開けてないときはどれも1/100でしょうね
229(4): 2017/08/13(日)16:28 ID:BjC0xyI+(8/39) AAS
1個だけ開けたときそれが最大である確率は1と言わざるを得ないかなあ
確率というものの嫌らしいところね
上下前次1-新書関写板覧索設栞歴
あと 543 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s