現代数学の系譜工学物理雑談古典ガロア理論も読む64

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む64 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

21: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/04/26(金) 14:02:48.55 ID:mF7ZEDvm

さてさて、
時枝問題（数学セミナー201511月号の記事）まとめについては
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/11-67 ご参照！
（ 特に時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ）

スレ54 https://rio2016.5ch.net/test/read.cgi/math/1540684573/94
94 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/11/01(木) ID:ypCHJLQo
>>89
>「どの同値類が来ても、それに対応する(有限値の)決定番号を準備出来ますよ」
>ということです
>だから決定番号が有限に収まる確率は1になる

突然で、話が見えない人も多いだろうから、簡単に書くと
数学セミナー 2015年11月号 箱入り無数目 時枝 正（下記参考）で

話の前提は、こうだったね
１）可算無限個の箱の列（まあ自然数で１番～n番までの箱で、n→∞を実現したよと）
２）箱に任意の数を入れる（実数でもなんでも良し。重複も許す）
３）この数列を、列のしっぽの同値類で分類する
４）二つの数列において、ある番号mから先の数列しっぽが一致するとき、mを決定番号と呼ぶ

で、その流儀の説明倣えば
ａ）決定番号が１になる確率（２列の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
b）決定番号が２になる確率（２列の２番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
c）以下同様に、決定番号がｋになる確率（２列のｋ番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
d）よって、どの有限な決定番号を考えても、それ以降の全ての、しっぽの対応する可算無限個の箱の数が、一致する場合の確率は、０になります ！！（＾＾ （∵しっぽが可算無限個の箱の列だから）
（参考）
https://www.nippyo.co.jp/shop/magazine/6987.html
数学セミナー 　2015年11月号
　箱入り無数目───────────────時枝 正　36
(引用終り)

ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！ ＼（＾＾）／

http://rio2016.5ch.net/test/read.cgi/math/1556253966/21

22: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/04/26(金) 14:03:24.36 ID:mF7ZEDvm

>>21

つづき

なお、これ過去スレに書いたけど
スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/840
840 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 14:47:03.11 ID:BnDtX2yP [9/79]

纏めると
１）大学数学科で３年、４年で確率論と確率過程論を学べば、
　それは時枝記事と不一致で、時枝不成立はすぐ分る
２）だが、さらに進んで、当たらないのになぜ当たるように見えるのかが問題になる
３）一つは、すでに述べたが、同値類である元と代表とを比較して、
　なにか確たることが言えるが如くの標準外のトンデモ論法を使っているところだと
　（例えば >>683-684 ご参照）
４）もう一つが、可算無限長の数列のしっぽの同値類にある
　しっぽの箱を開けると、どの同値類に属するかが分る。
　だが、それが分る全てだ。
　どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと
（細かい議論は、上記>>838などをご参照）
５）なお、非可測でビタリ集合に言及しているが、後述Hart氏PDFのGame2では選択公理を使わないから、ビタリ集合お呼びじゃない。
　また、（引用）”独立な確率変数の無限族 X1，X2，X3，… 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される”
ここで、
「任意の有限部分族が独立←→独立な確率変数の無限族 X1，X2，X3，…」と同値関係にある
なので、
「勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
は、完全に外れ
　（端的に言えば、時枝先生は数学セミナー誌で5chみたいなフェイク記事を書いちゃったみたい。確率過程論に無知だったかも知れないね。）

で、最近、時枝の可算無限個の数列のシッポの同値類と、函数の芽の同値類（茎、層の関連）との対応で
これで、「時枝がなぜ当たるように見えるのか（実際は当たらないのに）」が説明できそうだということ
細かい話は、スレ62 https://rio2016.5ch.net/test/read.cgi/math/1551963737/22-30ご参照

つづく

http://rio2016.5ch.net/test/read.cgi/math/1556253966/22

130: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/04/28(日) 08:00:27.19 ID:3EIGr6Oy

>>129
つづき

・で、時枝問題（数学セミナー201511月号の記事）まとめより（>>21）
　スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/11-67 ご参照！
（ 特に時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ）
（時枝記事より)
　s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ 　s'と定義しよう(いわばコーシーのべったり版).
　念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
（引用終り)

・さて、n有限の場合、同値類は基本的に最後の箱、n番目の箱で決まる（決定番号も同様）
　念のため推移律をチェックすると，
　s = (s1，s2，s3 ，・・・sn)，s'=(s'1， s'2， s'3，・・・s'n )∈R^n
　で、sn＝s'n なら、同値s ～ s'と定義の通り

・ここでもし、箱に任意の実数を入れるなら、一つ前の箱sn-1とs'n-1とが一致する確率は0
　つまり、同値s ～ s'は、sn＝s'nのみで決まり、確率１で決定番号d=n
（サイコロの目を入れるとしても、箱の数nで簡単に偶数でn＝2mとおくと、
　確率ほぼ１で決定番号m<d<=n、確率ほぼ0で決定番号1<=d<=m-1。）

・つまりは、n有限では、最後の箱がある状態なのだ
　そして、m→∞の極限を考えると、確率１で決定番号d=n→∞
・貴方と、時枝と、そしてサイコパスは、最後の箱がない状態しか考えていない
　だが、”n有限→∞の極限”で、最後の箱がある状態で考えるべきなのだ
（上記、岩沢宏和とか数理研講究録とかご参照）
　Hart氏は、おそらくそれが分っている。だから、パズルとしている（答えは伏せて）

・勿論、最後の箱がないモデルで、時枝記事の論法が成立つと言いたいかもしれない
　どうぞ、続きを、
　スレ28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
　お願いします
　まあ、あなた方には無理でしょうが、最後の箱がないモデル構築には、時枝記事程度の証明では、全く足りませんよね
以上

http://rio2016.5ch.net/test/read.cgi/math/1556253966/130

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.048s