[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
468(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/14(日) 09:33:13.29 ID:fNVDpqMq(2/38) AAS
>>462
>その話は、時枝記事中でも、非可測集合のパラドックスとして、ちょっと触れているだろう？
>（なお、”非可測集合のパラドックス”は、私見だが本質ではないと思っているのだが）
時枝先生の書いている、「ヴィタリ類似だから、即お手つきか」という話ではないように思うということ
（時枝先生の話）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
2chｽﾚ:math
(抜粋)
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
(引用終り)
と、時枝先生は書いている。が、頭の悪いスレ主には、意味が良く取れない
１．ヴィタリ類似を経由したからと言って、具体的に計量を計算するまでは、矛盾はおきないでしょ
２．また、話を、選択公理にすり替えているが、ちょっとおかしい
３．決定番号は、自然数Nの範囲だし、測度論に一気に飛んでも、「なに言ってるの？」と感じる
４．だから、どんな空間の計量を問題にしているかを定義せずに話を飛ばすから、「あれあれ？」と
５．要は、「ｈ：無限次元ベクトル空間R^N→N’(決定番号の集合）」で、x,y∈N’で、P（x>y）=1/2 がきちんと計量を定義して言えるのか？
言えないだろうというのが、下記の話だと理解している
つづく
469(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/14(日) 09:33:43.01 ID:fNVDpqMq(3/38) AAS
>>468 つづき
＜参考＞
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
2chｽﾚ:math
20 2chｽﾚ:math
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15]
>>519
記事のどこが疑問なのか明確にしてもらえますか？
説明不足でよく分からない
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が可測かどうか分からないのでこの部分が非自明
つづく
478: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/14(日) 14:07:41.58 ID:fNVDpqMq(11/38) AAS
>>468 補足
>「ｈ：無限次元ベクトル空間R^N→N’(決定番号の集合）」で、x,y∈N’で、P（x>y）=1/2 がきちんと計量を定義して言えるのか？
ここを細分すると
R^N：無限次元ベクトル空間 s∈R^N s=(s1,s2,s3,・・・）
↓
R^N/〜（商射影の切断）（https://ja.wikipedia.org/wiki/%E5%95%86%E5%86%99%E5%83%8F 商写像 ）
↓
代表r=r(s) r=(r1,r2,r3,・・・）
↓
N’：決定番号の集合 d∈N’ d=d(s)
↓
N：自然数の集合
となる
（補足）
・しばしば、我々は無意識に、決定番号の集合N’と自然数の集合Nとを同一視してしまう
・だが、決定番号の集合N’は、問題の数列ｓと代表r=r(s)との関係で、多く（非可算無限）の重複を含む集合になっている
（例：決定番号２なら、s=(s1,s2,s3,・・・）とr=(r1,r2,r3,・・・）とで、s2=r2,s3=r3,・・・ の関係があり、s1≠r1だが、この同値類内の決定番号２の元は、R^1の自由度がある。
同様に、決定番号３なら、R^2の自由度。決定番号ｎなら、R^(n-1)の自由度。）
・可算無限長の数列を簡単のために２列で考えると、２列の決定番号の大小比較は自然数の集合Nのレベルで行うが、その背景に決定番号の集合N’があるから、大小の確率を考えるときは、本来、決定番号の集合N’をベースに考える必要がある
・ところで、以前の議論でもあったように、有限な自然数の部分集合（1,2,3,・・・,m）で、あるx（1<= x <=m）を考えると、x <= m/2 （平均以下）である確率は、ｍが十分大きければ1/2だろう
・しかし、ｍ→∞（つまり集合が自然数の集合Nになる）では同じ議論はできない
・そして、考えるベースが、決定番号の集合N’であれば、なおさら、単純に確率1/2とは言えない。ここらが手品のタネだろう
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s