[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
242(2): 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:09 ID:aqTgmiKS(1/10) AAS
>>240
どうも。スレ主です。
TAさんの深く鋭い指摘で、いろいろ勉強させてもらいました。ありがとうございました
半分解決しました
が、疑問が残っています
で、順番にいきましょう
243(5): 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:10 ID:aqTgmiKS(2/10) AAS
まずこれから
１．有限次超越拡大のアナロジー
１）Q(√2,π,√π)を取る。Q(√2)⊂Q(√2,π)⊂Q(√2,π,√π)＝Q(√2,√π)である。つまり、√2と√πによる拡大で、超越基底は√πである。
２）ある人が、Q(√2,π,√π)の超越基底を√2とπ考えたとする。しかし、√πの存在に気づいた。「πと√πは代数的独立ではないのでだめだから、終わり」とはならない。「πと√πを取り換えるべし」が正解。
３）∵π＝(√2)^2だから。そこで、一歩進めて、s1＝f(s2) (2次以上の多項式で係数は元の体)とできるとき*)、s2はs1に対し上位の超越数と呼ぶことにする。
（*) 陰関数 f(s1,s2)も考えるべきだが、話を単純化した。）
４）これは、有限次の超越拡大だが、無限次でも同様のはず。つまり、Q~(代数的数)→C（複素数）の無限次の超越拡大で、超越基底S={・・・、s1,s2,s3,・・・}で取り残しのある超越数xに気づいたとする。
省3
244(4): 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:15 ID:aqTgmiKS(3/10) AAS
>>243 つづき
２．これで済めば簡単だが、そうでもない。
”Q~(代数的数)→C（複素数）の無限次の超越拡大で、超越基底S={・・・、s1,s2,s3,・・・}で、具体的数は超越基底にできない。（Q~(代数的数)→C（複素数）拡大における超越基底の具体的数不可定理と名付ける）”
（証明）
１）まず、π?超越基底S={・・・、s1,s2,s3,・・・}とする。しかし、π＝(√2)^2だから、√πに変えられるべき。と同様に、π^(1/n)(n乗根)の方が適切だ。が、nはいくらでも大きく取れる。
２）同じ論法は、任意の超越数で成り立つ（n乗根の方が適切で、nはいくらでも大きく取れる）
３）だから、具体的数（超越数）は、より上位の数が存在するゆえ、超越基底にできない！
245(4): 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:18 ID:aqTgmiKS(4/10) AAS
>>244 つづき
３．Q~(代数的数)→C（複素数）の無限次の超越拡大では、陰に代数閉包、代数閉体の思想が潜んでいる
（C（複素数）は、代数閉体であることが陰に潜んでいる。これを意識する必要がある。）
１）上記２で、n乗根を考えたが、s1＝f(s2) (2次以上の多項式で係数は元の体)なるn次方程式も考えるべき
２）そうすると、Q~(π)の代数閉包Q~(π)~を考えて、すべてのπのQ~上代数的な数を取り込んだ体を考えた方が良いだろう
３）では、Q~(π)→代数閉包Q~(π)~への拡大は、Q~→Q~(π)~当然超越拡大として、加算無限次の超越拡大と考えられる（予想−問題T1）
４）このようにして、Q~(代数的数)→C（複素数）の場合に、中間段階で超越基底Sn={s1,s2,s3,・・・,sn}→S(n+1)={s1,s2,s3,・・・,sn,s(n+1)}とするときに
省6
246: 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:22 ID:aqTgmiKS(5/10) AAS
>>245 つづき
４．では、Q(有理数)→R（実数）の拡大ではどうか？ Q~の実数部分の部分集合をRe(Q~)、複素数体における超越数の集合をTとしてその実数部分の部分集合をRe(T)とする。
３と類似の論法が、実数の場合に成り立つ（予想−問題T3）。
（R（実数）は、代数閉体ではないが、一度複素数の空間に移動して、そこで３の論法を行って、それを実数に戻すことができるだろう。（予想−問題T3））
247: 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)22:24 ID:aqTgmiKS(6/10) AAS
>>242-245
以上が、いまの私の考えです
Q~(代数的数)→C（複素数）の無限次の超越拡大で、超越基底のなぞが、ますます深くなりました（＾＾；
248: 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)23:03 ID:aqTgmiKS(7/10) AAS
>>245 訂正
５）・・・・、代数閉体までの拡大を考えて、取り残しがないようにすることができる。
↓
５）・・・・、代数閉包までの拡大を考えて、取り残しがないようにすることができる。
追加
外部ﾘﾝｸ:ja.wikipedia.org
代数的閉包
省4
250(1): 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)23:07 ID:aqTgmiKS(8/10) AAS
>>243 訂正
２）ある人が、Q(√2,π,√π)の超越基底を√2とπ考えたとする。
↓
２）ある人が、Q(√2,π,√π)の超越基底をπ考えたとする。
３）∵π＝(√2)^2だから。
↓
３）∵π＝(√π)^2だから。
251: 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)23:14 ID:aqTgmiKS(9/10) AAS
>>249
どうも。スレ主です。
検索すると下記が最初かね？
前 - 2ch
c.2ch.net/test/-M1.SSS/energy/1437052392/-450
448:◇S/YLxH/p.c 11/29(日) 23:33 fWuaxzmW
最初に無があった
省2
252: 現代数学の系譜11 ガロア理論を読む 2015/12/11(金)23:16 ID:aqTgmiKS(10/10) AAS
>>244 訂正
１）まず、π?超越基底S={・・・、s1,s2,s3,・・・}とする。しかし、π＝(√2)^2だから、
↓
１）まず、π∈超越基底S={・・・、s1,s2,s3,・・・}とする。しかし、π＝(√π)^2だから、
訂正が多い
おっちゃんと同じだ（＾＾；
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s