アンカーつけなおしで再投稿

>>408
>証明すべきことは2点が開集合で分離できること

”Wの”２点ね

>つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす

U1,U2⊂W　ね

>それを補集合にしたらどんな閉集合を見いだせば良いか分かるだろ
>その作り方はお見事な解答通り
>ただ最初の部分は飛ばしてるが直ぐ補えるだろ？そこができない？

一点確認
>>157のU,U’は
Zの開集合であって
Wの開集合でない
ということはOK？