>>224
それって閉集合ではないですよね。
0<x<1となる無理数xは[0,1]∩Qの元ではないですが、[0,1]∩Qの集積点にはなっているので。
つまりxの近傍Vをどんなに小さく取ってもV∩([0,1]∩Q)が空集合にならないので。