>>586の問題について質問なのですが,(�@)⇒(�A)を証明するには(�@)を仮定して
∀t∈Rに対して (f^(-1)((−∞,t]))^c =R^n−f^(-1)((−∞,t])
で,(f^(-1)((−∞,t]))^c が開集合となることを示せばよい.
そこで(�@)を仮定すると (f^(-1)((−∞,t]))^c ∩ U は開集合
ところで(f^(-1)((−∞,t]))^c = ((f^(-1)((−∞,t]))^c ∩ U)∪ U^c
となり,Uは開集合なのでU^c は閉集合になると思うのですが, ここから,上の集合が開集合に
なるというのはどのように証明すればいいのでしょうか?
よろしくお願いします。 ちなみに ^c というのは補集合を表しています。