[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
253(3): 現代数学の系譜11 ガロア理論を読む 2015/12/12(土)06:13 ID:H8eM6+Di(1/21) AAS
>>242-245 訂正が多いので、書き直し
１．有限次超越拡大のアナロジー
１）Q(√2,π,√π)を取る。Q(√2)⊂Q(√2,π)⊂Q(√2,π,√π)＝Q(√2,√π)である。つまり、√2と√πによる拡大で、超越基底は√πである。
２）ある人が、Q(√2,π,√π)の超越基底を（まちがって）πと考えたとする。しかし、√πの存在に気づいた。「 πと√πは代数的独立ではないのでだめ。終わり」とはならない。「 πと√πを取り換えるべし」が正解。
３）∵π＝(√π)^2だから。そこで、一歩進めて、二つの超越数に対し s1＝f(s2) (2次以上の多項式で係数は元の体)とできるとき*)、s2はs1に対し上位の超越数と呼ぶことにする。
（*) 陰関数 f(s1,s2)も考えるべきだが、話を単純化した。）
４）これは、有限次の超越拡大だが、無限次でも同様のはず。つまり、Q~(代数的数)→C（複素数）の無限次の超越拡大で、超越基底S={・・・、s1,s2,s3,・・・}で取り残しのある超越数xに気づいたとする。
省3
257: 現代数学の系譜11 ガロア理論を読む 2015/12/12(土)06:30 ID:H8eM6+Di(5/21) AAS
>>253-256
全部書き直しました
以上が、いまの私の考えです
Q~(代数的数)→C（複素数）の無限次の超越拡大で、超越基底のなぞが、ますます深くなりました（＾＾；
263(6): 2015/12/12(土)09:18 ID:F1RsZ/gB(1/5) AAS
>>253-254に関して
確認だが、超越基底という単語をスレ主は通常とは異なる定義で使っているよね？
>>224
> ４．これを繰り返し、Q~（s1,s2・・・）＝Cとなるように、集合{s1,s2・・・}を定める。これが私の超越基底Sの定義
これを超越基底と呼ぶのはやめてほしい。"純超越基底"と呼ぶべきだ。
超越拡大が純超越的になるとは限らないから、いつでも純超越基底が取れるとは限らない。
特にR/Qは純超越的ではない。R/Q~が純超越的かどうかは分からない（非可算個ある超越数の代数的独立性を（俺が）知らないから）
268(3): 現代数学の系譜11 ガロア理論を読む 2015/12/12(土)12:41 ID:H8eM6+Di(10/21) AAS
>>263-267
TAさん、どうも。スレ主です。
１．当面>>224は忘れて下さい。
２．超越基底の定義について>>263で、>>253の有限次超越拡大の場合には一致しているということで良いですか？
つまり、Q(√2,π,√π)の場合の超越基底は、√πであってπである。（√πとπは、代数的に従属だが、√πが選ばれるべき）
言い換えれば、超越基底はQ(√2,π,√π)を表現できるように選ばれるべき。
有限次超越拡大にあっては、超越基底を選択して、それで拡大体を表現したときに、取り残しがあってはいけない。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s