テンソル場のソースを表示

[[数学]]、[[物理学]]および[[工学]]における'''テンソル場'''（テンソルば、{{lang-en-short|'''tensor field'''}}）は、数学的な空間（典型的には[[ユークリッド空間]]や[[多様体]]）の各点に[[テンソル]]を割り当てるものである。テンソル場は[[微分幾何学]]、[[代数幾何学]]、[[一般相対論]]において用いられ、物質の[[応力]]および[[ひずみテンソル|歪み]]の解析やその他物理科学および工学における様々な応用に供される。テンソルが[[スカラー (物理学)|スカラー]]（長さのような値を表す数値）や[[空間ベクトル|ベクトル]]（空間内の幾何学的な矢印）の一般化であるのと同様に、テンソル場は[[スカラー場]]および[[ベクトル場]]（それぞれ空間の各点にスカラーおよびベクトルを割り当てる）の一般化になっている。

一口に「テンソル」と呼ばれている概念でも、実際の数学的構造は「テンソル場」であるという場合も多い。例えば[[リーマン曲率テンソル]]など。

== 幾何学的導入 ==
直観的には、ベクトル場は領域の各点に（変化する長さや方向を持つ）「矢印」を張りつけることによってもっともよく視覚化することができる。まがった空間上のベクトル場の一つの例として、地上の各地点における水平方向の風速を示した天気図がある。

テンソル場の一般概念は、もっと豊かな幾何（例えば[[計量テンソル]]の場合において、点から点へ変化する[[楕円体]]）の要求にこの概念を結び付けるとき、地表をマッピングする特定の方法に依存する先の方法のようにはならないようにする。つまり、その値は数値的な座標系を導入するために用いる経緯度の測り方、あるいは何か特定の「地図投影」に独立に存在しているものでなければならない。

== ベクトル束としての説明 ==
テンソル場の概念の現代数学的な表示は二段階の概念に分けることができる。

「（[[多様体]] {{mvar|M}} に値を取る）パラメータに依存する[[ベクトル空間]]」の自然な概念として、[[ベクトル束]]の概念がある。例えば、「一つの角に依存する一次元ベクトル空間」というのは[[メビウスの帯]]や[[円柱 (数学)|円柱]]のようなものになる。多様体 {{mvar|M}} 上のベクトル束 {{mvar|V}} が与えられたとき、対応する場の概念はベクトル束の'''切断'''（{{lang-en-short|''section''}}）と呼ばれる。これは {{mvar|m}} が {{mvar|M}} 上を動くとき、{{mvar|m}} におけるベクトル空間上のベクトル {{math|''v<sub>m</sub>'' &isin; ''V<sub>m</sub>''}} を一つずつ選ぶものである。

[[テンソル積]]の概念は基底の選び方に依らないから、{{mvar|M}} 上の二つのベクトル束のテンソル積を取ることは各点におけるテンソル積の単純な繰り返しである。[[接束]]（[[接空間]]全体の成す束）から始めて、{{仮リンク|テンソルの成分に依らない扱い|en|component-free treatment of tensors}}で用いた論法を全体に繰り返し適用すればよい。これはまた導入において述べたとおり座標系に依存しない。

これによって、つまり[[テンソル束]]の[[断面 (位相幾何学)|切断]]として、'''テンソル場'''の定義を与えることができる。（テンソル束ではないようなベクトル束は存在する。例えばメビウスの帯）。この方法は全てを内在的な方法で行うことができるから、従ってこれは幾何学的な内容を保証するものになっている。より正確に言えば、テンソル場は多様体の各点に対して空間
: <math>V \otimes \cdots \otimes V \otimes V^* \otimes  \cdots  \otimes V^*</math>
のテンソルを割り当てる。ここで {{mvar|V}} はその点における[[接空間]]であり、{{math|''V''{{sup|&lowast;}}}} は[[余接空間]]である。[[接束]]および[[余接束]]も参照。

