>>71
(⁠^⁠^⁠)

>>69
通常の位相なら有界閉集合性からコンパクトって言えるんですかね。
ただ、この問いの位相ではどう対処しますかね。