SSブログ

第6回 位相空間 [位相入門]

第6回 位相空間

 

Xを空でない集合とする。Xの部分集合の族Xの冪集合の部分集合)が次の3つの条件を満たすとき、集合X位相であるという。

  5isou-001.png

位相が与えられた集合X位相空間といい、5isou-002.pngで表す。の元を位相空間5isou-002.png開集合という。

 

(注意)

 条件[O₁][O₂][O₃]n次元ユークリッド空間の開集合系と距離空間の開集合系がみたしている条件である。

 

例1 は明らかに集合Xの位相の1つである。この位相を離散位相といい、位相空間離散空間という。Xの位相の1つである。この位相を密着位相といい、密着空間という。

 

例2 n次元ユークリッド空間の開集合系の1つの位相である。この位相を通常の位相という。

 

例3 5isou-003.pngを距離空間とする。5isou-003.pngの開集合系Xの1つの位相である。この位相をdによって定まる距離位相という。集合X上の位相が1つの距離位相に一致するとき、この位相距離化可能であるという。

 

例4 5isou-002.pngを位相空間とし、AXの空でない集合とする。

Aの部分集合5isou-005.png

  5isou-004.png

と定めると、5isou-005.pngAの位相になる。この位相をXによるA相対位相といい、位相空間5isou-006.pngを位相空間5isou-005.png部分空間という。

【証明】

[O₁] 5isou-007.pngであることは明らか。

[O₂] 5isou-008.pngとすると、

  5isou-009.png

となるが存在し、

  

[O₃] だから、

  5isou-011.png

(証明終)

 

 

問題1 Xを集合とする。

  

とすると、Xの位相となることを示せ。(これを補有限位相という)

【証明】

[O₁] だからは有限集合。よって、。また、

[O₂] とする。A₁A₂が空集合の場合、

どちらも空集合でない場合、はともに有限集合。よって、5isou-012.pngも有限集合。したがって、

  5isou-013.png

[O₃] とする。

すべてのλ∈Λに対して、ならば5isou-014.png

λ₀∈Λに対しては有限集合。

  5isou-015.png

であるから、は有限集合。

(証明終)

 

問題2 を位相空間、Yを集合、f:X→Yを写像とするとするとき、

  5isou-016.png

とおくと、これはYの上の位相となることを示せ。

【略証】

[O₁] 5isou-017.pngより

[O₂] 5isou-018.pngより、ならば

[O₃] ならば

  5isou-019.png

が和集合について閉じているので、5isou-020.png

よって、Y上の位相である。

(略証終)

 

Xを集合Xの位相とする。であるとき、位相は位相より弱い、または、粗い、あるいは、より強い、または、細かいという。

したがって、密着位相は最も弱く、離散位相は最も強い位相である。

 

5isou-002.pngを位相空間とする。集合Xの部分集合は、その補集合に属すとき、位相空間5isou-002.pngの閉集合という。

 

定理 は次をみたす。

   5isou-021.png

 


問 X=1, 2, 3}とするとき、次の問に答えよ。

(1) Xの冪集合5isou-0022.pngを求めよ。

(2) 位相空間5isou-023.pngの開集合{1}の補集合を求め、それが5isou-023.pngの閉集合であると同時に閉集合であることを確かめよ。

(3) 位相空間5isou-023.pngの開集合はすべて同時に5isou-023.pngの閉集合であることを確かめよ。

 


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

nice! 0

コメント 0

コメントを書く

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

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