Re:>>168 そう思うならお前はここに来ることにこだわらず,眠り続ければよかろう.

R^nの,ε近傍(ε>0)を各点の基本近傍系にした位相空間で, 集合がcompact⇔集合が有界閉集合.