テンソルのソースを表示

{{出典の明記|date=2011年8月}}
'''テンソル'''（[[ドイツ語|独]],[[英語|英]]: Tensor）とは、[[線形]]的な[[量]]または線形的な[[幾何]]概念を一般化したもので、[[基底]]を選べば、[[多次元]]の配列として表現できるようなものである。しかし、テンソル自身は、特定の表示系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の[[添字]]の組の数は、そのテンソルの[[階数]]とよばれる。

例えば、[[質量]]や[[温度]]などの[[スカラー量]]は階数0のテンソルだと理解される。同様にして[[力]]や[[運動量]]などの[[ベクトル]]的な量は階数1のテンソルであり、力や[[加速度]]ベクトルの間の異方的な関係などをあらわす線型変換は階数2のテンソルで表される。

物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「[[テンソル場]]」であることに注意しなければならない。いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。

この記事ではテンソルの考え方について、あまり技術的すぎない紹介<!-- と、テンソルの理論に関する異なった／補足的な取り扱いをしているほかのより詳しい記事への導入 not present in jp edition : For a formal, axiomatic definition of ''tensor'', see the entry entitled [[tensor (intrinsic definition)]]. The entry [[Classical treatment of tensors]] gives an older, less formal definition.  The entry [[intermediate treatment of tensors]] attempts to bridge the two extremes and to show their relationships. -->をする。

== テンソルの応用と重要性 ==
テンソルは、[[物理学]]や[[工学]]において重要な位置を占めている。例えば、[[拡散テンソル画像]]では、さまざまな方向への[[臓器]]の水に対する微分透過率<!-- ??? differential permeability of organs to water -->を表すテンソル量を用いて、脳の走査像が構成される。おそらく工学でテンソルが最も活用されているのは[[応力]]テンソルと[[ひずみ]]テンソルだろう。これらは2階のテンソルで、4階のテンソルである[[弾性]]テンソルによって一般の線型的な素材に関連づけられている。

とくに3次元の物体中の応力を表す2階のテンソルは3次の[[正方行列]]によって成分を表示することができる。物体の中の立方体状の無限小体積要素について3方向の面それぞれ（向かい合う面どうしは十分近いので同一視される）に一定の力がかかっていて、力は3つの方向の要素を持っている。したがって3×3、つまり9個の成分によってこの立方体状無限小体積要素（最終的には点と見なされる）における応力が記述される。物体の境界内にはこの応力が（場所によって異なった値をとりながら）分布しており2階のテンソル（場）が考えられることになる。

テンソルは多次元の配列によって成分表示できるのは確かだが、テンソルの理論を構築することの意義はここの量がテンソルであるということによって具体的に添字づけられた成分を指定しないでも何が導かれるのかを説明することである。とくに[[座標変換]]によってテンソル（場）は決まったふるまいを見せる。

