物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

計量とは何か

脇道へ逸れてるようだが、この後で必要なのだ。
作成:2003/9/28
更新:2007/8/27

計量の意味

微小な距離dsだけ離れた 2 点を考える.一方の点の位置をデカルト座標で(x,y)と表したとすると,もう一方の点は(x+ dx,y+ dy)と表せるだろう.このとき,ds,dx,dyの間には次の関係が成り立っている. 数式 もしもこの 2 点をデカルト座標以外の別の座標(x',y')で表したとしても,2 点間の距離dsは変わらないはずだ.そこでそれを 2 乗してやった値ds^2を別の座標系で表してやることを考えてみよう.なぜ 2 乗した値を考えるかといえば,その方が楽だからである.上の関係式でdsの 2 乗を外そうとすれば平方根を使わなくてはならないし,それが正の値であることを常に意識しなくてはならないことになる.

ds^2はどんな座標系で表したとしても,次のようなdx'dy'を組み合わせて作った項の和で表せるはずである. 数式 なぜなら,dxは微少量なのでdx'dy'の 1 次式で表されるだろうし,dyも同様であり,それらをそれぞれ 2 乗して和を取ったものがds^2なのだから必ずこの形式になるというわけである. これについては後で実例を示せば納得してもらえるだろう.

大切なのはこの 4 つの係数A,B,C,Dである.この情報さえあれば,2 点間の微小距離ds^2をそれぞれの座標系でどのように表せば良いのかが分かる.この係数だけを取り出して次のようにきれいに並べて表したものを「計量」と呼ぶ.英語で言えば「metric」.長さを測るための基準という意味だ. 数式 ちゃんと並べ方に規則があることに気をつけてもらいたい.察しがついているかも知れないが,この少し後でしっかり定義しよう.これを先ほどのデカルト座標の場合の (1) 式に当てはめれば, 数式 と表せることになる.この単位行列みたいなのがデカルト座標の計量である.

ところで先ほどの (2) 式の第 2 項と第 3 項は一つにまとめられるのではないかと気付いたかも知れないが,項をまとめずにわざわざこのように分けて書いたのには訳がある.dx,dyで表すのをやめてdx^{1},dx^{2}のように添え字を使って表してやればその利点が見えてくるだろう.ついでにA,B,C,Dも添え字を使ったg_{ij}という書き方で区別してやることにしよう.こうすることで, 数式 と書けて,さらに 数式 のようにΣ記号を使ってまとめる事ができるのである.アインシュタインの省略記法を使えば,結局, 数式 と書くだけでいいことになる.そこらの教科書では「無限小線素ds^2が上のように表せる時,g_{ij}を計量と呼ぶ」という一文だけで説明してあることが多く,これだけでは何のことか分からないのが普通だと思うのだが,噛み砕けばこういう意味だったというわけだ.

先ほど計量を書き並べる時の規則を説明するのを飛ばしたが,ここまで来れば説明は簡単だ.g_{ij}を行列の(i,j)成分として並べて表示してやればいいのである.

g_{12}g_{21}は本来一つの項にまとめられるはずのものを,形式的に書き表したいがためだけにわざわざ二つに分けたものである.ついでだから二つの値を同じに合わせておくことにしよう.こう決めておけば計量はいつも対称行列で表せることになり,計算の手間が省けるというわけだ.


実例

さあ,ここまでの内容を実例を使って確認しておこう.デカルト座標から極座標への変換を考える. 数式 座標の微小変化は次のような変換規則を持つのであった. 数式 これを今回の場合について計算してやれば, 数式 である.ここでds^2を計算してやれば 数式 であるから,係数だけを取り出して並べれば, 数式 となる.これが極座標の計量である.これを見ると計量というのは場所によって値が変化するものだということが分かる.これは微小な偏角dθの大きさが同じであっても,座標原点から離れるに従って,2 点間の隔たりが大きくなっていくことを表しているのである.


計量はテンソルだ

大変面白いことに,計量は 2 階の共変テンソルの変換則に従うのである.計量の成分g_{ij}の添え字を二つとも下側に書いてあるのはこのための伏線だったのだ.なぜこれが共変テンソルであるのか分かるだろうか簡単だ.先ほどのこの式を思い出してもらいたい. 数式 無限小線素ds^2は明らかにスカラー.一方,微小変位dx^i,dx^jはすでに説明したように反変ベクトルだ.よってg_{ij}は 2 階の共変テンソルでなければ辻褄が合わないのである.あっけない説明だが,このような論法はこの後もよく使う.面白かろ

それで計量のことを「計量テンソル」と呼んだりもする.

親切に書いておくと,計量の成分は 数式 のような変換を受けるということだ.さあ,この変換則は使えるぞ


反変・共変の変換

