【図解】計量テンソルって？ たぶん世界一わかりやすい計量テンソルの話 The Metric Tensor 基礎の基礎

あらゆる三角形で「三平方の定理」を成り立たせる魔法の話をいたします。

Tweet ☜この記事をシェアする

ふつう、みなさんが習った「三平方の定理」（別名：ピタゴラスの定理）はコレですよね？

直角三角形のときに成り立つ３辺（A，B，C）の関係式です。

同じような式が、直角三角形じゃなくても、成り立つんじゃないか？

そんなことを考えた数学者はいっぱいいました。

素人的には、下記の係数をいろいろ変えるとうまくいくかも？・・・と思いますよね？

まぁ実際そんな感じで・・・

今では、つぎの式が「どんな三角形」でも成り立つことがわかっています。

４つの係数をうまく選べば、この式がありとあらゆる三角形で成り立ちます。

a・A・A  ＋  b・ A・B  ＋  c・ B・A  ＋  d・ B・B ＝ C²

まさに三平方の定理「上級バージョン」です。

と言われても、この４つの係数（a、b、c、d）がいったい何なのか・・・気になりますよね？あとで説明します。

（先に言っちゃうと計量テンソルはこの係数と深い関係があります。覚えておいてください）

行列を使って式を書き直すと、もっとスッキリします。

これが三平方の定理「上級バージョン」スッキリ系です。

わかりにくくなった・・・と思う人もいるかもしれませんが

この真ん中の行列（a、b、c、d）

a	b
c	d

が三角形の辺の長さの関係、すなわち「三角形の形」を決めている、ともいえるのです。

では、この係数（a、b、c、d）

a	b
c	d

は、どのようにして求めるのでしょうか？

意外に簡単です。

たとえば、∠AB の外角 が「θ」なら、（a、b、c、d）の値は、

1	cosθ
cosθ	1

になります（証明は下図参照。または余弦定理から求めることもできます）。

つまり、あるひとつの外角 「θ」。

これさえわかれば、一発で係数（a、b、c、d）の値 を求めることができます。

たとえば、θ＝６０°の場合、係数（a、b、c、d）の値は、

1	0.5
0.5	1

になります（cos６０° = 0.5）。いいかえると

θ＝６０°であれば、どんな三角形でも、必ず、

1・ A・A  ＋  0.5・ A・B  ＋  0.5・ B・A  ＋  1・ B・B ＝ C²

が成り立つのです。（┓゜Ａ゜）┓

ウソだと思う方は、適当に自分で三角形の絵をかいて確かめてみてください。

必ずそうなります。

自分で確かめたくない方は・・・

信じてもらうしかありません（苦笑）。

これがわかってくると、逆に、

1・ A・A  ＋  0.5・ A・B  ＋  0.5・ B・A  ＋  1・ B・B ＝ C²

という式、あるいは、

1	0.5
0.5	1

という係数をみただけで、どんな三角形の話をしているのか、わかるようになります。

たとえば係数（a、b、c、d）が

1	0
0	1

なら、直角三角形（∠AB = ９０°）の話をしています。

その証拠に、この係数を使って三平方の定理「上級バージョン」の式を展開すると・・・

と、みなさんが学校で習った三平方の定理になります。

つまり、みなさんが学校で習った三平方の定理は、三平方の定理「上級バージョン」

a・ A・A  ＋  b・ A・B  ＋  c・ B・A  ＋  d・ B・B ＝ C²

の特殊例にすぎないのです。 d(´ー｀*)！

ーーーーー ーーーーー ーーーーー

Tweet ☜この記事をシェアする

さて・・・

ここで、ちょっとだけ頭を切りかえましょう。

今まで、三角形で話をすすめてきましたけど、

三角形をベクトルに置き換えます。

よ～くみると、三角形の辺Aと辺Bの長さって、ベクトル C の成分と考えることができますよね？

ベクトル C = (A, B)

そう考えると、

A²　＋　B²　＝　C²

という式は、

ベクトル C = (A, B)

の成分と大きさの関係をあらわしている

とも、いえるのではないでしょうか。

・・・ですよね？

すると・・・

今のあなたなら

座標が直交していないときにでも、同じような式が成り立つのでは？

と思いませんか？

たとえば、座標が直交していないときでも、次のような式が成り立つのでは・・・？

a・A・A  ＋  b・ A・B  ＋  c・ B・A  ＋  d・ B・B ＝ C²

と、思いませんか？

（A，Bはベクトルの成分、Cはベクトルの大きさ）

