共変と反変テンソルについて整理したい

概要

相対論や微分幾何の本を読んでいると共変テンソルとか反変テンソルとか出て来てよく分からなくなるので、何番煎じか分からないけど自分メモ的に整理してみたい。

ごちゃごちゃ考えた結果を書き出しているだけで、大したことの内容であるにも関わらず冗長で、計算を追うメリットも特にないので、明らかに普通の適当な教科書を見つけて読むほうが良い。

はじめに

素朴なところから入りたい。いわゆる Einstein の規約というものがあって、今回悩んでいるような記号が出て来る本ではこれをわりと見かける。ベクトル $v$, $w$ と行列 $A$ があるとして、とりあえず 一切深い意味は考えずに 以下のように本来は左のような意味の式、右のような略記で書ける省略記法がある。つまり、斜めに対応し合うインデックスについて足し合わせる ということである。

$$\begin{array}{r}\sum _i{v}_i{w}^i\leftrightsquigarrow v_i{w}^i\end{array}$$

とか

$$\begin{array}{r}\sum _i{v}^i{w}_i\leftrightsquigarrow v^i{w}_i\end{array}$$

とか

$$\begin{array}{r}{w}^i=\sum _j{A}_j^i{v}^j\leftrightsquigarrow w^i=A_j^i{v}^j\end{array}$$

このお気持ちを大切にしつつ一歩進みたい。

幾何学の本を開くと

見慣れた座標 $x_1$, $x_2$, $x_3$, ... を何故か $x^1$, $x^2$, $x^3$, ... と書く流儀に出会うことがある。文献 M や H はざっと見た感じではそうではないのだが、S1 で p.13 で登場し、p.15 の Tea Time で

確かに、この記号の使い方には少し難点があるかもしれない。[...] しかし、もう少し先までベクトル空間の話を進めてみると、この記法は、いろいろな点で非常に有用なものであることがわかってくるだろう。

とある。文献 I ではまえがきでこういう書き方があることを触れつつ p.20 で

本書でも微分幾何に関連する場合にはこの習慣に従う。

となる。文献 T では第14講「ベクトルの変換性」から登場し、ベクトルの “共変性” や “反変性” なるものを明らかにするために使っている旨が書かれている。

文献 A では p.45 で現れ始めて、p.46 から本格的に説明がなされる。欄外注釈 22 によると、

つまり、“共変” という修飾語は、$V$ の基底の変換に対して $V^{\ast }\otimes V^{\ast }$ の元の成分が基底の変換と同様な仕方でなされるという事実に言及するものであって、～

とある。

ベクトル空間の基底の変換

ベクトル空間を考えたいが、ここでは簡単のため ${\mathbb{R}}^2$ を考えたい。少し高尚なものを考えるなら、実 2 次元多様体のある点における接ベクトル空間のような感じだろうか。

2 次元のベクトル空間なので、基底 ${\mathit{e}}_1$ と ${\mathit{e}}_2$ がとれる。簡単のため、

$$\begin{array}{r}{\mathit{e}}_1=\left(\begin{array}{c}1\\ 0\end{array}\right),{\mathit{e}}_2=\left(\begin{array}{c}0\\ 1\end{array}\right)\end{array}$$

としてみる。次に別の基底を考える。別にどういうものでも良いのだが、簡単のため $\theta \in \mathbb{R}$ を適当にとって

$$\begin{array}{r}{\overline{\mathit{e}}}_1=\left(\begin{array}{c}\cos \theta \\ \sin \theta \end{array}\right),{\overline{\mathit{e}}}_2=\left(\begin{array}{c}-\sin \theta \\ \cos \theta \end{array}\right)\end{array}$$

と置いてみたい。これも ${\mathbb{R}}^2$ の基底である。

