多様体に計量（距離）の概念を加えたもの