1
大学数学基礎解説
文献あり

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

490
0

概要

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

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

はじめに

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

iviwiviwi

とか

iviwiviwi

とか

wi=jAjivjwi=Ajivj

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

幾何学の本を開くと

見慣れた座標 x1, x2, x3, ... を何故か x1, x2, x3, ... と書く流儀に出会うことがある。文献 MH はざっと見た感じではそうではないのだが、S1 で p.13 で登場し、p.15 の Tea Time で

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

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

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

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

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

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

とある。

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

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

2 次元のベクトル空間なので、基底 e1e2 がとれる。簡単のため、

e1=(10), e2=(01)

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

e¯1=(cosθsinθ), e¯2=(sinθcosθ)

と置いてみたい。これも R2 の基底である。

{e¯1=cosθe1+sinθe2e¯2=sinθe1+cosθe2

という関係がある。

以下、基底 {ei}{e¯i} を固定する。

さて、このように基底に関する線型結合を考える時、xiR に対して x1e1+x2e2 と書いても良いし、普通の線型代数の教科書はこう書いていると思う。ここは少し調子に乗って、大袈裟にも Einstein の規約を使ってみたいと思うとすると、スカラーを xiR と取り直して、線型結合 x1e1+x2e2 と書いても良い気がしてくる。これを Einstein の規約で書くと xiei で良いのではないだろうか?

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

A=(A11A12A21A22)

と置くと、

(1){e¯1=A11e1+A12e2e¯2=A21e1+A22e2

または

e¯i=j=12Aijej

と書けるだろうか。気取って e¯i=Aijej と書いても良さそうだ。

(1’)(e¯1  e¯2)=(e1  e2)(A11A21A12A22)=(e1  e2)AT

とも書けるだろう。

座標の変換

さて、任意にベクトル vR2 をとる時、これは v=x1e1+x2e2 と一意に書ける。スカラー x¯iR をうまく選ぶと

(2)i=12xiei=j=12x¯je¯j

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

準備

まず、Eq. (1) を書き直す。適当なスカラー aijR をとると以下のように書ける。

(1”){e1=a11e¯1+a12e¯2e2=a21e¯1+a22e¯2

Einstein の規約で書くと、ei=aije¯j なのだが、これに Eq. (1) を代入すると、ei=aijAjkek となる。よって、

δik=j=12aijAjk

という関係を得る。ここで δik は Kronecker のデルタである。

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

(1001)=(a11a12a21a22)(A11A12A21A22)

となる。つまり、

a=(a11a12a21a22)

と置くと、a=A1 ということになる。

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

j=12x¯je¯j=i=12xi(k=12aike¯k)=k=12(i=12aikxi)e¯k

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

x¯i=j=12ajixj

を得る。行列で書くと、

(3)(x¯1  x¯2)=(x1  x2)(a11a12a21a22)=(x1  x2)A1

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

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

(x1  x2)=(x¯1  x¯2)(A11A12A21A22)=(x¯1  x¯2)A

または、

xi=j=12Ajix¯j

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

ヤコビ行列を使ってみる

ところで、Eq. (3) により、x¯ix1x2 の函数と見ることができる。よって、偏微分を考えると、aji=x¯ixj である。これをもって Eq. (3) を書き換えると以下のようになる。

(x¯1  x¯2)=(x1  x2)(x¯1x1x¯2x1x¯1x2x¯2x2)=(x1  x2)JT

または、

(3’)(x¯1x¯2)=(x¯1x1x¯1x2x¯2x1x¯2x2)(x1x2)=J(x1x2)

ここで、

J=(x¯1,x¯2)(x1,x2)=(x¯1x1x¯1x2x¯2x1x¯2x2)

座標変換 xx¯ のヤコビ行列である。

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

(x1  x2)=(x¯1  x¯2)(A11A12A21A22)=(x¯1  x¯2)A

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

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

(x1  x2)=(x¯1  x¯2)(x1x¯1x2x¯1x1x¯2x2x¯2)=(x¯1  x¯2)J¯T

または、

(4)(x1x2)=(x1x¯1x1x¯2x2x¯1x2x¯2)(x¯1x¯2)=J¯(x¯1x¯2)

となる。ここで、

J¯=(x1,x2)(x¯1,x¯2)=(x1x¯1x1x¯2x2x¯1x2x¯2)

逆方向の座標変換 x¯x のヤコビ行列である。

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

(5)(e¯1  e¯2)=(e1  e2)(x1x¯1x1x¯2x2x¯1x2x¯2)=(e1  e2)J¯

となることが分かる。

ここまでで、座標変換を通じて見直してみると、基底の変換 {e}{e¯} を制御する行列は A=J¯T であることが分かった。一方、座標の変換 xx¯ を制御する行列は a=JT であることが分かった。a=A1 であったので、J¯=J1 でもあり、基底と座標の変換を制御する行列は互いに逆行列の関係にある ことになる。

微分作用素 xi

唐突だが、微分作用素 xi を考えてみたい。座標変換 xx¯ でどのような関係が出るだろうか?これは連鎖律より、

(6)x¯i=j=12xjx¯ixj

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

もしも記号 Ti=xiT¯i=x¯i という記号を導入するとすれば、

T¯i=j=12xjx¯iTj

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

この辺で、適当な多様体 MpM をとって、接ベクトル空間の基底 {(xi)p} を考えると、これは座標変換 xx¯ で “動く” ので、基底同士を xjx¯i が繋ぐのもそろそろしっくりしてくる。

微分形式 dxi

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

dx¯i=j=12x¯ixjdxj

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

もしも記号 Ti=dxiT¯i=dx¯i という記号を導入するとすれば、

T¯i=j=12x¯ixjTj

と書ける。ここで、Eq. (3') で eiTi を取り替えても式が成立する、言い換えると、dxi は座標の変換 xx¯ と同じルールに従った計算で変換される ことが分かる。このことを「dxi は基底と反変 (contravariant) である(代わりに座標とは共変)」と呼ぶようで、「dxi は反変ベクトルである」と呼ぶようだ。

(反変)ベクトル場 i=12vixi

「(反変)ベクトル場」という用語もよく見る。「あれ?微分作用素 xi って共変だったのでは?」となって頭が混乱する。のだが、どうやらこの言い回しは「ベクトル場の成分 vi が基底の変換 {e}{e¯} に対して反変である」と言っているようである。要するに座標の変換 xx¯ と同じルールで変換されることを確認すれば良いようだ。ということで、まずは

(7)i=12vixi=j=12v¯jx¯j

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

(6’)xi=j=12x¯jxix¯j

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

k=12(i=12vix¯kxi)x¯k=j=12v¯jx¯j

となる。成分を見ると、

v¯j=i=12vix¯jxi=i=12x¯jxivi

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

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

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

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

多様体 M 上の接バンドル TM と余接バンドル TM から得られるテンソルバンドル

TMTMpTMTMq

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

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

VVpVVq

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

まとめ

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

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

参考文献

[1]
[M] 松本幸夫, 多様体の基礎, 東京大学出版会, 1988
[2]
[H] 服部晶夫, 多様体 増補版, 岩波全書, 1989
[3]
[S1] 志賀浩二, ベクトル解析30講, 朝倉書店, 1989
[4]
[S2] 志賀浩二, 多様体論, 岩波書店, 1989
[5]
[T] 戸田盛和, 相対性理論30講, 朝倉書店, 1997
[6]
[I] 磯崎洋, 解析力学と微分方程式, 共立出版, 2020
[7]
[A] 新井朝雄, 物理現象の数学的諸原理, 共立出版, 2003
[8]
[SA] 佐武一郎, 線型代数学, 裳華房, 1974
投稿日:2024322
更新日:2024322
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

derwind
derwind
13
2590
数学を専攻してたはずのに気がついたら道を踏み外しちゃったよ的なー。プログラムでの検証等々は https://zenn.dev/derwind でうにょうにょ。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概要
  2. はじめに
  3. 幾何学の本を開くと
  4. ベクトル空間の基底の変換
  5. 座標の変換
  6. ヤコビ行列を使ってみる
  7. 微分作用素 $\frac{\partial}{\partial x^i}$
  8. 微分形式 $dx^i$
  9. (反変)ベクトル場 $\sum_{i=1}^2 v^i \frac{\partial}{\partial x^i}$
  10. $(p,q)$-型テンソル場
  11. まとめ
  12. 参考文献