現代数学の系譜　カントル　超限集合論2

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

450: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [sage] 2020/03/12(木) 11:19:50.54 ID:FZfOcjPG

>>444
> ４）時枝を１列で考えます。可算無限長L（＝∞）の列に対し、代表番号dは有限
> ５）そういう有限dを使った数当ては、出来ないってことです

下記引用の広中−岡のエピソードの教訓は、
　数学は 不必要な条件を落として、抽象化して純化した方が、
　見通しが良いということ。数学はそれができる

これを時枝で考えてみると、要するに、時枝の数当ての原理は
「長さLの数列があって、
　問題の数列X：X1,X2,・・,Xi,Xi+1・・ において、
　同値類の数列Xの属する同値類の代表列rをうまく選んで
　r：r1,r2,・・,Xi,Xi+1・・(つまり Xi,Xi+1・・以降が一致)
　と出来れば、数当て成功。
　しっぽ　Xi+1・・を開けて、決定番号d＝iとなれば、ri=Xiですから、問題の数列XのXiが分かる」
という理屈です

なので、これをもっと抽象化すれば
　決定番号d(=i) ＜i＋mになるように、十分大きな数 i+m を選んで、しっぽの Xi+m・・を見ると
　属する同値類が分かり、代表列r：r1,r2,・・,Xi,Xi+1・・が分かり、ri=Xiが分かるという原理です

ですが、問題はそのような、十分大きな数i+mを選ぶことはできないということ
（∵ L＝∞ だから （＾＾； ）
これ、>>444-445 『お釈迦様の手の上の悟空』であり、数学的には DR Pruss氏の”conglomerability assumption”による説明です
よって、時枝の数当て手法は、不成立です
QED （＾＾

（参考）
https://ja.wikipedia.org/wiki/%E5%BA%83%E4%B8%AD%E5%B9%B3%E7%A5%90
広中平祐

特異点解消問題について、1963年に日本数学会で講演した。その内容は、一般的に考えるのでは問題があまりに難しいから、様々な制限条件を付けた形でまずは研究しようという提案であった。
その時、岡潔が立ち上がり、問題を解くためには、広中が提案したように制限をつけていくのではなく、むしろ逆にもっと理想化した難しい問題を設定して、それを解くべきであると言った。
その後、広中は制限を外して理想化する形で解き、フィールズ賞の受賞業績となる[4]。

http://rio2016.5ch.net/test/read.cgi/math/1576852086/450

461: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [sage] 2020/03/12(木) 15:49:30.18 ID:FZfOcjPG

>>460
おサルは、毛が3本足りない
知恵が無いな〜ｗ(゜ロ゜;

・ｎ→∞を考えた時に、ｎが有限とは異なる数理的現象が起きる
・例えば、下記のコーシー分布はどうか？　”平均と分散が定義されない”、”大数の法則が成立しない”、”中心極限定理も成立しません”などです
・コーシー分布は 裾が重い分布です。でも、まだ、裾はｎ→∞で、減衰して 極限で０になります
・しかし、時枝の決定番号dは、全く減衰しません。裾はｎ→∞で、減衰せず 極限で０以外の値を持ちます
　そういう分布では、決定番号の大小比較による確率計算は、不可です。
（これ、数学的には DR Pruss氏の”conglomerability assumption”による説明です（>>450））

（参考）
https://www.slideshare.net/KojiKosugi/cauchy20150726
Cauchy分布について(ベイズ塾例会資料)2015.07.26
考司 小杉, Working
(抜粋)
コーシー分布についてのまとめ
4. コーシー分布の特徴 ? 平均と分散が定義されない。 ? 最頻値と中央値は定義される。
15. 裾が重い分布
16. Re:コーシー分布の特徴 ? 時々とんでもない外れ値を出すことがある分布 ? 実現値の場合，裾の方に必ず出現度数がある＝裾が 重い分布。 ? べき分布の一種 ? 大数の法則が成立しない（大数の法則は期待値 平 均値の存在を前提としている）

https://mathtrain.jp/cauchydist
高校数学の美しい物語
コーシー分布とその期待値などについて 最終更新:2015/11/06
分野: 大学の確率・統計
(抜粋)
コーシー分布：
確率密度関数が f(x)=1/{π(1+x^2)} であるような連続型確率分布を（標準）コーシー分布と言う

正規分布とコーシー分布
いずれも左右対称の分布ですが，
正規分布は「外れ値を取る確率が低い（裾が軽い）」
コーシー分布は「外れ値を取る確率が高い（裾が重い）」
分布の具体例として，しばしば取り上げられます

大数の法則が成立しない
大数の法則は期待値の存在を仮定しています。そのためコーシー分布に対しては大数の法則は成立しません
同じく，中心極限定理も成立しません
このように「期待値の存在」や「大数の法則」など当たり前に成り立ちそうなことも成り立つとは限らないことの具体例として，コーシー分布は話題に挙がることが多いです

http://rio2016.5ch.net/test/read.cgi/math/1576852086/461

593: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/03/22(日) 11:42:53.49 ID:TMbOZsnt

>>450 補足
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞
広中−岡のエピソードの教訓により、さらに時枝を抽象化して（余計な要素を省いて） 考えてみよう

いま、問題の出題された数列
可算無限数列X：X1,X2,・・Xd,Xd+1,・・
に対し
無関係な人が数列を作ったとする
可算無限数列Y：Y1,Y2,・・Yd',Yd'+1,・・

ここに、d,d'はそれぞれの列の代表番号である
もし、d＜d'ならば、列Yの箱を開けて、d'を知り
列Xにおいて、Xd'+1から先のしっぽの箱を開けて
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる

ところで、数学的に疑問なのは
１．無関係な人が数列を作った列Yは、数学的に無関係でしょ？（数学を考えずとも無関係）
２．要するに、列Yとか無関係に、あるd'が取れて、d＜d'ならば、"rXd=Xd"と推測が的中するという時枝理論で
３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど、２列関係ないでしょ？！ｗ（＾＾；

（参考：時枝記事関連箇所）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
https://rio2016.5ch.net/test/read.cgi/math/1578091012/52
時枝問題（数学セミナー201511月号の記事）
問題に戻り，閉じた箱を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)が決められるのであった.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1576852086/593

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.029s