スカラー,ベクトル,二階のテンソル等々,テンソルを変数として含む テンソル方程式 を考えます.
いま,何らかの座標変換を考えると,一般にベクトルやテンソルの成分は座標系によりますから, は何か異なる方程式 になってしまうはずです.式中,ダッシュのついたテンソルは,新しい座標系における表現だとします.このとき,変数の値だけでなく,一般には式形まで変わってしまってもおかしくありません( ).
もしも座標変換にも関わらず式形が変わらず,新しい座標系においても変数以外は同じように書けるとき,この方程式は 座標変換に対して不変だ と言われます.
急に物理の話になりますが,物理学では座標系を区別しません.つまり,ある座標系 でなりたつ物理法則は,違う座標系 においても成り立つと考えます.ニュートン力学の枠組みでは,これを 慣性系は区別しない という言い方をします.もちろん,例えば動いている座標系からは運動の速度が違って見えるように,座標系によって観測される値は変わります.しかし,物理法則の式形そのものが変わるということは無いというのが前提となっています.つまり,ある座標系では力 ,質量 ,加速度 の間に の関係があるのに,違う座標系では になったり, になったりすることは無い,ということが物理学の前提になっています.
[*] | ただし,空間が一様であることや,右と左に本質的な違いは無いことなど,幾つか式形を保つための前提は明示的に必要です.本当に空間は一様なのか,右と左は同じなのか,というような問いは難しいですね. |
例としてニュートンの運動方程式を考えてみます.式 が基本となる式形(いま私達が立っている座標系でなりたつ式)だとします.
これを違う座標系で記述したいので,適当な二次のテンソルを両辺に乗じます.また,微分の中に定数が入っていても結果は変わらないので, を加えることも出来ます.この項を加える意味は,物理的には座標系の平行移動(等速運動している慣性系への変換)です.
ここで , と置けば次式がなりたちます.
式 は式 と全く同じ形をしていますから,ニュートンの運動方程式はどちらの座標系でも成り立っているということです.しかし, と , と は,値としてはそれぞれ異なります.具体的には,この違いは遠心力やコリオリ力などの見かけの力となって感じられるものです.
数学的に一般的に言えば,テンソルを座標変換すればテンソル方程式の形は式 と のように変わってしまう可能性もあるわけですが,物理学に出てくるテンソル方程式は座標変換によらないよう定式化されています.逆に,このように定式化できる法則だけを物理法則と呼んでいます.
[†] | 相対性理論ではミンコフスキー空間という,時間と三次元空間を一緒にした空間で,ローレンツ変換という座標変換を考えます.ちょっと変わった座標変換ですが,座標変換には違いありません. |
[‡] | 古典力学の枠組みでは,温度,質量,長さなどはスカラーです.位置,速度,加速度,力,モーメント,変位などはベクトルで,慣性モーメント,応力などが二次のテンソルになります.このあたりまでで主要な物理量はほぼ全てカバーしているように思えます.実際, 世紀初頭までは多くの物理学者がテンソル理論だけで全ての物理量を説明できると考えていました.ところが,量子力学が発展するにつれてテンソルでは間に合わなくなってきました.量子力学ではスピンという概念によって粒子を分類しますが,スピン の粒子( 中間子, 粒子等)はスカラーに,スピン の粒子(重陽子など)はベクトルに対応します.重力子は二階のテンソルに対応するそうです.ところが,電子,陽子,中性子など,私たちにもっとも馴染みのある粒子のスピンは で,スカラーともベクトルとも言い難い量なのです.そういった事情で,物理学を全てテンソル理論で構築するという夢は砕かれましたが,その代わりにスピンというさらに面白そうな概念が出てきたわけです.量子力学は奥が深いですね.スピン理論に興味のある人は,スピノール,素粒子などをキーワードに勉強してみて下さい. |