>>419
よく分からん
それが位相空間になってることは、距離空間をやってから単にdが距離関数になっていることを示せば分かる
位相空間って距離空間だけじゃないんだけど、わざわざ距離空間だけを特別に例示しなきゃならんの？