>>84
ありがとうございます。
後で読めれば読んでみます。

>>83
なんかおかしいですかね。


スピヴァックのステートメント、証明の問題点について書きます。

Φ の元の定義域は U です。
スピヴァックの証明から分かるように U は D_1 ∪ … ∪ D_n の部分集合です。
そして、 D_1 ∪ … ∪ D_n は U_1 ∪ … ∪ U_n の真部分集合です。
ですので、 A の開被覆 o = {U_1, …, U_n} の元の中には U に完全には含まれないものも存在します。

なんか f をかけても(4)が成り立つかどうかは簡単には言えないように思います。