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

アインシュタインの縮約記法（アインシュタインのしゅくやくきほう、）またはアインシュタインの記法（アインシュタインのきほう、）、アインシュタインの規約（アインシュタインのきやく、）または総和規約は、添字 () の和の記法であり、同じ項で添字が重なる場合はその添字について和を取るというルールである。この重なる指標を擬標（またはダミーの添字、）、重ならない指標を自由標（またはフリーの添字、）と呼ぶ。
一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。この記法が有用なのは、上下に同じ添字がついているときその添字に対する和（縮約）は座標変換によらないという点である。
アインシュタインが 1916 年に用いた。アインシュタインはこの記法を自分の「数学における最大の発見」と（冗談めかして）言ったという。
例.
4 次元空間におけるベクトル "a""μ" と "b""μ" ("μ" = 1, 2, 3, 4) の内積を記すときには、"a""μ" "b""μ" と記述される。これは、具体的に書けば
を意味することになる。
計量 () が "g""μν" ("μ", "ν" = 0, 1, 2, 3) として表される曲がった時空においては、ベクトルの内積は
と記述される。最後の式は 4 次元の場合の縮約を、和の形で書いたものである。
特に特殊相対性理論や場の量子論で標準的に用いられるミンコフスキー空間での内積は、計量を "ημν" = diag(1, −1, −1, −1) とするとき
と記述される（宇宙論などでは、符号を逆に取る流儀もある）。
ルール.
この記法のルールを一般的に書き下すと以下のようになる：