第 4 章 微分形式とベクトル場 1/4

アイソトピーの微分、ベクトル場、微分形式の関係について。

4.1 多様体上のフローとベクトル場

4.1.1 リー微分

以下、多様体 $M$ はコンパクトであるとする。本節の冒頭は復習事項が多い。

• フローはベクトル場によって生成される。

• フローは常微分方程式 ${\displaystyle \frac{{\mathrm{d}}^{}{\phi }_t(x)}{{\mathrm{d}}^{}t}=\xi ({\phi }_t(x))}$ の解で定義される。

• 関数 $f$ のフロー ${\phi }_t$ に沿う変化は $({\phi }_t^{\ast }f)(x)=(f\circ {\phi }_t)(x)=f({\phi }_t(x))$ でわかる。パラメーター $t$ による微分が「変化率」であり、それは $\xi (f)$ に等しい。

ここまでが復習。

• 接空間の基底と余接空間の基底は双対基底である。次のように書く：

  $${\mathrm{d}}^{}{x}_j\left({\displaystyle \frac{\partial }{\partial x_i}}\right)={\delta }_{ij}$$

• 定義 4.1.1: リー微分

  • 微分 1 形式のフローに沿う変化率を考える。$\alpha =\sum f_i{\mathrm{d}}^{}{x}_i$ とおくと、そのフローによる引き戻しは次のようになる：

    $${\phi }_t^{\ast }\alpha =\sum _{i=1}^n{f}_i({\phi }_t(x)){\mathrm{d}}^{}{\phi }_t^{(i)}.$$

  • ここで各係数の導関数の $t=0$ における式を見る：

    $${\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}{f}_i({\phi }_t(x))=\sum _{j=1}^n{\displaystyle \frac{\partial f_i}{\partial x_j}}{\xi }_j.$$

  • 一方、引き戻しの基底部分？はこうなっている：

    $${\mathrm{d}}^{}{\phi }_t^{(i)}=\sum _{j=1}^n{\displaystyle \frac{\partial {\phi }_t^{(i)}}{\partial x_j}}{\mathrm{d}}^{}{x}_j.$$

  • 以上を組み合わせて、引き戻しの基底部分？の導関数の $t=0$ における式は：

    $${\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}{\mathrm{d}}^{}{\phi }_t^{(i)}=\sum _{j=1}^n{\displaystyle \frac{\partial {\xi }_i}{\partial x_j}}{\mathrm{d}}^{}{x}_j.$$

  • フローによる引き戻しの変化率は次の 1 形式になる：

    $${\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}{\phi }_t^{\ast }\alpha =\sum _{i=1}^n\sum _{j=1}^n{\displaystyle \frac{\partial f_i}{\partial x_j}}{\xi }_j{\mathrm{d}}^{}{x}_i+\sum _{i=1}^n\sum _{j=1}^n{f}_i{\displaystyle \frac{\partial {\xi }_i}{\partial x_j}}{\mathrm{d}}^{}{x}_j.$$

    上の式を $L_{\xi }\alpha$ と書いて、これをベクトル場 $\xi$ による $\alpha \in {\Omega }^1(M)$ のリー微分という。

  • 以上の手続きを $p$ 形式について考えると、同様の式で定まる $p$ 形式が得られる。リー微分は $p$ 形式から $p$ 形式への写像である。

    $$L_{\xi }\alpha ={\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}{\phi }_t^{\ast }\alpha .$$

• 注意 4.1.2: フローで不変な部分多様体と包含写像

  • $N\subset M$ をフロー ${\phi }_t$ で不変な部分多様体であるとする。

  • ベクトル場 $\xi$ が ${\phi }_t$ を、ベクトル場 ${\xi }_N$ が ${\phi }_t|N$ を生成するとする。

  このとき、

  1. $N$ 上 $\xi ={\iota }_{\ast }{\xi }_N.$

  2. ${\displaystyle {\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}({\phi }_t|N{)}^{\ast }{\iota }^{\ast }\alpha ={\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}{\iota }^{\ast }({\phi }_t|N{)}^{\ast }\alpha .}$

  であるので $L_{{\xi }_N}(\alpha |N)=(L_{\xi }\alpha )|N$ が成り立つ。

