抽象添字記法のソースを表示

{{distinguish|{{仮リンク|テンソルの添字記法|en|tensor index notation}}}}
'''抽象添字記法'''(ちゅうしょうそえじきほう、abstract index notation)とは、[[基底 (線型代数学)|基底]]の成分ではなくタイプを表す添字を使った、[[テンソル]]や[[スピノル]]の数学的な記法である。添字は単なるプレースホルダーであり、特定の基底を表すものでも、数値を表すものでもない。そのため、この記法を、{{仮リンク|リッチ計算法|en|Ricci calculus}}(Ricci calculus)と混用してはならない。この記法は、表現対象に含まれる明らかな[[ベクトルの共変性と反変性|共変性]]を保ちながら、現代的な抽象的テンソル記法における[[テンソルの縮約|テンソル縮約]]や[[共変微分]]の難しさを補うために、[[アインシュタインの縮約記法]]の形式的側面を扱う方法として、[[ロジャー・ペンローズ]]により導入された。

''V'' を[[ベクトル空間]]、''V''<sup>∗</sup> をその[[双対空間|双対]]とする。ランク 2 の[[ベクトルの共変性と反変性|共変]]テンソル <math>\scriptstyle h\in V^*\otimes V^*</math> を考えると、''h'' は ''V'' 上の[[双線型形式]]と同一視することができる。言い換えると、これは ''V''上の2つの引数を持つ函数で、引数は「スロット」として表現することができる。

:<math>h = h(-,-).\,</math><!--- \, improves the display of the formula --->

抽象記法は、単にラテン文字の添字ででスロットを'''ラベリング'''するものであり、添字はスロットのラベル以外の意味を持たない（つまり、数値的ではない）。

: <math>h = h_{ab}.\,</math><!--- \, improves the display of the formula --->

2つのテンソルの縮約は、添字ラベルの繰り返しで表され、片方のラベルは反変（''V'' 上のテンソルに対応する上付き添字）であり、もう片方のラベルは共変（''V''<sup>*</sup> 上のテンソルに対応する下付き添字）である。そのため、たとえば、

: <math>{t_{ab}}^b</math>

は、テンソル ''t'' = ''t''<sub>ab</sub><sup>c</sup> の最後の 2つのスロット上のトレースである。この添字を繰り返すテンソル縮約の表現方法は、[[アインシュタインの縮約記法]]と形式的には同じである。しかし、添字は数値ではないので、総和を意味しない。むしろ、タイプ ''V'' とタイプ ''V''<sup>*</sup> の各テンソル成分間の抽象的な基底独立トレース作用素（または双対）に対応している。

== 抽象的添字とテンソル空間 ==

一般の同次テンソルは、''V'' と ''V''<sup>∗</sup> の[[テンソル積]]の元であり、以下のようなものである。

:<math>V\otimes V^\ast\otimes V^\ast \otimes V\otimes V^\ast</math>

このテンソル積の各々の要素に対してラテン文字を使い、上付き添字で ''V'' に共変なもの、下付き添字で ''V'' に反変なものを示すラベル付けを行う。このように積を、

:<math>V^a V_b V_c V^d V_e\,</math>

と書く、あるいは、単純に、

:<math>{{{V^a}_{bc}}^d}_e.</math>

と書く。

最後の 2つの記法は最初の記法と同じ意味である。このタイプのテンソルは同じような種類の記法で書くことができる。たとえば、次のような記法もある。

:<math>{{{h^a}_{bc}}^d}_e \in {{{V^a}_{bc}}^d}_e = V\otimes V^\ast\otimes V^\ast \otimes V\otimes V^\ast.</math>

==縮約==
一般に、共変ひとつと反変ひとつの要素が空間のテンソル積にあるときは、常に、付帯する'''縮約'''（あるいは、'''トレース'''）写像が存在する。たとえば、

:<math>\mathrm{Tr}_{12} : V\otimes V^*\otimes V^* \otimes V\otimes V^* \to V^* \otimes V\otimes V^*</math>

は、テンソル積の先頭の 2つの空間上のトレースである。

:<math>\mathrm{Tr}_{15} : V\otimes V^*\otimes V^* \otimes V\otimes V^* \to V^* \otimes V^*\otimes V</math>

は先頭と最後の空間のトレースである。

これらのテンソル作用素は、テンソルではインデックスの繰り返しによりテンソルであることを意味している。このように第一のトレース写像は、

:<math>\mathrm{Tr}_{12} : {{{h^a}_{bc}}^d}_e \mapsto {{{h^a}_{ac}}^d}_e</math>

であり、第二のトレース写像は、

:<math>\mathrm{Tr}_{15} : {{{h^a}_{bc}}^d}_e \mapsto {{{h^a}_{bc}}^d}_a</math>

である。

==組み紐==
1つのベクトル空間上のテンソル積に対して、対応する{{仮リンク|ブレイデッドモノイダル圏|label=組み紐写像|en|braided monoidal category}}(braiding maps)が存在する。組み紐写像の例として、
:<math> \tau_{(12)} : V\otimes V \rightarrow V\otimes V</math>
は、2つのテンソル要素を交換する（したがって、その単独のテンソル上の作用は、<math>\tau_{(12)} (v \otimes w) = w \otimes v</math>により与えられる）。一般には、組み紐写像は、[[対称群]]の元と一対一に対応し、テンソル要素の置換として作用する。ここで、<math>\tau_\sigma</math> により置換 <math>\sigma</math> に付随した組み紐写像を表す（共通部分を持たない{{仮リンク|巡回置換|en|cyclic permutation}}(cyclic permutation)の積としての表現）。

組み紐写像は、[[微分幾何学]]で、たとえば、[[曲率形式#ビアンキ恒等式|ビアンキ恒等式]]を表すために重要である。ここで、<math>R</math> でリーマンテンソルを表し、<math>V^* \otimes V^* \otimes V^* \otimes V</math> におけるテンソルと考えると、ビアンキの第一恒等式は、
:<math>R+\tau_{(123)}R+\tau_{(132)}R = 0</math>
となる。

抽象的添字では次のように組み紐写像を扱う。特殊なテンソル積では、抽象的添字の順序付けが固定されている（通常は、これは[[辞書式]]順序付けである）。すると、添字のラベルの置換によって、組み紐が表現される。このようにすると、たとえば、リーマンテンソルは、
:<math>R={R_{abc}}^d\in {V_{abc}}^d = V^*\otimes V^*\otimes V^*\otimes V,</math>
となり、ビアンキ恒等式は、
:<math>{R_{abc}}^d+{R_{cab}}^d+{R_{bca}}^d = 0</math>
となる。

==参照項目==
*[[ペンローズのグラフ記法]]
*[[アインシュタインの縮約記法]]
*[[添字記法]]
*[[テンソル]]
*[[反対称テンソル]]
*{{仮リンク|添字の上げ下げ|en|Raising and lowering indices}}(Raising and lowering indices)
*[[ベクトルの共変性と反変性]]

==参考文献==
*[[Roger Penrose]], ''The Road to Reality: A Complete Guide to the Laws of the Universe'', 2004, has a chapter explaining it.
*[[Roger Penrose]] and [[Wolfgang Rindler]], ''Spinors and space-time'', volume I, ''two-spinor calculus and relativistic fields''.

{{DEFAULTSORT:ちゆうしようてきてんしきほう}}
[[Category:テンソル]]
[[Category:数学の表記法]]
[[Category:数学に関する記事]]
{{tensors}}