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