SSブログ

第7回 集合の内点、内部、外部、境界 [位相入門]

第7回 集合の内点、内部、外部、境界

 

5isou-002.pngを位相とし、AXの部分集合とする。Aに包まれる開集合全体の和集合6isou-000.pngをで表わせば、6isou-000.pngに属するから、6isou-000.pngAに包まれる最大の開集合である。6isou-000.pngA内部または開核といい、6isou-000.pngの点をA内点という。

Xの各部分集合をその内部に対応させることによって、Xの冪集合5isou-0022.pngから5isou-0022.pngへの1つの写像が定まる。この写像をの開核作用子という。

 

定理1 の開核作用子は次の性質をもつ。

6isou-002.png 

【証明】

(1) よりXに包まれる最大の開集合X自身である。

(2) 6isou-000.pngの定義より明らか。

(3) はそれぞれABに包まれる開集合だからA∩Bに包まれる開集合であり、一方、A∩Bに包まれる最大の開集合。よって、

  

また、6isou-000.pngAに包まれる最大の開集合だから、

  

同様に

  

よって、

  

したがって、

  

(4) 6isou-000.pngは開集合だから6isou-000.pngを包む最大の開集合は自分自身。よって、

  

(証明終)

 

問 X=1, 2, 3}とし、この密着位相について次の問に答えよ。

(1) {1}と{2, 3}はXの開集合か。

(2) {1}{2, 3}の内点を求めよ。

【解】

(1) だから、{1}と{2, 3}はともにXの開集合ではない。

(2) {1}に包まれる最大の開集合は空集合∅、{2, 3}に包まれる最大の開集合は∅。

よって、

  

したがって、内点は存在しない。

(解答終)

 

 

5isou-002.pngを位相空間とし、AXの部分集合とする。 Aを包むような閉集合全体の共通部分を6isou-001.pngまたはで表す。自身も閉集合であるから、6isou-001.pngAを包む最小の閉集合である。6isou-001.pngA閉包といい、の点をA触点6isou-001.pngという。Xの各部分集合にを対応させることによって、Aの冪集合5isou-0022.pngから5isou-0022.pngへの1つの写像が定まる。この写像をの閉包作用子という。

 

定理2 位相空間5isou-002.pngの閉包作用子は、次の性質をもつ。

6isou-003.png 

【証明】

(1) ∅は閉集合で、は∅を包む最小の閉集合。

(2) 定義より明らか。

(3) はそれぞれABを包む閉集合だからA∪Bを包む閉集合。一方、A∪Bを包む最小の閉集合はだから、

  

A∪Bを包む最小の閉集合であり、したがってAを包む閉集合。

また、Aを包む最小の閉集合だから、

  

同様に

  

よって、

  

ゆえに、

  

(4) は閉集合だから、を包む最小の閉集合は自身。したがって、

  

(証明終了)

 

5isou-002.pngを位相空間とし、AXの部分集合とする。Aの補集合の内部A外部と言い、で表し、の点をA外点という。

Aの外部は、Aと交わらない最大の開集合である。実際、Aの補集合の内部だから開集合であり、だからOO∩A=∅である開集合とすると、だから、

  

また、

Aの内点でも外点でもないXの点をA境界点といい、Aの境界点全体の集合をA境界といい、で表す。

距離空間の場合と同様に、

  

が成り立つ。

Xの点xが集合の触点であるとき、xA集積点という。Aの集積点全体の集合を導集合といいで表す。また、の点をA孤立点という。

 


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

nice! 0

コメント 0

コメントを書く

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

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