アインシュタインの縮約記法
一般相対性理論においては、重力のある空間を光が通過するとき光は曲がる（光のとる経路が伸びる）ことから、時空は、重力場を基本計量テンソルとする4次元のリーマン多様体として扱われる。可微分多様体 M がリーマン多様体であるとは、M 上の各点に基本計量テンソル が与えられているものを言う。なお、局所座標系 の四つの座標の内、 は適当な測定単位で測られた時間座標、 は空間座標とする。すなわち、 であるとする。さらに、リーマン多様体上に定義されるテンソル概念に対して、上下に現れる同じ添字については常に和を取るというアインシュタインの縮約記法を用いる。