>>612
距離から定まる通常の位相ってのは、開集合系 O(X) がXの開円板で生成される
ということなのだから、自明。

てか、定義でd,d0を使ったのに、なぜ問題でd1,d2に変えるんだよww