$$\begin{array}{r}\{\begin{array}{l}{\overline{\mathit{e}}}_1=\cos \theta {\mathit{e}}_1+\sin \theta {\mathit{e}}_2\\ {\overline{\mathit{e}}}_2=-\sin \theta {\mathit{e}}_1+\cos \theta {\mathit{e}}_2\end{array}\end{array}$$

という関係がある。

※ 以下、基底 $\{{\mathit{e}}_i\}$ と $\{{\overline{\mathit{e}}}_i\}$ を固定する。

さて、このように基底に関する線型結合を考える時、$x_i\in \mathbb{R}$ に対して $x_1{\mathit{e}}_1+x_2{\mathit{e}}_2$ と書いても良いし、普通の線型代数の教科書はこう書いていると思う。ここは少し調子に乗って、大袈裟にも Einstein の規約を使ってみたいと思うとすると、スカラーを $x^i\in \mathbb{R}$ と取り直して、線型結合 $x^1{\mathit{e}}_1+x^2{\mathit{e}}_2$ と書いても良い気がしてくる。これを Einstein の規約で書くと $x^i{\mathit{e}}_i$ で良いのではないだろうか？

このまま調子に乗って上式を書き換えてみたい。

$$\begin{array}{r}A=\left(\begin{array}{cc}{A}_1^1& A_1^2\\ A_2^1& A_2^2\end{array}\right)\end{array}$$

と置くと、

$$\begin{array}{}\text{(1)}& \begin{array}{c}\{\begin{array}{l}{\overline{\mathit{e}}}_1=A_1^1{\mathit{e}}_1+A_1^2{\mathit{e}}_2\\ {\overline{\mathit{e}}}_2=A_2^1{\mathit{e}}_1+A_2^2{\mathit{e}}_2\end{array}\end{array}\end{array}$$

または

$$\begin{array}{r}{\overline{\mathit{e}}}_i=\sum _{j=1}^2{A}_i^j{\mathit{e}}_j\end{array}$$

と書けるだろうか。気取って ${\overline{\mathit{e}}}_i=A_i^j{\mathit{e}}_j$ と書いても良さそうだ。

$$\begin{array}{}\text{(1’)}& ({\overline{\mathit{e}}}_1{\overline{\mathit{e}}}_2)=({\mathit{e}}_1{\mathit{e}}_2)\left(\begin{array}{cc}{A}_1^1& A_2^1\\ A_1^2& A_2^2\end{array}\right)=({\mathit{e}}_1{\mathit{e}}_2)A^T\end{array}$$

とも書けるだろう。

座標の変換

さて、任意にベクトル $v\in {\mathbb{R}}^2$ をとる時、これは $v=x^1{\mathit{e}}_1+x^2{\mathit{e}}_2$ と一意に書ける。スカラー ${\overline{x}}^i\in \mathbb{R}$ をうまく選ぶと

$$\begin{array}{}\text{(2)}& \sum _{i=1}^2{x}^i{\mathit{e}}_i=\sum _{j=1}^2{\overline{x}}^j{\overline{\mathit{e}}}_j\end{array}$$

と書けるのだが、基底の間に関係式 (1) がある時、係数（或は座標）同士はどういう関係になっているのだろうか？

準備

まず、Eq. (1) を書き直す。適当なスカラー $a_i^j\in \mathbb{R}$ をとると以下のように書ける。

$$\begin{array}{}\text{(1”)}& \begin{array}{c}\{\begin{array}{l}{\mathit{e}}_1=a_1^1{\overline{\mathit{e}}}_1+a_1^2{\overline{\mathit{e}}}_2\\ {\mathit{e}}_2=a_2^1{\overline{\mathit{e}}}_1+a_2^2{\overline{\mathit{e}}}_2\end{array}\end{array}\end{array}$$

Einstein の規約で書くと、${\mathit{e}}_i=a_i^j{\overline{\mathit{e}}}_j$ なのだが、これに Eq. (1) を代入すると、${\mathit{e}}_i=a_i^j{A}_j^k{\mathit{e}}_k$ となる。よって、

$$\begin{array}{r}{\delta }_i^k=\sum _{j=1}^2{a}_i^j{A}_j^k\end{array}$$

という関係を得る。ここで ${\delta }_i^k$ は Kronecker のデルタである。

これを行列の形で書くと、

$$\begin{array}{r}\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=\left(\begin{array}{cc}{a}_1^1& a_1^2\\ a_2^1& a_2^2\end{array}\right)\left(\begin{array}{cc}{A}_1^1& A_1^2\\ A_2^1& A_2^2\end{array}\right)\end{array}$$

となる。つまり、

$$\begin{array}{r}a=\left(\begin{array}{cc}{a}_1^1& a_1^2\\ a_2^1& a_2^2\end{array}\right)\end{array}$$

と置くと、$a=A^{-1}$ ということになる。

準備ができたので Eq. (2) に Eq. (1'') を代入してみると、

$$\begin{array}{rl}\sum _{j=1}^2{\overline{x}}^j{\overline{\mathit{e}}}_j& =\sum _{i=1}^2{x}^i(\sum _{k=1}^2{a}_i^k{\overline{\mathit{e}}}_k)\\ & =\sum _{k=1}^2(\sum _{i=1}^2{a}_i^k{x}^i){\overline{\mathit{e}}}_k\end{array}$$

を得る。よって、成分を比較して、ついでにインデックスを振り直して

$$\begin{array}{r}{\overline{x}}^i=\sum _{j=1}^2{a}_j^i{x}^j\end{array}$$

を得る。行列で書くと、

$$\begin{array}{}\text{(3)}& ({\overline{x}}^1{\overline{x}}^2)=(x^1{x}^2)\left(\begin{array}{cc}{a}_1^1& a_1^2\\ a_2^1& a_2^2\end{array}\right)=(x^1{x}^2)A^{-1}\end{array}$$

となる。基底の変換とは逆の変換が作用している ということだ。

Eq. (3) の右から $A$ をかけると、

$$\begin{array}{r}(x^1{x}^2)=({\overline{x}}^1{\overline{x}}^2)\left(\begin{array}{cc}{A}_1^1& A_1^2\\ A_2^1& A_2^2\end{array}\right)=({\overline{x}}^1{\overline{x}}^2)A\end{array}$$

または、

$$\begin{array}{r}{x}^i=\sum _{j=1}^2{A}_j^i{\overline{x}}^j\end{array}$$

を得る。この式と Eq. (1) の対応が「反変的」である旨が文献 S1 p.102 にある。なお、文献 S1 では $a$ を $\overline{A}$ と書いている。

ヤコビ行列を使ってみる

ところで、Eq. (3) により、${\overline{x}}^i$ を $x^1$ と $x^2$ の函数と見ることができる。よって、偏微分を考えると、$a_j^i=\frac{\partial {\overline{\mathit{x}}}^i}{\partial {\mathit{x}}^j}$ である。これをもって Eq. (3) を書き換えると以下のようになる。

$$\begin{array}{r}({\overline{x}}^1{\overline{x}}^2)=(x^1{x}^2)\left(\begin{array}{cc}\frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^1}& \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^1}\\ \frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^2}& \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^2}\end{array}\right)=(x^1{x}^2)J^T\end{array}$$

