アインシュタインの縮約記法

数学の分野である線形代数、特にテンソルの計算において、アインシュタインの縮約記法（アインシュタインのしゅくやくきほう、英: Einstein summation convention）とは、上下に同じ添字がついているときは和の記号を省略できるという規約である。

アインシュタインの記法（アインシュタインのきほう、英: Einstein notation）、アインシュタインの規約（アインシュタインのきやく、英: Einstein convention）、総和規約^[1]、添字 (index) の和の記法、などと呼ばれる。

この縮約記法はテンソルを用いた計算、例えばリーマン多様体におけるリッチ計算（英語版）を簡便にするのに役立ち、その応用分野である特殊および一般の相対性理論でも役立つ。

この記法が有用なのは、（後述する添字の付け方の規約を併用した場合）、上下に同じ添字がついているときその添字に対する和（縮約）は座標変換によらないという点である^[2]。

アインシュタインが 1916 年に用いた^[3]。アインシュタインはこの記法を自分の「数学における最大の発見」と（冗談めかして）言ったという^[4]。

概要

アインシュタインの縮約記法は

\sum _{i,j}a^{i,j}v_{i}w_{j}

といった数式において、上付きの添字と下付きの添字で同一の記号が登場する（この例では $i$ 、 $j$ 双方ともこの条件に該当）ときは和の記号を省略し

a^{i,j}v_{i}w_{j}

と表記するという規約である。

同じ添字であっても上付き同士、下付き同士の場合は和を省略できない。例えば

\sum _{ij}a^{ij}b_{i}c^{j}

では2つの $j$ はいずれも上付きなので $\textstyle \sum _{j}a^{ij}b_{i}c^{j}$ とは書けるが $\textstyle a^{ij}b_{i}c^{j}$ とは書けない。

この縮約記法を採用すると、数式に登場する添字（「指標」とも呼ばれる）の中には実は和を取っているものとそうでないものが混在する事になる。前者を擬標（またはダミーの添字、dummy index）、後者を自由標（またはフリーの添字、free index）と呼ぶ。

上付き、下付きに関する規約

本節ではテンソル計算や多様体論でどの添字を上付き、下付きにするかの規約を説明する。これらの規約はアインシュタインの縮約記法を用いる上での前提条件として用いられる。

ベクトルの添字

$V$ をベクトル空間とし、 $V^{*}$ をその双対空間とするとき、

$V$ の元を書き表すときは

a^{i}v_{i}

のようにベクトル $v_{i}\in V$ の添字を下付き、係数 $a^{i}$ の添字を上付きに表す規約である。一方 $V^{*}$ の元を書き表すときは逆に

a_{i}w^{i}

のようにベクトル $w^{i}\in V^{*}$ の添字を上付き、係数 $a_{i}$ の添字を下付きにする規約である。

なお、（ $V$ が有限次元ベクトル空間であれば）二重に双対を取った $V^{**}$ は $V$ 自身と等しいので、 $V$ 、 $V^{*}$ のうちどちらを「もとの空間」、どちらを「双対空間」とするかはその場の議論で着目しているのがどちらの空間であるかによる。

テンソルの添字

$V$ と $V^{*}$ のテンソル積の添字は、ベクトルの規約に準じる。例えば $V\otimes V^{*}$ の元に対しては、

a^{i}{}_{j}v_{i}\otimes w^{j}

のように $v_{i}\in V$ は下付き、 $w^{j}\in V^{*}$ は上付き、係数 $a^{i}{}_{j}$ は $v_{i}$ 、 $w^{j}$ と上下を反転した位置に添字をつける。

多様体論における添字

多様体論では多様体の局所座標は $(x^{1},\ldots ,x^{n})$ のように上付きで添字をつける規約である。このようにしておくと、余接ベクトルは

\mathrm {d} x^{i}

のように上に添字がくるため前述した双対空間のベクトルの添字を上につける規約と合致する。それに対し接ベクトルは

{\partial  \over \partial x^{i}}

のように記載されるが、添字が分母側についているので、これを「下にある添字」と解釈すれば前述した双対ではない空間のベクトルの添字を下につける規約と合致する。

相対性理論における添字

特殊相対性理論ではベクトル $a^{i}e_{i}$ 、双対ベクトル $b_{i}e^{i}$ の基底部分を略して単に $a^{i}$ 、 $b_{i}$ と記述し、これらをそれぞれ反変ベクトル、共変ベクトルと呼ぶ。この言葉使いにしたがえば、「反変ベクトルは上付き、共変ベクトルは下付き」となる。

一般相対性理論でも同様に、多様体の接ベクトル $a^{i}{\partial \over \partial x^{i}}$ 、余接ベクトル $b_{i}\mathrm {d} x^{i}$ を略して $a^{i}$ 、 $b_{i}$ と記述し、それぞれ反変ベクトル、共変ベクトルと呼ぶので、やはり「反変ベクトルは上付き、共変ベクトルは下付き」となる。