解説:
写像が連続であることを示すためには次の三つの方法がある:
-
(a)
既知の連続写像の四則演算や合成による組み合わせで表わす
-
(b)

-

を用いる
-
(c)
任意の開集合の逆像が開集合であることを示す
前問では最初の方法で連続であることを示した。この問題では三番目の方法を用いる。
解答:

が連続であることを示すためには、任意の開集合

に対し

が

の開集合であることを示せばよい。
ところが 6/21 の演習問題 5 より、離散距離空間では全ての部分集合は開集合である。 よって

は

の開集合であり題意が示された。