現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

22: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:49:25.00 ID:Bct9UQQT

>>21 つづき 過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1492606081/240
(抜粋要約) 2017/04/26
で困るのは、確率論の常識がないってこと

時枝問題（「箱入り無数目」数学セミナー2015.11月号） http://rio2016.2ch.net/test/read.cgi/math/1466279209/2-6
・箱がたくさん，可算無限個ある
・そこに、私がまったく自由に実数を入れる
・もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?
・時枝記事の結論：勝つ戦略はある
・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる

ところで、”まったく自由”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立する
ランダム現象の数理を利用して、私が実数を入れたとする。当然、どの箱の数もランダムで、どう並べ替えようとランダムだろう
もし私が入れる実数を見ていないとか、あるいは、箱にはなんの目印もなく並べ替えたら外見からは違いが分からない・・
まあ、並べ替えたら、なにがなんだか、入れた私にも分からない・・。当てられるはずがない・・
とまあ、”まったく自由に”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立するんだ

そういう、確率論の常識がないってこと
そこらの事情を端的に言ったのが、”確率論の専門家”さん
ところが、High level people たち、確率論の常識がないから、彼の言っていることが真に理解できてないんだろう。そのときは、平伏していたのにね・・

で、考えてみると、この記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところが、笑いの肝（キモ）なんだろうね
大学数学科１年とか２年で、無限をおそわって代数の商集合（同値類分類）が、ちょっと分かってきたあたりの人に受ける
でも、大学数学科３年とか４年で、確率論の常識が分かると、もう面白くもなんともない
当時チョウチンをつけていた大学数学科１年とか２年たち、進級してレベルアップしていったんだろう

（High level people たちは）大学数学科など、良質な情報に触れる機会もないから、いつまでもそのままだ・・
それが分からない人たちは、どうぞ、スレ28 へ

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

23: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:51:29.16 ID:Bct9UQQT

過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1495369406/562 2017/05/26
さて、
１．過去１年半ほど、このスレで「時枝記事はガセか、正しいか」で議論してきた。いまさら、堂々巡りのような気がする今日この頃
２．で、2017/01/02(月)に、High level people たち、スレ28を立てた http://rio2016.2ch.net/test/read.cgi/math/1483314290/ だ
３．だから、棲み分けしませんか？　”記事は正しい”と思う人は、どうぞスレ28へ。そして、中断されている”記事は正しい”の議論を数学的に完成させてください
　　（完全な証明までは求めません。が、証明のあらすじでも可。但し、分散されたレスをつなぎ合わせないと分からない状態ではなく、連続したまとめスレを作ってもらえればありがたい。だれが見ても分かり易いというのが理想だ。）
４．こちらのスレ32などでは、「時枝記事が成り立たないことを前提として、時枝記事がなぜ成り立たないか？　なぜ、成り立つように見えるか」を議論したい。
　　確率論については、例えば、>>12に示した原隆先生”確率論 I，確率論概論 I 講義のレジュメ”PDFの最初の方を参照して貰えば良い（これに限らないが出典明示で可）
http://www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf
　　例えばP25より 抜粋
「2.4.1 無限直積空間の構成（少しadvanced）
2.1.1 節で有限個の確率空間の直積を定義した．ここでは無限個の確率空間の直積が必要にな
る．つまり，確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積(Ω,F, P) を作りたい．しか
し，2N は非加算無限（！）であるため，有限個の時のようには構成できない．そこで，以下の
ように可測集合を限定して作っていく．
定義2.4.2 (無限個の確率空間の直積) 確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積
(Ω,F, P) は以下のように構成する．
・・
ようやく，大数の強法則の正確な意味を理解できるようになった．つまり，大数の強法則では，

上のようにして構成した確率空間で考える．その結果，この確率は1 である（つまり，SN/N がμ に概収束する），と主張している」

辺りが、一つの議論の手がかりかと思う
（もっとも、こちらは、確率論の専門家ではないので、あまり深い議論はついて行けないと思うが・・（＾＾；

http://rio2016.5ch.net/test/read.cgi/math/1496568298/23

26: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:53:19.46 ID:Bct9UQQT

>>25 つづき

