|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
数学の分野であるトポロジーとK-理論において、セール・スワンの定理 (Serre–Swan theorem)、あるいはスワンの定理 (Swan's theorem) は、ベクトル束の幾何的な概念を射影加群の代数的概念に関係づけ、数学のいたるところで共通の直感を生じる： "可換環上の射影加群はコンパクト空間上のベクトル束のようである"。 定理の 2 つの正確な定式化は多少異なる。1955 にジャン・ピエール・セール (Jean-Pierre Serre) によって述べられたもとの定理は本質的により代数的であり、（任意標数の）代数的閉体上の代数多様体上のベクトル束に関係する。1962年に (Richard Swan) によって述べられた補足的変種はより解析的であり、滑らかな多様体あるいはハウスドルフ空間上の（実、複素、あるいは四元）ベクトル束に関係する。 == 微分幾何学 == ''M'' をコンパクトで滑らかな多様体とし、''V'' を ''M'' 上の滑らかなベクトル束とする。''V'' の滑らかな断面の空間はすると C∞(''M'') （''M'' 上の滑らかな実数値関数の可換代数）上の加群である。スワンの定理はこの加群が C∞(''M'') 上有限生成かつ射影であると述べている。言い換えると、すべてのベクトル束はある ''n'' に対して自明束 ''M'' × C''n'' の直和である。定理は自明束 ''M'' × C''n'' から ''V'' の上への束全射を構成することによって証明できる。このことは例えば、各点 ''p'' に対して が ''p'' 上のファイバーを張るという性質をもった断面を示すことによってできる。 逆もまた正しい： C∞(''M'') 上のすべてのは ''M'' 上のある滑らかなベクトル束からこのように生じる。そのような加群は ''M'' 上のある ''n'' に対して ''n'' × ''n'' 冪等行列に値を取る滑らかな関数 ''f'' と見ることができる。すると ''x'' 上の対応するベクトル束のファイバーは ''f''(''x'') の値域である。ゆえに、''M'' 上の滑らかなベクトル束の圏は C∞(''M'') 上の有限生成射影加群の圏に同値である。詳細は において見つかるだろう。この同値は非コンパクト多様体 ''M'' の場合に拡張される (Giachetta et al. 2005)。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「セール・スワンの定理」の詳細全文を読む スポンサード リンク
|