Xがハウスドルフで、K⊂Xがコンパクト部分集合のとき、
Kが閉集合であることを証明すればいいんだろ。