二つのテンソル束 {{math|''E'' → ''M''}} および {{math|''F'' → ''M''}} に対して、{{mvar|E}} の切断の空間から {{mvar|F}} の切断の空間への写像 {{math|''A'': Γ(''E'') → Γ(''F'')}} がそれ自体 {{math|''E''{{sup|&lowast;}} &otimes; ''F''}} のテンソル切断と見做せるための必要十分条件は、各引数に関して {{math|''A''(''fs'',&hellip;) {{=}} ''fA''(''s'', &hellip;)}} が成り立つことである。ただし、{{mvar|f}} は {{mvar|M}} 上の滑らかな函数である。つまり、テンソルは切断全体の成すベクトル空間上の線型写像であるだけではなく、切断全体の成す加群上の {{math|''C''<sup>∞</sup>(''M'')}}-線型写像にもなっていなければならない。この性質は例えば[[リー微分]]や[[共変微分]]はテンソルでないことや、[[捩率テンソル]]や[[アフィン接続|曲率テンソル]]が作り方からテンソルとなることなどの確認に利用できる。

== 記法について ==
テンソル場の記法はテンソル空間の記法と似ていて紛らわしいことがある。つまり、接束 {{math|''TM'' {{=}} ''T''(''M'')}} は多様体 {{mvar|M}} 上の {{math|(1,0)}}-テンソル場（即ちベクトル場）全体の成す像空間であることを強調するために
:<math>T_0^1(M)=T(M) =TM</math>
と書かれることもある。これをテンソル空間の場合の非常によく似た記法
:<math>T_0^1(V)</math>
と混同しないようにしたい。後者はテンソル空間が一つしかないが、前者では多様体 {{mvar|M}} の各点に対してテンソル空間が定義される。

{{mvar|M}} 上の[[滑らかな函数|無限回微分可能]]テンソル場全体の成す集合を表すのに筆記体の T を使って書くことがあるが、
: <math>\mathcal{T}^m_n(M)</math>
を {{mvar|M}} 上の無限回微分可能 {{math|(''m'',''n'')}}-テンソル束の切断全体の成す空間とすれば、テンソル場はこの集合の一つの元である。

== {{math|''C''<sup>∞</sup>(''M'')}}-加群としての説明 ==
より抽象的（でしばしば有用）な {{mvar|M}} 上のテンソル場を特徴づける別な方法では、実際にテンソル場を純然たるテンソル（つまり、一つの多重線型写像）とすることができるが、型は異なるものとなる（これは実際にはテンソル場なのに「テンソル」と言ってしまうことが多いことの（通常はそういう理由で言うのではないけれども）理由でもある）。初めに {{mvar|M}} 上の滑らかな ({{math|''C''{{sup|&infin;}}}}-級) ベクトル場全体の成す集合 <math>\mathcal{T}(M)</math> を一つの空間として捉え、滑らかな函数全体の成す[[環 (数学)|環]] ''C''<sup>∞</sup>(''M'') の点ごとのスカラー倍を入れて、[[環上の加群|加群]]とする。多重線型性やテンソル積の概念は任意の可換上の加群の場合にも容易に拡張することができる。

動機となる例として、滑らかな余ベクトル場（[[微分形式|1-形式]]）全体の成す空間 <math>\mathcal{T}^*(M)</math> を考えると、これも滑らかな函数全体の成す環上の加群である。点ごとに評価することにより、余ベクトル場は滑らかなベクトル場に作用して滑らかな函数を導く。つまり、余ベクトル場 {{mvar|ω}} とベクトル場 {{mvar|X}} に対して、
: <math>(\omega(X))(p) = \omega(p)(X(p))</math>
と定義する。点ごとの性質で全てが含決まるから、{{mvar|ω}} の {{mvar|X}} への作用は {{math|''C''<sup>∞</sup>(''M'')}}-線型、つまり、

: <math>(\omega(fX))(p) = f(p) \omega(p)(X(p)) = (f\omega)(p)(X(p))</math>

が任意の {{math|''p'' &isin; ''M''}} および滑らかな函数 {{mvar|f}} に対して成立する。したがって、余ベクトル場を余接束の切断と見るだけでなく、ベクトル場を函数へ写す線型写像としても見ることができる。二重双対空間の構成により、ベクトル場も同じく余ベクトル場を函数に写す写像と見做せる（つまり、余ベクトル場から始めて自然に同じ論法を適用して進めていくことができる）。

