数学のブログ

距離空間の世界 連結性 連結部分集合、共通部分、補集合、境界、空集合

解析入門(中) (松坂和夫 数学入門シリーズ 5) (松坂 和夫(著)、岩波書店)の第12章(距離空間の世界)、12.3(連結性)、問題2の解答を求めてみる。

EAf=ϕ

と仮定すると、

EAi=EAϕ
E(X-A-)=E(X-A)ϕ
(EAi)(E-A-)=ϕ
(EAi)(E-A-)=E

が成り立つ。

また、

EAi,E-A-

は開集合なので、Eが連続であることと矛盾。

よって、

EAfϕ

である。

(証明終)

Copyright 2021 kamimura.