SSブログ

第9回 連続写像 [位相入門]

第9回 連続写像

 

連続写像

 

9iso-006.pngを位相空間とする。写像がX₁の点xで連続であるとは、位相空間9iso-002.pngにおける点f(x)の近傍Ufによる逆像9iso-009.pngが常に9iso-001.pngにおける点xの近傍になることである。

また、Xのすてての点xfが連続であるとき、f9iso-001.pngから9iso-002.pngへの連続写像という。

 

問題 を実数直線とする。関数xで連続であることと、

  9iso-003.png

をみたすことと同値であることを示せ。

【証明】

fxで連続であるとする。任意のε>0に対して、9iso-021.pngはf(x)の近傍であるから、よって9iso-022.pngxの近傍である。

よって、あるδ>0があって、

  9iso-023.png

すなわち、

  9iso-024.png

より、

  9iso-025.png

となるので、

  

逆を示す。

  9iso-004.png

をみたすならば、f(x)の任意の近傍Uに対して、実数直線の近傍の定義より、あるε>0が存在して、

  

となる。

このεに対して、(1)を適用すると、あるδ>0が存在し、

  9iso-005.png

よって、

  9iso-025.png

これと、を合わせると、

  9iso-026.png

となるから、9iso-009.pngxの近傍。すなわち、fxで連続である。

(証明終)

 

 

定理 を位相空間とする。写像について次の4つの条件は同値である。

(1) fX₁の各点で連続

(2) X₂の任意の開集合Ofによる逆像は、常にX₁の開集合

(3) X₂の任意の閉集合Ffによる逆像は、常にX₁の閉集合

(4) X₁の部分集合Aに対して、9iso-027.pngが常に成り立つ。

【証明】

(1)⇒(4)

X₁の部分集合AX₁の点xについて、9iso-028.pngと仮定する。

9iso-007.pngとおけば、Uは位相空間の開近傍。fX₁の各点で連続であるから、は位相空間における点xの近傍である。

さらに、

  9iso-008.png

よって、点xの近傍9iso-009.pngAと交わらないので、前回の定理3より

対偶をとれば、

  9iso-029.png   

 

(4)⇒(3)

FX₂の閉集合とし、9iso-033.pngとおく。(4)より

  9iso-031.png

が成り立つ。

Fは閉集合だから、9iso-034.pngが成り立つ。よって、9iso-035.png

したがって、

  9iso-032.png

となり、X₁の閉集合となる。

 

(3)⇒(2)

OX₂の開集合とし、とおく。

  9iso-011.png

が成り立ち、(3)より、X₁の閉集合。よって、は開集合。

 

(2)⇒(1)

X₁の点xおよび9iso-002.pngにおけるの近傍をUとし、とおく。だから。(2)より、は位相空間におけるxの開近傍。が成り立つので、における近傍。よって、写像fXの各点xで連続である。

(証明終)

 

連続射像の例

(1) 恒等写像は連続写像

 

(2) 8iso-001.pngを位相空間とし、をその部分空間とすれば、包含写像は位相空間から位相空間8iso-001.pngへの連続写像。

 

(3) を位相空間、を写像とする。f9iso-001.pngからへ9iso-002.pngの連続写像、g9iso-002.pngからへの連続写像であれば、合成写像9iso-001.pngからへの連続写像である。

 

 

開写像と閉写像

 

9iso-006.pngを位相空間、f:X→Yを写像とする。

すべてのX₁の開集合Oに対してOfによる像f(O)X₂の開集合であるとき、f9iso-001.pngから9iso-002.pngへの開写像、単にfX₁からX₂への開写像という。

すべてのX₁の閉集合Fに対してFfによる像f(F)X₂の閉集合であるとき、f9iso-001.pngから9iso-002.pngへの閉写像、単にfX₁からX₂への閉写像という。

 

fX₁からX₂への全単射であるとき、fが開写像であることと閉写像であることは同値である。

このとき、AX₁の部分集合とすると、

  9iso-036.png

が成り立つ。

AX₁の開(閉)集合、fが開(閉)写像のとき、f(A)X₂の開(閉)集合となるので、Aの補集合は閉(開)集合の像は閉(開)集合になるためである。

 

 

同相写像

 

9iso-001.pngおよび9iso-002.pngを位相空間とする。写像が全単射であり、fが位相空間9iso-001.pngから9iso-002.pngへの連続写像で、fの逆写像が位相空間9iso-002.pngから9iso-001.pngへの連続写像であるとき、fは位相区間9iso-002.pngから9iso-001.pngへの同相写像であるといい、位相空間9iso-001.png9iso-002.png同相または同相位相であるという。


nice!(0)  コメント(0) 

nice! 0

コメント 0

コメントを書く

お名前:
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。