スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (298ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
2(11): 01/15(水)11:19 ID:ZCTGHyhi(2/19) AAS
つづき
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
(代表)列r のD番目の実数rDを見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
20(1): 01/15(水)11:40 ID:kITRkOLu(1/3) AAS
>>1-2
箱入り無数目論法
自然数100個の組(n1,…,n100)から(N1,…,N100)への写像
Ni=max(ni以外の99個の自然数)
このときN1,…,N100のうち99個は
N=max(n1,…,n100)と等しいから
ni<=Ni=Nとなる
ni>Niとなるのは
ni=Nで、ni以外のnjがnj<Nの場合だけ
100列から1列選ぶだけだから
100個の決定番号から1個選ぶだけ
省7
21: 01/15(水)11:47 ID:kITRkOLu(2/3) AAS
>>2
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.
逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，
この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
２行目以降は無意味
そもそもR^N上の確率測度なんて全く考えてないから
23: 01/15(水)11:54 ID:Cvd+i7JL(1) AAS
>>2
> さて， 1〜100 のいずれかをランダムに選ぶ.
> 例えばkが選ばれたとせよ.
> 列s_kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
ここが肝心
なぜ1/100かは、>>20で述べた通り
だからR^Nの確率測度なんか考えてないし、各箱も確率変数ではない
83(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/03(火)06:29 ID:ObiwjfR8(1) AAS
>>78-79 補足
旧ガロアスレで 2016/07 に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと言った
（”当てられっこないという直感どおり，実際当てられないという結論が導かれる”と言っていた
その理由は、決定番号 d_Xとd_Yがそもそも分布を持たない可能性すらある という（下記））
https://ａｉ.２ｃｈ．ｓｃ/test/read.cgi/math/1475822875/456
現代数学の系譜11 ガロア理論を読む24 2016/10/16より
(引用開始)
532 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
535 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:33:06.50 ID:f9oaWn8A
>>534
非可測であることに目をつぶって計算することの意味をあまり感じないな
直感的に1/2とするのは微妙．
むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが
直感的にも妥当だろう
(引用終り)
補足1
・hが、決定番号を決める 関数（これが非可測だという）
・d_Xとd_Yとが、時枝氏のいう決定番号>>1で、それぞれ 実数の可算無限列XとYとに対応している
補足2
・いま、”決定番号 d_Xとd_Yがそもそも分布を持たない”を掘り下げると
>>1 で まず 有限nで 実数列の集合 R^nを考える.
s = (s1，s2，s3 ，・・・，sn-1, sn)，s'=(s'1， s'2， s'3，・・・，s'n-1, s'n)∈R^nは，
ある番号から先のしっぽが一致する とき同値s 〜 s'と定義すると
有限nの場合、sn＝s'n である
では、確率 P(sn-1＝s'n-1) はどうか？
コイントスなら 1/2、サイコロなら1/6、もし実数r∈[0,1] なら0
省13
111: 06/06(金)09:25 ID:t1PHShRb(1) AAS
現代数学の系譜 雑談 ◆yH25M02vWFhP は
これを理解できるまで百回、千回、いや一万回でも読み直せ
>>2
>さて， 1〜100 のいずれかをランダムに選ぶ.
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
【時枝正の誤解】
s^1の決定番号が他の列の決定番号どれよりも大きい確率は1/100
s^2の決定番号が他の列の決定番号どれよりも大きい確率は1/100
…
s^100の決定番号が他の列の決定番号どれよりも大きい確率は1/100
【正しい理解】
他の列の決定番号どれよりも大きい決定番号を持つ列s^l (既に決まっている）
回答者が列s^1を選ぶ確率は1/100
回答者が列s^2を選ぶ確率は1/100
…
回答者が列s^lを選ぶ確率は1/100
…
回答者が列s^100を選ぶ確率は1/100
126(1): 06/07(土)01:29 ID:NEDRGK6I(2/8) AAS
>>124
>1列の数列において破綻している以上
>2列以上の数列の話は、破綻のゴマカシにすぎない！
1列でダメだと2列以上でもダメという謎論理こそがゴマカシ
論理が分からずごまかす落ちこぼれに数学は無理
154(6): 06/08(日)23:17 ID:cYYLjQao(3/4) AAS
>>151-152
ありがとうございます
固有名詞は別として
>箱入り無数目の成立に頑強に反対したのは、最近見たところでは
>セタと、ミロクとかいうチンピラくらいしかいないのでは。
はて？
”最近見たところでは”と言われるとは・・、かなり以前からのお客様か・・
さて、以前の話で 御大は数年前は
「読んでいる途中で気分が悪くなった・・（ので最後まで読まなかった）」といっていたが
最近・・、というか >>30の 2025/01/15 に
"論理パズルとして完結していることは
ロジックに穴がないことが確認できた時点で
理解できたのだが
出題者と回答者が競い合うゲームと見たときには
戦略の実行過程にやや不明確な点が
残っている"
などといわれた
まあ 1/15 は 松の内で、お屠蘇がまだ残っていたのでしょうかね？
ちょっと補足しておくと
１）ロジックとして いま 簡単に2列X,Yで （詳細は>>1-2ご参照）
決定番号dX,dYが 何らかの手段で与えられたとしたら *)
簡便に dX＜dY として、X列において dY+1 番目よりしっぽの箱を開けて
列Xの属する同値類を知り、代表を知り、代表のdY 番目の数が X列のdY 番目の数であるとできる（決定番号の定義より）
そして、問題をこの決定番号dX,dYに限るとすれば、dX＝dYとなる場合が無視できるとして 「確率 dX＜dY は 1/2」となる
２）この論の 一番問題は、”決定番号dX,dYが 何らかの手段で与えられたとしたら *)”の部分だが
もし、これが正当化できるとするならば、前にも述べたが
実関数f(x)で、区間[a,b]において f(x1),f(x2),f(x3),・・・ ｜x1,x2,x3,・・・∈[a,b] とできて
ある未知の関数値f(xn)が、他の f(x1),f(x2),f(x3),・・,f(xn-1),f(xn+1),f(xn+2),・・・から
確率99/100 あるいは 確率1-εで決まる となる
しかし、正則でもない 単なる連続関数(あるいは非連続関数)において、確率1-ε とできるはずがない
そんなことを認める 関数論の数学者はいないだろう
省12
226(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/14(土)18:51 ID:036MevG8(3/3) AAS
>>221
ID:IMrKek3I は、御大か
巡回ありがとうございます
確率論の数学者には、>>1-2の箱入り無数目の手法が
数学として 不成立なのは自明だが
解析学 ないし 関数論の数学者向けに
箱入り無数目の手法から、どんなトンデモな結果になるか？
再度明記しておくと >>78 より
Sergiu Hart (2013) >>5 http://www.ma.huji.ac.il/hart/puzzle/choice.pdf で
元ネタとして 引用しているのが
http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
XOR’s Hammer Written by mkoconnor August 23, 2008
”Set Theory and Weather Prediction”で
”Then, since all reverse well-founded subsets of R are countable, at most countably many prisoners will be wrong under the Hardin-Taylor strategy. Since all countable subsets of R are measure zero, this gives another way to win the game against Bob with probability one.
In fact, it implies that you can do more: You don’t need Bob to tell you (x0, f(x0) | x0 ≠ x}, just (x0, f(x0) | x0 ＜ x}. Hardin and Taylor express this by imagining that
we represent the weather with respect to time as an arbitrary function f：R→ R.
Then, given that we can observe the past, there is an almost perfect weatherman who can predict the current weather with probability 1.
They further show that the weatherman can almost surely get the weather right for some interval into the future.”
との記述あり
実関数論に例えると
ある区間[a,b]∈R で、可算無限列 a<a0<a1<a2<・・・ <b を取ることができて
実関数値列 f(a0),f(a1),f(a2),・・・ が構成できる
この実関数値列で、あるf(ai) i∈N の値が 他の関数値から 確率99/100で的中できることになる
省13
249(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/18(水)13:52 ID:1ZjEJMOG(1) AAS
>>247 & >>239 補足
１）いま、出題の列 s = (s1，s2，s3 ，・・・) で
コイントスの 0,1 の2進値をランダム入れたとする
対するしっぽ同値列 s'=(s'1， s'2， s'3，・・・ )で
決定番号d のとき、(s1，s2，s3 ，・・,sd-1) と(s'1， s'2， s'3，・・,s'd-1)
で場合を数を考えると、sd-1≠s'd-1で無ければならないが、1からd-2は自由だから
2^(d-2)通り
２）dには上限なく 自然数全体を渡るから 決定番号の集合濃度は 2^Nで、アレフ ℵ1 非可算無限濃度
つまり、同値類は集合としてみた場合は、全体は非可算集合です
一方、有限の決定番号d の場合の数は 2^(d-2)で、有限です
３）いま、『箱入り無数目』の>>2のように
100個の決定番号d1〜d100と その最大値dmaxについて考えると
"d1〜d100 ≦ dmax"の議論は、可算無限長の 先頭の長さ dmax の有限の議論であり
それは、非可算無限中に比べれば 無限小に等しい（即ち確率零の集合の中の話）
即ち、これを 出題列を有限長さの針に例えると、有限di≦dmaxの議論は、あたかもほんの針の先の中の議論なのです
４）さて、これを>>240-241の確率分布の減衰の視点で見ると
『箱入り無数目』においては、減衰どころか 裾が増大し 全体として発散している
即ち、上記2進値のとき、dが１増えると 場合の数は2倍になる
10進値ならば10倍、n進値ならばn倍、全自然数NならばN倍、全実数Rならば非可算倍*)となる
（ *)n次元R^n→n+1次元R^n+1 ということ）
５）さて、最後の例 全実数Rなら非可算倍で、ユークリッド空間で次元が違う話です（全体では無限次元空間）
『箱入り無数目』はトリックで、有限の99/100の話に矮小化される
そのトリックとは、本来は可算無限長の数列について、うまく 列先頭の有限長の話にすり替える**)
そこが、人は日常 真無限に不慣れで かつ 有限の世界に暮らしているゆえ
まんまと d1〜d100 ≦ dmaxに乗せられ騙されるのです
分かってしまえば、他愛もない子供だましにすぎないのです
**)ここを、確率論の観点から補強すると
１）0,1 の2進値を、箱に入れた場合、決定番号d とは、上記の通り
二つの数列 s = (s1，s2，s3 ，・・・) s'=(s'1， s'2， s'3，・・・ )で
d番目以降の可算無限の数が一致する
即ちその確率 P=(1/2)^N＝0
省5
252(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/20(金)16:48 ID:S3g1Aii2(1) AAS
>>249 追加
１）いま、出題の列 s = (s1，s2，s3 ，・・・) で
箱入り無数目では、100列に並べ替える (mod 100を使えば良い)
勿論、2列でも可です (mod 2を使えば良い)
また、箱入り無数目の決定番号を使う 確率99/100が正しいならば
2列なら確率1/2となる
２）だが、出題の列 s = (s1，s2，s3 ，・・・) の並べ変えなど 面倒なことをせずに
ダミーの列 t = (t1，t2，t3 ，・・・) を、（回答者が勝手に作って）隣に作ればいいのです
ダミーの列の決定番号 dt に対し、問題の列の決定番号 ds として
ds ≦ dt となる確率は 1/2 だという*) ( *)箱入り無数目論法より>>2)
よって、ダミーの列の箱を開けて 決定番号dtを得て
さらには、ds = dt を考慮すれば、dt+2を使って
出題の列 sのdt+2番目以降の箱を開け、出題の列 sの代表を得て
「その代表のdt番目数＝出題の列のdt番目数」と唱えれば
あ〜ら ふしぎ dt番目の箱の数を、箱を開けずに 確率1/2で適中できるとさ！ｗ ；ｐ）
３）さて、上記２）項の手法が、本来の箱入り無数目より、奇妙奇天烈なのは
ダミーの列 t は、そもそも 出題の列 s とは何の関係も無い列であるにも関わらず
出題の列 sの dt番目数の任意実数を、箱を開けずに 確率1/2で適中できるのに使えるとは
これ如何に？ｗ ；ｐ）
４）さらに、箱入り無数目の>>2通りに、99列を 出題の列 sのとなりに並べて
列 t1,t2,t3,・・,t99 とやれば
dt1〜dt99 までの99個の決定番号が手に入る。その最大値 dtmax＝max(dt1,・・,dt99) を取って
ds ≦ dtmax となる確率は 99/100 となる (箱入り無数目論法より)
上記２）項の手法で、出題の列 sのdtmax+2番目以降の箱を開け、出題の列 sの代表を得て
「その代表のdtmax番目数＝出題の列のdtmax番目数」と唱えれば
あ〜ら ふしぎ dtmax番目の箱の数を、箱を開けずに 確率99/100で適中できるとさ！ｗ ；ｐ）
（箱入り無数目論法>>2の通り、99列をもっと大きな任意の数の列にすれば、”確率1-ε で勝てることも明らかであろう”ｗ）
これまた、本来の箱入り無数目よりも 奇妙奇天烈な 数学パズルなり〜！
要するに、>>249で述べた如く
決定番号dなる量は、本質的に発散している量であって
非正則分布を成すゆえ （>>154の4)項ご参照）
省5
253(1): 06/20(金)17:03 ID:5VJHkbCl(1/2) AAS
>>252
>ダミーの列の決定番号 dt に対し、問題の列の決定番号 ds として
> ds ≦ dt となる確率は 1/2 だという*) ( *)箱入り無数目論法より>>2)
誤読
なんど言えば分かるんだ？ このオチコボレは
言葉が分からないなら国語からやり直せよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s