スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ)

スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (272ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

78: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/02(月) 20:48:48.33 ID:C4gI6lYt

>>73-77
ふっふ、ほっほ

1）100人の数学者バージョン >>4 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
　で、箱入り無数目が救えると勘違いしているようだが
　話は逆だよ。 箱入り無数目が 潰れれば、100人の数学者バージョン も同様に潰れると思うよ
2）100人の数学者バージョン (Dec 9 '13) >>4 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
　と、Sergiu Hart (2013) >>5 http://www.ma.huji.ac.il/hart/puzzle/choice.pdf  で
　この両者が 元ネタとして 引用しているのが
　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.”
　との記述あり
3）これを、”weatherman”の話から、実関数論に例えると
　ある区間[a,b]∈R で、可算無限列 a<a0<a1<a2<・・・ <b を取ることができて
　実関数値列 f(a0),f(a1),f(a2),・・・ が構成できる
　この実関数値列で、あるf(ai) i∈N の値が 他の関数値から 確率99/100で的中できることになる
　区間[a,b]の可算無限列など、好きなだけ作れるし、区間[a,b]なども数直線上に 好きなだけ取ることが出来る
　そうすると、解析関数でもない、微分可能関数でもない、単なる連続関数で このような 確率99/100の的中が生じる
　ならば 実関数論に革命が起きるぞｗ（上記の”XOR’s Hammer”2008 記載の通り）
4）ある関数論の数学者が ”箱入り無数目”を読んでいると 気分が悪くなったと言うが それ分る。上記3）を認める 関数論の数学者はいないだろう ；ｐ）
　”選択公理を認めれば 理屈は正しい”と言われるならば、実解析本なり これからの集合論本なりに ”箱入り無数目”論を入れて貰えば良いだろうが・・・
　だが、”XOR’s Hammer”2008 から17年、mathoverflowやSergiu Hart (2013)から12年、箱入り無数目から ほぼ丸10年経つが
　いまだに、誰一人 まともに テキストに取り上げる数学者なし！！ｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1736907570/78

83: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/03(火) 06:29:53.60 ID:ObiwjfR8

>>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
　即ち、いまの場合 r∈R だから P(sn-1＝s'n-1)＝0
　よって、決定番号は分布を持たない
　よって、無限長の数列でも 分布を持たない
　言い換えれば、有限の決定番号d が得られる確率は0
（∵ 有限の決定番号d とは、d以降の d,d+1,d+2,・・・の無限個の数が 全て一致する場合であるから その確率は0 *）
　注 *) コイントス 1/2 の場合でも、無限個の数が 全て一致する 確率は0
・箱入り無数目>>1は、有限の決定番号dの大小比較による確率計算をしているが
　それは 確率0の世界の話（確率0は、ルベーグ測度論の零集合の中）
　100人の数学者も、無限列のしっぽ同値を使うので ルベーグ測度論の零集合の中 **)
　注 **)類似の例が、>>8 の 非正則分布の確率の話で
　全事象の確率は1であるというコルモゴロフの確率の公理に反する(根源事象の確率0)
　要するに、まっとうな確率計算ができない分布が 世には存在して、それを使う確率計算や
　100人の数学者の話は、ダメだってことです■

http://rio2016.5ch.net/test/read.cgi/math/1736907570/83

226: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/14(土) 18:51:48.09 ID:036MevG8

>>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で的中できることになる

区間[a,b]の可算無限列など、好きなだけ作れるし、区間[a,b]なども数直線上に 好きなだけ取ることが出来る
そうすると、解析関数でもない、微分可能関数でもない、単なる連続関数で このような 確率99/100の的中が生じる
ならば 実関数論に革命が起きる

さらに、箱入り無数目の手法では、箱に
実関数値列 f0,f1,f2,・・・ のみを記した紙を入れて
しかし、x＝a0,a1,a2・・・ の値は 教えないとする
そのような状況下で、あるfi i∈N が、fi以外の値から 確率1-ε で的中できるなどと そんなことを是認できるはずがない
（たとえ、関数f が解析函数であったとしても、f(a0),f(a1),f(a2),・・・ として情報が与えられなければ どうしようもない）

さらに、箱入り無数目の手法は、複素数にもそのまま拡張できる
複素数の可算列のしっぽ同値類とその代表を考えれば良いだけだから、複素関数論でも 上記実関数と同じになる
のみならず、複素数の可算列→(任意)多元数の可算列のしっぽ同値類とその代表に そのまま拡張可能

解析学 ないし 関数論の数学者は
絶対に、この箱入り無数目の手法を認めないだろうｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1736907570/226

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 1.473s*