[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(4): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:10 ID:A9zfkBNj(1/26) AAS
旧スレが500KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む20 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む19
2chｽﾚ:math
同18
2chｽﾚ:math
同17
2chｽﾚ:math
省24
2(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:13 ID:A9zfkBNj(2/26) AAS
￥さん、どうも。皆さん、どうも。スレ主です。
前スレでは、お疲れさまです
お陰さまでこのスレも21になりました。世紀に追いつきました（＾＾；
4(24): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:52 ID:A9zfkBNj(4/26) AAS
前スレより引用
613 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土) 12:42:17.08 ID:Vo9e95n/ [4/35]
>>538
ID:f9oaWn8Aさん、どうも。スレ主です。
えらく確率論に詳しいね。よって、”確率論の専門家”と呼ばせて貰おう
”確率論の専門家”のご意見は、>>512-538それと日付が変わって>>542-564のID:1JE/S25Wさんの発言だ
（”確率論の専門家”の意見要約）>>512-538 >>542-564
１．時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
２．時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
３．「無限族の独立性の定義は微妙」は、そもそも時枝氏の勘違い．時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
省3
5(8): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:53 ID:A9zfkBNj(5/26) AAS
614 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土) 12:43:50.82 ID:Vo9e95n/ [5/35]
>>613 続き
さて
１．これを受けてTさん（元TAさん）「問題は>565をどう考えるかに絞られている」>>603
２．おっちゃん「ちなみに、時枝問題の話はまだ終わっていないと思う。」「時枝氏の方法で「確率が計算できる」ような確率論の公理の体系を築け
という新たな問題が生じるだろう。」>>584
３．\さん「そういう風に考えなければ、数学はこのまま死んでしまう。ソレはアカン。」>>585、
「『Kolmogorovが近代確率論を成立させるに当たり、当時出来上がったばかりの測度論を使ってしまった』という部分を、そろそろ「もう一度見直す時期に来ている」」>>549、
「あの当時とは違って、今はゲーム理論とかAI（NNみたいな学習理論とか）、また流行りのファイナンスとか、そういうのが『Kolmogorovの公理系からははみ出してる』という印象」>>201
「だから時枝さんの議論は（その細部はさて置き）非常に求められている問題意識ではないかと。」>>201
省1
6(4): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:54 ID:A9zfkBNj(6/26) AAS
615 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土) 12:46:57.32 ID:Vo9e95n/ [6/35]
>>491-492
数学的帰納法について再度まとめておく（一次のまとめ>>27-29）
（数学的帰納法に反例があるなどと、変な話を残しておきたくないのでね）
１．まず、ここ「数学的帰納法で導く結論は、必ず正しい」から
外部ﾘﾝｸ:www.juku.st
【数学講師向け】わかりやすく教えよう！数学的帰納法と演繹法 2014年06月24日
(抜粋)
数学的帰納法は演繹法である
確かに、数学的帰納法は帰納的に見えます。
省8
7(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:54 ID:A9zfkBNj(7/26) AAS
616 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土) 12:47:52.62 ID:Vo9e95n/ [7/35]
>>615 つづき
２．さて、時枝解法成立派>>327が、”「１．任意の有限個の開集合の共通部分は開集合であることを示せ、２．無限個の開集合の共通部分は開集合とは限らないことを示せ」（「数学的帰納法は不完全であると言える。・・ その反例を示すことを実体験しなさいと言ってるんだよ。」前スレ >>382）”>>27と言い出した
３．主張の趣旨は、多分「ここに関しては「任意の有限部分族が独立のとき、独立」という定義そのものが有限の極限として扱うって立場だろうってことだと思う
だから同値なのは当たり前
そうじゃなくて"有限個のときみたいに無限個を全部眺めて独立性を判断する"ような扱いをすれば直観に根ざした結論が得られるだろう」>>544 (…と思ったけど(1)と(2)の二つの方針が可能であるって言ってるから読み違えてる気がしてきた)>>544
と。つまり、（）内のカミングアウトのように、読み違えか、”そもそも時枝氏の勘違い”に乗せられたんだろう
４．で、時枝解法成立派が強硬に主張していた”数学的帰納法は不完全”は、あっさり>>538で「確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となる」と、”確率論の専門家”さんに否定的に証明されてしまった
５．だから、これを受け入れるなら、時枝解法成立派の強硬な主張もその必要がなくなるのだった
６．では、一見数学的帰納法は不完全に見える、位相（topology）の例はどう考えれば良いのか？ ”スレ主さんは∩_{n∈N}U_nの定義がよくわかってない感じですね．”>>516と”確率論の専門家”さんからご指摘のように、「数学的帰納法で導く結論は、必ず正しい」をうまく説明出来ていなかったのは確かだ
省1
14(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)22:05 ID:A9zfkBNj(14/26) AAS
709 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/10(日) 11:30:39.18 ID:1POR/mwl [12/28]
”『Lebesgueの意味の測度論を使う定式化を見直すという可能性』を言ってます。
あの当時とは違って、今はゲーム理論とかAI（NNみたいな学習理論とか）、
また流行りのファイナンスとか、そういうのが『Kolmogorovの公理系から
ははみ出してる』という印象でしょう。なので所謂『Baysianな議論』と
いうヤツがそうですわ。だから時枝さんの議論は（その細部はさて置き）
非常に求められている問題意識ではないかと。”>>201
そういう問題意識は分からなくもない。
ただ、それなら
１．あの当時とは違ってゲーム理論とかAI（NNみたいな学習理論とか）・・『Kolmogorovの公理系からははみ出してる』
省10
15(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)22:06 ID:A9zfkBNj(15/26) AAS
766 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/10(日) 19:45:57.15 ID:1POR/mwl [27/28]
>>765 つづき
４．前スレ >>310 証明おじさん「＞帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
これが理解できないスレ主のためにわざわざ問題出して上げたのに(>>144)ガン無視かよｗ」
５．前スレ >>382 証明おじさん「(n∈N ⇒ P(n)は真) ⇒ (n=∞ ⇒ P(n)は真) が真であれば、数学的帰納法は不完全であると言える。
実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ。」
要は、”そもそも時枝氏の勘違い”>>542に乗せられたのか、”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”と言い出した
そして、”また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張 とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”という
その流れの中での、”数学的帰納法は不完全””実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ”と
そして、>>744引用の証明を書いた証明おじさんだったのだ
省4
16(3): 2016/07/15(金)22:16 ID:xfE1fnFv(1/2) AAS
スレ主ってすごく独りよがりですね
20(4): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)22:40 ID:A9zfkBNj(19/26) AAS
>>15 引用が抜けた
765 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/10(日) 19:44:49.80 ID:1POR/mwl [26/28]
>>764 つづき
前スレの流れを整理しておくと、
１．前スレ >>235 Tさん「無限個の確率変数が独立であるとは「無限個のうち任意の有限個が独立」と定義される。
「無限個がまるまるすべて独立」という定義ではない。これは記事に書いてあるとおり。
そしてここにパラドックスの成立する余地がある。
すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく、
それに含まれない他の箱が常に存在する。
その箱の情報が別の箱から得られないことを独立性の定義からは結論できない、というわけ。」と
省7
23(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)23:08 ID:A9zfkBNj(21/26) AAS
>>20 つづき
それで、”すなわち独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”とおかしな方向へ
”「＞６．これを繰り返すと、有限部分族に上限はなく、”常に有限個の組でしかなく”に反する
ここがおかしい
また帰納法で例えるけど帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張
とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ」”
などと
しかし、自然数Nは可算無限の濃度（アレフゼロ）ではあるが、集合の元としては∞は含まれていないから、
自然数Nは、字義通り上限が無い（限りがない）ということ
それを、どうも集合の元としての∞と混同してしまったんだね
省8
27(6): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)23:24 ID:A9zfkBNj(23/26) AAS
>>23
集合の元としての∞については、前スレでも触れたが、別にロビンソンの超準（以下”ノンスタ”と略す）に限られず、古くは射影幾何とかリーマン球でも導入されていた
どうも、コンパクト化という手法のようです（下記）
射影幾何を遡れば、古くギリシャの円錐曲線論に辿り着く
とすれば、集合の元としての∞の導入自身は、は結構分かり易い。ノンスタでなければならないという訳でも無いし、結構直感的に把握できる
外部ﾘﾝｸ:ja.wikipedia.org
コンパクト化
位相空間X のコンパクト化（英: compactification）とはX をコンパクトな位相空間に稠密に埋め込む操作を指す。コンパクトな空間は数学的に取り扱いやすい為、X をそのような空間に埋め込む事でX の性質を調べやすくする事ができる。
省2
28(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)23:35 ID:A9zfkBNj(24/26) AAS
ノンスタの独自性は、むしろ無限小量の導入の法だろう（下記）
だから、前スレでだれか”メタ言語”だとか言っていたけど、集合の元としての∞の導入自身はそんな難しい話じゃない
”スレ主の考え方を正当化するには、数学的には、超準解析を用いないと正しい結論は出せない。”なんてのもおかしい。コンパクト化で足りる
外部ﾘﾝｸ:ja.wikipedia.org
超準解析
ニュートンやライプニッツ以来300年間厳密に定義されなかった無限小量は ε-δ 論法の登場によって一旦は追放された。
しかし1950年代に登場したモデル理論を初めて応用することで、1960年代にアブラハム・ロビンソンは超実数を考案して、古典的な無限小・無限大の概念を数学的に厳密な形で正当化し、無限小解析をそのままの形で蘇らせることに成功した。
29(3): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)23:50 ID:A9zfkBNj(25/26) AAS
>>23 補足
補完数直線ということばがある
”この位相に関して、実変数 x が +∞ や ?∞ へ近づく極限や、函数の値が +∞ や ?∞ へ近づく極限を、一般的な極限の位相的定義を簡略化して定義することができる。”
なんてあるので、Σn=1-∞ Anとか、定積分記号で0から∞という記述も、それなりの数学的合理性がある
外部ﾘﾝｸ:ja.wikipedia.org
順序構造および位相的性質
任意の（有限）実数 a に対して ?∞ ? a ? +∞ と置くことにより、実数直線 R における順序の拡張として、補完数直線 R は全順序集合になる。この順序に関して R は「任意の部分集合が上限と下限を持つ」（完備束を成す）という良い性質を持つ。
この順序から導かれる R 上の順序位相では、集合 U が正の無限大 +∞ の近傍となる必要十分条件は U が適当な実数 a に対する集合 {x : x > a} を含むことであり、負の無限大 ?∞ についても同様のことが言える。
補完数直線 R は、単位閉区間 [0, 1] に同相なコンパクトハウスドルフ空間であるから、単位閉区間の通常の距離から同相を通じて距離化可能であるが、しかし R 上の通常の距離の延長となるような距離を入れることはできない。
省1
32(8): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:16 ID:6gtR58FD(2/47) AAS
<時枝問題の記事を前スレから再録>
2 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:50:40.78 ID:suG/dCz5 [2/23]
（時枝問題をまだ引っ張ってます）
前々スレ>>2 再録 （現代数学の系譜11 ガロア理論を読む18）
１．時枝問題（数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
省2
33(3): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:17 ID:6gtR58FD(3/47) AAS
3 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:51:43.66 ID:suG/dCz5 [3/23]
（まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから）
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
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番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
省8
34(8): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:18 ID:6gtR58FD(4/47) AAS
4 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:53:04.24 ID:suG/dCz5 [4/23]
（趣旨は同じ）
３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，S^lOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
省11
35(7): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:19 ID:6gtR58FD(5/47) AAS
5 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:58:41.83 ID:suG/dCz5 [5/23]
前々スレ>>614 再録 （現代数学の系譜11 ガロア理論を読む18）
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、前スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
省2
36(5): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:19 ID:6gtR58FD(6/47) AAS
6 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:59:57.17 ID:suG/dCz5 [6/23]
>>6の続きを、前々スレ>>176 （現代数学の系譜11 ガロア理論を読む18）より 再録
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
省9
37(4): 現代数学の系譜11 ガロア理論を読む 2016/07/16(土)06:20 ID:6gtR58FD(7/47) AAS
7 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 05:04:49.59 ID:suG/dCz5 [7/23]
前スレ>>224 再録 （現代数学の系譜11 ガロア理論を読む19）
まず、数学セミナー201611月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.811s*