[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
21(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:40 ID:cTg/FCp5(21/94) AAS
>>19 つづき
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
22(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:41 ID:cTg/FCp5(22/94) AAS
>>21 つづき
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
つづく
23(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:41 ID:cTg/FCp5(23/94) AAS
>>22 つづき
まず、数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった
ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが
１．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と
そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも
記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい”と締めくくっているのだった
２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと
３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが？
つづく
24(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:42 ID:cTg/FCp5(24/94) AAS
>>23 つづき
2chｽﾚ:math より
さて、時枝記事についての過去スレの議論をまとめておこう
私スレ主は、時枝解法は成り立たないと思っている。その理由は次の通り
１．時枝自身が「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，・・・当てられっこないではないか−−他の箱から情報は一切もらえないのだから.」と
つまり、時枝自身が認めているような、”ランダムな値”が可能なら、時枝解法の反例成立
２．さて数学から離れて、自然界には”乱数”というものがある。 例えば右のサイト 「乱数列」外部ﾘﾝｸ:ja.wikipedia.org
そういうものから、ランダムな値を発生させることが可能だと
３．数学界でも、ブラウン運動の数理がある。>>xxの引用とか、過去スレ 外部ﾘﾝｸ[pdf]:www.math.u-ryukyu.ac.jp 数理解析学特別講義?確率微分方程式 杉浦誠 琉球大 2010
で、「コルモゴロフの拡張定理→ブラウン運動という流れ」が説かれている。強調したいことは、上記の「コルモゴロフの拡張定理を使って、完全にランダムな」状況を構成したと
(引用終り)
以上
25: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:42 ID:cTg/FCp5(25/94) AAS
sage
26(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:44 ID:cTg/FCp5(26/94) AAS
>>24 関連
さて
＜以下、私スレ主が、確率論の専門家さんと呼ぶ人の議論を貼っておく＞
（確率論の専門家さんは、ID:f9oaWn8A と ID:1JE/S25W ）
20 2chｽﾚ:math
512 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 21:42:44.04 ID:f9oaWn8A [1/13]
時枝解法について議論してるのはわかるけど
そこから∞をNに含めるかどうかで議論してる理由がいまいちわからない
お互いどういう主張なんだ？
517 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:10:03.52 ID:f9oaWn8A [3/13]
時枝解法自体は怪しそう
100列並べた時に99/100ということだけど
まず，各列の独立性が怪しいし，そもそも可測性が成り立つかどうかすら微妙そう
518 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:17:03.90 ID:/kjhINs/ [9/15]
>>517
あなた俺と議論してみる？
俺の主張は下記>>343だ。>>239>>249もよかったら読んでおいて
>>343
>「選択公理を認め、かつ非可測集合R^N/~を"経由"してよいとするならば、記事の戦略の論理に穴はない」
つづく
27(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:44 ID:cTg/FCp5(27/94) AAS
>>26 つづき
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が可測かどうか分からないのでこの部分が非自明
つづく
28: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:45 ID:cTg/FCp5(28/94) AAS
sage
29(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:45 ID:cTg/FCp5(29/94) AAS
>>27 つづき
20 2chｽﾚ:math
523 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:42:43.83 ID:/kjhINs/ [11/15]
>>522
OK、理解した
最大番号というのは決定番号のことだね？
まずは確認させてくれ
524 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:44:59.25 ID:f9oaWn8A [6/13]
>>523
そうそう，決定番号で合ってるよ
526 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:47:57.61 ID:/kjhINs/ [12/15]
>>524
もう1つすまん、前提を伝えておく
>>522の問題設定（2列の無限列）の場合、時枝が主張するのは勝つ確率が1/2"以上"であって、1/2"ぴったり"ではない
記事を読めば"99/100"ぴったり"と解釈してしまうのは無理もないが、まあそこは行間を読んでほしい
ぴったりかそうでないかは些細なことだ
これを把握したことを確認してほしい。面倒をかけてすまんね。
527 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:57:09.15 ID:f9oaWn8A [7/13]
>>526
1/2以上でもいいよ
つづく
30(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:47 ID:cTg/FCp5(30/94) AAS
>>29 つづき
20 2chｽﾚ:math
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない
529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13]
>>528
自己レス
(R,B(R))ではなくすべて(R^N,B(R^N))だな
つづく
31(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:47 ID:cTg/FCp5(31/94) AAS
>>30 つづき
20 2chｽﾚ:math
530 返信：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 23:11:39.95 ID:/kjhINs/ [13/15]
>>527-529
サンクス。じゃあ考えを述べる
まず初めに言っておくと、あなたと俺と時枝氏の問題意識は同じだ
つまり、無限列x∈R^NがR~N上の確率分布P1(x)に従うとき、
[a]∈R^N/~が非可測であれば[a]が得られる確率P2([a])はP1(x)から計算することができない
したがってd∈Nが得られる確率分布P3(d)をP1(x)を用いて計算することもできない
これに関する時枝のコメントが>>5だと理解している
しかし一方で、写像h:x∈R^N→d∈NをXとY∈R^Nに施せば、2つの自然数d_X,d_Y∈Nが得られる
ひとたびXとYからd_Xとd_Yが得られることを認めさえすれば、d_X≧d_Yまたはd_X≦d_Yが成り立つ
2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
仮に確率分布P3(d)が与えられたとしても、それがなんであれ、どちらかを選べばゲームに勝てる
xの決定番号dを得るためにはxの属する代表元[a]を知る必要がある
>>343の
>「選択公理を認め、かつ非可測集合R^N/~を"経由"してよいとするならば、
という仮定は入れたのはそういう意味だ
つづく
32(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:48 ID:cTg/FCp5(32/94) AAS
>>31 つづき
20 2chｽﾚ:math
531 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:11:40.23 ID:f9oaWn8A [10/13]
ああ，正しくはP(h(Y)≧h(Z))≧1/2か
まあどちらにせよhが可測性が問題となることは間違いない
532 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A [11/13]
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
534 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 23:24:18.32 ID:/kjhINs/ [14/15]
>>532
>>530を読めば明らかだと思うが、俺は
『非可測集合R^N/~を"経由"してよいとする』
という仮定を貴方より拡大解釈している
hは非可測であり、これが問題だというのは俺も同意。記事も同じ
そこに目をつぶり、2個の自然数が与えられたとして確率を計算している
つづく
33(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:48 ID:cTg/FCp5(33/94) AAS
>>32 つづき
20 2chｽﾚ:math
535 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:33:06.50 ID:f9oaWn8A [12/13]
>>534
非可測であることに目をつぶって計算することの意味をあまり感じないな
直感的に1/2とするのは微妙．
むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが
直感的にも妥当だろう
538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな
>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
の認識が少しまずい．
任意有限部分族が独立とは
P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい）
これがきっと時枝氏のいう無限族が直接独立ということだろう．
ということは(2)から(1)が導かれてしまったので，
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
つづく
34(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:49 ID:cTg/FCp5(34/94) AAS
>>33 つづき
20 2chｽﾚ:math
541 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:04:35.65 ID:hgUPmIoq [1/10]
>>538
> 可算族に対しては(1)も(2)も同値となる
ありがとう、勉強させてもらった
このスレにはそこまで理解している人間はいなかった
貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが
542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3]
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
2. 無限族の独立性の定義は微妙
しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
2に関して言うとそもそも時枝氏の勘違い．
時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
つづく
35: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:50 ID:cTg/FCp5(35/94) AAS
>>34 つづき
20 2chｽﾚ:math
547 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:55:19.02 ID:l5brFViF
>>542
>しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
>（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
測度論的確率論で、当てられる確率が「計算できない」ではなく、「０である」と言えるの？ どうやって？
560 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 11:55:38.78 ID:1JE/S25W [2/3]
>>547
ごめん，現段階で0であるというのは言いすぎだったかもしれない
あなたの言うとおり計算できないってだけだ
しかし，適切な設定を行えば確率0というのは導けるだろうと思う．
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
>>563
ごめん，少し誤解があった
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
(引用終り)
以上
36: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:50 ID:cTg/FCp5(36/94) AAS
sage
37: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:51 ID:cTg/FCp5(37/94) AAS
sage
38(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:51 ID:cTg/FCp5(38/94) AAS
追加テンプレ
44 2chｽﾚ:math
462 名前：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:29.14 ID:bqiuLoxO [3/9]
さて、本題
>>457
>100個の決定番号から1個を選ぶから99/100。
&
>>458
>Dとは、d(S^k)以外の99個の決定番号d(S^1)〜d(S^100)の最大値
>そして、それがd(S^1)〜d(S^100)全体の最大値と
>一致しないようなkは高々１個しか存在しない
まずここから
あなた方の議論では、列の長さが有限でも無限でも、関係なく成り立つよね
で、過去スレから同じ議論を引用しようね（＾＾
41 2chｽﾚ:math
(抜粋)
169 返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/09/07(木) 15:32:30.21 ID:6yrERyqQ [9/9]
>>168
最初（１年半前）から最後（現在）まで、おっちゃんらしい外し方だね（最初のときも、当時似たことを言っていたね（＾＾ ）
>時枝記事は有限個の点からなる零集合かつ可測空間からなる確率空間を扱っているから、
>ゲームに勝つ確率を求めるだけなら、高校数学までの確率を求めるとき
>と同じように考えればそのゲームに勝つ確率は 99/100 と求まる。
つづく
39: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:53 ID:cTg/FCp5(39/94) AAS
>>38 つづき
44 2chｽﾚ:math
463 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:58.49 ID:bqiuLoxO [4/9]
１．まず、そもそも話が有限ですむ場合は、”当たらない（＝箱に数を入れる主題者勝率１、回答者勝率０）”ってことは、おっちゃん以外の全員が、同意している
実際にも、>>87に引用したSergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il にも下記があるよ（これには全員同意だよ）
P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
つまり、意訳すると
“リマーク：箱の数が有限の場合、プレーヤー1は勝利を保証することができます。
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって、game1の勝利確率1とgame2の勝利確率9/10になる。”と
言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。
注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0〜9までの整数を、箱に入れるということ。
(引用終り)
２．”高校数学までの確率”で話が済むなら、数学セミナー誌の記事にはならない（＾＾
44 2chｽﾚ:math
464 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:58:32.31 ID:bqiuLoxO [5/9]
３．”勝つ確率は 99/100”は、上記>>164 東北大 尾畑伸明先生を含む、標準的な現代確率論の数理と矛盾するよ（＾＾
以上
40: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:54 ID:cTg/FCp5(40/94) AAS
スレ41 2chｽﾚ:math
170 返信：１３２人目の素数さん[sage] 投稿日：2017/09/07(木) 16:37:17.53 ID:kjL7MoYs [8/14]
>>169
＞>時枝記事は有限個の点からなる零集合かつ可測空間からなる確率空間を扱っているから、
＞>ゲームに勝つ確率を求めるだけなら、高校数学までの確率を求めるとき
＞>と同じように考えればそのゲームに勝つ確率は 99/100 と求まる。
＞
＞１．まず、そもそも話が有限ですむ場合は、”当たらない（＝箱に数を入れる主題者勝率１、回答者勝率０）”ってことは、おっちゃん以外の全員が、同意している
＞ 実際にも、>>87に引用したSergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il にも下記があるよ（これには全員同意だよ）
高校の数学からやり直せよ。ゲームで100個の中から1個を選んでそれが外れる確率に差異はないから、
ゲームで100個の中から1個を平等に選んでそれが外れる確率を求めたときそれが 99/100 になることには変わりがない。
現代確率論なんか必要ない。
(引用終り)
このID:kjL7MoYsは、おっちゃんなんだけどね（＾＾
なんで、有限では不成立で、無限なら成立なんだ？
”99/100”は両者で変わらないはずだろ？（＾＾
以上です（＾＾
41(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:57 ID:cTg/FCp5(41/94) AAS
＜関連資料＞
＜参考＞(Sergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il 関連)
スレ38 2chｽﾚ:math
91 自分：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/08/12(土) 11:57:49.54 ID:J214zEo3 [20/30]
>>89
どうも。スレ主です。
>氏は原型をルーマニアあたりから仕入れたらしい
この”ルーマニアあたり”は、地名とよむのが、普通だろうね
で、Sergiu Hartはユダヤ人だがルーマニア生まれなので、ソースは同じかもね
因みに 外部ﾘﾝｸ[html]:www.ma.huji.ac.il Sergiu Hart Choice Games より PDFには
”1Source unknown. I heard it from Benjy Weiss, who heard it
from ..., who heard it from ... . For a related problem, see
外部ﾘﾝｸ:xorshammer.com”
と注釈が入っているよ
(引用終り)
42(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:57 ID:cTg/FCp5(42/94) AAS
>>41 つづき
で、関連部分引用する（＾＾
外部ﾘﾝｸ:xorshammer.com
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
(抜粋)
For some interesting comments on this puzzle, see Greg Muller’s blog post on it here
外部ﾘﾝｸ:cornellmath.wordpress.com
(引用終り)
つづく
43(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:58 ID:cTg/FCp5(43/94) AAS
>>42 つづき
下記「選択公理は間違っている」に対し、Terence Taoのコメントが３つ
外部ﾘﾝｸ:cornellmath.wordpress.com
The Axiom of Choice is Wrong By Greg Muller Everything Seminar blog at WordPress.com. September 13, 2007
(抜粋)
Terence Tao Says:
September 13, 2007 at 9:58 pm | Reply
Terence Tao Says:
September 19, 2007 at 1:45 am | Reply
Terence Tao Says:
September 20, 2007 at 12:42 pm | Reply
(引用終り)
つづく
44(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:58 ID:cTg/FCp5(44/94) AAS
>>43 つづき
で、Alan D. Taylor さんの２つの論文のPDFリンク切れているから、検索し直した
下記、ご参照
１）
外部ﾘﾝｸ:www.cs.umd.edu
William Gasarch Professor of Computer Science Affiliate of Mathematics University of Maryland at College Park
外部ﾘﾝｸ[html]:www.cs.umd.edu
Papers on Hat Problems I want to read by William Gasarch
21. An Introduction to Infinite Hat Problems by Christopher Hardin and Alan Taylor. HAT GAME- infinite number of people, need to get all but a finite number of them right. Needs AC. Infinite Hats and AC
外部ﾘﾝｸ[pdf]:www.cs.umd.edu
An Introduction to Infinite Hat Problems Chris Hardin and Alan Taylor THE MATHEMATICAL INTELLIGENCER 2008 Springer Science+Business Media, Inc
２）
外部ﾘﾝｸ:citeseerx.ist.psu.edu
A peculiar connection between the Axiom of Choice and predicting the future THE MATHEMATICAL ASSOCIATION OF AMERICA Monthly February 2008
外部ﾘﾝｸ:citeseerx.ist.psu.edu
３）Taylorさん
外部ﾘﾝｸ:en.wikipedia.org
Alan D. Taylor
Alan Dana Taylor (born October 27, 1947) is an American mathematician who, with Steven Brams, solved the problem of envy-free cake-cutting for an arbitrary number of people with the Brams?Taylor procedure.
Taylor received his Ph.D. in 1975 from Dartmouth College.[2]
He currently is the Marie Louise Bailey professor of mathematics at Union College, in Schenectady, New York.
以上
45(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:59 ID:cTg/FCp5(45/94) AAS
＜追加＞
（これはピエロのPDF紹介でGJ！（＾＾ ）
外部ﾘﾝｸ[pdf]:pdfs.semanticscholar.org
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition
by Hardin, Christopher S., Taylor, Alan D. (2013) Hardcover
Springer Verlag
上記の引用文献で
外部ﾘﾝｸ[pdf]:www.jointmathematicsmeetings.org
[HT09] Christopher S. Hardin and Alan D. Taylor. Limit-like predictability for discontinuous functions. Proceedings of the AMS, 137:3123-3128, 2009.
46(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:59 ID:cTg/FCp5(46/94) AAS
＜テンプレ追加の追加＞
スレ45 2chｽﾚ:math
470 自分：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/06(月) 00:03:28.04 ID:1Au30FRy [4/13]
(抜粋)
ピエロ必死だな（＾＾
>無限帽子の問題の解法も凄まじい
>無限列のどの人も、自分の前方（数が増える方向が前）の帽子を見ただけで
>有限人数を除いて、自分の帽子の色が当てられるのだから
>「独立だから予測できるわけない」という人にとって直接的なダメージ
そうでもないよ（＾＾
無限帽子の問題は、いろんなバリエーションがあって、いちいちフォローしていないが
１例で、>>344の 外部ﾘﾝｸ[html]:logicpuzzle.seesaa.net 囚人と帽子クイズ（無限バージョン）論理パズルで楽しく脳トレ 2012年07月23日
について、私なりの解説をすれば、自分の帽子は見えないけれど、自分以外の全員の帽子は見えているわけだ
それで、例の有限個のみ違う同値類の代表元に、”自分以外の人の見える情報”が反映されていると理解すればいいわけだ
いわば、代表元があたかも鏡のように、但し自分とある有限個のみ写らない鏡があると思えば良いんじゃないかな？
つづく
47(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:02 ID:cTg/FCp5(47/94) AAS
>>46 つづき
45 2chｽﾚ:math
471 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 20171106
で、むしろ時枝記事に近いのは、君が>>295（>>304）で紹介した下記の方が、時枝に近いだろう
ここでは、任意の関数f(x)の任意の貴方の選ぶ１点（”You pick an x ∈ Ｒ”）を、” whatever f Bob picked, you will win the game with probability 1!”、”it’s arbitrary: it doesn’t have to be continuous or anything”の条件で当てられるとあるよ
Ｎ⊂Ｒだから、”You pick an n ∈ Ｎ”とすれば、時枝記事の場合を含むことになろう
で、時枝記事のように、どこの箱が当たるか分らず、また確率99/100に対して、これは自分で選んだｘであり、”with probability 1!”だから、こちらの解法がよほど優れている
外部ﾘﾝｸ:xorshammer.com
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
(抜粋)
Here’s a puzzle:
You and Bob are going to play a game which has the following steps.
1)Bob thinks of some function f： Ｒ → Ｒ (it’s arbitrary: it doesn’t have to be continuous or anything).
2)You pick an x ∈ Ｒ.
3)Bob reveals to you the table of values {(x0, f(x0))｜ x0 ≠ x } of his function on every input except the one you specified
4)You guess the value f(x) of Bob’s secret function on the number x that you picked in step 2.
You win if you guess right, you lose if you guess wrong. What’s the best strategy you have?
This initially seems completely hopeless: the values of f on inputs x0 ≠ x have nothing to do with the value of f on input x, so how could you do any better then just making a wild guess?
In fact, it turns out that if you, say, choose x in Step 2 with uniform probability from [ 0,1 ], the axiom of choice implies that you have a strategy such that, whatever f Bob picked, you will win the game with probability 1!
つづく
48(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:02 ID:cTg/FCp5(48/94) AAS
>>47 つづき
スレ45 2chｽﾚ:math
472 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/06(月) 00:05:26.40 ID:1Au30FRy [6/13]
The strategy is as follows: Let 〜 be the equivalence relation on functions from Ｒ to Ｒ defined by f 〜 g iff for all but finitely many y, f(y) = g(y). Using the axiom of choice, pick a representative from each equivalence class.
In Step 2, choose x with uniform probability from [ 0,1 ].
When, in step 3, Bob reveals {(x0, f(x0)) ｜ x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. Let g be the representative of that equivalence class that you picked ahead of time. Now, in step 4, guess that f(x) is equal to g(x).
What is the probability of success of this strategy?
Well, whatever f that Bob picks, the representative g of its equivalence class will differ from it in only finitely many places.
You will win the game if, in Step 2, you pick any number besides one of those finitely many numbers.
Thus, you win with probability 1 no matter what function Bob selects.
(引用終り)
つづく
49(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:04 ID:cTg/FCp5(49/94) AAS
>>48 つづき
スレ45 2chｽﾚ:math
473 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/06(月) 00:08:48.04 ID:1Au30FRy [7/13]
先に私の見解を書いておくが、ピエロくんの紹介してくれた >>312 PDF が参考になるね（＾＾
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition by Hardin, Christopher S., Taylor, Alan D.
これで、上記とちょっと違って、７章”The Topological Setting”とかなっていて、さすがに上記は、まずいということらしい。（＾＾
例えば、
P9
”In Chapter 7 we start to move further away from the hat problem
metaphor and think instead of trying to predict a function's value at a
point based on knowing (something about) its values on nearby points. The
most natural setting for this is a topological space and if we wanted to
only consider continuous colorings, then the limit operator would serve as
a unique optimal predictor. But we want to consider arbitrary colorings.
Thus we have each point in a topological space representing an agent and
if f and g are two colorings, then f ≡a g if f and g agree on some deleted
neighborhood of the point a. It turns out that an optimal predictor in this
case is wrong only on a set that is "scattered" (a concept with origins going
back to Cantor). Moreover, this predictor again turns out to be essentially
unique, and this is the main result in Chapter 8.”
などとある
さすれば、時枝もそのままじゃ（Topologicalな条件を加えないと）、成り立たないと思うがどう？（＾＾
以上
50(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:05 ID:cTg/FCp5(50/94) AAS
>>49 関連
スレ45 2chｽﾚ:math
540 返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/07(火) 14:31:03.11 ID:/DwZQaZ/ [1/5]
>>537 追加
追加でしっかり書いておくよ〜（＾＾
＜言いたいことは、結論を言えば、XOR’S HAMMERも、Sergiu Hart氏・時枝も、全部パズルなんだよね＞
１．名前を付けよう
１）下記、XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法としよう。
記 (>>471より)
外部ﾘﾝｸ:xorshammer.com
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
(抜粋)
Here’s a puzzle:
You and Bob are going to play a game which has the following steps.
２）Sergiu Hart氏のpuzzle及び時枝記事（>>17-24より）の解法を、加算無限個数列の数当て解法としよう
Sergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il （>>46より）
つづく
上下前次1-新書関写板覧索設栞歴
あと 642 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.050s