または、

$$\begin{array}{}\text{(3’)}& \left(\begin{array}{c}{\overline{x}}^1\\ {\overline{x}}^2\end{array}\right)=\left(\begin{array}{cc}\frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^1}& \frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^2}\\ \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^1}& \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^2}\end{array}\right)\left(\begin{array}{c}{x}^1\\ x^2\end{array}\right)=J\left(\begin{array}{c}{x}^1\\ x^2\end{array}\right)\end{array}$$

ここで、

$$\begin{array}{r}J=\frac{\partial ({\overline{x}}^1,{\overline{x}}^2)}{\partial (x^1,x^2)}=\left(\begin{array}{cc}\frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^1}& \frac{\partial {\overline{\mathit{x}}}^1}{\partial {\mathit{x}}^2}\\ \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^1}& \frac{\partial {\overline{\mathit{x}}}^2}{\partial {\mathit{x}}^2}\end{array}\right)\end{array}$$

は 座標変換 $x\mapsto \overline{x}$ のヤコビ行列である。

Eq. (3) の右から $A$ をかけた式

$$\begin{array}{r}(x^1{x}^2)=({\overline{x}}^1{\overline{x}}^2)\left(\begin{array}{cc}{A}_1^1& A_1^2\\ A_2^1& A_2^2\end{array}\right)=({\overline{x}}^1{\overline{x}}^2)A\end{array}$$

を思い出すと、上記と同じ理由で、$A_j^i=\frac{\partial {\mathit{x}}^i}{\partial {\overline{\mathit{x}}}^j}$ である。定数行列 $A$ をこのように書くのはもやもやするところであるが、文献 S1 p.141 のページ下部に似たようなことが書いてある。ここでは Eq. (3) に従って $x$ と $\overline{x}$ を動かすと偏導函数は定数になるから・・・という程度で濁す。また後で「微分作用素 $\frac{\partial }{\partial x^i}$」のところで少し振り返る。文献 S1 も同様のことを書いているようだが、多様体の導入が大分後回しなので、第28講まで進んでから戻ってこないとピンと来ない形になっているようだ。

さて、くどくなるが上式を書き換えて Eq. (3') と同様の式を書いていくと、

$$\begin{array}{r}(x^1{x}^2)=({\overline{x}}^1{\overline{x}}^2)\left(\begin{array}{cc}\frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^1}\\ \frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^2}& \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^2}\end{array}\right)=({\overline{x}}^1{\overline{x}}^2){\overline{J}}^T\end{array}$$

または、

$$\begin{array}{}\text{(4)}& \left(\begin{array}{c}{x}^1\\ x^2\end{array}\right)=\left(\begin{array}{cc}\frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^2}\\ \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^2}\end{array}\right)\left(\begin{array}{c}{\overline{x}}^1\\ {\overline{x}}^2\end{array}\right)=\overline{J}\left(\begin{array}{c}{\overline{x}}^1\\ {\overline{x}}^2\end{array}\right)\end{array}$$

