もしリッチ曲率関数が単位接線ベクトル''ξ''の集合について定数関数であるならば、そのリーマン多様体はリッチ曲率が定数である、もしくはアインシュタイン多様体であるという.
''ξ''