• 問題 4.1.3: ライプニッツ則の確認

  • $\alpha \in {\Omega }^p(M),\beta \in {\Omega }^q(M)$

  • $\xi \in \mathfrak{X}(M)$

  のときに次の等式が成り立つ：

  $$L_{\xi }(\alpha \wedge \beta )=(L_{\xi }\alpha )\wedge \beta +\alpha \wedge (L_{\xi }\beta ).$$

  以下を用いて示すことになる：

  1. ${\phi }_t^{\ast }$ の分配則。

  2. 微分 ${\displaystyle {\left(\frac{{\mathrm{d}}^{}}{{\mathrm{d}}^{}t}\right)}_{t=0}}$ のライプニッツ則。

  3. リー微分の定義。

• 問題 4.1.4: リー微分と外微分の演算順序交換

  • $\alpha \in {\Omega }^p(M)$

  • $\xi \in \mathfrak{X}(M)$

  のときに次の等式が成り立つ：

  $${\mathrm{d}}^{}(L_{\xi }\alpha )=L_{\xi }({\mathrm{d}}^{}\alpha ).$$

  以下を用いて示すことになる：

  1. リー微分の定義。

  2. 微分と外微分の順序交換と 定理 1.8.11 の外微分と引き戻しの順序交換。

  3. 再びリー微分の定義。

4.1.2 内部積

