리만 다양체
준 리만 다양체 formula_82 위의 매끄러운 함수