抽象添字記法
ウィキペディア フリーな encyclopedia
「テンソルの添字記法(英語版)」とは異なります。 |
抽象添字記法(ちゅうしょうそえじきほう、abstract index notation)は、固有の基底の成分というよりも、タイプを表す添字を使ったテンソルやスピノルの数学的な記法である。添字は、数値を固定した基底に対して表すものではなく、占める位置を明確に示す記法となっている。この記法は、リッチの解析(英語版)(Ricci calculus)と混乱することはない。この記法はロジャー・ペンローズ(Roger Penrose)により導入され、アインシュタインの縮約記法の形式的側面を扱う方法である。現代的な抽象的なテンソル記法では、この方法により、テンソル縮約(tensor contraction)や共変微分の難しさを補い、表現の意味している共変性を明確に保つことができる。
原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 |
V をベクトル空間、V∗ をその双対とする。ランク 2 の共変テンソル を考えると、h は V 上の双線型形式と同一視することができる。言い換えると、これは V を 2つ引数とする函数で、「スロット」のペアとして表現することができる。
抽象記法は、単にラテン文字でのスロットのラベリングであり、スロットのラベルとしての意味以外の意味を持たない(つまり、数値的ではない)。
2つのテンソルの縮約は、添字ラベルの繰り返しにより表される。ひとつのラベルは反変(上にある添字は、V のテンソルに対応)であり、もうひとつのラベルは共変(下にある添字は、V* に対応する)である。たとえば、
は、最後の 2つのスロットの上のテンソル t = tabc のトレースである。この添字を繰り返すのテンソル縮約の表現方法は、アインシュタインの縮約記法と形式的には同じである。しかし、添字は数値ではないので、総和を意味しない。むしろ、タイプ V とタイプ V* の間の基底(と双対なペア)とは独立なトレース作用素に対応している。