となる。ここで、

$$\begin{array}{r}\overline{J}=\frac{\partial (x^1,x^2)}{\partial ({\overline{x}}^1,{\overline{x}}^2)}=\left(\begin{array}{cc}\frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^2}\\ \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^2}\end{array}\right)\end{array}$$

は 逆方向の座標変換 $\overline{x}\mapsto x$ のヤコビ行列である。

念のために基底の変換 Eq. (1') を書き直すと、

$$\begin{array}{}\text{(5)}& ({\overline{\mathit{e}}}_1{\overline{\mathit{e}}}_2)=({\mathit{e}}_1{\mathit{e}}_2)\left(\begin{array}{cc}\frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^1}{\partial {\overline{\mathit{x}}}^2}\\ \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^1}& \frac{\partial {\mathit{x}}^2}{\partial {\overline{\mathit{x}}}^2}\end{array}\right)=({\mathit{e}}_1{\mathit{e}}_2)\overline{J}\end{array}$$

となることが分かる。

ここまでで、座標変換を通じて見直してみると、基底の変換 $\{\mathit{e}\}\mapsto \{\overline{\mathit{e}}\}$ を制御する行列は $A={\overline{J}}^T$ であることが分かった。一方、座標の変換 $x\mapsto \overline{x}$ を制御する行列は $a=J^T$ であることが分かった。$a=A^{-1}$ であったので、$\overline{J}=J^{-1}$ でもあり、基底と座標の変換を制御する行列は互いに逆行列の関係にある ことになる。

微分作用素 $\frac{\partial }{\partial x^i}$

唐突だが、微分作用素 $\frac{\partial }{\partial x^i}$ を考えてみたい。座標変換 $x\mapsto \overline{x}$ でどのような関係が出るだろうか？これは連鎖律より、

$$\begin{array}{}\text{(6)}& \frac{\partial }{\partial {\overline{x}}^i}=\sum _{j=1}^2\frac{\partial x^j}{\partial {\overline{x}}^i}\frac{\partial }{\partial x^j}\end{array}$$

である。多様体の接空間の基底も同じルールに従っていることに注意しよう。

もしも記号 $T_i=\frac{\partial }{\partial x^i}$ と ${\overline{T}}_i=\frac{\partial }{\partial {\overline{x}}^i}$ という記号を導入するとすれば、

$$\begin{array}{r}{\overline{T}}_i=\sum _{j=1}^2\frac{\partial x^j}{\partial {\overline{x}}^i}{T}_j\end{array}$$

と書ける。ここで、Eq. (5) で ${\mathit{e}}_i$ と $T_i$ を取り替えても式が成立する、言い換えると、$\frac{\partial }{\partial x^i}$ は基底の変換 $\{\mathit{e}\}\mapsto \{\overline{\mathit{e}}\}$ と同じルールに従った計算で変換される ことが分かる。このことを「$\frac{\partial }{\partial x^i}$ は基底と共変 (covariant) である」と呼ぶようで、「$\frac{\partial }{\partial x^i}$ は共変ベクトルである」と呼ぶようだ。

この辺で、適当な多様体 $M$ と $p\in M$ をとって、接ベクトル空間の基底 $\left\{{\left(\frac{\partial }{\partial x^i}\right)}_p\right\}$ を考えると、これは座標変換 $x\mapsto \overline{x}$ で “動く” ので、基底同士を $\frac{\partial x^j}{\partial {\overline{x}}^i}$ が繋ぐのもそろそろしっくりしてくる。

微分形式 $d{x}^i$

微分作用素の話を記号を置き換えて読み換えるような感じである。コピペで書き直してみる。ということで、座標変換 $x\mapsto \overline{x}$ でどのような関係が出るだろうか？これは連鎖律より、

$$\begin{array}{r}d{\overline{x}}^i=\sum _{j=1}^2\frac{\partial {\overline{x}}^i}{\partial x^j}d{x}^j\end{array}$$

である。多様体の余接空間の基底も同じルールに従っていることに注意しよう。

もしも記号 $T_i=d{x}^i$ と ${\overline{T}}_i=d{\overline{x}}^i$ という記号を導入するとすれば、

$$\begin{array}{r}{\overline{T}}_i=\sum _{j=1}^2\frac{\partial {\overline{x}}^i}{\partial x^j}{T}_j\end{array}$$

