スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (290ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
221(2): １３２人目の素数さん [] 06/14(土)12:07 ID:IMrKek3I(9/9)
消えたか
226(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/14(土)18:51 ID:036MevG8(3/3)
>>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),・・・ として情報が与えられなければ どうしようもない）
さらに、箱入り無数目の手法は、複素数にもそのまま拡張できる
複素数の可算列のしっぽ同値類とその代表を考えれば良いだけだから、複素関数論でも 上記実関数と同じになる
のみならず、複素数の可算列→(任意)多元数の可算列のしっぽ同値類とその代表に そのまま拡張可能
解析学 ないし 関数論の数学者は
絶対に、この箱入り無数目の手法を認めないだろうｗ ；ｐ）
274(2): １３２人目の素数さん [sage] 07/21(月)15:50 ID:60RWf/A5(2/3)
2chｽﾚ:math
>>221
＜決定番号の確率について＞
１）決定番号の確率について考えよう
まず、5列 s1，s2，s3 ，s4，s5
si ｜ i＝1〜5 は、コイントスで {0,1}が入る
しっぽ同値
数列 s'1，s'2，s'3 ，s'4，s'5 で、しっぽ同値だと s'5＝s5 だ
だから、一つの同値類の場合の数は 2^4 で、全体Ωは 2^5
一つの同値類 2^4 で
決定番号1 とは、全ての列一致で つまり si=s'i ｜ i＝1〜4 (s5=s'5 は仮定されているとして)
その確率 1/2^4
同様に 決定番号4以下 とは S4=s'4でさえ あれば良いので 1/2
よって、残り決定番号5の場合が、確率 1-1/2=1/2
２）列長さL（L>5）で、一つの同値類内で sL=s'L は満たされているとして
決定番号L-1以下 とは sL-1=s'L-1であれば良いので 1/2
よって、決定番号Lの場合が、確率 1-1/2=1/2
３）ここで、L→∞ を考えると 最後の箱は 無限の彼方に飛び去る
（全体Ωは 2^∞ で発散する）
つまり、無限の長い列において 有限決定番号dとは dから後の無限長のしっぽが全て一致している
即ち 1/2^∞ =0 の存在 （存在するが 測度0 つまり零集合の元）
４）いま、これを一般化して 2→m枚(1〜m)のカードを シャッフルして入れるとする
上記同様に、有限長L で、一つの同値類の場合の数は m^(L-1) で、全体Ωは m^L
L→∞ で、無限の長い列において 有限決定番号dとは dから後の無限長のしっぽが全て一致している
即ち 1/m^∞ =0 の存在 （確率0の存在。存在するが 測度0 つまり零集合の元）
５）いよいよ、箱入り無数目と同じく 箱にランダムな実数を入れる
区間[0,1]の一様分布でr∈[0,1]を取る
有限長L で、この場合 しっぽ同値では 決定番号d=Lが全て
L-1番目を含み それ以降の箱の一致確率は0
つまり、決定番号d<L が起きる確率0（∵ si=s'i となる確率0）
L→∞ でも、上記と同様で 有限決定番号dは 確率0の存在。存在するが 測度0 つまり零集合の元
６）ダメ押しで、付番に拡大実数で+∞を導入しよう
（はさみうちの原理）
この場合において しっぽ同値で 決定番号d=+∞ がとれる
箱入り無数目と同じく 箱にランダムな実数を入れる
区間[0,1]の一様分布実数を入れる。決定番号d=+∞で終わり
決定番号dが有限の確率0（上記５）項と同じ）
はさみうちの原理により、有限長さLを大きくした極限の場合と
拡大実数で+∞を導入した場合において はさまれる 箱入り無数目において
有限決定番号dは 確率0の存在。存在するが 測度0 つまり零集合の元！■
箱入り無数目は、確率0で 99/100を導き 結局その確率は 0*99/100＝0
(参考)
https://ja.wikipedia.org/wiki/%E6%B8%AC%E5%BA%A6%E8%AB%96
測度論
可測集合 S が μ(S) = 0 であるとき零集合 (null set) という
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数
通常の実数に正の無限大 +∞ と負の無限大 −∞ の2つを加えた体系
https://ja.wikipedia.org/wiki/%E3%81%AF%E3%81%95%E3%81%BF%E3%81%86%E3%81%A1%E3%81%AE%E5%8E%9F%E7%90%86
はさみうちの原理
極限に関する定理の一つ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s