http://rio2016.2ch.net/test/read.cgi/math/1466279209/541-565
544 返信：１３２人目の素数さん 2016/07/04(月) 00:19:16.71 ID:EwZDjjf/
>>542
＞2に関して言うとそもそも時枝氏の勘違い．
＞時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
ここに関しては「任意の有限部分族が独立のとき、独立」という定義そのものが有限の極限として扱うって立場だろうってことだと思う
だから同値なのは当たり前
そうじゃなくて"有限個のときみたいに無限個を全部眺めて独立性を判断する"ような扱いをすれば直観に根ざした結論が得られるだろう

…と思ったけど(1)と(2)の二つの方針が可能であるって言ってるから読み違えてる気がしてきた

545 名前：１３２人目の素数さん 2016/07/04(月) 00:42:34.67 ID:hgUPmIoq [3/10]
>>542
時枝氏の考察の不備はともかく、パラドックスの出来は秀逸だと思ったが。
貴方みたいに確率論に詳しいと全く面白くないのだろうか笑

564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
>>563
ごめん，少し誤解があった
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう

565 名前：１３２人目の素数さん 2016/07/04(月) 22:43:48.47 ID:hgUPmIoq
>>564
レスありがとう
ここから先、話が数学的ではなく恐縮なんだけど、
率直にどんな感想をもつか貴方のコメントがもらえたらと思う
（以下略）
(引用終り)
103 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/23(日)

High level people たち、数学的でない話をしているんだ・・（＾＾
だったら、スレ 28でやってくれよ。 28 (High level people が時枝問題を論じるスレ)

(引用終り)

まあ、要するに、話は全く逆で、数学的には一度決着している
それを、非数学的な話で蒸し返しているのが、High level people たちなんです（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1496568298/26

31: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:57:55.13 ID:Bct9UQQT

>>30 つづき
http://rio2016.2ch.net/test/read.cgi/math/1495860664/279-280
279 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/29(月) 17:19:52.45 ID:IKiw8fcW [22/58]

多分、なんか人違いしていると思うけど・・（＾＾

>＞判別する方法（実行方法）が与えられていない
>そもそも「実行可能性」については言及してないので

全文引用しておくよ（＾＾
https://rio2016.2ch.net/test/read.cgi/math/1483075581/6
6 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/12/30(金) 14:29:01.59 ID:zFouRTR2 [6/23]

前スレより
651 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/12/03(土) 18:40:32.23 ID:6Rgz8i9T [39/39]

時枝記事の問題点>>114-115 を、まとめておく

１．そもそも、可算無限の数列のしっぽなんて、「同値から推移律確認！ はいおわり」 それですむ話じゃないだろう
２．コーシー列はヒルベルト空間内だが、時枝記事のR^Nはヒルベルト空間外。ヒルベルト空間外の数列は扱いが難しい。ま、そこらがトリックのネタだろう
３．”しっぽが一致する”を実際の数列について、判別する方法（実行方法）が与えられていない（絵に描いた餅だ。数列の最初から見て行っては終わらない）
４．決定番号があやしい。特に、決定番号の確率分布がすそが重い（超ヘビー）確率分布になるから、99/100が言えない（∵大数の法則も中心極限定理も不成立だから）
５．さらに、確率分布の変数として、決定番号を見たときに、定義域は[1, ∞)となる。だから、∞まで考える必要がある。この点からも、99/100は簡単に言えない
６．０〜９の数を箱に入れる極簡単なミニモデルでも、可算無限数列のしっぽは、現代数学では扱えない
　 （このミニモデルでは、実数の無限小数展開と平行して論じられるので、便利なのだが）
　 まして、任意の実数が箱に入る場合（つまり１つの箱に連続無限大の自由度があるモデル）においておや
(引用終り)

これ、「私は、時枝記事が成り立たないことを前提として
時枝記事がなぜ成り立たないか？　なぜ、成り立つように見えるか」
という視点から見ていることを忘れないで下さいね（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1496568298/31

32: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 19:16:35.76 ID:Bct9UQQT

過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1495860664/366 2017/05/30
(抜粋)
>>330
>数学科で習うようなペダンティックな理論は無駄でしょう
>>337
>ええ、あなたは工学屋らしく解析学やってればいいんじゃないですか？
>>351
>仕事の役に立たないからやめときな
>ガロア理論知っても代数方程式は解けない

