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

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

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

1: 現代数学の系譜11 ガロア理論を読む [sage] 2016/09/18(日) 09:27:51.79 ID:9cd3XTDs

旧スレが500KBオーバー間近で、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む22 http://rio2016.2ch.net/test/read.cgi/math/1471085771/
現代数学の系譜11 ガロア理論を読む21 http://rio2016.2ch.net/test/read.cgi/math/1468584649/
現代数学の系譜11 ガロア理論を読む20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/
現代数学の系譜11 ガロア理論を読む19 http://wc2014.2ch.net/test/read.cgi/math/1462577773/
同18
http://wc2014.2ch.net/test/read.cgi/math/1452860378/
同17
http://wc2014.2ch.net/test/read.cgi/math/1448673805/
同16
http://wc2014.2ch.net/test/read.cgi/math/1444562562/
同15
http://wc2014.2ch.net/test/read.cgi/math/1439642249/
同14
http://wc2014.2ch.net/test/read.cgi/math/1434753250/
同13
http://wc2014.2ch.net/test/read.cgi/math/1428205549/
同12
http://wc2014.2ch.net/test/read.cgi/math/1423957563/
同11
http://wc2014.2ch.net/test/read.cgi/math/1420001500/
同10
http://wc2014.2ch.net/test/read.cgi/math/1411454303/
同9 http://wc2014.2ch.net/test/read.cgi/math/1408235017/
同8 http://wc2014.2ch.net/test/read.cgi/math/1364681707/
同7 http://uni.2ch.net/test/read.cgi/math/1349469460/
同6 http://uni.2ch.net/test/read.cgi/math/1342356874/
同5 http://uni.2ch.net/test/read.cgi/math/1338016432/
同(4) http://uni.2ch.net/test/read.cgi/math/1335598642/
同3 http://uni.2ch.net/test/read.cgi/math/1334319436/
同2 http://uni.2ch.net/test/read.cgi/math/1331903075/
同初代 http://uni.2ch.net/test/read.cgi/math/1328016756/
古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。

http://rio2016.5ch.net/test/read.cgi/math/1474158471/1

7: 現代数学の系譜11 ガロア理論を読む [] 2016/09/18(日) 09:33:04.88 ID:9cd3XTDs

前スレ>>224 再録　（現代数学の系譜11 ガロア理論を読む19）
まず、数学セミナー201611月号の記事で、引用していなかった部分を、以下に引用する（＾＾；

”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”

この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった

ついでに”コルモゴロフの拡張定理”について、時枝記事は>>6に引用の通りだが
１．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と
　　そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも
　　記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい”と締めくくっているのだった
２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと
３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが？

http://rio2016.5ch.net/test/read.cgi/math/1474158471/7

14: 現代数学の系譜11 ガロア理論を読む [] 2016/09/18(日) 09:40:49.76 ID:9cd3XTDs

前スレ（現代数学の系譜11 ガロア理論を読む22）より 再録

676 自分返信：１３２人目の素数さん[] 投稿日：2016/09/17(土) 23:35:07.44 ID:MokdApDK [43/44]
>>654
>で、そもそも、>>632にあるように、時枝は前提として、「箱がたくさん，可算無限個ある.箱」としている。
>だから、箱に連番を振れば、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだ

補足すると、>>674で「ヒルベルトの無限ホテルのパラドックス」と>>675で「デデキント無限」で説明した通りだが、「箱がたくさん，可算無限個ある.箱」なので下記

前々スレ 現代数学の系譜11 ガロア理論を読む20
http://rio2016.2ch.net/test/read.cgi/math/1466279209/4
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 のいずれかをランダムに選ぶ.
（抜粋おわり）

まあ要するに、「箱がたくさん，可算無限個ある.箱」なので、100列の無限長の箱の列を作ることが可能だ
当然逆の操作も可能だ。100列の無限長の箱の列を１列に戻すことも

ここで、>>658に示したように、１列目を区間（０，１）の分数列 1/2,1/3,1/4,1/5,・・・,1/n,1/(n+1),・・・　とヒモ付け（全単射）をする
k列目を区間（k-1，k）の分数列 k-1+1/2,k-1+1/3,k-1+1/4,k-1+1/5,・・・,k-1+1/n,k-1+1/(n+1),・・・　とヒモ付け（全単射）をする (1≦k≦100)

区間（0，100）の分数列を使って、100列の無限長の箱の列を整列させることは可能だ
つまりは、100列の無限長の箱の列を、タテに繋げることが可能だと

http://rio2016.5ch.net/test/read.cgi/math/1474158471/14

15: 現代数学の系譜11 ガロア理論を読む [] 2016/09/18(日) 09:42:12.63 ID:9cd3XTDs

前スレ（現代数学の系譜11 ガロア理論を読む22）より 再録

687 自分返信：１３２人目の素数さん[] 投稿日：2016/09/18(日) 07:05:24.54 ID:9cd3XTDs [6/16]
>>682 補足

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列 - Wikipedia

http://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート 原　隆　（九州大学数理学研究院）Juy 10, 2007
(抜粋)
3.1 同値類と商集合

