リッチテンソル
リッチテンソルは次のようにトレースで定義される。