スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (340ﾚｽ)
上下前次1-新
1(17): １３２人目の素数さん [] 01/15(水)11:19 ID:ZCTGHyhi(1/19)
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります 2chｽﾚ:math 箱入り無数目を語る部屋19 )
2chｽﾚ:math
スレタイ 箱入り無数目を語る部屋28(あほ二人の”アナグマの姿焼き"Part2ｗ)
(参考)時枝記事
https://imgur.com/a/8bqlb08
(リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
2chｽﾚ:math 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
２．続けて時枝はいう
私たちのやろうとすることは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)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
つづく
2(12): １３２人目の素数さん [] 01/15(水)11:19 ID:ZCTGHyhi(2/19)
つづき
３．
問題に戻り，閉じた箱を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年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
3(5): １３２人目の素数さん [] 01/15(水)11:20 ID:ZCTGHyhi(3/19)
つづき
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった
ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが
１．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と
そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも
記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい”と締めくくっているのだった
２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと
３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが
(引用終り)
つづく
4(5): １３２人目の素数さん [] 01/15(水)11:20 ID:ZCTGHyhi(4/19)
つづき
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
（Denis質問）
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
（Pruss氏）
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
（Huynh氏）
If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.
mathoverflowは時枝類似で
・Denis質問でも、もともと”but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
Denisの経歴で、彼は欧州の研究所勤務で、other peopleは研究所の確率に詳しいらしい
・Pruss氏とHuynh氏とは、経歴を見ると、数学DRです。両者とも、このパズル（＝riddle）は、可測性が保証されていないと回答しています
なお ”試しに"Alex Pruss Conglomerability"で検索した結果 Alexander Pruss本人のBlogが見つかった”スレ25 414-415
https://alexanderpruss.blogspot.com/2024/09/independence-conglomerability.html
Alexander Pruss's Blog September 11, 2024
Independence conglomerability
Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.
Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。
Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick.
つづく
5(9): １３２人目の素数さん [] 01/15(水)11:20 ID:ZCTGHyhi(5/19)
つづき
But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.
なお、関連 検索 a countably infinite fair lottery で、下記ヒット ノンスタ使って、うんぬんかんぬん。でも、”1/2 by symmetry”は出てこなかったので ダメみたいですね
https://philarchive.org/archive/WENFIL
Synthese DOI 10.1007/s11229-010-9836-x
Fair infinite lotteries Sylvia Wenmackers · Leon Horsten
Received: 2 September 2010 / Accepted: 14 October 2010 ©TheAuthor(s) 2010. This article is published with open access at Springerlink.com
Abstract
This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.
(参考)
http://www.ma.huji.ac.il/hart/
Sergiu Hart
http://www.ma.huji.ac.il/hart/#puzzle
Some nice puzzles:
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Choice Games November 4, 2013
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.
Sergiu Hart氏は、ちゃんと”シャレ”が分かっている（関西人かもｗ）
Some nice puzzles Choice Games と、”おちゃらけ”であることを示している
かつ、”P2 Remark.”で当てられないと暗示している
また、”A similar result, but now without using the Axiom of Choice.GAME2”
で、選択公理なしで同じことが成り立つから、”選択公理”は、単なる目くらましってことも暗示している
つづく
6(1): １３２人目の素数さん [] 01/15(水)11:22 ID:ZCTGHyhi(6/19)
つづき
だめなのは、時枝記事だ。まあ、題名はおちゃらけだが、もっとはっきり、数学パズルとした方がよかったろう
非可測で、ヴィタリに言及しているのが、ミスリードだ
Hart氏の”A similar result, but now without using the Axiom of Choice.GAME2”のように、選択公理不使用のGAME2があるから、
ソロヴェイの定理（下記 wikipedia ご参照）から、ヴィタリのような非可測は否定される
conglomerabilityか、あるいは総和ないし積分が発散する非正規な分布により、可測性が保証されないと考えるべき
時枝氏は、確率変数の無限族の独立性が理解できていないのも痛いね
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
ヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。1970年にロバート・ソロヴェイ（英語版）は、到達不能基数の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような（選択公理を除いた）ツェルメロ・フレンケル集合論のモデルを構築した[2]。
https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデル
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。
ステートメント
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。 到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。
構成
ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル M から始める。
最初のステップでは M のレヴィ崩壊 M[G] を取る。
略
(引用終り)
つづく
7(1): １３２人目の素数さん [] 01/15(水)11:22 ID:ZCTGHyhi(7/19)
つづき
（完全勝利宣言！ｗ）（＾＾
2chｽﾚ:math スレ4 (775の修正を追加済み)
>>701-702 補足説明
>>760にも書いたが、
” a)確率上、開けた箱と開けてない箱とは、扱いが違う”>>701
をベースに、時枝記事>>1のトリックを、うまく説明できると思う
１）いま、時枝記事のように
問題の列を100列に並べる
1〜100列 のいずれか、k列を選ぶ(1<=k<=100)
k以外の列を開け、99列の決定番号の最大値をdmax99 とする
k列は未開封なので、確率変数のままだ
なので、k列の決定番号をXdkと書く
２）もし、Xdk<=dmax99 となれば、dmax99+1以降の箱を開けて
k列の属する同値類を知り、代表列を知り、dmax99番目の箱の数を参照して
その値を問題のk列の箱の数とすれば、勝てる
（∵決定番号の定義より、dmax99番目の箱は、問題のk列とその代表とで一致しているから）
３）しかし、決定番号は、
自然数N同様に非正則分布>>13だから、これは言えない
つまり、確率はP(Xdk<=dmax99)=0 とすべきだ
（非正則分布なので、上限なく発散しているので、dmax99<=Xdk となる場合が殆ど）
４）もし、決定番号が、[0,M]（Mは有限の正整数）の一様分布ならば
dmax99が分かれば、例えば、
0<=dmax99<=M/2 ならば、勝つ確率は1/2以下
M/2<=dmax99<=M ならば、勝つ確率は1/2以上
と推察できて
それを繰り返せば、大数の法則で、P(Xdk<=dmax99)=99/100が言えるだろう
（注：dmax99は、100列中の99列の最大値なので、P(Xdk<=dmax99)=99/100が正しいだろう）
しかし、非正則分布では、このような大数の法則は適用できない
５）人は無意識に、決定番号も正則分布のように錯覚して、トリックに嵌まるのです
しかし、非正則分布では、大数の法則も使えない
結局、時枝記事の99/100は、だましのトリックってことです
つづく
8(17): １３２人目の素数さん [] 01/15(水)11:22 ID:ZCTGHyhi(8/19)
つづき
さて、上記を補足します
１）いま、加算無限の箱が、iid 独立同分布 とします
箱を、加算無限個の確立変数の族 X1,X2,・・Xi・・ として扱うのが
現代の確率論の常套手段です
２）いま、サイコロ1〜6の数字を入れるならば、任意Xiの的中確率は1/6
コイントス 0,1の数字を入れるならば、的中確率は1/2
もし、区間[0,1]の実数を入れるならば、的中確率は0
もちろん、時枝記事の通り任意実数r∈Rならば やはり、的中確率は0
です
３）ところが、時枝記事では、確立変数の族 X1,X2,・・Xi・・ を100列に並べ替え
数列のしっぽ同値類の類別と、類別の代表を使って、決定番号を決めて
決定番号の大小比較から、ある箱Xjについて、的中確率99/100に改善できる
と主張します
４）「そんなバカな！」というのが、上記の主張です
マジ基地は無視してさらに補足します
１）時枝記事の決定番号をdとすると、dは1から無限大(∞)までを渡ります
このような場合、しばしば非正則分布（正則でない）を成します（下記）
２）非正則分布の場合、全体が無限大に発散して、平均値も無限大になり
分散や標準偏差σなども、無限大に発散します
３）具体例として、テスト回数無限回の合計点で成績評価をする場合を考えます
テスト回数が、１回、２回、・・n回、・・
もし、テスト回数が有限なら 例えば100回で1回の満点100点として、総計10,000(1万)点ですが
テスト回数が無限回ならば、毎回1点の人の総計も無限大(∞)に発散し
毎回100点満点の人の総計も無限大に発散しまず
試験の点の合計では、毎回1点の人も毎回100点も区別ができなくなります
この合計については、平均は無限大、分散や標準偏差σなども無限大に発散します
４）ところで、時枝氏の数学セミナー201511月号の記事では
このような非正則分布を成す決定番号を、あたかも平均値や分散・標準偏差σが有限である
正則分布のように扱い、確率 99/100とします
これは、全くのデタラメでゴマカシです
(参考)
https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．
つづく
9(1): １３２人目の素数さん [] 01/15(水)11:30 ID:ZCTGHyhi(9/19)
つづき
2chｽﾚ:math スレ18
再録>>150より
>・箱一つ、サイコロ一つの目を入れる。確率変数Xで扱う
入れた目をx、賭ける目をyと書く
xが確率変数ならばyに依存せず的中確率=1/6であるはず
しかし実際には x=yのとき的中確率=1 x≠yのとき的中確率=0
よって矛盾
よってxは確率変数でない
一方、yをランダム選択した場合、yが確率変数である
実際、この場合はxに依存せず的中確率=1/6である
以上の通り、「見えないもの＝確率変数」は間違い
(引用終り)
・そういえば、中学生の時代に似た疑問をもった記憶がある
この話は記憶の彼方（解決したのか不明）
・さていま考えてみると、>>99の2008年東工大 数学 第3問 ”いびつなサイコロ”の応用で解ける
>>209よりこの問題のΩは、”サイコロを2回ふったとき”
Ω＝{(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),
(2,1),(2,2),(2,3),(2,4),(2,5),(2,6),
(3,1),(3,2),(3,3),(3,4),(3,5),(3,6),
(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),
(5,1),(5,2),(5,3),(5,4),(5,5),(5,6),
(6,1),(6,2),(6,3),(6,4),(6,5),(6,6)}で
組合せ6x6の36通り、２次元で考える必要がある
サイコロ1回だとΩ＝{1,2,3,4,5,6}
普通のサイコロだと確率は各1/6ですが、いびつサイコロだと確率p1,p2,p3,p4,p5,p6≠1/6 で扱う
・いま、簡単に箱一つ 正常なサイコロ一つの目を入れる。確率変数Xで扱うとしてΩ＝{1,2,3,4,5,6}
P(X=1)=P(X=2)=P(X=3)=P(X=4)=P(X=5)=P(X=6)=1/6
一方数当ての人が唱える数が、1〜6のランダムとして、これを確率変数Yで扱うとしてΩ＝{1,2,3,4,5,6}
P(Y=1)=P(Y=2)=P(Y=3)=P(Y=4)=P(Y=5)=P(Y=6)=1/6
よって、的中は同じ数で揃った場合で、(1,1),(2,2),(3,3),(4,4),(5,5),(6,6)の6通り 6＊1/36＝1/6で理論通り
・別に、数当ての人が唱える数が 1〜6だが偏りがあるとして p'1,p'2,p'3,p'4,p'5,p'6≠1/6(どれかは1/6ではないが 総和Σi=1〜6 p'i =1)
とすると、確率 1/6*p'1+1/6*p'2+1/6*p'3+1/6*p'4+1/6*p'5+1/6*p'6
＝1/6(p'1+p'2+p'3+p'4+p'5+p'6）＝1/6(つまり理論通り)
サイコロが正常だと、数当ての人が唱える数に偏りがあっても、的中確率1/6
・さて、的中確率1/6に成らない場合がある
例えば、偏ったサイコロで3が出やすく確率1/2とする。それを見抜いた数当ての人が唱える数が常に3なら的中確率1/2になる
よって、「箱一つ、サイコロ一つの目を入れる。確率変数Xで扱う」として 矛盾はない！
つづく
10: １３２人目の素数さん [] 01/15(水)11:31 ID:ZCTGHyhi(10/19)
つづき
(参考)
mine-kikaku.co.jp/index.php/2022/10/29/post-9074/
峰企画
確率 – 2008年東工大 数学 第3問 20230227
2008年東工大 数学 第3問 はそれぞれの目の出る確率が同じでない、
イカサマなサイコロに対する確率問題です。問題文は以下のとおりです。
2008年東工大 数学 第3問
いびつなサイコロがあり、1から6までのそれぞれの目が出る確率が とは限らないとする。
このサイコロを2回ふったとき同じ目が出る確率をPとし、1回目に奇数、2回目に偶数の目が出る確率をQとする。
(1) P>=1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ。
<解答例>
いま、各目の確率をpi (i=1〜6)とする。Σpi＝1である(ここにΣはi=1〜6の和を表す（以下同じ）)
なお いびつなサイコロなので、必ずしもpi=1/6ではない
偏差σ＝Σ(pi-1/6)^2を考える。平方の部分(pi-1/6)^2 を展開すると
σ＝Σ(pi)^2-Σ2(1/6)pi+6(1/6)^2 (ここで P=Σ(pi)^2 及び Σpi＝1 に注意すると)
σ＝P-1/3+1/6＝P-1/6 ≧0 となる（最後の不等式≧の部分は、冒頭の偏差σ＝Σ(pi-1/6)^2（平方の和)≧0から従う）
よって、P≧1/6で、等号成立はすべてのi=1〜6で pi=1/6の場合のみ（つまり、正規のサイコロの場合）
上記の解答例で
i)”各目の確率をpi (i=1〜6)とする”のが、確率変数の考えですよ
（確率変数Xで ｆ：X=i → pi という対応が成立している）
ii)これをベースに、各piから問の”サイコロを2回ふったとき同じ目が出る確率をP”に落とし込むのが上記解法です
iii)『箱の中にサイコロの目を入れた時点である一つの目に固定され、他の目の可能性はゼロ』
という妄想に走ると、2008年東工大の確率の問題は解けなくなります！
つづく
11(1): １３２人目の素数さん [] 01/15(水)11:31 ID:ZCTGHyhi(11/19)
つづき
あなた方は、”固定”確率論の論文を書かれたら宜しいかと思います
その論文が出るまで、相手にする必要なし
（なお、時枝氏の記事>>1には、用語”固定”は使われていない！）
＜再投稿＞
ふっふ、ほっほ
固定！ 固定！ 固定だぁ〜！かｗｗ ；ｐ）
じゃあ、その考えで>>791
>>008 2008年東工大 数学 第3問 ”いびつなサイコロ”
mine-kikaku.co.jp/index.php/2022/10/29/post-9074/
峰企画 2008年東工大 数学第3問20230227
第3問はそれぞれの目の出る確率が同じでない、
イカサマなサイコロに対する確率問題です。問題文は以下のとおりです
いびつなサイコロがあり、1から6までのそれぞれの目が出る確率が とは限らないとする
このサイコロを2回ふったとき同じ目が出る確率をPとし、1回目に奇数、2回目に偶数の目が出る確率をQとする
(1) P≧1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ
(引用終り)
を解いてみな
解けたら、あんたの主張を認めてやるさ ；ｐ）
サイコロを振る
１回目に、出目で３が出たとする
”出目３”固定だね
いいよ、固定でｗ・・
で？ どうするの？ その後どうするの？
『(1) P≧1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ』
を、あなたの”固定”を使って示せ！！ｗｗ ；ｐ）
あなたの”固定”の無力を実感しなさい！！
あなたの”固定”は、2008年東工大 数学 第3問 ”いびつなサイコロ”の確率問題に対し 無力ですよ！！ｗｗｗ ；ｐ）
”固定”なんて、ド”ハマリ”ですよｗ ；ｐ）
確率の問題と、なんの関係もないｗｗｗ
つづく
12: １３２人目の素数さん [] 01/15(水)11:32 ID:ZCTGHyhi(12/19)
つづき
2chｽﾚ:math スレ26
より
769現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10(日) 16:14:30.43ID:zvgSRz4H
>>761
(引用開始)
> その代表は、dmax+1 以降 しっぽ側の一致までは分っているが
> しかし、dmax番目の箱の中は不明だ
> 選んだ代表のdmax番目の数と 問題の残った1列のdmax番目の箱の数が一致する確率は…
そのあとの計算って、ただ箱の中身がランダムだとした場合の計算してるだけだよね？
つまり、問題の条件、全然使ってないよね？
それ、君が🐎🦌ってことだよね？
(引用終り)
君は、数学の公理の考えが分ってないね
ゆとり世代の数学科オチコボレ？
昔は、小学校でユークリッド幾何の公理で、公理の考え方を叩き込まれたものだ
点とは、大きさも面積も長さも持たない
線とは、長さのみを持ち 幅は0
線分は、異なる2点を結ぶ最短の線
直線は、線分を無限に伸ばしたもの
まあ、平たくいえば 公理系は スポーツやゲームのルールみたいなものだ
ルールの中で、自分のやりたいようにして良いが、ルール違反はダメってこと
さて
いま、>>747のように j列中でどれか1列を残し 他を開けて j-1個の同値類を特定したとする
ここから j-1個の代表を選んで j-1個の決定番号を得て それらの最大値 dmaxを得る
dmaxは大きければ大きいほど良い
残した 一つの列の決定番号（いまd'とおく）より、大きければ良い
d' ≦ dmax としたい
次に、残した列のdmax+1以降のしっぽの箱を開けて、しっぽ同値類が特定できたとする
このしっぽ同値類から、出来るだけ 決定番号d'が小さくなるように 代表を選びたい
d' ≦ dmax としたい
だから、決定番号がdmax+1より大きい元（数列）は、代表として論外で捨てる
そうすると、決定番号がdmax+1以下の元（数列）が、残る
ここから、d' ≦ dmax としたい
でも、dmax番目の箱は未開封なので 箱の中の数は、未知数だ
なので、決定番号がdmax+1以下の元（数列）に絞ったあとで、”d' ≦ dmax”が実現出来るかどうかは、従来の確率論通りだ■
つづく
13(1): １３２人目の素数さん [] 01/15(水)11:33 ID:ZCTGHyhi(13/19)
つづき
2chｽﾚ:math スレ26
より
778現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10 ID:zvgSRz4H
>>777
> 数列なんか一つも見る前に全同値類の代表は選択されている
> だから100列の決定番号は箱を一つも開けるまえから決まっている
ふっふ、ほっほ
（>>719より再録）
3）結局、手順が異なると 異なる確率計算結果になるのは、決定番号を使う確率計算というものは
well-defined でないってことだ（下記 『最終的な結論が中途の表式に依存している』）
4）そして、その原因は テンプレの>>4-5 に引用してあるが
”infinite fair lottery”状態
つまり、決定番号が自然数N全体を渡り Ω＝N で P(Ω)＝1とできない（Ωが無限大に発散）
だってことだね
(参考)
https://ja.wikipedia.org/wiki/Well-defined
well-defined[注釈 1]（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う[2]。
経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する[注釈 3]。このとき、最終的な結論が中途の表式に依存している場合[注釈 4]、well-defined であるとは言えない。
つまり定めた対象が一意に存在しているとき、well-defined であるという。
つづく
上下前次1-新書関写板覧索設栞歴
あと 327 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s