actions

孤立点

ファイル:Điểm cô lập-Isolated point.jpg
"0" は集合 A = {0} ∪ テンプレート:Bracket の孤立点である。

位相空間論において、位相空間 X の点 xX の部分集合 S孤立点(こりつてん、: isolated point)であるとは、xS に属し、かつ、x近傍であって x 以外の S の点がひとつも含まれないようなものが存在することをいう。

特に Xユークリッド空間(あるいはもっと一般の距離空間)の場合に即して言えば、xS の孤立点であるとは、x を中心とする開球体のうち x 以外の S の点を含まないものが存在するということを意味する。

別な言葉で言えば、点 xSS において孤立するための必要十分な条件は、xS集積点とはならないことである。

孤立点のみから成る集合を離散集合 (discrete set) という。ユークリッド空間における離散部分集合は可算である(これは有理数全体のなす集合 Q が実数全体のなす集合 R において稠密であるという事実に基づけば、ユークリッド空間における部分集合の各点を孤立させるというのは、有理数を座標に持つ点(有理点)からなる集合に一対一に写すという意味になるためである)。一方、可算だが離散的でない集合が存在しうる(例えば有理数全体の集合 Q差の絶対値English版を距離函数とした距離空間)。離散空間も参照。

孤立点を持たない集合は自己稠密English版であるという。孤立点を持たない閉集合を完全集合English版という。

「孤立点の数」というのは位相的性質(位相不変量English版)の一種である。すなわち、位相空間 XY が互いに同相ならば、それらの持つ孤立点の数は必ず等しい。

以下に示す位相空間は実数直線 Rテンプレート:Msup の部分位相空間と見なす。

直観に反する例

実数直線内の開区間 (0, 1) に属する点 x であって、その二進小数展開の各位の数 (digit) xテンプレート:Ind が以下のような条件をすべて満足するもの全体の成す集合を F とする。

これは感覚的に言えば、x の二進小数展開の各位の数で 1 に等しいものはどれも連続した 1 の対で現れるが、最後の一つは孤立するということである。

さて F は全く孤立点のみからなる陽に表された集合である[1]一方で、F はその閉包非可算集合になるという直観に反する性質を持つ[2]

同様の性質を持つ集合 F の別な例は、単位閉区間 テンプレート:Bracket 内のカントール集合の補集合において、その各連結成分から一点(例えば中央点)を選び出すことでも与えられる。この集合の各点は孤立するが、F の閉包は F とカントール集合との合併であり、可算でない。

関連項目

参考文献

外部リンク