>>364 補足

この話、命題10.10.の証明が参考になるかな？
命題10.10.の証明でやっていることは、距離空間(X; d) の1 点p ∈ X から、1 点pを除いた集合が、開集合ということを証明しているんだ
同じように、Rから[0,1]を除いた集合が、開集合ということは、同じ筋で簡単に証明できるだろう
どう？