ポアンカレの補題

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学において、ポアンカレの補題(ぽあんかれのほだい、: 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. 
    • Bott, Raoul、Tu, Loring W. 『微分形式と代数トポロジー』 三村, 護 (翻訳)、シュプリンガー・フェアラーク東京、1996年ISBN 978-4431707073