スレタイ箱入り無数目を語る部屋22

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋22 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

1(33): １３２人目の素数さん [] 2024/08/30(金) 10:41:18.06 ID:qldKhyXj(1/20) AAS
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります 2chｽﾚ:math 箱入り無数目を語る部屋19 )

2chｽﾚ:math
前スレスレタイ箱入り無数目を語る部屋21

(参考)時枝記事
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(2): １３２人目の素数さん [] 2024/08/30(金) 10:41:35.74 ID:qldKhyXj(2/20) 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年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき，と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎，と数学者は信じがちだ.
だが，測度論的解釈がカノニカル，という証拠はないのだし，そもそも形式すなわち基礎，というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」

つづく

3(3): １３２人目の素数さん [] 2024/08/30(金) 10:42:01.33 ID:qldKhyXj(3/20) AAS
つづき

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」

数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；

”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)

この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった

ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが
１．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と
　　そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも
　　記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい”と締めくくっているのだった
２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと
３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが
(引用終り)

つづく

4(1): １３２人目の素数さん [] 2024/08/30(金) 10:43:06.74 ID:qldKhyXj(4/20) AAS
つづき

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）は、可測性が保証されていないと回答しています

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”
で、選択公理なしで同じことが成り立つから、”選択公理”は、単なる目くらましってことも暗示している

つづく

5(1): １３２人目の素数さん [] 2024/08/30(金) 10:44:03.18 ID:qldKhyXj(5/20) AAS
つづき

だめなのは、時枝記事だ。まあ、題名はおちゃらけだが、もっとはっきり、数学パズルとした方がよかったろう
非可測で、ヴィタリに言及しているのが、ミスリードだ
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] を取る。
略
(引用終り)

つづく

6: １３２人目の素数さん [] 2024/08/30(金) 10:44:23.31 ID:qldKhyXj(6/20) AAS
つづき

