리만 다양체
일반화 리만 다양체 formula_1의 킬링 벡터장 formula_5의 발산은 0이다.