スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (290ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
238(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/15(日)09:59 ID:lv2xCBEK(1/4)
>>204 つづき
(引用開始)
”確率変数の定義
［定義］ 標本空間Ω上の実数値関数
（各根元事象に実数を対応させたもの）を確率変数random variable という”
(引用終り)
さて、”確率変数の定義”は、上記の通りで その本性は 関数であって
”変数”に 引き摺られて 1試行でコロコロ変わるなどの妄想は、ダメですよｗ
さらに、確率の用語を確認し整備しょう
試行：サイコロを投げる、コインを投げるといった実験のことを試行と呼びます
事象：試行をして観測された結果のことは事象と呼びます
全事象（標本空間）：事象が対応する部分集合が全体集合の場合、その事象を全事象（標本空間）という
根元事象：事象が対応する部分集合が集合の一つの要素の場合、その事象を根元事象と言います
（参考）
https://wakara.co.jp/mathlog/20230419
wakara.co
やさしく学ぶ統計学〜試行と事象とは？〜 2023年4月19日
１. 試行、事象とは？
確率を考える際、サイコロを投げる、コインを投げるといった実験のことを試行と呼びます。
また、試行をして観測された結果のことは事象と呼びます。
これらの言葉はやや紛らわしいですが、例えばサイコロ投げの場合は、サイコロを投げるという実験そのものが試行であり、「1の目が出た」などの結果が事象となります。
https://www.hmathmaster.com/matha/%E9%9B%86%E5%90%88%E3%81%AB%E3%82%88%E3%82%8B%E5%A0%B4%E5%90%88%E3%81%AE%E6%95%B0%E3%81%A8%E7%A2%BA%E7%8E%87%E3%81%AE%E8%80%83%E3%81%88%E6%96%B9/
数学Ａ > 場合の数と確率 > 集合による場合の数と確率の考え方
著者：L&M個別オンライン教室 瀬端隼也 修正日：２０２１年４月１３日
事象
事象が対応する部分集合が全体集合の場合、その事象を全事象といい、事象が対応する部分集合が空集合の場合、その事象を空事象といい、事象が対応する部分集合が集合の一つの要素の場合、その事象を根元事象と言います。
そうすると、場合の数における全体の事柄が全事象と対応し、事柄が事象に対応し、一つ一つの場合が根元事象に対応するという、対応関係があります。
https://ja.wikipedia.org/wiki/%E6%A8%99%E6%9C%AC%E7%A9%BA%E9%96%93
標本空間
確率論にて、試行結果全体の集合のことである[4]
標本空間はふつう Ω で表す。全事象という意味では U（Universe の頭文字）で表すことも多い
測度論により、標本空間の部分集合で確率をもつものには可測であることが必要になる。標本空間の部分集合のうち確率をもつものを事象、事象空間をふつう
F⊂2^Ω で表す。
F は Ω の完全加法族である。
これ以上分解できない事象を根元事象または単純事象 (elementary event / simple event) という。注意したいのは、根元事象は標本空間の1点を表す集合であり、元ではない。1点を表す集合か元であるかはそれぞれ「根元事象」「標本点」で区別される（例えば、サイコロを振ったとき、根元事象は {1}, …, {6}）
239(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/15(日)10:12 ID:lv2xCBEK(2/4)
>>238 つづき
さて、用語が整備出来たところで
冒頭>>1に戻る
(引用開始)
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)
ここまでが、一つの試行だ
つまり
1）可算無限個の箱に 実数を入れる
ある一つの数を残して、他の箱を開ける
最後に残した箱の数を予測する
2）最後に残した箱の数の予測が、ピタリと的中すれば
あなたの勝ち。的中でなければ、負け
3）よって、全事象Ω（標本空間）は、
実数列の集合 R^N s = (s1，s2，s3 ，・・・)∈R^N
を集めたものと見ることができる
さて、箱入り無数目では、s'=(s'1， s'2， s'3，・・・ )∈R^Nなる
数列のしっぽ同値を考えるという戦略を提唱する
しっぽ同値の数列を加えると
この場合には
s = (s1，s2，s3 ，・・・) と s'=(s'1， s'2， s'3，・・・ )∈R^N
を、一つの試行と考えることもできる
240(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/15(日)10:29 ID:lv2xCBEK(3/4)
>>239 つづき
s = (s1，s2，s3 ，・・・) と s'=(s'1， s'2， s'3，・・・ )∈R^N
を、一つの試行と考えたとき >>1のような 決定番号dを考えることができる
もし、問題列 s = (s1，s2，s3 ，・・・) について
決定番号d を 推測できる方法があれば
問題列で、d+1以降の数列のしっぽの箱を開けて
問題列の属する 同値類を特定して
同値類代表 s'=(s'1， s'2， s'3，・・・ )を知り
決定番号の定義から(>>1)
sd＝s'd
とできて sdを箱を開けずに的中できて
回答者の勝ち
ところで、このような 決定番号d は、存在するけれども
あたかも 測度論の零集合類似の性質を持つのです
つまり、決定番号dは あきらかに →∞ に発散するので
その集合は 無限集合になる
例えれば、可算無限列の長さを考えると 明らかに可算無限長で
一方、決定番号dまでの長さ 1〜d は、有限長さ
よって、d/∞＝0
よって、決定番号dは、可算無限長において、先頭の長さ0部分（零集合）での 確率計算にすぎない
ここが、箱入り無数目のトリック部分
可算無限長の 先頭の長さ0部分（零集合）で
確率99/100を導く
どっこい その実 (99/100)*0＝0 の議論でしかない
ここは、我々の日常が 数学的には 無限集合のNやRを想定しているが
その実、有限の数の中で暮らしている こと
それが、日常生活では 全く無意識で 当たり前になっている
真に無限大を考えることが殆ど無いので
箱入り無数目のような場合に遭遇すると
無意識の日常有限の思考に引き摺られて
無限トリックだと なかなか気づかない
そういう 箱入り無数目トリックの仕掛けなのです
241(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/15(日)10:52 ID:lv2xCBEK(4/4)
>>240 補足
>つまり、決定番号dは あきらかに →∞ に発散するので
専門的には、>>8 の 非正則な分布（発散する分布）を
使っていると言うことです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s