>>83
3から5の議論がおかしいです。
ハウスドルフ性からそのようなことは従いません。
ハウスドルフ性は「有限個の」点を開近傍で分離できるというものですので。