テンソルの縮約のソースを表示

{{出典の明記|date=2022年3月}}
[[多重線型代数学]]における'''テンソルの縮約'''（テンソルのしゅくやく、{{lang-en-short|''tensor contraction''}}）は、[[次元 (線型代数学)|有限次元]]の[[ベクトル空間]]とその[[双対空間]]の間の[[双対対|自然な内積]]から生じる、一つ以上のテンソルに対する演算である。座標を取って考えれば、一つの式に現れる各々の仮添字 (dummy index) の対に対して[[アインシュタインの和の規約|和の規約]]を適用することによって生じる、スカラー成分の積和として縮約は表される。特に一つの{{仮リンク|混合テンソル|en|mixed tensor}}の縮約は、そのテンソルに現れる見かけの添字の対（一方は上付き、他方は下付き）が同じ文字であるとき、それらに関して和をとることで生じる。[[アインシュタインの縮約記法]]とは、このような和を織り込み済みとする記法である。縮約を取って得られる[[テンソル]]は階数 (order) が {{math|2}} だけ減る
。

テンソルの縮約を[[跡 (線型代数学)|トレース]]の一般化として捉えることもできる。

== 抽象的な定式化 ==
[[可換体|体]] {{mvar|k}} 上のベクトル空間 {{mvar|V}} に対して、縮約の要となる最も単純な場合は、{{mvar|V}} とその双対 {{math|''V''{{msup|∗}}}} との[[自然変換|自然]]な[[双対対|内積]] (pairing) を考えることである。自然な内積は、{{math|''f'' &isin; ''V''{{msup|∗}}, ''v'' &isin; ''V''}} に対して {{math|&lang;''f'', ''v''&rang; {{=}} ''f''(''v'')}} と置いて得られる[[双線型写像]]に対応する、[[ベクトル空間のテンソル積|テンソル積]]からの[[線型写像]]
: <math> C\colon V^* \otimes V \to k </math>
として理解できる。この写像 {{mvar|C}} が {{math|''V''{{msup|∗}} &otimes; ''V''}} の元としての {{math|(1,1)}}-型テンソルに対する縮約演算を定義する。得られるのが {{mvar|k}} の元である[[スカラー (数学)|スカラー]]であることに注意せよ。{{math|''V''{{msup|∗}} &otimes; ''V''}} と {{mvar|V}} から {{mvar|V}} への線型写像全体の成す空間 {{math|''L''(''V'', ''V'')}} との間の自然な同型<ref group="*" name="natural iso">自然な写像 {{math|''V''{{msup|∗}} &otimes; ''V'' → ''L''(''V'', ''V'')}} は {{math|''f'' &otimes; ''v'' {{mapsto}} ''g'', (''g''(''w'') :{{=}} ''f''(''w'')''v'' (''w'' &isin; ''V''))}} によって定義される。{{mvar|V}} が有限次元と仮定するとき、{{math|{{mset|''v''{{ind|''i''}}}}}} を {{mvar|V}} の基底、その双対基底を {{math|{{mset|''f''{{msup|''i''}}}}}} とすれば、{{math|''f''{{msup|''i''}} &otimes; ''v''{{ind|''j''}}}} は、この基底に関して {{math|(''i'', ''j'')}}-成分のみが {{math|1}} で他はすべて {{math|0}} となるような行列の定める線型写像に写されるから、これにより上記の自然な写像が同型であることが分かる。</ref> を用いれば、[[跡 (線型代数学)|跡]]の基底を用いない定義が得られる。

