#rst2hooktail_source
==================================================
ポアンカレの補題
==================================================
標題のポアンカレの補題とは直接関係ないのですが、まず外微分についての次の重要な定理を証明します。
外微分に対して、一般に次の関係が成り立ちます。
.. admonition:: theorem
$d(\lambda \land \mu)=d\lambda \land \mu + (-1)^{{\rm deg}\lambda}\lambda \land d\mu$
これは、外微分における『積の微分』とも言うべき公式ですが、符号に特に注意が必要です。 ${\rm deg}\lambda$ は、微分形式 $\lambda$ の次数を表わすとします。証明は、結構面倒くさいです(・_・)。
.. admonition:: proof
$\lambda$ を $p$ 次微分形式、 $\mu$ を $q$ 次微分形式とし、 $\lambda = A_{h_{1}h_{2}...h_{p}}dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}}$ 、 $\mu = B_{k_{1}k_{2}...k_{p}}dx^{k_{1}}\land dx^{k_{2}}\land ... \land dx^{k_{q}}$ と置きます。ただし、 $1\le h_{1} \le ... \le h_{p}\le n$ 、 $1\le k_{1} \le ... \le k_{p}\le n$ とします。 $d\lambda$ は $p+1$ 次微分形式になりますので、基底を一個増やして $d\lambda = \frac{\partial A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}}dx^{l} \land dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}}$ と書けます。ただし、右辺は縮約によって和の形になっているとします。基底には $p$ 個の $\land$ が含まれますので、 $dx^{l}$ を一番右に持っていき、 $h_{p} < l= h_{p+1} $ と置くことで次のように書けます。 $d\lambda = \frac{\partial A_{h_{1}h_{2}...h_{p}}}{\partial x^{p+1}} dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}} \land dx^{h_{p+1}}$ 。この関係式を $\lambda \land \mu = A_{h_{1}h_{2}...h_{p}}B_{k_{1}k_{2}...k_{p}}dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}} \land dx^{k_{1}}\land dx^{k_{2}}\land ... \land dx^{k_{q}}$ に適用します。 $d(\lambda \land \mu )=\left( \frac{\partial A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}}dx^{l}B_{k_{1}k_{2}...k_{p}}dx^{h_{1}}+ A_{h_{1}h_{2}...h_{p}} \frac{\partial B_{k_{1}k_{2}...k_{q}}}{\partial x^{l}}dx^{l} \right) \land dx^{h_{2}}\land ... \land dx^{h_{p}} \land dx^{k_{1}}\land dx^{k_{2}}\land ... \land dx^{k_{q}}$ $(*)$ . ここで $dx^{l} \land dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}} = (-1)^{p} dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}} \land dx^{l}$ を使うと、式 $(*)$ を次式のように変形できます。 $d(\lambda \land \mu )=\left( \frac{\partial A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}}dx^{l} \land dx^{h_{1}} \land \cdots \land dx^{h_{n}} \right) \land ( B_{k_{1}k_{2}...k_{q}} dx^{k_{1}}\land dx^{k_{2}}\land ... \land dx^{k_{q}} )$ $ + (-1)^{p}(A_{h_{1}h_{2}...h_{p}}dx^{h_{1}}\land ... \land dx^{h_{p}})\land \left( \frac{\partial B_{k_{1}k_{2}...k_{q}}}{\partial x^{l}} dx^{l} \land dx^{k_{1}}\land dx^{k_{2}}\land ... \land dx^{k_{q}} \right)$ 右辺は $d\lambda \land \mu + (-1)^{p}\lambda \land d\mu$ と書けますので定理が示されました。■
簡単な場合について、この定理を確認しておきましょう。ただし、 $0$ 次微分形式（ただの関数）の積に関しては、ウェッジ積ではなく、何も書かないか従来の積のように $\cdot$ で書くことにします。
【 $f$ も $g$ も $0$ 次微分形式の場合】
<tex>
d(fg)=df\cdot g + f \cdot dg \tag{1}
</tex>
【 $f$ が $0$ 次微分形式、 $\omega$ が $1$ 次微分形式の場合】
<tex>
d(f\omega )=df\land \omega + fdg \tag{2}
</tex>
<tex>
d(\omega f)=d\omega \cdot f - \omega \land df \tag{3}
</tex>
式 $(1)$ は、積の関数の全微分を取るという、高校で習う公式に他なりません。ここでは、式 $(2)$ と式 $(3)$ の違いに注意して下さい。
ポアンカレの補題
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
任意の次数の微分形式に対し、二回外微分を取ったら零になります。（これを、ポアンカレの補題と呼びます。）
.. admonition:: theorem
$d(d\omega)=0$
この性質は、三次元ユークリッド代数上の外積代数なら、高々 $3$ 次の微分形式までしか出てきませんし、実際に手計算して確認することができます。一度計算してみると、理解が深まると思います。
.. admonition:: proof
$\omega$ を $p$ 次微分形式とし、 $\omega = A_{h_{1}h_{2}...h_{p}}dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}}$ と置きます。 $d\omega$ は $p+1$ 次微分形式になります。 $dd\omega = \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{k}\partial x^{l}}dx^{k} \land dx^{l} \land dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}}$ 。添字の名前は任意ですので、若干トリッキーですが、次のような変形を行います。 $dd\omega =\frac{1}{2}\left( \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{k}\partial x^{l}}dx^{k} \land dx^{l} \land dx^{h_{1}}\land ... \land dx^{h_{p}} + \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}\partial x^{k}}dx^{l} \land dx^{k} \land dx^{h_{1}}\land dx^{h_{2}}\land ... \land dx^{h_{p}} \right) = \frac{1}{2}\left( \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{k}\partial x^{l}} - \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}\partial x^{k}} \right) dx^{k} \land dx^{l} \land dx^{h_{1}}\land ... \land dx^{h_{p}}$ ここで $A_{h_{1}h_{2}...h_{p}}$ の偏導関数が滑らかだとすれば、偏微分の順序を変えることができ、 $\frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{k}\partial x^{l}} = \frac{\partial ^{2} A_{h_{1}h_{2}...h_{p}}}{\partial x^{l}\partial x^{k}}$ が成り立ちますので $d(d\omega)=0$ が示されます。■
この定理の本質的な部分は、 *滑らかな関数の二階偏導関数では、偏微分の順序を入れ替えられる* という性質に負うています。この定理は、微分形式の計算で非常に重要ですので、しっかり身につけるようにして下さい。
.. [*] ベクトル解析で重要な関係式であった ${\rm rotgrad}=\bm{0}, \ {\rm divrot}=0$ という関係式（ 参考_ ）は、どちらも実はこのポアンカレの補題の一つの表現に過ぎないことがもうすぐ分かります。
ところで、ベクトル解析には、 ${\rm div}\bm{A}=0$ となるベクトル場には $\bm{A}={\rm rot}\bm{X}$ となるベクトルポテンシャルが存在するという定理がありましたが、これは微分形式を使えばより一般的に『 $d\omega=0$ となる $p$ 次微分形式には $d\lambda =\omega$ となる $p-1$ 次微分形式 $\lambda $ が存在する』と表現することが出来ます。これはポアンカレの補題の変形で、むしろ、こちらの定理をポアンカレの補題と呼ぶことの方が多いと思います。そのうち、きちんと考える予定ですが、証明するには、先に勉強しておかないといけない事柄が多くあります。現段階では、定理の結果だけ示しておきます。
.. admonition:: theorem
凸集合で定義された $p$ 次微分形式 $\omega$ が、 $d\omega =0$ を満たすとき、 $d\lambda = \omega$ を満たす $p-1$ 次微分形式 $\lambda$ が存在します。
この定理は、多様体の埋め込みという話題を勉強するときにも、また取り上げます。
.. [*] $d\lambda =0$ となる $k$ 次微分形式を閉形式と呼びます。（閉形式とは、つまり一回外微分を取ったら $0$ になる微分形式のことです。）ポアンカレの補題で、『 凸集合で定義された』というような文が気になりますが、実は、微分形式が定義されている空間（多様体）によっては、必ずしも全ての閉形式が $\lambda = d\omega $ を満たすポテンシャル $\omega$ を持つわけではないのです。ややこしくなってきましたね。ポテンシャルを持つ閉形式を、特に完全形式と呼びます。ユークリッド空間に限れば、閉形式は常に完全形式となり、 $d\lambda =0$ となる $k$ 次微分形式 $\lambda$ に対し、 $\lambda = d\omega $ を満たす $k-1$ 微分形式 $\omega$ の存在は保証されます。一般の多様体上で定義される微分形式では、多様体の幾何学的性質が効いてきます。今の段階で、あまり難しく考える必要はありませんが、ここでポアンカレの補題の一般的な証明を出来ないというのは、このような事情によるものです。少し、多様体論と位相幾何学の勉強を先にしないといけません。
練習問題
-----------------------------------------------------------
三次元ユークリッド空間上のベクトル場 $\bm{V}$ と関数 $f$ に対して、 `もう一度grad,div,rot`_ を参考に、以下の二式を示して下さい。（ヒント： $\bm{V}$ は二次微分形式、 $f$ は零次微分形式と考えます。）
（１） ${\rm rotgrad}f=0$
（２） ${\rm divrot}\bm{V}=\bm{0}$
ポアンカレ
------------------------------------------------------------------
ポアンカレ( $\text{Jules Henri Poincar\'e (1854-1912)}$ )はフランスの東部の町ナンシーに生まれました。ポアンカレの父は大学の医学教授でした。フランスの首相や大統領を歴任したレイモンド・ポアンカレ( $\text{Raymond Poincar\'e (1860-1934)}$ )は従兄弟に当たります。優秀な家系だったようです。ポアンカレは体が弱く病気がちでしたが、学校では『数学の怪物』の異名を取り、全国の優秀な生徒で競われる数学コンクールで優勝するなど、小さい頃から才能を発揮していました。ポアンカレは黒板がよく見えないほど目が悪かったそうですが、聴覚情報を視覚化する能力に飛びぬけて優れおり、先生の話だけからノートを取っていたということです。この能力は、幾何学の図形把握能力と関係あるに違いありません。大学は、パリ大学でエルミート( $\text{Charles Hermite (1822-1901)}$ )のもとで学び、後にカン大学で数学の教職につきますが、ポアンカレの思考回路は常人とは異なっていたようで、学位論文も大変分かりにくいものだったようですし、生活パターンや講義なども風変わりだったようです。何でも直観的に物事を把握したポアンカレは、必ずしも正確な文を書く人ではなかったようで、彼の論文も非常に読みにくいそうです。
.. figure:: Joh-Poincare.png
間違いなく、数学史上きっての天才だろう。
ポアンカレの業績は微分方程式論、位相幾何、群論、保型関数の発見など、数学だけでも非常に広汎な分野に渡っていますが、天体力学における三体問題、流体力学、特殊相対性理論、科学哲学などの分野にも貢献があり、数学者の専門化が進んだ $20$ 世紀には珍しい万能型の数学者でした。わずか $58$ 歳で動脈血栓の発作により急死しましたが、 $500$ を越す論文と $30$ 冊以上の著作を残し、また『単連結な三次元閉多様体は三次元球面 $S^{3}$ に同相である』という、ポアンカレ予想として知られる問題は、二十世紀最大の予想問題の一つとして有名です。もっとも、ロシア人数学者グレゴリー・ペレルマン $(\text{Grigory Perelman (1966-)})$ がその証明に成功した宣言し、その証明も正しいと考えられているようです。（ペレルマンは取材、昇進、賞金、表彰などに一切の関心を示さず、論文もあまり発表せず、フィールズ賞さえ辞退し、母の年金を頼りに故郷で母と二人で暮らし、密かに数学の研究を続けていると言う超変人です。）
.. _参考: http://www12.plala.or.jp/ksp/vectoranalysis/ddw=0/
.. _`もう一度grad,div,rot`: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsGradDivRot/
@@author:Joh@@
@@accept: @@
@@accept: 2006-11-13@@
@@category: 微分形式@@
@@id: PoincareLemma@@
記事ソース/ポアンカレの補題 の変更点