（完全勝利宣言！ｗ）（＾＾
2chｽﾚ:math (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は、だましのトリックってことです

つづく

7(13): １３２人目の素数さん [] 2024/08/30(金) 10:45:38.79 ID:qldKhyXj(7/20) AAS
つづき

さて、上記を補足します

１）いま、加算無限の箱が、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の拡張定理と呼ばれる定理により証明できる．

つづく

8: １３２人目の素数さん [] 2024/08/30(金) 10:47:09.41 ID:qldKhyXj(8/20) AAS
つづき

2chｽﾚ:math
再録>>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で扱う」として矛盾はない！

つづく

9(7): １３２人目の素数さん [] 2024/08/30(金) 10:48:42.58 ID:qldKhyXj(9/20) AAS
つづき

(参考)
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年東工大の確率の問題は解けなくなります！

つづく

10(3): １３２人目の素数さん [] 2024/08/30(金) 10:49:07.59 ID:qldKhyXj(10/20) AAS
つづき

あなた方は、”固定”確率論の論文を書かれたら宜しいかと思います
その論文が出るまで、相手にする必要なし
（なお、時枝氏の記事>>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問 ”いびつなサイコロ”の確率問題に対し無力ですよ！！ｗｗｗ；ｐ）

”固定”なんて、ド”ハマリ”ですよｗ；ｐ）
確率の問題と、なんの関係もないｗｗｗ

つづく

11: １３２人目の素数さん [] 2024/08/30(金) 10:49:27.25 ID:qldKhyXj(11/20) AAS
つづき
2chｽﾚ:math
１）まず選択公理の使用は、測度論の裏付けの保証がない
　よって、選択公理を使用した確率99/100に測度の裏付けがあるかどうかは
　十分注意すべきで、実際箱入り無数には、測度の裏付けがないのです！
２）実際、このことは小学生でもわかることだが
　いま、簡単に有限n個の箱の列から始めよう(詳しくはテンプレ>>1-8ご参照)
　箱には、任意の実数r∈Rが入るが、いま簡単に有限区間 r∈[0,1]の任意実数を入れる
　箱入り無数同様にしっぽ同値類と決定番号を考える
　有限n個の箱の列が100列あり、それらの決定番号がd1,・・,d100 とする(各diで1≦di≦nである(i=1〜100))
　問題列 Si = (si1，si2，si3，・・，sin) とし
　代表列 Ri = (ri1，ri2，ri3，・・，rin) とする
　とすると、この二つの列は決定番号の定義より di以降n番目までの箱の中の数が一致していることになる
３）箱入り無数は、決定番号がd1,・・,d100 の大小関係から
　diが最大値 dmax=max(d1,・・,d100) である確率は 1/100であるから
（いま簡便に、1≦di＜nと仮定する）
　diの推定値d'iを知って、d'i+1番目以降の箱を開けて、同値類を特定し代表列 Riのridiを知り
　それをもって『ridi＝sidi』と唱えることで、確率99/100以上で箱の数が的中できるという
（注：推定値d'i=max(d1,・・,di-1,di+1,・・,d100)　つまり、di以外の最大値。詳しくは>>2ご参照）
４）問題は、区間 r∈[0,1]の任意実数を入れて
　しっぽ同値類で、n番目の箱の数の一致を得たときに
　その一つ前のn-1番目の箱の一致の確率が0になることだ
　つまり、決定番号 d1,・・,d100 の大小関係を考えるというのが、全くの架空のおとぎ話になるのです
　しっぽ n番目の箱の数の一致が分かっても、代表のn-1番目と問題の列のn-1番目とが一致する確率0
５）さて、上記は簡単に有限n個の箱の列で論じて
　決定番号 d1,・・,d100 の大小関係を考えるというのが、全くの架空のおとぎ話だということを立証した
６）では、n→∞のときはどうか？
　普通に考えて、上記２）〜４）の類似問題が存在する
　百歩譲っても、箱入り無数目にきちんとした
　測度論の裏付けのある数学的な議論になっていないことは
　明らかです*) ；ｐ）
（注*：n→∞のとき、決定番号dは上限無く発散して、非正則分布を成す（>>7ご参照）
　非正則分布では平均も標準偏差も発散するので、例えば非正則分布からランダムに取った二つの数d1,d2
　の大小確率 P(d1>d2)=1/2 は、正当な確率計算になりません！これが、箱入り無数目トリックです）
よって、『箱入り無数目＝与太話』に同意です！！；ｐ）
以上
つづく

12: １３２人目の素数さん [] 2024/08/30(金) 10:50:31.10 ID:qldKhyXj(12/20) AAS
つづき

2chｽﾚ:math
>命題「任意の実数列は決定番号を持つ」を真と認めるなら、出題列を並べ替えた2列は必ず決定番号d1,d2を持ちます。
>それらがどんな自然数なら勝率1/2に満たないかを聞いてるだけなんですけど。

お答えします
１）決定番号の件は、選択公理を使っている。選択公理で保証されているのは、代表の存在のみで
　その存在する代表と問題の列との比較で、決定番号の存在も保証されるが
２）さて、世に存在定理と呼ばれるものは多数ある。高木の存在定理もその一つだ
　さて、存在定理で言えるのは、その存在する対象がどういう性質を持つかは、不明な場合が多い
３）さらに、オチコボレさんには難しいみたいだが、『確率測度』というものがある（下記）
　”一般の測度の公理（完全加法性など）に加えて、標本空間の測度は 1 であることが公理に加わる”
　選択公理で保証される決定番号d1,d2の存在は言えるが、そのd1,d2を使った確率1/2の計算が『確率測度』に違反していないかどうか？
　そこは、非自明でこれが、箱入り無数目のトリックです
４）つまり、>>7に示す「非正則分布」は、『確率測度』の条件を満たすことができない
　即ち ”標本空間の測度は 1”を満たすことができない
　自然数N全体を標本空間にしたときも同様で、自然数N全体は数え上げ測度で無限大に発散するので ”標本空間の測度は 1”を満たすことができない
５）まとめると
　決定番号d1,d2の存在のみは選択公理で保証されるが、それらの性質は当然不問にされている
　d1,d2の存在のみから、確率P(d1>d2)を導くことはできない
　d1,d2とも自然数N全体を渡るので自然数N全体は数え上げ測度で発散していて ”標本空間の測度は 1”を満たすことができない
　つまり、非正則分布の自然数N全体を使った許されざる確率P(d1>d2)を
　あたかも自明のごとく主張しているのが箱入り無数目のトリックです

