距離空間のイントロダクション

距離空間のイントロダクション。リフォーム完了。