ここに,ある反変ベクトルA^iがあったとしよう.つまり, 数式 という変換を受けるということだ.ここで添え字としてmnを使ったのには理由がある.これからこの式をすぐ上の計量テンソルの変換則の両辺に掛けようとしているのだが,そのときに添え字の記号が重複しないように配慮してあるのだ.普通に掛けるのではなく,縮約を計算してやりたいので,添え字のmjに書き換えてから掛けることにする. 数式 この式の右辺の変形を見ていこう.2 番目の偏微分と 3 番目の偏微分のx'^jが打ち消しあって 数式 となるのが分かるだろうかこの変形が成り立つことはちゃんと展開して考えるべきである.さらにこの 2 番目の偏微分はl=nの時に限って 1 であり,それ以外は 0 になるから,l=nとなる項だけが生き残ることになる.よって, 数式 となる.この結果から何が分かるだろうかg_{ij}A^iという固まりに注目してやれば,これはあたかも共変ベクトルのように振舞うということを示しているのである.それで,この固まり,すなわち,反変ベクトルA^ig_{ij}の縮約を取ることで作られた新しい共変ベクトルをA_iと表してやることにしよう. 数式 計量テンソルは反変ベクトルを共変ベクトルに変換する道具として使えるということだ.

ここまで来れば,逆に共変ベクトルを反変ベクトルに変換するような量も存在するのではないか,という興味が湧いてくることだろう.確かにある.簡単な話だ.すぐ上の式は行列計算のルールと同じであることに注目しよう.これは行列g_{ij}をベクトルA^jに左から掛けたらベクトルA_iになることを表しているのである.よって行列g_{ij}の逆行列g^{ij}を両辺に掛けてやれば次の式を得るだろう. 数式 これが求めていたものだ.つまり計量テンソルの逆行列を共変ベクトルに掛けてやれば反変ベクトルになるのである.

この「計量テンソルの逆行列」は 2 階の反変テンソルだが,ややこしいことにこれも「計量テンソル」と呼ばれる資格がある.なぜなら,こんな方法があるなら反変だろうが共変だろうが自由に変換できるわけで,すでに反変か共変かなんて区別は大した意味を持っていないからである.


図形的意味

この変換法を使えば,共変ベクトルのように変換する座標を作ることが出来る.それは一体どのような座標だろうか抽象的なものだと思っているだろうか.いやいや,それは絵に書いて見せることが出来るほど具体的で簡単である.

斜交座標を例に取って説明しよう.y軸が斜めを向いている場合だ.

その座標上に,あるベクトルAを考える.その座標成分は次の図のように表現される.

反変座標の成分がグラフ上のどこを意味するかを説明した図

つまり,x座標を知りたければベクトルの先端からy軸に平行に線を引いてやり,それがx軸と交わったところの数値を読むわけだ.y座標についてもベクトルAの先端からx軸に平行に線を引いてやり,y軸と交わったところの数値を読む.これは我々が慣れ親しんでいる方法であり,反変ベクトル的な変換をする座標である.

しかしこれとは違った方法でベクトルAの座標を決めることも出来る.次の図のようにするのだ.

共変座標の成分がグラフ上のどこを意味するかを説明した図

つまり,x座標を知りたければベクトルAの先端から垂直にx軸に線を降ろしてやり,x軸と交わったところの値を読む.また,y座標を知りたければベクトルAの先端からy軸に向かって垂直に線を降ろしてやり,y軸と交わったところの値を読む.これだって一理あるやり方だろうこれが共変ベクトル的な座標の決め方である.なぜこれが共変ベクトルであるかは後でさらりと説明する.

デカルト座標を使っている限りにおいてはこれら 2 つの方法のどちらを使おうとも全く違いはなかった.デカルト座標の計量テンソルが単位行列になっているのは反変と共変に違いがないことを表しているのだ.

我々が反変ベクトル的な座標を愛用しているのには訳がある.ベクトルA(x,y)を表す時に,x軸方向の単位ベクトルe_xy軸方向の単位ベクトルe_yを使って, 数式 と書き表すことが出来るという利点があるからだ.平行四辺形を作ってベクトルの合成,分解を行う方法を中学の頃から練習させられて来たと思うが,まさにその表現がそのまま使える状況になっているわけだ.

では共変ベクトル的な座標を使う利点は無いのだろうか.無いことは無い.共変的な座標(x,y)では次のような関係が成り立っている. 数式 つまり,ベクトルAx座標を知りたければ,x軸方向の単位ベクトルe_xとベクトルAの内積を計算してやるだけでいい.しかし・・・うーん,使えそうであまり使えないだろこの関係を見ればこの座標が「共変ベクトル」である理由は明らかだ.基本ベクトルと「共に」変換するのが共変ベクトルなのだから.

このように二通りの座標の決め方が存在することについて,人間にとって使いやすいかどうかという基準だけで一方を無視するわけにも行くまい.これらは表裏の関係で存在しており,実際,こうして理論上無視できない所にまで顔を出してきてしまっている.


補足

反変ベクトルを共変ベクトルに変換するのにわざわざ計量テンソルg_{ij}を使わなくても 2 階の共変テンソルなら何でもいいんじゃないかと思うかもしれないが,実はその通りである.しかし今見たように,デカルト座標では反変と共変に違いがないのであった.よってデカルト座標で「単位行列」になるような共変テンソルを使うのがもっとも自然であり,ちょうどそれが計量テンソルだというわけだ.



趣味の物理学書店

趣味で量子力学2の広告バナー