Differential form

ウィキペディア

微分形式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/02/17 02:02 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "微分形式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年9月)

数学における微分形式（びぶんけいしき、英: differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。

概要

エリ・カルタンによって微分方程式を幾何学的に捕らえようとする試みから生まれた微分形式は、解析学や幾何学のいろいろな概念や公式を統一的な視点からまとめ、形式的な計算により多くの結果を得、多様体などの図形を調べるのにも非常に強力な道具になっていった。

n 次元ユークリッド空間において、座標が (x₁, x₂, …, x_n) で与えられているとき、n 変数関数 f(x₁, x₂, …, x_n) を微分 0 形式といい、 余接ベクトル場 f₁ dx₁ + f₂ dx₂ + ⋯ + f_n dx_n の事を 微分 1 形式という。係数となっているf_k は変数を省略してあるが関数である。これは関数の全微分で現れる式と同じである。2 次以上の微分形式は微分形式同士をテンソル積でかけ合わせることにより得られる。例えば p 次の微分形式 ξ と q 次の微分形式 η のテンソル積は

${\displaystyle \xi \otimes \eta }$

多様体上で座標近傍を張り合わせるのにあわせて微分形式も張り合わせていくことができる

n 次元微分可能多様体 M の座標近傍系 S = {(U_λ, ϕ_λ)  |  λ ∈ Λ} の任意の 2 つの座標近傍 (U₁, ϕ₁), (U₂, ϕ₂) に対し、U₁ ∩ U₂ が空でないならば座標変換

${\displaystyle {\bigl (}\phi _{1}\circ {\phi _{2}}^{-1}{\bigr )}\colon \phi _{2}(U_{1}\cap U_{2})\to \phi _{1}(U_{1}\cap U_{2})}$

N 上の微分形式に M 上の微分形式を対応させる写像

微分可能多様体 M, N に対し C^s 級写像

${\displaystyle f\colon M\to N}$カテゴリ

典拠管理データベース: 国立図書館	フランス BnF data イスラエル アメリカ 日本 チェコ

Weblio日本語例文用例辞書

「Differential form」の例文・使い方・用例・文例

• タックマンモデルとは、チームビルディングにおける5段階、すなわち形成(Forming)、混乱(Storming)、統一(Norming)、機能(Performing)、散会(Adjourning)を示すモデルである。
• 【文法】 相関語 《either と or, the former と the latter など》.