d次元空間に二種類の座標系 <math>(x_i)_i, (x'_i)_i</math> が与えられていて、それら間の関係が直交行列 <math>A=(a_{ij})</math> をもちいて
: <math> 
x'_i = \sum_{j=1}^{d} a_{i j} x_j 
</math>
と表されるとする。このとき2階の共変テンソルTが <math>(x_i)_i</math> 座標系では <math>(t_{ij})_{ij}</math> と表示され、 <math>(x'_i)_i</math> 座標系では <math>(t'_{ij})_{ij}</math> と表示されているとすれば、これらの間に変換則
: <math>
t'_{pq} = \sum_{k,l=1}^{d} a_{p k} a_{q l} t_{kl} 
</math>
が成立している。

抽象的なテンソルの理論は今では[[多重線型代数]]と呼ばれる線型代数の一分野になっている。

== 歴史 ==
テンソルという言葉は、[[1846年]]に[[ウィリアム・ローワン・ハミルトン]]によって特定の種類の代数系(やがて[[クリフォード代数]]として知られるようになる)における[[ノルム]]操作を記述するために導入された。現在の意味で使われるようになったのは1899年の[[ヴォルデマール・フォークト]]からである。テンソルの記法は1890年ごろにグレゴリオ・リッチ＝カルバストロによって絶対微分という名の下に発展させられ、[[トゥーリオ・レヴィ＝チヴィタ]]による1900年の古典的な同名の著作によって多くの数学者たちに知られるようになった。

20世紀に入ってからはこの分野はテンソル解析として知られるようになり、1915年頃の[[アルベルト・アインシュタイン]]による[[一般相対性理論]]の導入によって広く知られるようになった。一般相対性理論は完全にテンソルの言葉を用いて定式化される。アインシュタインは苦労の末に[[マルセル・グロスマン]]から<ref>[[Abraham Pais]], ''Subtle is the Lord: The Science and the Life of Albert Einstein'' </ref> （あるいはレヴィ＝チビタ自身から） テンソルの理論を学んだとされている。テンソルは[[連続体力学]]など他の分野でも使われている。

== いくつかのアプローチ ==
テンソルの定義・表示と取り扱いには、いくつかの同等な方法がある。実際にそれらが同じことを指していることを納得するには、多少の慣れが必要である。

古典的な方法ではテンソルは多次元の配列で、階数0の[[スカラー]]や階数1の[[ベクトル]]、階数2の行列などの階数nへの一般化を与えているものと見なされる。テンソルの「成分」は配列の要素の値によって与えられることになる。この考えはテンソル場として一般化され、テンソルの成分として関数やその[[微分]]が取り扱われるようになる。

テンソルとよばれるためには配列は基準にしている座標系がかわるときには一定の変換を受けなければならない。この変換はベクトルの要素に対する関係を一般化したものであり、ベクトルの場合と同様にして表している量が本質的には表示のための座標系の選択によらないものであることを示している。

物理学における通常のテンソルの定義の仕方は、特定の規則に従って成分が変換されるような対象という言い方を用いるもので、[[共変変換]]と[[反変変換]]の概念がもちいられる。

現代的な（成分を使わない）アプローチではテンソルはまず抽象的に[[多重線形性]]の概念にもとづく数学的対象として定義される。よく知られているような諸性質が[[線型写像]]としての（あるいはもっと一般的な部分についての）定義から導かれる。テンソルの操作規則は[[線形代数]]から[[多重線形代数]]への拡張の中で自然に現れる。

数学における普通のやり方では、ある種の[[ベクトル空間]]を用いて、必要なときに基底を考えるまでは特に座標系を指定しないようにされる。例えば共変ベクトルは一次微分形式として説明できるし、あるいは反変ベクトル空間の双対空間の元として説明することもできる。

現代流の成分によらないベクトルの概念によって、成分表示にもとづく伝統的な（しかし、初学者にベクトルの概念がどんなものかを教えるには有効な）取り扱いが置き換えられるように、この取り扱いは成分にもとづく取り扱いをより高度な考え方によって置き換えることを目的としている。「テンソルはテンソル空間の元のことなのだ」という標語を掲げることもできるだろうが、高階のテンソルに対して幾何的な解釈をどう与えるかという難しさもあって<!-- really? classical approach is no better at this, I suppose -->、成分表示によらないアプローチが支配的になったというわけではない。

物理学者や技術者たちはベクトルやテンソルが（勝手に選べてしまうような）座標系に左右されない概念としての重要性を認識した。同様に、数学者たちは座標表示することで簡単に導けるようなテンソルの関係があることを見いだしている。<!-- ?? there are some tensor relations which are more conveniently derived in a co-ordinate notation. -->

== 例 ==
[[ファイル:StressEnergyTensor-ja.png|right|thumb|300px|応力エネルギーテンソル]]

テンソルは添字の組に対して対応する成分の値を与えるような関数によって表されていると考えることができる。それぞれの添字について何通りの自由度があるかという数は次元とよばれることがある。例えば階数3で次元2、5、7のテンソルを考えることにすると、添字の組は<1, 1, 1> から <2, 5, 7>まで動き、70通りの添字の組があることになる。

テンソル場は多様体の各点にテンソルを与えたものである。従って次元が <2, 5, 7> のベクトル場を考えるときは、上の例のようにして単に70個の値を考える代わりに空間内のそれぞれの点が70個の値を付与されることになる。言い方を変えれば、問題にしている<!-- ??? Eucledian space ???-->空間を定義域としてテンソルに値を持つ関数を考えることになる。<!-- Not just any function is allowed here -- see [[tensor field]] for more coverage of these requirements.-->

線形でないような関係もあるが、たいていの関係は微分可能性を満たしており、局所的には多重線形写像を足しあわせたもので近似できる。従って物体の解析に際してたいていの量はテンソルとして表示すると取り扱いが便利になる。

簡単な例として、水の上の船を考えることにする。目標は力が与えられたときの船の反応を記述することである。力はベクトルで表され、船の反応は速度の変化（加速度）ベクトルとして現れる。船の形状による影響から一般には加速度の方向は力の方向とは異なったものになる。しかし、古典力学的には力と加速度の関係は一次変換で表されることがわかる。そのような関係は (1,1) 型のテンソルで説明される（つまり、このテンソルによってベクトルが別のベクトルに変換される）。テンソルは行列として表示することもでき、この行列をベクトルにかけることで線型変換が表現される。座標系の取り替えによってベクトルを表示する成分が変化するように、テンソルを表現する行列の成分も座標系の変換に応じて変化する。

工学では[[剛体]]や[[流体]]内の応力がテンソルによって説明される。実際のところ「テンソル」という言葉はラテン語の「延びる物」、つまり[[応力]]を発生するもの、という意味の言葉からきている。物体内の特定の面要素に特に注目して考えれば、面の一方の側にある物質が反対側に対して力をおよぼしていると考えられる。一般にはこの力は面に垂直な向きに働いてはおらず、面の向きに線形的に依存して決まるとしかいえない。したがってこれは(2,0)型のテンソル（正確に言えば、応力は位置によってかわるので、(2,0)型のテンソル場）によって記述される。

幾何におけるテンソルでは二次形式や曲率テンソルが有名である。物理学におけるテンソルには[[エネルギー・運動量テンソル]]<!-- energy-momentum tensor -->、[[慣性モーメント|慣性能率テンソル]]<!-- moment of inertia -->や極分解テンソル<!-- polarization tensor -->がある。

幾何学的な量や物理学的な量はその記述について内在的な自由度を考えることによって分類できる。[[圧力]]、[[質量]]、[[温度]]などのスカラー量はただ一つの数によって指定できる。力のようなベクトル量を表示するためには数のリストを用いる必要があるし、二次形式のような量は複数の添字系によって並べられる数の配列を用いて表示される。これらの量はテンソルとして考えなければとらえることができない。

実際のところテンソルの概念はとても一般的なものであり、上の例全てに当てはまっている。つまり、スカラーやベクトルはテンソルの特別なものと見なすことができる。スカラーをベクトルと区別し、これら二つをより一般のテンソルから区別しているのは、その要素の表現にもちいられる配列の添字の組の数である。この数はテンソルの階数（または位数）とよばれる。したがってスカラーは階数 0（添字は必要ない）のテンソルであり、ベクトルは階数 1 のテンソルだということになる。

テンソルの別の例は一般相対性理論における[[リーマン曲率テンソル]]であり、次元<4, 4, 4, 4>（空間3次元と時間1次元で合わせて4次元）の4階テンソルとして表現される。これは256（ = 4 &times; 4 &times; 4 &times; 4）の成分を持っているが、実際に独立な要素の数は20であり、表記を大きく単純化することができる<ref>{{Cite book|和書
|author = P.A.M.Dirac
|authorlink = ポール・ディラック
|translator = [[江沢洋]]
|title = 一般相対性理論
|origyear = 1975
|year = 2005
|publisher = [[筑摩書房]]
|series = [[ちくま学芸文庫]]
|isbn = 4-480-08950-0
|oclc = 
|page = 
|chapter = 11.曲率テンソル
}}</ref>。

== テンソル密度 ==
テンソル場が密度を持っている状況を考えることもできる。密度 ''r'' を持つテンソルは、座標変換に関して通常のテンソルのような振る舞いにさらに変換関数のヤコビアンの判別式の''r''乗がかけられる。この状況はベクトル束を考えることによって説明できる。接束の判別式束は直線束だが、これの''r''乗を他のベクトル束にテンソル積することでねじりを表現できる。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}
<!-- == 参考文献 == {{Cite book}}、{{Cite journal}} -->

== 関連項目 ==
<!-- {{Commonscat|Tensor}} -->
* [[:en:Abstract index notation|Abstract index notation]]
* [[アインシュタインの縮約記法]]
* [[計量テンソル]]
* {{仮リンク|ヴォイト記法|en|Voigt notation}}
* {{仮リンク|マンデル記法|en|Mandel notation}}
* [[ベクトルの共変性と反変性]]
* [[ベクトル束]]
* [[ベクトル場]]
* [[微分形式]]
* [[テンソル場]]
* [[テンソル積]]
* [[共変微分]]
<!-- * [[Application of tensor theory in engineering]]
* [[Application of tensor theory in physics]] -->
* [[曲率]]
* [[リーマン幾何学]]

<!-- == 外部リンク == {{Cite web}} -->

{{Math-stub}}

{{Template:Tensors}}

{{デフォルトソート:てんそる}}
[[Category:幾何学]]
[[Category:物理数学]]
[[Category:数学に関する記事]]