念のため：この商集合の元は上で定義した同値類，つまりA の部分集合である．同値類や商集合を考える事で，も
とのx やA よりも一段とレベルが上がった形になっている事に注意．
このような同値類や商集合を考える状況は，大体，以下のようなものである．いま，集合A がたくさんの元を
持っており，更に，その元の多くは，我々の目的からすれば同じように見えるとしよう．つまり，我々の関心のな
い細部では異なっているので異なる元ではあるのだが，我々が見たい部分では同じ，ということ．このような場合，
「同じように見える」ものを一塊にして，「関心のない部分の際は無視する」ことにすればすっきりする．上で導入
した～（同値関係）は「同じように見えるもの同士」を定義する関係である．それで同値類というのが，「同じよう
に見えるものの一塊」に相当するのだ．

3.2 コーシー列による実数の定義
(引用おわり)

http://m-ac.jp/me/index_j.phtml 図説「数学教育」更新: 2016-03-10 http://m-ac.jp/index_j.phtml m's Academe
http://m-ac.jp/me/subjects/nq/real_num/construction/cauchy/index_j.phtml
コーシー (Cauchy) 列による実数の定義 数学教育 : 実数:

http://rio2016.5ch.net/test/read.cgi/math/1474158471/15

19: 現代数学の系譜11 ガロア理論を読む [] 2016/09/18(日) 10:27:12.62 ID:9cd3XTDs

前スレ（現代数学の系譜11 ガロア理論を読む22）より 再録

504 自分返信：１３２人目の素数さん[] 投稿日：2016/09/10(土) 14:02:19.43 ID:q7Skbg74 [4/14]
>>502 補足
そこらの勘違いが、この問題のキモだと思うよ (後述の英文サイトなどもご参照)
決定番号 d(s) の確率を考えようとすると、自然に決定番号 d(s) の分布が問題になる
例えば、 d(s) が仮に一様分布だとしよう。https://ja.wikipedia.org/wiki/%E4%B8%80%E6%A7%98%E5%88%86%E5%B8%83 一様分布 - Wikipedia
（引用）
確率変数を x ( α＜ x ＜ β )とする。 x が整数であるときの離散型の一様分布の確率分布 Pr ( x = X )、 一様分布の確率密度関数は以下の式で定義される。
1/(β － α)
またいずれの場合も確率の期待値は以下で表される。
(α + β)/ 2
（引用おわり）

つまり、決定番号 d(s) に上限がないとすれば、β→∞を考えなければならないということ
が、d(s) は明らかに一様分布ではない。d(s) が大きいほど、出現頻度は大きい

ここで、確率分布に詳しい人がすぐ気付くことは、普通考える確率分布では、確率変数 x ( α ? x ? β ) で、βが有限か、あるいはβが有限でない場合βが大きくなると分布はゼロになるんだと
例えば、
ベータ分布は前者の例 https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%BC%E3%82%BF%E5%88%86%E5%B8%83
正規分布は、後者の例 https://ja.wikipedia.org/wiki/%E6%AD%A3%E8%A6%8F%E5%88%86%E5%B8%83

しかし、普通考える確率分布と比較すると、d(s)の確率分布がおかしい（d(s)が増大してもゼロに収束しない）ことは、確率分布に詳しい人ならだれでも気付く

http://rio2016.5ch.net/test/read.cgi/math/1474158471/19

20: 現代数学の系譜11 ガロア理論を読む [] 2016/09/18(日) 10:28:06.14 ID:9cd3XTDs

前スレ（現代数学の系譜11 ガロア理論を読む22）より 再録

506 自分返信：１３２人目の素数さん[] 投稿日：2016/09/10(土) 14:06:19.94 ID:q7Skbg74 [6/14]
>>502 補足
>決定番号は有限値だとクギをさしておく。
>s∈R^N を取るごとに決定番号 d(s) は有限値である。
>ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。

こういう記述は素朴で微笑ましいが、このスレを低レベルのカキコで埋めて貰っても仕方ないので書いておく
人は、古代ギリシャから無限の存在に気付いていた
古くは、アキレスと亀 https://ja.wikipedia.org/wiki/%E3%82%BC%E3%83%8E%E3%83%B3%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
１９世紀 カントールに代表される無限集合の研究で、可算無限、連続無限が意識されるようになった https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E8%AB%96

で、決定番号 d(s) についてだけなら、難しく考えずに、まずはd(s) の値域 dom(d(s))を考えれば良い
>>327のある数列のd(s)として、dom(d(s))＝{1,2,3,・・・,n,・・・・}＝Nだと
関数のイメージとしては、数直線ｘ上にある１から始まる自然数の点がdom(d(s))だ
確かに、目に見える範囲では、有限だろうさ
が、２１世紀の数学ではそれを可算無限というんだ
「有限値・・」などと口走ったら、「何を勉強してきたんだ」と言われるだろう

そして、記号∞との関係では、リーマン球 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2 リーマン球面 - Wikipedia
をイメージすることだ
記号∞は、リーマン球では北極に位置する点だ。数直線ｘは、北極∞を通る大円に写像される
自然数nが大きくなると、ｎは北極∞に近づく。極限は北極∞ということ。
現代数学では、∞を無限遠点として付け加えて理論展開することも可能だ。しかし、∞を無限遠点として付け加えない立場も両方とも可能だよ
要するに、つねにリーマン球をイメージするようにすれば、∞無限遠点の意味づけはクリアーになるだろう（ここらは複素関数論で扱うだろう）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1474158471/20

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

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

ぬこの手ぬこTOP 0.010s