[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
262(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/17(木) 10:59:57.30 ID:VGxaltOU(1/4) AAS
>>252
>現代確率論の結論は、普通の隔離計算通りで、99/100にはならない
>だから、有限長の数列も、時枝先生の記事の後半にある「独立な確率変数の無限族 X1，X2，X3，…」も、反例です
補足
(引用開始)
過去スレ35 2chｽﾚ:math 時枝問題（数学セミナー201511月号の記事）
(抜粋)
独立な確率変数の無限族
X1，X2，X3，…
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される
(引用終わり)
http://www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/h18prob1.html
記載責任者： 樋口 保成 神戸大
H18 確率論I
対象学部・学年：理学部数学科 3年
http://www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/prob1-9.pdf
確率論 I 第９回講義ノート2006.12.08
4 独立確率変数列の極限定理
4.1 独立性
P28
無限個の確率変数{Xλ；λ? Λ} が独立とはこの中の任意有限個の確率変
数の組Xλ1, ・・・,Xλn が独立なときに言う．
(引用終わり)
上記の通りなので、無限個の確率変数の扱いは、その中の一つ一つの P(Xj ? Aj) 達の確率を個別に計算するだけで良い
P(Xj ? Aj)は、サイコロなら1/6、
（>>237より）Sergiu Hart氏のPDF {0, 1, ・・・, 9}と10個の任意の数を入れるなら、的中確率1/10
区間[0, 1]の任意実数を入れるなら、的中確率０
時枝記事の後半のさわりに書いてある通り。
測度論による現代確率論の無限個の確率変数の扱いはこれです
99/100にはなりません。よって反例です。
（参考）
http://www.math.kobe-u.ac.jp/home-j/higuchi.html
樋口?保成
神戸大学理学部数学科
神戸大学大学院理学研究科数学専攻
http://www.math.kobe-u.ac.jp/HOME/higuchi/higuchi.html
樋口 保成
何を研究しているのか：
・個人的な動機
確率論はいろんな分野に応用されていますが、 とくに統計物理学への確率論の応用に興味を持っています。
263(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/17(木) 11:03:02.88 ID:VGxaltOU(2/4) AAS
>>262 文字化け訂正
無限個の確率変数{Xλ；λ? Λ} が独立とはこの中の任意有限個の確率変
↓
無限個の確率変数{Xλ；λ ∈ Λ} が独立とはこの中の任意有限個の確率変
上記の通りなので、無限個の確率変数の扱いは、その中の一つ一つの P(Xj ? Aj) 達の確率を個別に計算するだけで良い
↓
上記の通りなので、無限個の確率変数の扱いは、その中の一つ一つの P(Xj ∈ Aj) 達の確率を個別に計算するだけで良い
P(Xj ? Aj)は、サイコロなら1/6、
↓
P(Xj ∈ Aj)は、サイコロなら1/6、
264(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/17(木) 11:51:13.93 ID:VGxaltOU(3/4) AAS
>>252 補足
(引用開始)
vは、V1に入るかV2に入るか、二択で、どちらに入るかは確率1/2だと。直観ではこうなる。Ω＝{１，２}だと
しかし、それを通常の確率論の測度を使って書くと、λ(Vk)/λ(V)＝1/2 （つまり、λ(V)＝1で、λ(Vk)＝1/2）
ところで、ヴィタリ集合はそもそも非可測だから、「λ(V)＝1」が不成立で、λ(Vk)/λ(V)＝1/2は、言えない
この例のように、非可測集合を使うと、直観による確率1/2が非自明になる。1/2を主張するなら、別に証明が必要になる
(引用終わり)
ここで、多分、一番批判されるのは、「確率の定義」でしょうね
測度を用いないで、確率をどう定義するのか？
二番目は、”V1に入るかV2に入るかどうか、二択だから”→Ω＝{１，２}が、証明できるか？
（批判想定問答その１）
私：確率を非可測集合のヴィタリ集合の場合に拡張し、新しい定理を考えました！（＾＾
数学科生S：測度を用いない確率の定義は？
私：頻度主義を採用します。頻度主義から、ｖ∈Vが必ず言えるので、確率P（ｖ∈V）＝１は言えます
数学科生S：では、頻度主義で、確率P（ｖ∈V1）＝1/2はどうやって言えますか？
例えば、√2,√3,・・・,√p,・・・ と、素数の平方根を取ったとき、V1に属する確率は？
私：いじわる質問ですね。選択公理を使っているので、具体的な無理数がV1に属するかV2に属するかは言えません！（＾＾；
数学科生S：それでは、頻度が決まらないので、頻度主義を採用できませんね？
（ちゃんちゃん）
（批判想定問答その２）
私：vは、V1に入るかV2に入るか、二択です。V1とV2は、各元で対応付けが出来ていて（>>252）、濃度が等しい。
どちらに入るかは確率1/2だ。つまり、Ω＝{１，２}だ
数学科生S：VとV1、V2たちが、可測なら、それは言えるが、非可測なら、自明ではない。証明が必要です。
私：いじわる質問ですね。上記の通り、明らかでしょ？（＾＾；
数学科生S：「明らかでしょ？」で済めば、数学における証明は、ほとんど不要になる。
「自明でしょ？」で済まさずに、Ω＝{１，２}をちゃんと証明をするのが数学ですよ
それ、数学になっていませんね！！
（ちゃんちゃん）
時枝記事の非可測集合による確率計算に同じ
つづく
265(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/17(木) 11:52:13.46 ID:VGxaltOU(4/4) AAS
>>264
つづき
（再度過去ログを引用しておきます。上記と同じ指摘が下記にあります）
過去スレ20 2chｽﾚ:math
522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
過去スレ20 2chｽﾚ:math
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない
529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13]
>>528
自己レス
(R,B(R))ではなくすべて(R^N,B(R^N))だな
(引用終わり)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s