리만 다양체
연결 단일 연결 완비 리만 다양체 formula_39이 다음 조건을 만족시킨다고 하자.