Ricci curvature
リッチテンソル はリーマンテンソル の縮約として定義されるが、その縮約には次の2通りの取り方がある: