|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 形 ： [けい, かたち, ぎょう] 1. (suf) shape 2. form 3. type ・ 形式 ： [けいしき] 【名詞】 1. (1) form 2. formality 3. format 4. (2) appearance 5. mode 6. (3) math expression ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
数学における微分形式（びぶんけいしき、）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。 == 概要 == エリ・カルタンによって微分方程式を幾何学的に捕らえようとする試みから生まれた微分形式は、解析学や幾何学のいろいろな概念や公式を統一的な視点からまとめ、形式的な計算により多くの結果を得、多様体などの図形を調べるのにも非常に強力な道具になっていった。 ''n'' 次元ユークリッド空間において、座標が (''x''1,''x''2,…,''x''''n'') で与えられているとき、''n'' 変数関数 ''f''(''x''1,''x''2,…,''x''''n'') を微分 0 形式といい、 余接ベクトル場 ''f''1 ''dx''1 + ''f''2 ''dx''2 + … + ''f''''n'' ''dx''''n'' の事を 微分 1 形式という。係数となっている ''f''''k'' は変数を省略してあるが関数である。これは関数の全微分で現れる式と同じである。2 次以上の微分形式は微分形式同士をテンソル積でかけ合わせることにより得られる。例えば ''p'' 次の微分形式 ξ と ''q'' 次の微分形式 η のテンソル積は と書かれる。しかし、通常はこのような一般的すぎる積の代わりに何らかの対称性を課した対称微分形式や交代微分形式がもちいられる。いずれも、座標のとりかたによらない幾何学的な量を表すものであるが、区別するためにも、このテンソル積の記号はあまり用いられない。対称微分形式は、リーマン計量などを表現するときによく使われ、 のような形でテンソル積の記号は省略して書かれる。 ''d x''2 といった形で指数にして表してしまうこともある。 交代微分形式の方は、テンソル積の代わりに外積代数の積としての記号 ∧ を用い の形に書かれる。交代微分形式は、向きの与えられた幾何学的な量を表している。 という関係式を満たし の並ぶ順序の入れ替えに応じて符号が変わる（対称微分形式では符号は変わらない）。こういった符号の反転を内包させることによって積分する変数の「向き」を捉えられることになる。したがって微分形式の積分として得られる面積や体積などの量にも符号が導入され、負の面積や負の体積といったものも現れるが、そうすることによって重積分における座標変換の公式などが、非常に簡明に計算できるようになる。 さらに交代微分形式の微分からド・ラーム・コホモロジーが得られ、解析的な計算によって多様体全体の形を調べることができる。 特に何の指定も無い場合、（高次元の）微分形式というと、交代微分形式の方を指すことが多い。この項目でも交代微分形式を中心に扱う。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「微分形式」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Differential form 」があります。 スポンサード リンク
|