リーマン計量に関する数学的定義