一般に、{{math|''m'' &ge;1, ''n'' &ge; 1}} を整数として、[[テンソル空間|{{math|(''m'', ''n'')}}-型テンソル]]、すなわちベクトル空間
: <math>V \otimes \cdots \otimes V \otimes V^{*} \otimes \cdots \otimes V^{*}</math>
（{{mvar|V}} が {{mvar|m}} 個、{{math|''V''{{msup|∗}}}} が {{mvar|n}} 個）の元<ref name="fulton_harris">{{cite book |first=William |last=Fulton |authorlink=William Fulton (mathematician) |first2=Joe |last2=Harris |authorlink2=Joe Harris (mathematician) |title=Representation Theory: A First Course |series=[[Graduate Texts in Mathematics|GTM]] |volume=129 |publisher=Springer |location=New York |year=1991 |isbn=0-387-97495-4 |pages=471–476 }}</ref><ref name="warner">{{cite book |first=Frank |last=Warner |title=Foundations of Differentiable Manifolds and Lie Groups |series=[[Graduate Texts in Mathematics|GTM]] |volume=94 |publisher=Springer |location=New York |year=1993 |isbn=0-387-90894-3 |pages=54–56 }}</ref> に対して、{{mvar|V}} の部分の {{mvar|k}}-番目の因子と {{math|''V''{{msup|∗}}}} の部分の {{mvar|l}}-番目の因子に対して自然な内積を適用（し、ほかの因子には恒等写像を適用）することで {{math|(''k'', ''l'')}}-縮約演算が定義され、それは {{math|(''m'' &minus; 1, ''n'' &minus; 1)}}-型テンソルを返す線型写像となる<ref name="fulton_harris"/>。{{math|(1, 1)}}-型の場合からの流用で、この一般の縮約演算のことも跡と呼ぶことがある。

== 和の規約による略記 ==
[[抽象添字記法]]において、ベクトルと双対ベクトルとの基本縮約は
: <math> \tilde f (\vec v) = f_\gamma v^\gamma </math>
と書かれる。これは陽に書けば
: <math> f_\gamma v^\gamma = f_1 v^1 + f_2 v^2 + \cdots + f_n v^n </math>
と書かれる座標和<ref group="*" name="physics">物理学では添字は 1 からではなく 0 から始める。四次元の場合は添字は 0 から 3 までを走る。</ref> を略記したものである。ただし、各 {{mvar|v{{msup|i}}}} は特定の基底に関する {{mvar|v}} の成分であり、各 {{mvar|f{{ind|i}}}} は対応する双対基底に関する {{mvar|f}} の成分である。

一般の混合[[二項積|二項テンソル]]は {{math|''f'' &otimes; ''v''}} の形の分解可能テンソルの線型結合であるから、二項テンソルの場合の明示式は以下のように計算できる。混合二項テンソルを
: <math> \mathbf{T} = T^i{}_j \mathbf{e}_i \mathbf{e}^j </math>
と書けば、その縮約は
: <math> T^i {}_j \mathbf{e}_i \cdot \mathbf{e}^j = T^i {}_j \delta_i {}^j
= T^j {}_j (= T^1 {}_1 + \cdots + T^n {}_n)</math>
で与えられる。一般の縮約は、同じ文字でラベル付けされた[[共変添字]]と[[反変添字]]の対として表される（和の規約により、そのような添字に関して和が取られる）。縮約によって得られるテンソルはもともとのテンソルの添字を継承する。例えば、{{math|(2, 2)}}-型テンソル {{mvar|T}} の二番目と三番目の添字に関する縮約は、
: <math> T^{ab} {}_{bc} = \sum_{b}{T^{ab}{}_{bc}} = T^{a1} {}_{1c} + T^{a2} {}_{2c} + \cdots + T^{an} {}_{nc} = U^a {}_c</math>
として表される {{math|(1, 1)}}-型テンソル {{mvar|U}} を新たに作り出す。これと対照に、非混合二項テンソル
: <math> \mathbf{T} = \mathbf{e}^i \mathbf{e}^j </math>
は縮約できない。これらの基底ベクトルを点乗積すれば、得られるのは二階のテンソルである反変[[計量テンソル]]
: <math> g^{ij} = \mathbf{e}^i \cdot \mathbf{e}^j </math>
である。

