アインシュタインの縮約記法
この記法のルールを一般的に書き下すと以下のようになる:
通常、座標やベクトルの成分には上付きの添え字を用いる。微分のように、上付き添え字の変数が「分母」にくる場合それは下付き添え字の変数とみなされる。ただしこのルールは計量テンソルで変換される場合もある。
擬標となる添え字の組は常に上下に現れる。座標変換に際して上付き添え字の変数は反変性をもち、一方下付き添え字の変数は共変性をもつことからそれらの積の和は座標変換によらないことが示せるためである。
自由標は式の両辺、各項で同じでなければならない。このバランスが取れている限りは自由標は別の文字に置き換えてもよい(この操作は数式の変形、代入などでしばしば行われる)。
アインシュタインの縮約記法(アインシュタインのしゅくやくきほう、英: Einstein summation convention)またはアインシュタインの記法(アインシュタインのきほう、英: Einstein notation)、アインシュタインの規約(アインシュタインのきやく、英: Einstein convention)または総和規約は、添字 (index) の和の記法であり、同じ項で添字が重なる場合はその添字について和を取るというルールである。この重なる指標を擬標(またはダミーの添字、dummy index)、重ならない指標を自由標(またはフリーの添字、free index)と呼ぶ。
一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。この記法が有用なのは、上下に同じ添字がついているときその添字に対する和(縮約)は座標変換によらないという点である。
アインシュタインが 1916 年に用いた。アインシュタインはこの記法を自分の「数学における最大の発見」と(冗談めかして)言ったという。