（まとめレス)
１．あなたは、数学科卒業生で、中学高校の数学教師の資格だが、教師だったことはありませんと
２．で、いま仕事についているのか、はたまた、その仕事では数学が生かせていないのか不明だが、まあ、少なくとも仕事の経験はあるんでしょうね
３．”仕事の経験はある”前提で話をすると、”仕事に役立つ数学”だけを勉強するということは、非常に困難だと分かるでしょ？ 未来予測的中が必要だから・
４．数学など、一つ上のレベルを勉強しておくことが、有利に働く場合は多い。例えば、高校数学で微積をやってもそれだけ使える人は少ない。大学レベルの勉強をすると、高校レベルが易しく見えるだろう
５．また、現実の社会で起きる課題は、試験問題とは違って、問題を数学の俎上に乗せることからやらないと行けない場合が多い
　　（試験問題みたいに、綺麗な式が与えられていたり分かっている場合はまれ）
６．時代が変われば、要求される数学の質や量が異なる。例えば、エクセルが普及して、高等関数は使い易くなった。が、数学の知識がないと式が組めないだろう
７．さらには手作りの数学が必要になる場合もある。例として、有限要素法だとか。また、大規模マトリックスの効率的計算アルゴリズムの設計とかね
８．企業では、短期間に自分の直面する問題の知識を仕込まないと行けない場合が結構ある（一夜漬けともいう＊））。数学でも同じだ。数学のレベルを高めておくと、「短期間に」という部分が可能になる
　　＊）試験で言えば、カンニング的な、問題文を読んでから教科書の該当箇所を見て答えを書く。教科書の該当箇所を正確に見つけて、正確に当てはめをする必要があるね

まあ、そうことで、目先の役に立つ勉強も大事だが、理系にとって、数学は上記のように、仕事が密接に数学と関係しているので、数学を勉強しておくメリットはあるんだよね（＾＾
まあ、自分の趣味と実益とを兼ねてね（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1496568298/32

38: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 19:26:09.01 ID:Bct9UQQT

過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1495860664/478-479
478 2017/05/31
独り言
「可算無限等確率測度が存在しないことの証明
　Nを自然数全体の集合とします。
　n∈Nに対してP({n})が一定となるような確率測度Pが存在するとして矛盾を示します
　P({n})=pとおきます
　p>0のときは測度の可算加法性よりP(N)=∞
　p=0のときも測度の可算加法性よりP(N)=0
　いずれにしてもP(N)=1を満たさないので矛盾。(終わり)」

まあ、これは、伝統的なコルモゴロフ流確率論の枠内。だが、いま時枝問題は、コルモゴロフ流確率論の枠を外して議論しないと行けないんじゃなかったか？
例えば、下記、デルタ関数を用いた測度の拡張が可能だ。上記の証明は、まさに、「デルタ関数の積分がルベーグ積分として理解できない」という議論と相似だろう？（＾＾
http://ogyahogya.hatenablog.com/entry/2014/10/14/%E7%A2%BA%E7%8E%87%E6%B8%AC%E5%BA%A6%E3%81%A8%E5%BC%B1%E5%8F%8E%E6%9D%9F
確率測度と弱収束 2014-10-14 id:ogyahogya 北見工業大学 特任助教
(抜粋)
ヘビサイド関数からディラック測度が定義されたのでいくつかのヘビサイド関数の凸結合から定義される確率測度は重み付けられたディラック測度というような感じになっています。ディラックのデルタ関数はディラック測度から定義された確率密度関数とみなすことができます。
ガウス分布の確率密度関数は分散を0に限りなく近付けるとディラックのデルタ関数ぽいと前の記事で紹介しましたが、ガウス測度はディラック測度に収束することが示せます。ただし、収束は次のように弱収束の意味です。

http://www.wikiwand.com/ja/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E3%81%AE%E3%83%87%E3%83%AB%E3%82%BF%E9%96%A2%E6%95%B0
ディラックのデルタ関数 Wikiwand
(抜粋)
デルタ関数は、通常の関数であるかのように扱われることも珍しくないが、実際には通常の意味の関数と見なすことはできない。
デルタ関数の特徴付けに用いられている積分が、通常の関数の（広義）リーマン積分やルベーグ積分として理解されるならば、このような関数の積分は恒等的に 0 に等しい関数を積分するのと同じであり積分値は 0 になる。したがって、このような条件を満たすような通常の関数は存在しない。

http://rio2016.5ch.net/test/read.cgi/math/1496568298/38

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

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

ぬこの手ぬこTOP 0.015s