数学者もそう考えました。

成り立つのです。

下の図をよーく見てください。

座標軸の交差角度「θ」が、三角形ABCの外角「θ」と等しいことがわかりますか？

ここがみえると、前述した三角形のときとまったく同じ話をしていることがわかると思います。

座標軸の角度が「θ」のとき、係数（a、b、c、d）は

1	cosθ
cosθ	1

になります。

このように、斜交座標においてもベクトルの成分と大きさの関係を成立させてしまうのが三平方の定理「上級バージョン」です。

これら４つの係数（a、b、c、d）

a	b
c	d

は、この座標軸の「交差角度」を反映しており、これを計量テンソル the metric tensor といいます。

この４つの係数（a、b、c、d）がベクトルの起始部における座標の「歪み」をあらわしている・・・

といえるのです。

（なんで"計量"とか"テンソル"とかいう名前がついているのかは後述します）

慣れてくると、係数（a、b、c、d）の値

a	b
c	d

をみただけで、ベクトルの起始部がどんな感じで歪んでいるのか、どんな斜交座標の話をしているのか、わかるようになります。

たとえば、係数（a、b、c、d）の値が

1	0
0	1

であれば、それは直交座標の話です。

具体例でみていきましょう。

上図で x軸とy軸の角度 θ＝６０°の場合、計量テンソルは、

1	0.5
0.5	1

です。

すると、この座標系では"どんな"ベクトルでも

1・ A・A  ＋  0.5・ A・B  ＋  0.5・ B・A  ＋  1・ B・B ＝ C²

が成り立ちます。

たとえば、この座標で、下記のようなサイズ５のベクトルを考えてみましょう。

このベクトルの成分を座標から読みとると、 ベクトル（2.14，3.57）であることがわかります。

しかし、いわゆる一般的な三平方の定理（ベクトルの成分と大きさの関係式）にこの数字を入れても成り立ちません。

（2.14）^２　＋　（3.57）^２　≠ （5）^２

ところが・・・

さきほどの計量テンソル

1	0.5
0.5	1

を作用させると・・・

１・（2.14）^２　＋　0.5・（2.14）・（3.57）＋　0.5・（3.57）・（2.14） ＋１・（3.57）^２ = （5）^２

と、見事、式が成立します。

もう一例、次は直交座標で考えてみましょう。

たとえば、下記のようなベクトル（４，３）のサイズはどうなるでしょうか？

直交座標の計量テンソルは

1	0
0	1

です。なのであらゆるベクトルに対して

1・ A・A  ＋  0・ A・B  ＋  0・ B・A  ＋  1・ B・B ＝ C²

が成り立つはずです。

ですので、この（A，B）に（4，3）を代入してみると

１・（4）^２　＋　0・（4）・（3）＋　0・（3）・（4） ＋１・（3）^２　＝ C²

すなわち

（4）^２　＋　（3）^２　＝  C²

ゆえに

C ＝ ５

と、直交座標上のベクトル（４，３）のサイズは５であることがわかります。

このように、計量テンソルがわかると、どんな座標でもベクトルの成分からそのサイズを計算することができるようになります（注２）。

ベクトルのサイズを測る

というのは、

2点間の距離（サイズ）を計るーーー計量するーーーことと同じです。

つまり、計量テンソルがわかれば、どんな座標でも 2 点間の距離（サイズ）を計るーーー計量ーーーが可能になるのです。

実は、

このベクトル（４，３）_{@ θ = 90°}

と、

前述したベクトル（3.57，2.14）_{@ θ = 60°}

は、

成分としての表示が違ってみえますが、

全く同じベクトルです。

同様に・・・

斜交座標（ θ＝６０° ）の計量テンソル

1	0.5
0.5	1

と、

直交座標（ θ＝９０° ） の計量テンソル

1	0
0	1

も、違ってみえますが、実は両方とも

1	cosθ
cosθ	1

という同じテンソルだといえます（ここはちょっと異論がある専門家もいるかも・・・）。

いずれにしろ、

ベクトルも計量テンソルも、座標変換に応じて自動的にその成分が変換され・・・

結局、以下の式はいつでも成り立つ

といえます。

ーーーーー ーーーーー ーーーーー

計量テンソルは、あらゆる座標系で"２点間の距離"を正しく測定する（どんな座標系においても三平方の定理を成り立たせる）ために欠かせない数字のセットです。

どんな座標でも、計量テンソルさえわかれば、ベクトルの成分からベクトルの大きさ（２点間の距離）を計算することができます。

