アインシュタインの縮約記法
提供: miniwiki
アインシュタインの縮約記法（アインシュタインのしゅくやくきほう、英: Einstein summation convention）またはアインシュタインの記法（アインシュタインのきほう、英: Einstein notation）は、アインシュタインが 1916 年に用いた添字 (suffix) の和の記法である[1]。アインシュタインの規約（アインシュタインのきやく、英: Einstein convention）とも呼ばれる。
同じ項で添字が重なる場合は、その添字について和を取る、というルールである。この重なる指標を擬標（またはダミーの添字、dummy index）、重ならない指標を自由標（またはフリーの添字、free index）と呼ぶ。
このルールは一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。
アインシュタインはこの記法を自分の「数学における最大の発見」と（冗談めかして）言ったという[2]。
例
4 次元空間におけるベクトル aμ と bμ (μ = 1, 2, 3, 4) の内積を記すときには、aμ bμ と記述される。これは、具体的に書けば
- [math]a^\mu b_\mu = a^1 b_1 + a^2 b_2 + a^3 b_3+ a^4 b_4[/math]
を意味することになる。
計量 (metric) が gμν (μ, ν = 0, 1, 2, 3) として表される曲がった時空においては、ベクトルの内積は
- [math]a^\mu b_\mu = g_{\mu \nu} a^\mu b^\nu = \sum_{\mu,\nu=0}^3 g_{\mu \nu} a^\mu b^\nu[/math]
と記述される。最後の式は 4 次元の場合の縮約を、和の形で書いたものである。
特に特殊相対性理論や場の量子論で標準的に用いられるミンコフスキー空間での内積は、計量を ημν = diag(1, −1, −1, −1) とするとき
- [math]a^\mu b_\mu = a^0 b^0 - a^1 b^1 - a^2 b^2 - a^3 b^3[/math]
と記述される（宇宙論などでは、符号を逆に取る流儀もある）。
参考文献
- ↑ Einstein, Albert (1916). “The Foundation of the General Theory of Relativity” (PDF). Annalen der Physik. オリジナルの2007年7月22日時点によるアーカイブ。 . 2006閲覧..
- ↑ ダニエル・フライシュ; 河辺哲次訳 『物理のためのベクトルとテンソル』 岩波書店、2013年、139頁。ISBN 978-4-00-005965-7=。