Loading AI tools
算法のルール ウィキペディアから
アインシュタインの縮約記法(アインシュタインのしゅくやくきほう、英: Einstein summation convention)またはアインシュタインの記法(アインシュタインのきほう、英: Einstein notation)、アインシュタインの規約(アインシュタインのきやく、英: Einstein convention)または総和規約[1]は、添字 (index) の和の記法であり、同じ項で添字が重なる場合はその添字について和を取るというルールである。この重なる指標を擬標(またはダミーの添字、dummy index)、重ならない指標を自由標(またはフリーの添字、free index)と呼ぶ。
一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。この記法が有用なのは、上下に同じ添字がついているときその添字に対する和(縮約)は座標変換によらないという点である[2]。
アインシュタインが 1916 年に用いた[3]。アインシュタインはこの記法を自分の「数学における最大の発見」と(冗談めかして)言ったという[4]。
4 次元空間におけるベクトル aμ と bμ (μ = 1, 2, 3, 4) の内積を記すときには、aμ bμ と記述される。これは、具体的に書けば
を意味することになる。
計量 (metric) が gμν (μ, ν = 0, 1, 2, 3) として表される曲がった時空においては、ベクトルの内積は
と記述される。最後の式は 4 次元の場合の縮約を、和の形で書いたものである。
特に特殊相対性理論や場の量子論で標準的に用いられるミンコフスキー空間での内積は、計量を ημν = diag(1, −1, −1, −1) とするとき
と記述される(宇宙論などでは、符号を逆に取る流儀もある)。
この記法のルールを一般的に書き下すと以下のようになる[1]:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.