[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(5): 現代数学の系譜11 ガロア理論を読む [sage] 2016/01/15(金) 21:19:38.51 ID:d++PCd/C(1/7) AAS
旧スレが500KBオーバーに近づいたので、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む17
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む16
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む15
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む14
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む13
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む12
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む11
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む10
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む9
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む8
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む7
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む6 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む5 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む(4) 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む3 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む2 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む 2chｽﾚ:math
古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。
2(21): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 21:44:33.66 ID:d++PCd/C(2/7) AAS
前スレ>>699 再録 （現代数学の系譜11 ガロア理論を読む17）
１．時枝問題（数学セミナー201611月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
3(23): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 22:10:45.25 ID:d++PCd/C(3/7) AAS
（まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから）
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= no → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd(実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
4(25): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 23:01:37.39 ID:d++PCd/C(4/7) AAS
（趣旨は同じ）
３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，SlOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
どの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1〜S^(k-l),S^(k+l)〜SlOOの決定番号のうちの最大値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)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
5(4): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 23:14:43.21 ID:d++PCd/C(5/7) AAS
>>2-4
つくづく、数学表現に不便な板だ
上付き添え字、下付添え字が使えない
おっと訂正
>>3
∃n0：n >= no → sn＝ s'n とき
↓
∃n0：n >= n0 → sn＝ s'n とき
>>4
S^1,S^2，・・・，SlOO
↓
S^1,S^2，・・・，S^lOO
(補足)
>>3
sD+1， sD+2，sD+3，・・・：D+1などは下付添え字
>>4
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・：^kは上付き添え字、(D+l)などは下付添え字
6(4): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 23:27:49.43 ID:d++PCd/C(6/7) AAS
>>2-5
一貫校の秀才中学生にも分かるように、「時枝解法が成り立たない」ことを解説する
記号を整備しておく
実数の集合R、有利数の集合Q、整数の集合Z
実数列の集合 R^Nにならって、有利数列の集合 Q^N、整数列の集合 Z^N
あと、一桁の整数の集合Z<1>=｛1,2,3,4,5,6,7,8,9｝、同様に2桁の整数の集合Z<2>、・・・、n桁の整数の集合Z<n>
ついでに、n桁以下の整数の集合Z<-n>としよう。Z<-n>の濃度card(Z<-n>)≒10^n(10のn乗)だ
7(2): 現代数学の系譜11 ガロア理論を読む [] 2016/01/15(金) 23:37:06.74 ID:d++PCd/C(7/7) AAS
>>4
＜訂正＞
どの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
↓
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
＜解説＞
「s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
ここトリックなんだよね
・これは、正しい。が、これは、数列が、実数R^N、有理数Q^N、整数Z^Nに関わらずなりたつ
（Z<n>などでも同じ）
・つまり、１００列が、条件が同じであれば、k列が１番になる確率は、1/100ってこと。単純な話だ
・そして、実数か、有理数か、整数か、などに無関係ということを強調しておく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s