しかし距離空間に関する定理をRに適用するのは（適用した結果は
正しいが）あまりよろしくないと思う。距離関数ってのは普通Rへの
写像として考えるわけなんだから。そうじゃない定式化もあるんだろうけど。