>>405
面倒くさい人だね
ホントに分からないのか
証明すべきことは2点が開集合で分離できること
つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす
それを補集合にしたらどんな閉集合を見いだせば良いか分かるだろ
その作り方はお見事な解答通り
ただ最初の部分は飛ばしてるが直ぐ補えるだろ?
そこができない?