>>592
>>594

当然のことだが、実数Ｒには、２点、Ｘ１とＸ２に自然な距離ｄ＝｜Ｘ１−Ｘ２｜が入るので、距離空間だよ。
実際、距離関数が非負実数値関数として与えられるという前提には、実数Ｒが当然として距離空間であるということがある。

つまり、実数Ｒが距離空間であることは、どんな馬鹿でも知っている常識。