数学において、ポアンカレの補題(ぽあんかれのほだい、英: Poincaré lemma)とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。
概要
導入
多様体上の k 次の微分形式 ω について、その外微分 dω が、
![{\displaystyle \mathrm {d} \omega =0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdcbc1ffb901850d7d56bf7dec9079f3323f6a25)
となる ω を閉形式 (closed form) という。あるいは同じことだが、d の核の元を閉形式という。 また、k 次微分形式 ω に対し、
![{\displaystyle \omega =\mathrm {d} \eta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37516e8546b25cd9ac7ccdeb0e267af15ef3e49b)
を満たす k − 1 次微分形式 η が存在する場合、ω は完全形式 (exact form) であるという。あるいは同じことだが、d の像の元を完全形式という。また、η はしばしばポテンシャルと呼ばれる。
外微分の性質
![{\displaystyle \mathrm {d} \circ \mathrm {d} =0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c7932d736ed9751b101b8710b243c05e864fffd)
より、完全形式が閉形式であることは常に成り立つが、閉形式が完全形式になるかは、多様体の幾何学的性質によって異なる。
ポアンカレの補題は次のことを主張する:
- 『ユークリッド空間 Rn(より一般的には可縮な多様体 M)において、任意の閉形式は完全形式である』
定理の主張
k > 0 とし、k 次微分形式 ω ∈ Ak(Rn) が
![{\displaystyle \mathrm {d} \omega =0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdcbc1ffb901850d7d56bf7dec9079f3323f6a25)
を満たすとする。 このとき、k − 1 次微分形式 η ∈ Ak−1(Rn) が存在して、
![{\displaystyle \omega =\mathrm {d} \eta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37516e8546b25cd9ac7ccdeb0e267af15ef3e49b)
が成り立つ。
ド・ラーム・コホモロジーによる表現
ド・ラーム・コホモロジーの概念を用いれば、ポアンカレの補題は次のように表現できる。
![{\displaystyle H^{k}(\mathbb {R} ^{n})=\left\{{\begin{matrix}\mathbb {R} &(k=0)\\0&(k>0)\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7abe037bf64116b19cd7a304bedea8136f0f487b)
但し、多様体 M に対し、Hk(M) は商ベクトル空間
![{\displaystyle H^{k}(M)=Z^{k}(M)/B^{k}(M)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da55d8479b9e682cd278a785cb152033c372b981)
で定義される k 次のド・ラーム・コホモロジー群であり、Zk(M) は
![{\displaystyle Z^{k}(M)=\mathrm {ker} \,\mathrm {d} \cap A^{k}(M)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14ebf61506ca9654e61e65973853f1e9d0d0618d)
で定義される閉形式の k 次微分形式全体、Bk(M) は
![{\displaystyle B^{k}(M)=\mathrm {im} \,\mathrm {d} \cap A^{k}(M)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb8de9349dad556d437f53538b49f82c3b7c7eef)
で定義される完全形式の k 次微分形式全体である。
k = 0 の場合は、単に df(x) ≡ 0 ならば f が定数関数となることを述べており、k > 0 の場合が前述したポアンカレの補題と等価な表現となる。すなわち、閉形式(Z k(Rn) の元)が完全形式(B k(Rn) の元)になることを表している。
拡張
より一般に、可縮な多様体 M について次が成り立つ。
![{\displaystyle H^{k}(M)=0\quad (k>0).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8440375237f20664e32325c341b5590cd1d0ddb8)
具体例
例えば R2 上で定義される1次微分形式
![{\displaystyle \omega _{1}=xy^{2}\mathrm {d} x+x^{2}y\mathrm {d} y\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb2c6d8acebceef6d334277c65deb0fe7164442b)
は、外微分を考えると
![{\displaystyle \mathrm {d} \omega _{1}=2xy\,\mathrm {d} y\wedge \mathrm {d} x+2xy\,\mathrm {d} x\wedge \mathrm {d} y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbde810a6f1b01e37a6f0700375394bde91a06bb)
となり、閉形式である。したがって、ポアンカレの補題より完全形式となる。実際、R2 上の0次微分形式
![{\displaystyle \eta _{1}={\frac {1}{2}}x^{2}y^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/833165c09404c5ef6d0c59d9e86f3dd7b5c92eb2)
について、
![{\displaystyle d\eta _{1}=xy^{2}dx+x^{2}y\,dy=\omega _{1}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47096ba9c4d68547d03d089c5582b2a26228b160)
が成り立つから、ω1 は完全形式である。
一方、R2 から原点を除いた領域 R2∖(0, 0) で定義される1次微分形式
![{\displaystyle \omega _{2}={\frac {-y}{x^{2}+y^{2}}}\,\mathrm {d} x+{\frac {x}{x^{2}+y^{2}}}\,\mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fda2506b29b8dd96f19a8621861e29f33a11312)
は、外微分を考えると
![{\displaystyle d\omega _{2}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8da5d08db20d600754c81089ab7db070c28857fa)
が成り立つから、ω2 は閉形式である。しかしながら、考える領域はポアンカレの補題の条件を満たしておらず、ω2 が完全形式であることは保証されない。R2 から x 軸を除いた領域 R2∖{x = 0} で定義される0次微分形式
![{\displaystyle \eta _{2}=\arctan {\frac {y}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9799caa8a2a8b9ca4204d077020b05f92db19f4)
について、
![{\displaystyle \mathrm {d} \eta _{2}={\frac {-y}{x^{2}+y^{2}}}\,\mathrm {d} x+{\frac {x}{x^{2}+y^{2}}}\,\mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cad8873ec330797c7caeb15f3725ede363700cd6)
であり、局所的には ω2 と一致するが、η2 は R2∖(0, 0) では定義されない。
ベクトル解析との関係
ベクトル解析における、スカラーポテンシャルやベクトルポテンシャルの存在条件は、ポアンカレの補題の特別な場合に相当する。
スカラーポテンシャルの存在
R3 全体で定義された3次元のベクトル場 F において、その回転 rot が
![{\displaystyle \operatorname {rot} \mathbf {F} =\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e24cfb138a6032f718b35677528f315fb28a084)
を満たすならば、
![{\displaystyle \mathbf {F} =\operatorname {grad} \psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fd3a079bf39b6cebc204388df2ca5d10412617a)
の関係を満たす R3 上のスカラーポテンシャル ψ が存在する。 この場合、F = (F1, F2, F3) は1次微分形式
![{\displaystyle \omega =F_{1}\mathrm {d} x+F_{2}\mathrm {d} y+F_{3}\mathrm {d} z\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d81603c68fb4c33c7204aed3b99995f74046513)
に対応し、ψ は0次微分形式 η に対応している。また、回転 rot の作用は、1次微分形式に対する外微分に相当する。なお、ベクトル場の領域の条件としては、R3 全体以外にも、単連結な領域をとることができる。
ベクトルポテンシャルの存在
同様に、R3 全体で定義された3次元のベクトル場 G において、その発散 div が
![{\displaystyle \operatorname {div} \mathbf {G} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aaac460aca38b87f2e75088d6ddb3bc677a55e8)
を満たすならば、
![{\displaystyle \mathbf {G} =\operatorname {rot} \mathbf {A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c596a8b77380d7bd9b7c9ccc007dccf2179e0683)
の関係を満たす R3 上のベクトルポテンシャル A が存在する。 この場合、G = (G1, G2, G3) は2次微分形式
![{\displaystyle \omega =G_{1}\mathrm {d} y\wedge \mathrm {d} z+G_{2}\mathrm {d} z\wedge \mathrm {d} x+G_{3}\mathrm {d} x\wedge \mathrm {d} y\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c29c83cf14a70657349186a55bff948c5b1bf6d6)
に対応し、A = (A1, A2, A3) は1次微分形式
![{\displaystyle \eta =A_{1}\mathrm {d} x+A_{2}\mathrm {d} y+A_{3}\mathrm {d} z\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdc92636e9895441df295f7517f0e512206086ee)
に対応している。また、発散 div の作用は、2次微分形式に対する外微分に相当する。
関連項目
参考文献
- Bott, Raoul; Tu, Loring W. (1995). Differential Forms in Algebraic Topology. Springer. ISBN 978-0387906133