>>166
一般のHausdorff空間での証明が欲しいのに、数直線上と平面上の場合だけを示しても、
結局後で一般のHausdorff空間についてやるんなら意味ないだろってこと。

証明は、Sの一点とyを分離する開集合をとっていって、y側のほうは共通部分をとりたいので
S側を有限個だけで覆えるようにしようという流れだな。