{{mvar|M}} 上の通常の一つのテンソル（場ではなく）をベクトルおよび余ベクトル上の多重線型写像として構成するのと完全に平行して、{{mvar|M}} 上の一般の {{math|(''k'',''l'')}}-テンソル場を <math>\mathcal{T}(M)</math> の {{mvar|l}} 個のコピーと <math>\mathcal{T}^*(M)</math> の {{mvar|k}} 個のコピー上で定義され、{{math|''C''<sup>∞</sup>(''M'')}} に値を取る {{math|''C''<sup>∞</sup>(''M'')}}-線型写像と見做すことができる。

いま、<math>\mathcal{T}(M)</math> の {{mvar|l}} 個のコピーと <math>\mathcal{T}^*(M)</math> の {{mvar|k}} 個のコピーから {{math|''C''<sup>∞</sup>(''M'')}} への勝手な写像 {{mvar|T}} が与えられれば、これが {{mvar|M}} 上のテンソル場となるための必要十分条件は、それが {{math|''C''<sup>∞</sup>(''M'')}} 上多重線型となることである。従って、この種の多重線型性が暗に含む意味は、本当に点ごとに定義された対象（つまりテンソル場）を扱っているのであって、（たとえ一点における値を評価するときでも）ベクトル場と 1-形式の値すべてに同時に依存しているという函数としての扱いとは対照的であるという事実なのである。

この一般規則のよくある応用例は、[[レヴィ・チヴィタ接続]]で、これはベクトル場の対をベクトル場に写す滑らかなベクトル場の写像 <math>(X,Y) \mapsto \nabla_{X} Y</math> であり、これは {{mvar|M}} 上のテンソル場として定義されてはいない。これは {{mvar|Y}} に関して {{math|'''R'''}}-線型にしかならない（完全な {{math|''C''<sup>∞</sup>(''M'')}}-線型性を満たす代わりに、「ライプニッツ則」 <math>\nabla_{X}(fY) = (Xf) Y +f \nabla_X Y</math>) を満たす）。そうは言っても、これがテンソル場でないことを差し引いても、これが成分に依らない幾何学的な対象として十分な価値のあるものである点は論を待たない。

== 応用 ==
曲率テンソルは微分幾何学において扱われ、[[応力エネルギーテンソル]]は物理学および工学において重要である。これらはともにアインシュタインの[[一般相対論]]に関係がある。工学においては、考える多様体は三次元[[ユークリッド空間]]であることが殆どである。

多様体上の積分を定義するのに用いられる[[微分形式]]がテンソル場の一種であるということも重要である。

== テンソル解析 ==
[[理論物理学]]および周辺分野において、テンソル場の言葉で記述された[[微分方程式]]は、（テンソルの性質によって記述される）自然の幾何学的な、そして[[微分法|微分学]]に結び付けられる規約的な関係性の両方を表す、非常に一般な方法を与える。そのような方程式の定式化には新たな概念として[[共変微分]]を考える必要があった。これにより、[[ベクトル場]]に「沿った」テンソル場の変分を定式化することができるようになる。この'''絶対微分学'''（のちに'''テンソル解析'''と呼ばれるようになる）に端を発する概念は、[[接続 (微分幾何)|接続]]の幾何学的概念を単離することとなる。

== 線束によるひねり ==
テンソル場の概念の拡張として、{{mvar|M}} 上の余分な[[線束]] {{mvar|L}} を併せることを考える。{{mvar|W}} が {{mvar|V}} に {{mvar|L}} を掛けたテンソル積束とすれば、{{mvar|W}} は {{mvar|V}} とちょうど同じ次元を持つベクトル空間の束である。これにより、テンソル場の「ひねられた」型としてのテンソル密度の概念を考えることができるようになる。'''テンソル密度'''は、{{mvar|L}} が「多様体の密度」の束（つまり、余接束の[[行列式束]]）である特別の場合である（より厳密を期すならば、推移写像はさらに[[絶対値]]をとる必要がある。これは[[向き付け可能多様体]]では小さな違いを生じる）。より旧来的な説明については{{仮リンク|テンソル密度|en|tensor density}}の項を参照。

