つまりユークリッド空間R^3を一般のR^nまで拡張したのが距離空間R^∞まで拡張したのが位相空間でおk?