だから"計量"という言葉がついています。

しかも・・・

計量テンソルは、「テンソル」という名前がついているだけあって、それ自体"座標変換"可能な形式になっているところがすごいところです。

Tweet ☜この記事をシェアする

なぜ「テンソル」だとすごいのか？・・・

テンソルについては → こちら

Tweet ☜この記事をシェアする

最後に、計量テンソルがもっている大切な性質を２つだけ述べておきたいと思います。

１．ベクトルに計量テンソルを作用させる（掛け合わせる）と、必ず元のベクトルになる（ベクトルを動かさない！）という驚くべき性質があります（注３）。

数字でいうと「１」みたいなものです。

２．計量テンソルは「内積」と深く関係しています（もともと「内積」は三平方の定理と深い関係があります）。

ここではその詳細を省きますが、計量テンソルを使うと「内積」の上級バージョンを考えることができます（注４）。

ベクトル（A, B）とベクトル（C, D）の内積（上級バージョン）

２つのベクトルの間に計量テンソルを挟み込むことによって、「内積」の結果をどんな座標系でも計算できるようになるのです。

こうすることによって、内積の値を、直交座標でも斜交座標でも同じ値に保つことができます。

これは実にすごいことです。

どれほどすごいことかというと・・・

数学の世界では

「内積」＝ 定数

という式で、直線や平面をあらわします。

たとえば、みなさんが中学や高校で習った直線や平面の式はすべて

「内積」＝ 定数

という式にまとめられます。

つまり・・・「内積」の上級バージョンを使うと、直線や平面の式をどんな座標系でもあらわせるようになるのです。

Tweet ☜この記事をシェアする

注１：この記事は、基底のサイズが常に「１」である場合を考えています。しかし、もちろん、基底のサイズは常に「１」である必要はありません。

たとえば、基底のサイズが「√2」の直交座標では、その座標の計量テンソルは、

2	0
0	2

とあらわされます。これに座標軸の偏位が加わり、たとえば、x軸が＋３０度、y軸が－３０度偏位した場合は（基底のサイズは「√2」とする）、その座標の計量テンソルは、

2	√3
√3	2

とあらわされます（いわゆるローレンツ変換をうけたような座標です・・・）。

あるいは、極座標という座標系では

1	0
0	r2

みたいな計量テンソルになります（極座標について少し知りたい人は ⇒ こちら）。

Tweet ☜この記事をシェアする

注２：たとえば、以下のような極座標基底を考えてみましょう。

この基底がある場所は（r，θ）=（2，π/6）ですから、この場所の計量テンソルは、

1	0
0	4

と計算できます（極座標の計量テンソルについては別途、学習してください）。

この極座標基底をつかって下図のようなベクトルのサイズを計ってみましょう。

計測してみるとベクトルの成分は（4.964，0.299）でした。

すると、このベクトルのサイズはいくつでしょうか？

この記事を読まれた方には簡単ですよね。

ふつうの三平方の定理ではダメ、三平方の定理「上級バージョン」を使います。

結果、このベクトルのサイズは「５」であることがわかります。

ちなみに、このベクトルに正規直交座標をあててみればなんのことはないベクトル（４，３）です。

正規直交座標であれば、ふつうの三平方の定理を使ってベクトルの大きさが「５」であることを計算できます。

しかし、それが極座標で表示されていると、一見、わかりにくいですよね。

それでも、計量テンソルを用いればサイズを計算できる、という話です。

極座標に限りません。

この記事を読まれたみなさんは、どんな座標でも、ベクトルの成分からベクトルの大きさを計算することができるのです。

Tweet ☜この記事をシェアする

注３：斜交座標をあらわす計量テンソルにベクトルを作用させる（掛け合わせる）と、ベクトルの成分表示は変化してしまいます（変化したようにみえます）。しかし、それはベクトル表示の形式が（反変表示から共変表示に、あるいは共変表示が反変表示に）変わっただけであり、ベクトルそのものが変わったわけではありません。

共変ベクトル・反変ベクトルについては → こちら

Tweet ☜この記事をシェアする

注４：計量テンソルを挟み込む「内積の上級バージョン」は、一方のベクトル表示を反変表示 ⇒ 共変表示に変換（あるいは共変表示 ⇒ 反変表示に変換）してしまいます。その結果、高校数学で教わったふつうの（ベクトルの成分同士を掛け合わせ合算する）内積と同じになります。

Tweet ☜この記事をシェアする