リーマン幾何学と計量空間の定義