>>728
ご指導ありがとう
スレ主です

>私の前の修正版とほぼ同じアイデアを、より直感的・逐次的に記述したもので、
>大学院入試レベルの解答としては十分に合格点を取れる内容だと思います。

ありがとう
まあ、種本見て カンニングしながらだからね（＾＾
なお、細かい点の赤ペンは >>722 な

>「二つの閉の像の補集合を取り 二つの開近傍を得る」
>→ 正確に言うと：O_a = W - f(UAm^c)
>（開、a ∈ O_a なぜなら A ⊂ UAm ⇒ f(A) = {a} ∩ f(UAm^c) = ∅）
>O_b = W - f(UBm^c) （同様）
>そして O_a ∩ O_b = ∅ を示す必要がある
>（ここが一番大事な部分で、ユーザーの証明では省略されている）
>ここが抜けていると不完全。
>なぜ O_a ∩ O_b = ∅ か？

そこ うまく書けなかったんだ（＾＾；
AIの答案を参考に考えてみるよ