ハウスドルフ空間の中の稠密な局所コンパクト部分集合が開集合であること

局所閉とかいういまいち使いどころのわからない概念。

大体タイトルの通りであります。
PDFはこちら