(参考)
https://ja.wikipedia.org/wiki/%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86
存在定理
存在定理（そんざいていり。英: existence theorem[1]または英: theorem of existence[2]）とは、何らかの数学的対象の存在をいう定理の総称。定理の内容や証明において、対象の具体的な構成方法は必ずしも示されない。

https://ja.wikipedia.org/wiki/%E9%AB%98%E6%9C%A8%E3%81%AE%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86
高木の存在定理
類体論の高木の存在定理（たかぎのそんざいていり、Takagi existence theorem）とは、代数体 K の一般化されたイデアル類群に対してそれに対応する K の有限次アーベル拡大が存在するという定理である[1]。高木貞治によって証明された一種の存在定理である。

https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E6%B8%AC%E5%BA%A6
確率測度
確率論における確率測度（かくりつそくど、英: probability measure）は、標本空間に事象となる完全加法族が与えられたとき、事象の確率を測る測度のことである。一般の測度の公理（完全加法性など）に加えて、標本空間の測度は 1 であることが公理に加わる[3]。
つづく

13(1): １３２人目の素数さん [] 2024/08/30(金) 10:50:55.85 ID:qldKhyXj(13/20) AAS
つづき

・もし、決定番号d1,d2が有限でいずれも 0〜nで
　d1,d2 ∈｛0,1,2,・・,n｝
　としよう
　そして、｛0,1,2,・・,n｝の一様分布を仮定しよう
・このときの状況を図示すると
　横軸d1,縦軸d2 として、(d1,d2)の成す格子点は
　nxn正方形の中（周囲を含む）の格子点を形成する
　d1＝d2は、正方形の対角線で
　d1＜d2は、対角線より上の部分
　d1＞d2は、対角線より下の部分
　nxn正方形を対角線で分けているので
　例えば確率P(d1>d2)＝〜1/2 （ほぼ1/2）となる（P(d1＜d2)も同様）
・上記は、n有限の場合だが
　n→∞の場合は、nxn正方形の面積Sは S→∞ に発散する
　対角線より上の部分、下の部分ともに同様に →∞ に発散する
・これが、数え上げ測度で無限大の自然数N全体を扱うときの問題で
　∞/∞の不定形が出現するのです
　そこをゴマカスのが、箱入り無数目の手品のトリックです
（繰り返すが、『確率測度』の条件「標本空間の測度は1」を満たせない）

つづく

14(8): １３２人目の素数さん [] 2024/08/30(金) 10:51:20.68 ID:qldKhyXj(14/20) AAS
つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）https://keiji-pro.com/magazine/10/ 刑事事件マガジン更新日：2023.10.13
サイコパス（精神病質者）の10の特徴と診断基準｜実はあなたの周りに・・・？
サイコパスとは、「反社会性パーソナリティ障害」という精神病者のこと。
サイコパスの10の特徴表面上は口達者利己的・自己中心的平然と嘘をつく
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png

https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
スレ12 2chｽﾚ:math より
”「ガロア理論昭和で分からず令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

つづく

15: １３２人目の素数さん [] 2024/08/30(金) 10:51:45.81 ID:qldKhyXj(15/20) AAS
つづき

なお、スレ14から引用追加
2chｽﾚ:math
834１３２人目の素数さん
2024/02/05 ID:WZ3A8eO8
>>833
あなたのいう病的な空間とは具体的になんですか？
箱入り無数目の確率空間は有限集合｛１，・・・，１００｝であって
まったく病的でもなんでもありませんが、理解できてますか？

