定義 8.13 つの距離空間 に対して、包含関係 が成り立ち、さらに、条件が満たされるとき、 は の部分距離空間または単に部分空間であるという。逆に、距離空間 が与えられたとき、任意の部分集合 に対して、距離関数 の への制限は 上の距離関数である。この…