リッチテンソル
光速はformula_2とし、リッチテンソルは次のように定義される。