次の命題が、一瞬証明できなかったのでメモ。 命題 は連続で、はHausdorffとする。 この時、次は閉 （証明） 任意のを取る。 はHausdorffでなので、それぞれの近傍で、互いに素なものが存在する。 この時、 はの近傍で、また、その定義より、 従って、。 以…