• 定義 4.1.5: 内部積

  1. $\alpha \in {\Omega }^1(M)$ のベクトル場 $\xi$ によるリー微分 $L_{\xi }(\alpha )$ の書き換えを考えたい。

  2. $M$ 上の関数として $\alpha (\xi )=\sum f_i{\xi }_i$ のようなものが考えられる。

  3. ここで ${\mathrm{d}}^{}(\alpha (\xi ))$ を計算してみると、和の一部が 1. の和の一部と一致する。

  4. 1. と 3. の差 $L_{\xi }\alpha -{\mathrm{d}}^{}(\alpha (\xi ))$ をとると、 ${\mathrm{d}}^{}\alpha$ と $\xi$ の成分から得られた積のように見える。

  5. 仮にその差を $i_{\xi }({\mathrm{d}}^{}\alpha )$ とおく： $L_{\xi }\alpha ={\mathrm{d}}^{}(\alpha (\xi ))+i_{\xi }({\mathrm{d}}^{}\alpha ).$ これは後ほどあたらめて定義する。

  ${\bigwedge }^p{T}_x^{\ast }M$ の基底と $T_{x}M$ の基底の内部積として ${\bigwedge }^{p-1}{T}_x^{\ast }M$ の値を対応させる。

  $$\begin{array}{r}\begin{array}{c}{i}_{\frac{\partial }{\partial x_k}}({\mathrm{d}}^{}{x}_{i_1}\wedge \cdots \wedge {\mathrm{d}}^{}{x}_{i_p})=\{\begin{array}{ll}{\displaystyle \sum _{j=1}^p(-1{)}^{j-1}{\mathrm{d}}^{}{x}_{i_1}\wedge \stackrel{(\text{pop }{\mathrm{d}}^{}{x}_{i_j})}{\cdots }\wedge {\mathrm{d}}^{}{x}_{i_p}}& \text{if }k=i_j,\\ 0& \text{if }k\notin \{i_1,\dots ,i_p\}.\end{array}\end{array}\end{array}$$

  一般のベクトル場 $\xi$ による $\alpha \in {\Omega }^p(M)$ の内部積 $i_{\xi }:{\Omega }^p(M)⟶{\Omega }^{p-1}(M)$ を次のように定義する：

  $$i_{\xi }\alpha =\sum _{i_1<\cdots <i_p}\sum _{j=1}^p(-1{)}^{j-1}{f}_{i_1\dots i_p}{\xi }_{ij}{\mathrm{d}}^{}{x}_{i_1}\wedge \stackrel{(\text{pop }{\mathrm{d}}^{}{i}_j)}{\cdots }\wedge {\mathrm{d}}^{}{x}_{i_p}\in {\Omega }^{p-1}(M).$$

  特に $\alpha \in {\Omega }^1(M)$ の内部積はドット積に一致する：

  $$i_{\xi }\alpha =\alpha (\xi ).$$

  関数 $f\in {\Omega }^0(M)$ の内部積はゼロとする：

  $$i_{\xi }f=0.$$

• 注意 4.1.6: 多様体の座標近傍に付随する概念を定義するときには、それが本当に座標近傍に依存するのかどうかを示す。

• 問題 4.1.7: 内部積の定義は座標近傍のとり方に依存しない

  • (1) $\alpha \in {\Omega }^p(M),\beta \in {\Omega }^q(M)$ に対して次の式が成り立つ：

    $$i_{\xi }(\alpha \wedge \beta )=(i_{\xi }\alpha )\wedge \beta +(-1{)}^p\alpha \wedge (i_{\xi }\beta ).$$

    • 次数付きライプニッツ則とでも言えばよいか？

    • 直接計算で示す。

  • (2) $F:U⟶V$ をユークリッド空間の開集合間の微分同相写像、 $\alpha \in {\Omega }^1(V)$, $\xi \in \mathfrak{X}(V)$ のとき次が成り立つ：

    $$F^{\ast }(i_{\xi }\alpha )=i_{{F^{-1}}_{\ast }\xi }{F}^{\ast }\alpha .$$

    1. 記号を次のようにおく：

       • $F(y_1,\dots ,y_n)=(x_1,\dots ,x_n)\in V$

       • $\alpha =\sum f_i,{\mathrm{d}}^{}{x}_i$

       • $\xi =\sum {\xi }_i{\displaystyle \frac{\partial }{\partial x_i}}$

    2. 与式左辺の一部を計算： $i_{\xi }\alpha =\sum f_i{\xi }_i.$

    3. 与式右辺の一部を計算：

       $$\begin{array}{r}\begin{array}{rl}{F}^{\ast }\alpha & =\sum _i^n\sum _j^n(f_i\circ F){\displaystyle \frac{\partial x_i}{\partial y_j}}{\mathrm{d}}^{}{y}_j.\\ F_{\ast }^{-1}\xi & =\sum _i^n\sum _j^n({\xi }_i\circ F){\displaystyle \frac{\partial y_j}{\partial x_i}}{\displaystyle \frac{\partial }{\partial y_j}}.\end{array}\end{array}$$

    4. 与式右辺を 3. を組み合わせて求める：

       $$\begin{array}{r}\begin{array}{rl}\sum _i^n\sum _j^n(f_i\circ F){\displaystyle \frac{\partial x_i}{\partial y_j}}({\xi }_i\circ F){\displaystyle \frac{\partial y_j}{\partial x_i}}& =\sum _i^n(f_i\circ F)({\xi }_i\circ F)\\ & =F^{\ast }(i_{\xi }\alpha ).\end{array}\end{array}$$

  • (3) (2) の $\alpha$ を ${\Omega }^p(V)$ としても与式が成り立つ。

    1. $p=0$ のときも確かめる必要があることに注意。両辺ゼロで成り立つ。

    2. トリッキーな帰納法を用いる。与式が $\alpha \in {\Omega }^p(V),\beta \in {\Omega }^q(V)$ に対して成り立つと仮定する。このとき、外積に対しても成り立つことを示せれば話が早い：

       $$F^{\ast }(i_{\xi }(\alpha \wedge \beta ))=i_{{F^{-1}}_{\ast }\xi }{F}^{\ast }(\alpha \wedge \beta ).$$

       式変形で直接示す。

    3. 2. より $p=1$ のときには成り立つから、

       • 単項式 $f_{i_1\dots i_p}{\mathrm{d}}^{}{x}_{i_1}\wedge x_{i_p}$ に対して成り立ち、

       • その単項式の線形結合に対しても成り立つ

       から、一般の微分形式に対して成り立つと結論できる。

4.1.3 カルタンの公式

• 命題 4.1.8: カルタンの公式

  $\alpha \in {\Omega }^p(M),\xi \in \mathfrak{X}(M)$ に対して次の等式が成り立つ：

  $$L_{\xi }\alpha ={\mathrm{d}}^{}(\alpha (\xi ))+i_{\xi }({\mathrm{d}}^{}\alpha ).$$

  問題 4.1.7 と同じように証明する：

  1. $p=0,1$ に対しては前節の議論によって示されている。

  2. 一般の $p$ に対して示すために、与式が $\alpha \in {\Omega }^p(M),\beta \in {\Omega }^q(M)$ のときに成り立つと仮定し、外積に対して同等の等式：

     $$L_{\xi }(\alpha \wedge \beta )={\mathrm{d}}^{}(i_{\xi }(\alpha \wedge \beta ))+i_{\xi }({\mathrm{d}}^{}(\alpha \wedge \beta ))$$

     が示せれば、同じ論理で一般の場合に対して成り立つことになる。

• 復習だと思うが括弧積の成分表示：

  $$[\xi ,\eta ]=\sum _j^n\sum _i^n({\xi }_i{\displaystyle \frac{\partial {\eta }_j}{\partial x_i}}-{\eta }_i{\displaystyle \frac{\partial {\xi }_j}{\partial x_i}}){\displaystyle \frac{\partial }{\partial x_j}}.$$

• 問題 4.1.9: リー微分と括弧積に関する等式 1 形式版

  • $\alpha \in {\Omega }^1(M)$

  • $\xi ,\eta \in \mathfrak{X}(M)$

  ならば、次が成り立つ：

  $$L_{\xi }{L}_{\eta }\alpha -L_{\eta }{L}_{\xi }\alpha =L_{[\xi ,\eta ]}\alpha .$$

  証明は直接計算になる：

  1. $\alpha =\sum f_i,{\mathrm{d}}^{}{x}_i$ とおく。

  2. $L_{\xi }\alpha$ をそれで表す：

     $$L_{\xi }\alpha =\sum _i^n\sum _j^n({\displaystyle \frac{\partial f_i}{\partial x_j}}{\xi }_j+f_j{\displaystyle \frac{\partial {\xi }_j}{\partial x_i}}){\mathrm{d}}^{}{x}_i.$$

  3. $L_{\xi }{L}_{\eta }\alpha$ と $L_{\eta }{L}_{\xi }\alpha$ を直接計算する。

  4. 3. の差を計算すると、本書の解答例の式で言うところの奇数項が打ち消し合って次のようになる：

     $$\sum _i\sum _k\sum _j({\displaystyle \frac{\partial f_i}{\partial x_j}}({\displaystyle \frac{\partial {\eta }_j}{\partial x_k}}{\xi }_k-{\displaystyle \frac{\partial {\xi }_j}{\partial x_k}}{\eta }_k)+f_j{\displaystyle \frac{\partial }{\partial x_i}}({\displaystyle \frac{\partial {\eta }_j}{\partial x_k}}{\xi }_k-{\displaystyle \frac{\partial {\xi }_j}{\partial x_k}}{\eta }_k)){\mathrm{d}}^{}{x}_i.$$

     これは括弧積によるリー微分である。

• 問題 4.1.10: リー微分と括弧積に関する等式 $p$ 形式版

  問題 4.1.9 において $\alpha \in {\Omega }^p(M)$ と仮定を一般の次数に緩めても同じ等式が成り立つ。

  こちらの等式もカルタンの公式である。

  1. $p=0$ のとき成り立つことを示す。つまり関数 $f\in {\Omega }^0(M)$ で確認する：

     $$\begin{array}{r}\begin{array}{rl}{L}_{\xi }{L}_{\eta }f-L_{\eta }{L}_{\xi }f& =\xi (\eta (f))-\eta (\xi (f))\\ & =[\xi ,\eta ](f)\\ & =L_{[\xi ,\eta ]}f.\end{array}\end{array}$$

  2. $p=1$ のときは既に 問題 4.1.9 において証明済みである。

  3. 与式が $\alpha \in {\Omega }^p(M),\beta \in {\Omega }^q(M)$ のときに成り立つと仮定し、問題 4.1.7 での証明技法を用いる。つまり、次の等式が成り立つことを示す：

     $$L_{\xi }{L}_{\eta }(\alpha \wedge \beta )-L_{\eta }{L}_{\xi }(\alpha \wedge \beta )=L_{[\xi ,\eta ]}(\alpha \wedge \beta ).$$

• 問題 4.1.11: 内部積とリー微分と括弧積

  • $\alpha \in {\Omega }^p(M)$

  • $\xi ,\eta \in \mathfrak{X}(M)$

  ならば、次が成り立つ：

  $$i_{\xi }{L}_{\eta }\alpha -L_{\eta }{i}_{\xi }\alpha =i_{[\xi ,\eta ]}\alpha .$$

  1. $p=1$ のときを示す。$\alpha =\sum f_i{\mathrm{d}}^{}{x}_i$ に対して直接計算で示す。

  2. あとは 問題 4.1.7 での証明技法を用いる。直接計算で次を示せば十分：

     $$(i_{\xi }{L}_{\eta }-L_{\eta }{i}_{\xi })(\alpha \wedge \beta )=i_{[\xi ,\eta ]}(\alpha \wedge \beta ).$$

• 問題 4.1.12: カルタンの公式の応用？

  • (1) $\omega ={\mathrm{d}}^{}{x}_1\wedge {\mathrm{d}}^{}{x}_2\wedge {\mathrm{d}}^{}{x}_3\in {\Omega }^3({\mathbb{R}}^3)$ とする。${\displaystyle \xi =\sum _{i,j=1}^3{a}_{ij}{x}_j{\displaystyle \frac{\partial }{\partial x_i}}}$ によるリー微分 $L_{\xi }\omega$ がゼロとなる条件とは何か。

    ポイントは ${\mathrm{d}}^{}\omega =0$ であるから、カルタンの公式が簡単になることを利用することだ。

    $$\begin{array}{r}\begin{array}{rl}{L}_{\xi }\omega & ={\mathrm{d}}^{}(i_{\xi }\omega )+i_{\xi }({\mathrm{d}}^{}\omega )\\ & ={\mathrm{d}}^{}(i_{\xi }\omega )\\ & ={\mathrm{d}}^{}({\xi }_1{\mathrm{d}}^{}{x}_2\wedge {\mathrm{d}}^{}{x}_3-{\xi }_2{\mathrm{d}}^{}{x}_1\wedge {\mathrm{d}}^{}{x}_3+{\xi }_3{\mathrm{d}}^{}{x}_1\wedge {\mathrm{d}}^{}{x}_2)\\ & =\sum _{i=1}^3{\displaystyle \frac{\partial {\xi }_i}{\partial x_i}}\omega \\ & =\sum _{i=1}^3{a}_{ii}\omega .\end{array}\end{array}$$

    ただし ${\displaystyle {\xi }_1=\sum _{j=1}^3{a}_{1j}{x}_j}$ などとした。

    よって求める条件は $\sum a_{ii}=0$ となる。

  • (2) $\alpha =x_1{\mathrm{d}}^{}{x}_2\wedge {\mathrm{d}}^{}{x}_3-x_2{\mathrm{d}}^{}{x}_1\wedge {\mathrm{d}}^{}{x}_3+x_3{\mathrm{d}}^{}{x}_1\wedge {\mathrm{d}}^{}{x}_2\in {\Omega }^2({\mathbb{R}}^3)$ についてはどうか。

    直接計算による方法と ${\mathrm{d}}^{}\alpha =3\omega$ を利用する方法がある。 $L_{\xi }\omega =0⟺L_{\xi }\alpha =0$ を示す。

    1. 直接計算により ${\mathrm{d}}^{}\alpha =3\omega$ がわかる。

    2. $L_{\xi }\alpha =0⟹L_{\xi }\alpha =0$ を示す：

       ${\mathrm{d}}^{}(L_{\xi }\alpha )=0$ に 問題 4.1.4 の順序交換を適用して $L_{\xi }({\mathrm{d}}^{}\alpha )=0.$

       ここで 1. を利用すると $L_{\xi }({\mathrm{d}}^{}\alpha )=L_{\xi }(3\omega )=3L_{\xi }\omega .$

       ゆえに $L_{\xi }\alpha =0⟹L_{\xi }\alpha =0$ が成り立つ。

    3. $L_{\xi }\omega =0⟹L_{\xi }\alpha =0$ を示す：

       まず ${\displaystyle \epsilon =\sum _{i,j=1}^3{\delta }_{ij}{x}_j{\displaystyle \frac{\partial }{\partial x_i}}}$ とおくと次の等式が成り立つ：

       • $[\epsilon ,\xi ]=0$

       • $i_{\epsilon }\alpha =0$

       問題 4.1.11 により次の等式が成り立つ：

       $$i_{\epsilon }{L}_{\xi }\omega -L_{\xi }{i}_{\epsilon }\omega =i_{[\epsilon ,\xi ]}\omega .$$

       • $[\epsilon ,\xi ]=0$ なので、右辺、結局両辺ともにゼロである。

       • 一方 $L_{\xi }\omega =0$ であることから、左辺は $-L_{\xi }{i}_{\epsilon }\omega =-L_{\xi }\alpha$ に等しい。

       以上より $L_{\xi }\omega =0⟹L_{\xi }\alpha =0$ が成り立つ。

    4. 主張の同値性が 2. と 3. により示された。従って、求める条件とは (1) のそれと同じである。

ここで微分形式の演算をまとめておく。

微分形式の演算

演算	写像
外積	$\wedge :{\Omega }^p(M)\times {\Omega }^q(M)⟶{\Omega }^{p+q}(M)$
外微分	${\mathrm{d}}^{}:{\Omega }^p(M)⟶{\Omega }^{p+1}(M)$
リー微分	$L_{\xi }:{\Omega }^p(M)⟶{\Omega }^p(M)$
内部積	$i_{\xi }:{\Omega }^p(M)⟶{\Omega }^{p-1}(M)$

4.1.4 微分形式のベクトル場における値

冒頭、外積代数 ${\bigwedge }^p{T}^{\ast }M$ は余接束 $T^{\ast }M$ のベクトル束だと言っている？

• 定義 4.1.13: 微分形式のベクトル場における値

  $$\alpha ({\xi }_1,\dots ,{\xi }_p)=i_{{\xi }_p}\dots i_{{\xi }_1}\alpha .$$

  内部積で定義される値のようだ。

  これを逆に使えば内部積を微分形式の値として表現できる：

  $$i_{{\xi }_p}\alpha ({\xi }_1,\dots ,{\xi }_{p-1})=\alpha ({\xi }_p,{\xi }_1,\dots ,{\xi }_{p-1}).$$

• 注意 4.1.14: 上記の右辺を $p!$ で割った値を定義とする流儀もあるらしい。

• 問題 4.1.15: 外積の微分形式のベクトル場における値

  $\alpha \in {\Omega }^p(M),\beta \in {\Omega }^q(M)$ のとき、外積のベクトル場における値は次のとおり：

  $$\begin{gathered} \begin{array}{r}(\alpha \wedge \beta )({\xi }_1,\dots ,{\xi }_{p+q})=\sum _{j_1<\cdots <j_p \\ {k}_1<\cdots <k_q}\mathrm{sign}\left(\begin{array}{cccccc}1& \cdots & p& p+1& \cdots & p+q\\ j_1& \cdots & j_p& k_1& \cdots & k_q\end{array}\right)\alpha ({\xi }_{j_1},\dots ,{\xi }_{j_p})\beta ({\xi }_{k_1},\dots ,{\xi }_{k_q})\end{array} \end{gathered}$$

  1. 定義 4.1.13 の右辺を 問題 4.1.7 に基いて軽く計算すると、おおまかには次の形になる：

     $$i_{{\xi }_{p+q}}\dots i_{{\xi }_1}(\alpha \wedge \beta )=\sum (-1{)}^{?}(i_{{\xi }_{j_p}}\dots i_{{\xi }_{j_1}}\alpha )(i_{{\xi }_{k_q}}\dots i_{{\xi }_{k_1}}\beta ).$$

  2. $i_{\xi }{i}_{\eta }=-i_{\eta }{i}_{\xi }$ なので $i_{{\xi }_{k_q}}\dots i_{{\xi }_{k_1}}{i}_{{\xi }_{j_p}}\dots i_{{\xi }_{j_1}}(\alpha \wedge \beta )$ における $(i_{{\xi }_{j_p}}\dots i_{{\xi }_{j_1}}\alpha )(i_{{\xi }_{k_q}}\dots i_{{\xi }_{k_1}}\beta )$ の $\mathrm{sign}$ はプラス。

  3. よって 1. の左辺における 2. 最終式の符号は主張の置換の符号に等しい。

• 問題 4.1.16: 外微分とリー微分の性質（あるいは定義）

  • (1) $\alpha \in {\Omega }^1(M)$ に対して次の等式が成り立つ：

    $$({\mathrm{d}}^{}\alpha )({\xi }_1,{\xi }_2)={\xi }_1(\alpha ({\xi }_2))-{\xi }_2(\alpha ({\xi }_1))-\alpha ([{\xi }_1,{\xi }_2]).$$

    1. 問題 4.1.11 の等式にカルタンの公式 命題 4.1.8 を適用する。

    2. 定義 4.1.13 を用いて書き換えれば示される。

  • (2) $\alpha \in {\Omega }^p(M)$ に対して次の等式が成り立つ：

    $$({\mathrm{d}}^{}\alpha )({\xi }_1,\dots ,{\xi }_{p+1})=\sum _{i=1}^{p+1}(-1{)}^{i-1}{\xi }_i(\alpha ({\xi }_1,\stackrel{(\text{pop }i)}{\dots },{\xi }_{p+1}))+\sum _{i<j}(-1{)}^{i+j}\alpha ([{\xi }_i,{\xi }_j],{\xi }_1,\stackrel{(\text{pop }i,j)}{\dots },{\xi }_{p+1}).$$

    これは難しい。問題 4.1.11 の拡張版と（ふつうの）帰納法による。

  • (3) $\alpha \in {\Omega }^p(M)$ に対して次の等式が成り立つ：

    $$(L_{\xi }\alpha )({\xi }_1,\dots ,{\xi }_p)=\xi (\alpha ({\xi }_1,\dots ,{\xi }_p))-\sum _{i=1}^p\alpha ({\xi }_1,\dots ,[\xi ,{\xi }_i],\dots ,{\xi }_p).$$

    左辺からひたすら計算する。

    $$\begin{array}{r}\begin{array}{rl}{i}_{{\xi }_p}\dots i_{{\xi }_1}{L}_{\xi }\alpha & =i_{{\xi }_p}\dots i_{{\xi }_2}{i}_{[{\xi }_1,\xi ]}\alpha +i_{{\xi }_p}\dots i_{{\xi }_2}{L}_{\xi }{i}_{{\xi }_x}\alpha \\ & =i_{{\xi }_p}\dots i_{[{\xi }_1,\xi ]}\alpha +i_{{\xi }_p}\dots i_{{\xi }_3}{i}_{[{\xi }_2,\xi ]}{i}_{{\xi }_1}\alpha +i_{{\xi }_p}\dots i_{{\xi }_3}{L}_{\xi }{i}_{{\xi }_2}{i}_{{\xi }_1}\alpha \\ & =\cdots \\ & =\sum _{i=1}^n{i}_{{\xi }_p}\dots i_{[{\xi }_i,\xi ]}\dots i_{x{i}_1}\alpha +L_{\xi }{i}_{{\xi }_p}\dots i_{x{i}_1}\alpha \\ & =\xi (\alpha ({\xi }_1,\dots ,{\xi }_p))-\sum _{i=1}^p\alpha ({\xi }_1,\dots ,[\xi ,{\xi }_i],\dots ,{\xi }_p).\end{array}\end{array}$$

    • 最後の等号で、直前の二項が入れ替わった。

  本によってはこちらが外微分・リー微分の定義として採用されているらしい。