922１３２人目の素数さん
2024/02/09 ID:saO8wFId
まずここから間違ってるのが笑える
>箱入り無数目の確率空間は有限集合｛１，・・・，１００｝であって
>まったく病的でもなんでもありませんが、理解できてますか？

923１３２人目の素数さん
2024/02/09 ID:nxQ27BqK
>>922　自分が間違ってることに全然気づかない馬鹿っぷりが超笑える　ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!

925１３２人目の素数さん
2024/02/0 ID:saO8wFId
>>923
こいつ確率論なんもわかってねーんだな
(引用終り)

つづく

16: １３２人目の素数さん [] 2024/08/30(金) 10:52:05.86 ID:qldKhyXj(16/20) AAS
つづき

サイコパスのおサル
詭弁のデパートだな
テンプレに入れておくぜ！ｗ

2chｽﾚ:math
（>>814より再録）
>>808 >>810
>https://study-line.com/kakuritsu-saikoro/
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>>　目は決まっている
>>・二つの和が12になる確率は？
>>　二つとも6の場合で、1/36
>と書かれてるか示してごらん

本気で聞いているのかな？ｗ
上記のサイト中で
冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ
(引用終り)

（>>818より再録）
>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが
どこにも
>・サイコロ二つを振って、箱の中
>　目は決まっている
なんて無いんだが
(引用終り)

１）サイコロ二つを振って二つの和が12になる確率は？二つとも6の場合で、1/36
　これが分からないと聞いてきた
２）動画にあると示したら、「サイコロ二つを振って、箱の中目は決まっているなんて無いんだが」
　ときたもんだ。笑える

中学レベルの確率論でつまずいているんだ
アホのきわみだね

つづく

17(1): １３２人目の素数さん [] 2024/08/30(金) 10:52:26.91 ID:qldKhyXj(17/20) AAS
つづき

＜繰り返す＞
2chｽﾚ:math (スレ18)

・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う

大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる

このスタートラインに立てない
数学科オチコボレさんを相手にしても、しかたないｗ；ｐ）

補足

１）１列で考えると、決定番号に測度裏付けがないことがよく分る
　まず、>>7にあるが『時枝記事の決定番号をdとすると、dは1から無限大(∞)までを渡る
　このような場合、しばしば非正則分布（正則でない）を成す(>>7)』
２）もう少し詳しく説明しよう
　いま１列で箱は有限n個だとする
　箱にP通りの数を入れる。IID(独立同分布)とする
　どの箱も的中確率p=1/P だ（ここで、Pは十分大きい(pは十分小さい)と仮定する）
３）１列箱は有限n個の決定番号を考えよう
　場合の数は、全体でP^nだが
　決定番号をkとしてn-1以下つまりk≦n-1の場合の数は（自由度が１つ減って）
　P^(n-1)となる
　よって
　i)決定番号kがn-1以下(k≦n-1)の場合の割合は
　P^(n-1)/P^n=1/P（=p）となる
　ii)決定番号kがちょうどn(k=n つまり最後)の場合の割合は
　1-1/P（=1-p）となる
４）ここで、下記の二つ場合の極限を考えよう
　i)n→∞(箱が無限個)：この場合、全体の大部分をしめるn番目(最後)の箱は無限のかなたに飛び去る
　　いま決定番号が、有限m番目以下(k≦m)の場合の数は P^mで、全体はP^n→∞で
　　よって、その割合は n→∞でP^m/P^n→0
　ii)P→∞(箱に入れる数が無限通り、例えば自然数N全体とか実数R全体)：
　　この場合、箱が有限n個の決定番号で、k=n の割合は1
　　k<n の割合は0
　　よって、そもそも、有限n個の決定番号にバラツキが無く、k=n の割合は1で決まるので
　　決定番号の比較による確率が無意味
　　箱が無限個の場合にも同様で、k=n の割合1の箱が無限のかなたに飛び去って見えなくなるので
　　”決定番号の比較による確率が無意味”が見えにくくなっている（これが箱入り無数目のトリック）

