[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む14 [転載禁止]©2ch.net (562ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
322(2): 現代数学の系譜11 ガロア理論を読む 2015/07/25(土)21:50 ID:tAJoLOyr(18/25) AAS
>>321 つづき
では次にコホモロジーとは何か。
線形代数でもやりましたが、ベクトル空間があれば双対空間というのがあります。
双対空間というのはベクトル空間上の線形写像からなる空間で、ちょうどベクトル空間の関数たちの集まりのような形になっています。
さて、幾何学においては与えられた空間に対し関数を考えることでその空間について調べようという考え方があります。
もし関数を調べることで空間の全体の情報を読み取ることができるなら双対性と呼ばれ（＊）、空間を「鏡」に映して関数という形にすれば、空間についてわかるということになります。
逆にいうと空間が姿を変えたものが関数であり、あるいは空間の各点に数を与えて空間を「数化」したものが関数とも言えます（◇）。実際今の幾何学の多くは与えられた空間の上に適切な関数を作ってそれを調べることに力を注いでいます（◆）。
省4
324: 現代数学の系譜11 ガロア理論を読む 2015/07/25(土)22:05 ID:tAJoLOyr(20/25) AAS
>>322 追加
（＊）不分岐についてちょっと説明してみたいと思います。
O_KというDedekind環があって、その分数体がK 、Kの有限次分離拡大をL、
O_Kの整閉包がO_Lとなっているとします。(このときO_LもDedekind環になる)
O_Kの素イデアルpが上のO_Lに行ったとき、素イデアル分解されるわけですが、pが不分岐であるとは各イデアルの指数が全部1であることです。
これをもしスキーム論的に見るなら、pが不分岐かどうかということは、O_Kをスキーム
Spec O_Kとみれば、O_K→O_Lに対する射Spec O_L→Spec O_Kがあって、p?Spec O_KはO_Lの中でどうなるかを観察する必要があるということです。
省9
333(2): 現代数学の系譜11 ガロア理論を読む 2015/07/26(日)07:17 ID:yHhmJJ+L(3/35) AAS
>>322 補足
>双対空間というのはベクトル空間上の線形写像からなる空間で、ちょうどベクトル空間の関数たちの集まりのような形になっています。
下記が分かり易い。（双対については、>>110微分 >>117-120 >>123テンソル などにもある）
外部ﾘﾝｸ[html]:www.f-denshi.com
ときわ台学/線形代数/双対空間（双対ベクトル空間）: ２ 線形写像と双対空間 f-denshi.com 最終更新日： 0７/10/09 （少しだけ説明を追加しました。）
抜粋
ベクトル空間V上の線形写像全体の集合はベクトル空間であり，これをVの双対ベクトル空間(または双対空間)V*といいます。
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s