>>613
ε-δ論法でですか？

>>614
距離関数はわかるんですが・・・。
問題はその空間が位相の定義を満たすという
証明のやり方がわからないんです。

距離空間の無数にある部分集合において、
http://ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93
の２、３の条件をみたすことや、
１の条件、距離空間そのものや、距離空間の空集合が、距離空間の部分集合
といえることなどを証明するには、どういった記述をすればいいんでしょう？