ということで、結論は
箱入り無数目の”決定番号の比較による確率が無意味”で
これが箱入り無数目のトリック

追伸
オチコボレおサルさんと
もう一人オチコボレさんがいます。おサルさんのお友達です。主張が似ていてそっくりです；ｐ）
この二人が数学科出身と名乗るから驚くぜ。どこの大学が名乗らない方がいいぞ。同窓生が恥をかくｗ　；ｐ）

テンプレは以上です

19(2): １３２人目の素数さん [] 2024/08/30(金) 12:06:31.68 ID:qldKhyXj(18/20) AAS
>>18
ふっふ、ほっほ

(引用開始)
的中確率が1/6になるためには出題を試行とすればよい。
この場合いずれの目も確率1/6で出現するからいずれの目を回答しても的中確率1/6となる。

試行を変えれば確率も変わる。
例えば出題を１とし、回答を試行とし、その確率分布を P(1)=1/2,P(2)=・・・=P(6)=1/10 とすれば的中確率1/2となる。

このように確率を考えるときは何が試行かを明確にする必要がある。
「サイコロだから的中確率1/6」と短絡すると間違える。
(引用終り)

１）公理的確率論（下記）が、分かってませんね
２）サイコロの出目の確率1/6は、サイコロが正規のもののときです
　いびつなサイコロでは、必ずしも出目の確率1/6は言えない(>>9 ご参照）
３）なので、”試行”の話とは別（”試行”も理解できていないらしいな）

あと、”固定”>>10 がデタラメってことだね

(参考)
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E8%AB%96
公理的確率論
「確率の公理」も参照
現代数学の確率論は、アンドレイ・コルモゴロフの『確率論の基礎概念』（1933年）[4]に始まる公理的確率論である。この確率論では「確率」が直接的に何を意味しているのかという問題は取り扱わず、「確率」が満たすべき最低限の性質をいくつか規定し、その性質から導くことのできる定理を突き詰めていく学問である。この確率論の基礎には集合論・測度論・ルベーグ積分があり、確率論を学ぶためにはこれらの知識が要求される。公理的確率論の必要性に関しては確率空間の項を参照。

23(1): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 2024/08/30(金) 14:41:57.28 ID:qldKhyXj(19/20) AAS
>>19 補足

ふっふ、ほっほ
『試行 (確率論)』とは？
試行の定義は、下記ご参照

試行の定義も確認せずに、議論するバカがいるｗ；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E8%A9%A6%E8%A1%8C_(%E7%A2%BA%E7%8E%87%E8%AB%96)
試行 (確率論)
確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである[1]。試行の結果全体の集合は標本空間（全事象）と呼ばれる。

特に起こりうる結果が2つしかない試行はベルヌーイ試行と呼ばれる[2]。

試行の結果のいくつかからなる集合で、起こる割合が決まっていると考えられるものを事象という。事象に対してそれの起こる割合を確率という。

1つの試行を繰り返すことにより、事象の確率を評価することができる（統計的確率）。根元事象に確率変数（一般には確率要素）を割り当てることにより確率質量関数か確率密度関数が決まり、試行は確率分布として定量化できる。

試行の数学モデル
確率論における試行の数学モデルでは、測度論の枠組みで定式化される。試行の結果全体の集合（標本空間）、事象（確率をもつ集合）全体の集合（σ-代数）、事象の確率を測る確率測度の三段の定義により構成される。

詳細は「確率空間」を参照

33: 現代数学の系譜雑談 ◆yH25M02vWFhP [] 2024/08/30(金) 17:49:03.72 ID:qldKhyXj(20/20) AAS
>>26
>選択公理より解が選べるのですべての目が当る。

なるほど
これは、弥勒菩薩様ですね（＾＾；

なるほど
選択公理のおまじない

ちちんぷいぷい
黙って座れば

ピタリと当たる”選択公理”だぁ〜！！
”選択公理”は、すばらしい〜！！！ｗｗ；ｐ）

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

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

ぬこの手ぬこTOP 0.064s