閉形式と完全形式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 閉形式と完全形式の意味・解説 

ポアンカレの補題

(閉形式と完全形式 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/21 14:44 UTC 版)

ナビゲーションに移動 検索に移動

数学において、ポアンカレの補題(ぽあんかれのほだい、: Poincaré lemma)とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。

概要

導入

多様体上の k 次の微分形式 ω について、その外微分 dω が、

となる ω閉形式 (closed form) という。あるいは同じことだが、dを閉形式という。 また、k 次微分形式 ω に対し、

を満たす k − 1 次微分形式 η が存在する場合、ω完全形式 (exact form) であるという。あるいは同じことだが、dの元を完全形式という。また、η はしばしばポテンシャルと呼ばれる。

外微分の性質

より、完全形式が閉形式であることは常に成り立つが、閉形式が完全形式になるかは、多様体の幾何学的性質によって異なる。

ポアンカレの補題は次のことを主張する:

ユークリッド空間 Rn(より一般的には可縮多様体 M)において、任意の閉形式は完全形式である』

定理の主張

k > 0 とし、k 次微分形式 ωAk(Rn)

を満たすとする。 このとき、k − 1 次微分形式 ηAk−1(Rn) が存在して、

が成り立つ。

ド・ラーム・コホモロジーによる表現

ド・ラーム・コホモロジーの概念を用いれば、ポアンカレの補題は次のように表現できる。

但し、多様体 M に対し、Hk(M)商ベクトル空間

で定義される k 次のド・ラーム・コホモロジー群であり、Zk(M)

で定義される閉形式の k 次微分形式全体、Bk(M)

で定義される完全形式の k 次微分形式全体である。

k = 0 の場合は、単に df(x) ≡ 0 ならば f が定数関数となることを述べており、k > 0 の場合が前述したポアンカレの補題と等価な表現となる。すなわち、閉形式(Z k(Rn) の元)が完全形式(B k(Rn) の元)になることを表している。

拡張

より一般に、可縮な多様体 M について次が成り立つ。

具体例

例えば R2 上で定義される1次微分形式

は、外微分を考えると

となり、閉形式である。したがって、ポアンカレの補題より完全形式となる。実際、R2 上の0次微分形式

について、

が成り立つから、ω1 は完全形式である。

一方、R2 から原点を除いた領域 R2(0, 0) で定義される1次微分形式

は、外微分を考えると

が成り立つから、ω2 は閉形式である。しかしながら、考える領域はポアンカレの補題の条件を満たしておらず、ω2 が完全形式であることは保証されない。R2 から x 軸を除いた領域 R2{x = 0} で定義される0次微分形式

について、

であり、局所的には ω2 と一致するが、η2R2(0, 0) では定義されない。

ベクトル解析との関係

ベクトル解析における、スカラーポテンシャルベクトルポテンシャルの存在条件は、ポアンカレの補題の特別な場合に相当する。

スカラーポテンシャルの存在

R3 全体で定義された3次元のベクトル場 F において、その回転 rot

を満たすならば、

の関係を満たす R3 上のスカラーポテンシャル ψ が存在する。 この場合、F = (F1, F2, F3) は1次微分形式

に対応し、ψ は0次微分形式 η に対応している。また、回転 rot の作用は、1次微分形式に対する外微分に相当する。なお、ベクトル場の領域の条件としては、R3 全体以外にも、単連結な領域をとることができる。

ベクトルポテンシャルの存在

同様に、R3 全体で定義された3次元のベクトル場 G において、その発散 div

を満たすならば、

の関係を満たす R3 上のベクトルポテンシャル A が存在する。 この場合、G = (G1, G2, G3) は2次微分形式

に対応し、A = (A1, A2, A3) は1次微分形式

に対応している。また、発散 div の作用は、2次微分形式に対する外微分に相当する。

関連項目

参考文献

  • Bott, Raoul; Tu, Loring W. (1995). Differential Forms in Algebraic Topology. Springer. ISBN 978-0387906133 

閉形式と完全形式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/23 07:35 UTC 版)

微分形式」の記事における「閉形式と完全形式」の解説

詳細は「ポアンカレの補題」を参照 微分 k 形式 ξ に、一回だけ外微分作用させただけで d ξ = 0 {\displaystyle \mathrm {d} \xi =0} となるとき、 ξ を閉形式へいけいしき、closed form)という。 k > 0 の時、微分 k 形式 ξ に対し ξ = d ω {\displaystyle \xi =\mathrm {d} \omega } となるような微分 (k − 1) 形式 ω が存在する場合、 ξ の事を完全形式(かんぜんけいしき、exact form)という。完全形式閉形式である、すなわち完全形式外微分 d を施すと 0 になる。可縮多様体例えユークリッド空間であればポアンカレの補題によって、逆が成り立つ。つまり閉形式完全形式となる。しかしながら、これは一般に成り立たない閉形式完全形式であるとは限らない)。この閉形式と完全形式の違いは、多様体幾何学的構造反映しており、微分形式重要な性質である。

※この「閉形式と完全形式」の解説は、「微分形式」の解説の一部です。
「閉形式と完全形式」を含む「微分形式」の記事については、「微分形式」の概要を参照ください。

ウィキペディア小見出し辞書の「閉形式と完全形式」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「閉形式と完全形式」の関連用語

閉形式と完全形式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



閉形式と完全形式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのポアンカレの補題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの微分形式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS