箱入り無数目を語る部屋2

[過去ﾛｸﾞ] 箱入り無数目を語る部屋2 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

634: １３２人目の素数さん [sage] 2021/10/03(日) 13:10:50.03 ID:gtH9cx8i

下記、転載しておきますね
（なお、元は”旧ガロアスレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12-18 時枝問題（数学セミナー201511月号の記事））

(参考)
Inter universal geometryとABC予想(応援スレ)
https://rio2016.5ch.net/test/read.cgi/math/1628778394/947
947 返信：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2021/10/03(日) 10:33:51.40 ID:gtH9cx8i [4/7]
>>896
>猿石苦手な確率の話題に突っ込んで行くのか
>そこはさらっとスルーしとけばいいのに

レスありがとうございます。
同意ですね

「箱入り無数目」>>888は、結局は、確率空間 (Ω,F,P)が、正当化されないので、決定番号による確率は、測度論的に正当化されない
これに尽きるかも（ここ、旧ガロアスレに確率論の専門家さんが来訪して、指摘していきましたが）

スレチですが、少しだけ
下記の確率空間 (Ω,F,P)で、「箱入り無数目」では
全事象Ω＝R^N （無限次元のユークリッド空間）、
FはR^Nの1点で、無限次元ベクトル（つまり可算無限長数列）
無限次元ベクトルFから、何かの手段（例えば時枝）で、決定番号ｎ∈Nを決める
つまり、関数ｆ：R^N→N が存在する
では、この関数ｆから、確率測度Pが与えられるのか？
無理でしょ！ｗ

そもそも、「F は Ω の部分集合族（σ -加法族）」ってところでとん挫
FはR^Nの1点だから、1点は測度0。測度0のσ -加法族なら、その測度は0
よって、「P(Ω)=1」が不成立
（∵Ω＝R^Nだから本来P(Ω)=∞。1点測度0のσ -加法族なら、P(Ω)=0。どちらもP(Ω)≠1）

これが、時枝さんが当たるように見えて、当たらない理由です
なお、上記はヴィタリの非可測とは異なります
”本来P(Ω)=∞”なので、発散している（非正則分布）ってことですね

つづく

http://rio2016.5ch.io/test/read.cgi/math/1629325917/634

636: １３２人目の素数さん [sage] 2021/10/03(日) 13:12:00.10 ID:gtH9cx8i

>>635
949 自分返信：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2021/10/03(日) 10:34:37.06 ID:gtH9cx8i [6/7]
>>948
つづき

https://en.wikipedia.org/wiki/Probability_space
Probability space
In probability theory, a probability space or a probability triple (Ω,F,P) is a mathematical construct that provides a formal model of a random process or "experiment". For example, one can define a probability space which models the throwing of a die.

A probability space consists of three elements:[1][2]
1．A sample space, Ω , which is the set of all possible outcomes.
2．An event space, which is a set of events F, an event being a set of outcomes in the sample space.
3．A probability function, which assigns each event in the event space a probability, which is a number between 0 and 1.

https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E7%A9%BA%E9%96%93
確率空間
（あまり良い説明ではないが、参考にはなるだろう）

https://ai-trend.jp/basic-study/bayes/improper_prior/
2020/04/14
非正則事前分布とは？?完全なる無情報事前分布?
ライター：y0he1
非正則分布は確率分布ではない！？
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
(引用終り)
以上

つづく

http://rio2016.5ch.io/test/read.cgi/math/1629325917/636

644: １３２人目の素数さん [sage] 2021/10/04(月) 07:06:03.26 ID:EkDLfqvB

>>634 追加
これも転載しておきます

Inter universal geometryとABC予想(応援スレ)
https://rio2016.5ch.net/test/read.cgi/math/1628778394/959
956 返信：Mara Papiyas ◆y7fKJ8VsjM [sage] 投稿日：2021/10/03(日) 14:37:47.11 ID:z3zwlfJp [14/21]
>>955
>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω＝R^Nです

違うよ　歷
箱は全て定数

959 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2021/10/03(日) 15:26:28.16 ID:gtH9cx8i [10/19]
>>956
＞>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω＝R^Nです
＞違うよ　歷
＞箱は全て定数

同じだよ
いま100列で、あるｋ列 （kは、1〜100）として
ｋ列の無限数列の同値類は、R^Nだろ？

もちろん、同値類の前の全体集合R^Nよりも、小さくなっている（＝真部分集合）だとｌしてもなお
集合としては、無限次元 つまり、R^Nで

R^Nから、ランダムに代表を選び、
（この”ランダム性”が実は定義できないが、便宜でこう表現する）
決定番号を得るよ

つまり
同値類のR^N→代表列rk→決定番号dk という流れになるよ
だから、ｆ：R^N→dk∈N で、関数ｆの可測性は不成立でしょ

(参考)
https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%B8%AC%E9%96%A2%E6%95%B0
可測関数
可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。

https://www.fbc.keio.ac.jp/~hkomiya/
小宮英敏
https://www.fbc.keio.ac.jp/~hkomiya/education/lecture/Lebesgue-integral-2014-1.pdf
ルベーグ積分 2014 年度秋学期 1
1 可測空間，可測関数，測度空間
(引用終り)
以上

http://rio2016.5ch.io/test/read.cgi/math/1629325917/644

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

あと 349 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.259s*