リーマン計量に関する数学的定義と多様体における幾何学的意義