密度束 {{mvar|L}} の特徴の一つは（やはり向き付け可能性を仮定して）実数値をとる {{mvar|s}} に対して {{math|''L''<sup>''s''</sup>}} が[[well-defined|定義可能]]なことである（これは推移写像が真に正なる実数値を取ることからくる）。これが意味するところは、例えば {{math|''s'' {{=}} ½}} の場合として、「半密度」を取ることができるということである。一般に、{{mvar|W}} の切断として {{mvar|V}} と {{math|''L''<sup>''s''</sup>}} とのテンソル積を取ることができて、これを重み {{mvar|s}} の'''テンソル密度場'''と見做すことができる。

半密度は多様体上の[[積分作用素]]や{{仮リンク|幾何学的量子化|en|geometric quantization}}を定義するような分野で応用がある。

== 平坦の場合 ==
{{mvar|M}} が[[ユークリッド空間]]で場が全て {{mvar|M}} のベクトルによる任意の[[平行移動]]で不変なように取れるならば、テンソル場は「原点を通る」テンソルの同義語であるという状況に立ち返ることができる。これはさほどの問題もなく、しばしば応用の場面で用いられる。テンソル密度については差が生じる。密度束は「ある点における」というのをきちんと定義できないのである。それゆえにテンソルの現代数学的な取扱いの制約として、テンソル密度は迂遠なやり方で定義をしなければならない。

== コサイクルと連鎖律 ==
テンソルの概念のより進んだ説明として、多変数の場合の[[連鎖律]]を座標変換に適用するものとして解釈することができて、またテンソルについての自己一貫した要求としてテンソル場が生じてくる。

抽象的に、連鎖律は{{仮リンク|双対鎖|en|Cochain (algebraic topology)<!-- リダイレクト先の「[[:en:Cohomology]]」は、[[:ja:コホモロジー]] とリンク -->|label=1-コサイクル}}と同一視される。これは内在的な方法で接束を定義するための一貫した要求を与える。テンソルからなる別のベクトル束は、連鎖律そのものに対するテンソル構成の[[函手|函手性]]を適用することにより、比較可能なコサイクルを持つ。このことはこれらが内在的（いわば「自然」）な概念であるかということの理由でもある。

テンソルに対する「古典的」なやり方に従った普通のいい方だとこれは話を逆に進めていることになって、だから本当に基本的な考え方というよりは、経験論的な、因果の誤ったやり方ということになる。座標変換の下でどのように変換するかということによるテンソルの定義にはコサイクル表示の自己一貫性の一種が陰伏的に含まれる。テンソル密度の構成はコサイクルのレベルで「ひねる」ことになる。幾何学者はテンソル「量」の「幾何学的」特性に何の疑いも持たない（この種の天下りな論法は総論を抽象的に正当化する）。

== 関連項目 ==
* {{仮リンク|リッチ計算法|en|Ricci calculus}}{{refn|group="注"|{{cite journal|和書|author=矢野健太郎 |year=1971 |url=https://doi.org/10.11429/sugaku1947.23.101 |title=幾何学部門報告 |journal=数学 |ISSN=0039470X |publisher=日本数学会 |volume=23 |issue=2 |pages=101-106 |doi=10.11429/sugaku1947.23.101}}に「リッチ計算法」と書かれているためこの訳を採用}}
* {{仮リンク|ジェット束|en|Jet bundle}}
* [[スピノル場]]

== 注釈 ==
{{reflist|group="注"}}

== 参考文献 ==
* The Geometry of Physics (3rd edition), T. Frankel, Cambridge University Press, 2012, ISBN 978-1107-602601
* McGraw Hill Encyclopaedia of Physics (2nd Edition), C.B. Parker, 1994, ISBN 0-07-051400-3
* Encyclopaedia of Physics (2nd Edition), R.G. Lerner, G.L. Trigg, VHC publishers, 1991, ISBN (Verlagsgesellschaft) 3-527-26954-1, ISBN (VHC Inc.) 0-89573-752-3
* Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0
* Relativity DeMystified, D. McMahon, Mc Graw Hill (USA), 2006, ISBN 0-07-145545-0
* Relativity, Gravitation, and Cosmology, R.J.A. Lambourne, Open University, Cambridge University Press, 2010, ISBN 9-780521-131384

{{tensors}}

{{DEFAULTSORT:てんそるは}}
[[Category:多重線型代数]]
[[Category:微分幾何学]]
[[Category:微分位相幾何学]]
[[Category:テンソル]]
[[Category:数学に関する記事]]