== 計量テンソルの縮約 ==
先の例に見るように、添字の対がともに反変あるいはともに共変であるときには、一般に縮約はできない。しかし、[[内積]]（あるいは[[計量テンソル|計量]]）{{mvar|g}} が介在する場合にはそのような場合でも縮約ができる。つまり、必要に応じて計量を用いて添字の上げ下げをしてから通常の縮約を行うのである。この複合的な演算は[[計量縮約]] (''metric contraction'') と呼ばれる<ref name="o'neill">{{cite book |first=Barrett |last=O'Neill |title=Semi-Riemannian Geometry with Applications to Relativity |location= |publisher=Academic Press |year=1983 |page=86 |isbn=0-12-526740-1 }}</ref>。

== テンソル場の縮約 ==
縮約はしばしば（[[ユークリッド空間]]、[[多様体]]や[[概型]]など{{fact|date=April 2015}}のような）空間上で定義された[[テンソル場]]に対しても適用される。縮約は純代数的な演算であるから、テンソル場には点ごとに行うことができる。例えばユークリッド空間上の {{math|(1, 1)}}-型テンソル場 {{mvar|T}} に対して、その縮約 {{mvar|U}}（これはスカラー場になる）は各点 {{mvar|x}} において
: <math>U(x) = \sum_{i} T^{i}_{i}(x)</math>
で与えられる。ここでの {{mvar|x}} の役割は単純であるからしばしば省略され、その場合テンソル場は純代数的なテンソルと同じ形に書かれることになる。

[[リーマン多様体]]上で定義される場合、内積の定める場としての計量テンソル場が使えるから、計量縮約と非計量縮約の両方が理論にとって肝要である。例えば[[リッチテンソル]]は[[リーマン曲率テンソル]]の非計量縮約であり、[[スカラー曲率]]はリッチテンソルに関する唯一の計量縮約である。

テンソル場の縮約を、多様体上の[[環 (数学)|函数の成す適当な環]]上の[[環上の加群|加群]]の文脈から捉えることもできる<ref name="o'neill"/> し、構造層上の加群の層の文脈で捉えることもできる<ref name="hartshorne">{{cite book |first=Robin |last=Hartshorne |authorlink=Robin Hartshorne |title=Algebraic Geometry |location=New York |publisher=Springer |year=1977 |isbn=0-387-90244-9 }}</ref>（後述）。

=== テンソルの発散 ===
テンソル場の縮約の応用として、[[リーマン多様体]]（例えば[[ユークリッド空間]]）上の[[ベクトル場]] {{mvar|V}} に対して、その適当な座標に関する[[レヴィ・チヴィタ接続|共変微分]] {{math|''V''{{msup|α}}{{ind|;β}}}} を考える。ユークリッド空間における[[直交座標系|デカルト座標系]]の場合には、これは
: <math> V^\alpha {}_{;\beta} = {\partial V^\alpha \over \partial x^\beta}</math>
と書ける。添字 {{mvar|β}} を {{mvar|α}} に変えれば、これら添字の対が互いに結び付けられるから、この共変微分はそれ自身縮約されて、
: <math> V^\alpha {}_{;\alpha} = V^0 {}_{;0} + \cdots + V^n {}_{;n} </math>
なる和が得られるが、これは[[発散 (ベクトル解析)|発散]] {{math|div&thinsp;''V''}} であるから、
: <math> \operatorname{div} V = V^\alpha {}_{;\alpha} = 0 </math>
は {{mvar|V}} に対する[[連続の方程式]]である。

一般に、高階[[テンソル場]]の上に複数の発散演算を定義することができる。すなわち、{{mvar|T}} は少なくとも一つの反変添字を持つテンソル場として、その選択した反変添字と {{mvar|T}} を[[共変微分]]して得られる階数の {{math|1}} 低いテンソル場における対応する共変添字との縮約を行えばよい<ref name="o'neill"/>。

== テンソル対の縮約 ==
（ベクトルと双対ベクトルに対する）基本の縮約演算をもう少し違ったやり方でテンソルの対に対して一般化することができる。テンソルの対 {{mvar|T, U}} に対してそれらのテンソル積 {{mvar|T &otimes; U}} はテンソルになるから、これが共変添字と反変添字をそれぞれ少なくとも一つ持てば縮約を行える。{{mvar|T}} がベクトルで {{mvar|U}} が双対ベクトルであるときには上で述べた基本の縮約にちょうど一致する。

抽象添字記法において、二つのテンソルの縮約は同じ項の因子として両者を併置 (juxtaposed) することで表される。これはテンソル積を複合テンソルを得るものとして実現するものである。この複合テンソルにおける二つの添字の縮約は、二つのテンソルの縮約を期待通りに実現する。

例えば、行列は第一添字に関して反変、第二添字に関して共変な {{math|(1, 1)}}-型テンソルとして表現することができる。一つの行列の成分が {{math|Λ{{msup|α}}{{ind|β}}}} でもう一つの行列の成分が {{math|Μ{{msup|β}}{{ind|γ}}}} とすれば、それらの積は縮約
: <math> \Lambda^\alpha {}_\beta \Mu^\beta {}_\gamma = \Nu^\alpha {}_\gamma </math>
で与えられる。これはテンソルの対の縮約の一つの例を与えている。

ベクトルと[[微分形式]]との{{仮リンク|内部積|en|interior product}}も二つのテンソルの間の縮約の特別の場合である。

== より一般の文脈において ==
[[可換環]] {{mvar|R}} とその上の有限階[[自由加群]] {{mvar|M}} に対し、{{mvar|M}} 上の全（混合）[[テンソル代数]]上に、体上のベクトル空間の場合にやったのとまったく同じ仕方で縮約演算を定義できる（鍵となる事実は、自然な内積がこの場合も完全対となることである）。

より一般に、[[位相空間]] {{mvar|X}} 上の可換環の[[層 (数学)|層]] {{mvar|O{{ind|X}}}}（例えば、[[複素多様体]]、{{仮リンク|解析空間|en|analytic space}}、[[概型]]などの[[構造層]]）に対し、{{mvar|O{{ind|X}}}} 上の[[局所自由層]] {{mvar|M}} が有限階ならば、{{mvar|M}} の双対もまたよく振舞い<ref name="hartshorne"/>、この文脈においても縮約は意味を成す。

== 関連項目 ==
* [[テンソル積]]
* {{仮リンク|部分跡|en|Partial trace|label=部分トレース}}
* {{仮リンク|内部積|en|Interior product}}
* {{仮リンク|添字の上げ下げ|en|Raising and lowering indices}}
* {{仮リンク|音符同型|en|Musical isomorphism}}
* {{仮リンク|リッチ計算法|en|Ricci calculus}}{{refn|group="*"|{{cite web|url=https://www.jstage.jst.go.jp/article/sugaku1947/23/2/23_2_101/_pdf|page=103, 左上|access-date=2023/11/06|author=矢野健太郎|title=幾何学部門報告}}に「リッチ計算法」と書かれているためこの訳を採用}}

== 注 ==
{{reflist|group="*"}}
== 参考文献 ==
{{reflist}}
* {{cite book |first=Richard L. |last=Bishop |authorlink=リチャード・ローレンス・ビショップ |first2=Samuel I. |last2=Goldberg |title=Tensor Analysis on Manifolds |location=New York |publisher=Dover |year=1980 |isbn=0-486-64039-6 }}
* {{cite book |first=Donald H. |last=Menzel |authorlink=Donald Howard Menzel |title=Mathematical Physics |publisher=Dover |location=New York |year=1961 |isbn=0-486-60056-4 }}

{{tensors}}

{{DEFAULTSORT:てんそるのしゆくやく}}
[[Category:多重線型代数]]
[[Category:テンソル]]
[[Category:数学に関する記事]]