리만 다양체
임의의 연결 리만 다양체 formula_59에 대하여, 거리 함수를