局所ユークリッドであっても、ハウスドルフでない例を考えれば
普通は分離性を仮定したくなると思うが・・・