計量 (=共変テンソル) とその反変テンソルの関係

計量 \(g_{\mu \nu}\)共変テンソル (下付き) だった。 その 反変テンソル (上付き) \(g^{\mu \nu}\) とは、逆行列みたいな関係がある

\[\begin{align} g_{\mu \nu} g^{\nu \lambda} & = \delta_{\mu}^{\lambda} \end{align}\]