一般の距離空間

距離空間一般についてのノート。メンテ完了。