- 1 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2016/01/15(金) 21:19:38.51 ID:d++PCd/C.net]
- 旧スレが500KBオーバーに近づいたので、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む17
wc2014.2ch.net/test/read.cgi/math/1448673805/
現代数学の系譜11 ガロア理論を読む16
wc2014.2ch.net/test/read.cgi/math/1444562562/
現代数学の系譜11 ガロア理論を読む15
wc2014.2ch.net/test/read.cgi/math/1439642249/
現代数学の系譜11 ガロア理論を読む14
wc2014.2ch.net/test/read.cgi/math/1434753250/
現代数学の系譜11 ガロア理論を読む13
wc2014.2ch.net/test/read.cgi/math/1428205549/
現代数学の系譜11 ガロア理論を読む12
wc2014.2ch.net/test/read.cgi/math/1423957563/
現代数学の系譜11 ガロア理論を読む11
wc2014.2ch.net/test/read.cgi/math/1420001500/
現代数学の系譜11 ガロア理論を読む10
wc2014.2ch.net/test/read.cgi/math/1411454303/
現代数学の系譜11 ガロア理論を読む9
wc2014.2ch.net/test/read.cgi/math/1408235017/
現代数学の系譜11 ガロア理論を読む8
wc2014.2ch.net/test/read.cgi/math/1364681707/
現代数学の系譜11 ガロア理論を読む7
uni.2ch.net/test/read.cgi/math/1349469460/
現代数学の系譜11 ガロア理論を読む6 uni.2ch.net/test/read.cgi/math/1342356874/
現代数学の系譜11 ガロア理論を読む5 uni.2ch.net/test/read.cgi/math/1338016432/
現代数学の系譜11 ガロア理論を読む(4) uni.2ch.net/test/read.cgi/math/1335598642/
現代数学の系譜11 ガロア理論を読む3 uni.2ch.net/test/read.cgi/math/1334319436/
現代数学の系譜11 ガロア理論を読む2 uni.2ch.net/test/read.cgi/math/1331903075/
現代数学の系譜11 ガロア理論を読む uni.2ch.net/test/read.cgi/math/1328016756/
古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。
- 3 名前：πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」 [] - [ここ壊れてます]
- 4 名前：現代数学の系譜11 ガロア理論を読む [2016/01/15(金) 22:10:45.25 ID:d++PCd/C.net]
- （まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから）
２．続けて時枝はいう
私たちのやろうとすることは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 ごっそり)が決められることに注意しよう.
|
 |
