>>340
> その後の記述を見ても，Wが連結開集合すなわち開区間であると仮定しているようにしか見えません．
そこまで分かっているのに、なんで解決策が見えないの？
ある近傍なんだから、Wが開区間になるように選んでおけば良いだけじゃん。