と書ける。ここで、Eq. (3') で ${\mathit{e}}_i$ と $T_i$ を取り替えても式が成立する、言い換えると、$d{x}^i$ は座標の変換 $x\mapsto \overline{x}$ と同じルールに従った計算で変換される ことが分かる。このことを「$d{x}^i$ は基底と反変 (contravariant) である（代わりに座標とは共変）」と呼ぶようで、「$d{x}^i$ は反変ベクトルである」と呼ぶようだ。

（反変）ベクトル場 $\sum _{i=1}^2{v}^i\frac{\partial }{\partial x^i}$

「（反変）ベクトル場」という用語もよく見る。「あれ？微分作用素 $\frac{\partial }{\partial x^i}$ って共変だったのでは？」となって頭が混乱する。のだが、どうやらこの言い回しは「ベクトル場の成分 $v^i$ が基底の変換 $\{\mathit{e}\}\mapsto \{\overline{\mathit{e}}\}$ に対して反変である」と言っているようである。要するに座標の変換 $x\mapsto \overline{x}$ と同じルールで変換されることを確認すれば良いようだ。ということで、まずは

$$\begin{array}{}\text{(7)}& \sum _{i=1}^2{v}^i\frac{\partial }{\partial x^i}=\sum _{j=1}^2{\overline{v}}^j\frac{\partial }{\partial {\overline{x}}^j}\end{array}$$

とおこう。Eq. (6') の逆方向を考えると、

$$\begin{array}{}\text{(6’)}& \frac{\partial }{\partial x^i}=\sum _{j=1}^2\frac{\partial {\overline{x}}^j}{\partial x^i}\frac{\partial }{\partial {\overline{x}}^j}\end{array}$$

であるのでこれを Eq. (7) に代入すると、

$$\begin{array}{r}\sum _{k=1}^2\left(\sum _{i=1}^2{v}^i\frac{\partial {\overline{x}}^k}{\partial x^i}\right)\frac{\partial }{\partial {\overline{x}}^k}=\sum _{j=1}^2{\overline{v}}^j\frac{\partial }{\partial {\overline{x}}^j}\end{array}$$

となる。成分を見ると、

$$\begin{array}{r}{\overline{v}}^j=\sum _{i=1}^2{v}^i\frac{\partial {\overline{x}}^j}{\partial x^i}=\sum _{i=1}^2\frac{\partial {\overline{x}}^j}{\partial x^i}{v}^i\end{array}$$

となっており、Eq. (3') と同じルールになっている。つまり、座標の変換と同じルールであり、基底の変換と反変的である。なので、「反変ベクトル場」と呼ぶらしい。実際、そのような感じのことが文献 I p.25 にも書かれている。

この辺はかなり雑に書いてしまった。多様体 $M$ 上の接バンドル $TM:=\bigcup _{p\in M}(\{p\}\times T_{p}M)$ を考えて、その切断 $\mathcal{X}(M)=\mathrm{\Gamma }(TM)$ としてベクトル場を考えるのが良いのかもしれない。すると、この $TM$ には反変的な気持ちを覚えるようになる。

$(p,q)$-型テンソル場

上記の $TM$ に覚えた反変的な気持ちを踏まえつつ文献 S2 を見る。

多様体 $M$ 上の接バンドル $TM$ と余接バンドル $T^{\ast }M$ から得られるテンソルバンドル

$$\begin{array}{r}\stackrel{p}{\overbrace{TM\otimes \cdots \otimes TM}}\otimes \stackrel{q}{\overbrace{T^{\ast }M\otimes \cdots \otimes T^{\ast }M}}\end{array}$$

を「反変 $p$ 次、共変 $q$ 次のテンソルバンドル」と呼んでおり、なんとなく気持ちが分かる気がする。なお、その切断をテンソル場と呼んでいる。

文献 SA p.212 でも一般のベクトル空間 $V$ に対して、

$$\begin{array}{r}\stackrel{p}{\overbrace{V\otimes \cdots \otimes V}}\otimes \stackrel{q}{\overbrace{V^{\ast }\otimes \cdots \otimes V^{\ast }}}\end{array}$$

を「$p$ 階反変、$q$ 階共変テンソル空間」と呼んでおり、これも同様であろう。

まとめ

共変（テンソル）ベクトル（場）、共変（テンソル）テンソル（場）みたいなものがさっぱり気持ちが分からないし、表面的に各種文献を見るとごちゃごちゃになってくるので、何となく全部を説明できるであろう愚直な計算を行って、その結果を通じて用語を眺めてみた。安らかな気持ちで始めるために、2 次元の空間で始めたが、2 次元であることをまったく用いておらず、一般の $n\in \mathbb{N}$ で良いことがわかる。

きっと明日には忘れてしまうので、忘れたらこの単純で単調な計算をトレースして思い出したい。