テンソルとは何か、なぜテンソルという概念が必要となるのか
今回は「テンソルとは何か、なぜテンソルという概念が必要となるのか」について考えたいと思います。
予備的考察
テンソルとは何かという問いについて、身近な例である回転運動を素材にして考えていきたいと思います。高校や大学で物理を学んだ方であれば角運動量や力のモーメント等の言葉をご存じかもしれませんが、ここではそれらの定義を天下りに与えることなく、経験的な事実を手掛かりに定式化していきます*1。
はじめに状況設定をしましょう。回転軸から作用点までの位置ベクトルを とし、作用点に力 が掛かっているとします。てこの原理を思い出すと、回転に関する影響力は作用点までの距離と作用点に掛かる力の双方に比例しています。従ってこの影響力を と表すとき、 は次の性質を満たすことが期待されます。
- ,
- ,
- .
上記の性質1において と の間で足し算が出来たり、性質3で を定数倍したりしていますが、これらの演算が出来ることを担保するために は線型空間の元であることを要請します。そして が属する線型空間が であるとき を と書くことにします。また上記の3つの条件を双線型性といい、双線型性を満たす直積集合 上の写像 を双線型写像と呼びます。
ところで は双線型写像であれば何でも構いません。また も線型空間であれば何でも構いません。つまり各 、 に対して考えうる は無数に存在します。これら無数に存在する の中から一つを選んで回転に関する影響力とする訳ですが、選ぶ指針が無いと何を選ぶかは人によってバラバラということになります。この様に選択に任意性*2がある状態は「現象に内在する属性を表現するものが物理量であり、それは現象のみから一意に定まるべきである」という原則的な立場からすれば定義として不十分であると言わざるを得ません。
そこで全ての を代表するような特別な量(それを としましょう)を探すことを考えます。 が全ての の代表となるためには、全ての に が共通する因子として含まれていなければなりません。これを数学的にどう表現するかですが、もし全ての が と線型写像 によって
のように分解することが出来るならば、 は全ての に共通する因子であると言って良いのではないでしょうか。そして最後に「そもそもそのような特別な は存在しているのか」という点についてですが、答えはもちろん「Yes」です。
テンソルの定義
これまでの議論を一般化して定理(および定義)としてまとめます。
定理 と を線型空間とする。このとき線型空間 と双線型写像 の組 で次の性質を満たすものが同型を除き唯一つ存在する。
を満たす線型写像 が唯一つ存在する。
このとき組 を と のテンソル積、 の元をテンソルと呼び、 を 、 を と書く。また上記の(性質)をテンソル積 の普遍性と呼ぶ。
証明については、代数学や少し進んだ線型代数学の書籍を探せばあるので、そちらをご参照下さい*3。
以上、素朴な動機から説き起こしてテンソルの定義まで辿り着くことが出来ました。そこで改めて色々な分野でテンソルが使われる理由について、上記の議論を振り返りつつ考えてみたいと思います。
物理学では、既知の物理量を複数組み合わせて新しい物理量を考えたいと思う場面は良くあります。そしてその新しい物理量は、既知の物理量の変化に対して線型で変化する、という状況も少なからずあります*4。こうした状況下で使われる手法がテンソル積であり、テンソル積を使って構成されたものがテンソルということになります。そしてその最大の特徴は、複数の物理量を組み合わせて新たな物理量を作る際に生じてしまう任意性を排除する仕組みが組み込まれているという点にあります。この仕組みがあることで、作り出した量を安心して物理量として取り扱うことができます。
こうした事情は数学、例えば幾何学においても全く同様です。現代的な微分幾何学の教科書を見ると、どの教科書も微分形式やテンソル場の話が必ず書いてあります。それは幾何学で取り扱う量は(物理学における物理量同様に)幾何学的実在に内在する属性を表現するものであり、それは幾何学的実在のみから(同型を除いて)一意に決まらなければならないものだからです*5。
以上、テンソルとは何か、なぜテンソルという概念が必要となるのかについて見てきました。本質的に重要なこのテーマに向き合っている資料が、書籍・ネットを問わず殆ど見当たらない*6ため記事にしてみました。この記事がテンソルの理解で困っている多くの人々の助けになることを願っています。
*1:角運動量や力のモーメントの定義をご存じの方に向けた注意です。通常、角運動量や力のモーメントは交代性を満たすベクトル積と呼ばれる演算を使って定義されますが、ここでは角運動量やモーメントそのものの定義を与えることが主眼ではないので交代性は考慮しません。なお3次元のベクトル積はテンソル積を交代化して得られるウェッジ積とホッジ作用素で書き表すことができます。
*2:人為性と言い換えてもいいかもしれません。
*3:ただし代数学の書籍では線型空間ではなく、それらを一般化した環上の加群で証明されているかもしれません。
*4:例えば先に挙げた力のモーメントはそうした例の一つです。
*5:学生時代、何冊か微分幾何学の教科書を読みましたが、何れの教科書も何の脈絡も無く唐突に微分形式やテンソル場の話をされることが多く、理由が分からないまま既成事実としてテンソルが使われているという状況にずっとモヤモヤしていました。
*6:過去、散々調べましたが自分には見つけることが出来ませんでした。結果、随分と長い期間、悶々とした時間を過ごす羽目になりました。