1 定義と基本概念
孤立点は、位相空間の点のうち、ある開近傍を取るとその中に自分自身以外の点が入らないものをいう。集合全体の中で「単独に見える点」を形式的に捉える概念であり、局所構造を調べる際の基本語の一つである。実数直線の部分集合だけでなく、一般の位相空間でも同様に定義される。
1.1 位相空間における定義
位相空間 \(X\) の部分集合 \(A\) の点 \(x \in A\) が孤立点であるとは、\(x\) を含む開集合 \(U\) が存在して、\(U \cap A = \{x\}\) となることである。つまり、\(A\) の中では \(x\) のまわりに他の点が近づいてこない。空間全体の構造よりも、集合 \(A\) に制限したときの近さの概念が重要になる。
この定義は、点 \(x\) が集合 \(A\) に対して局所的に独立していることを表す。開集合が使われるため、孤立性は位相に依存し、距離の有無にかかわらず扱える。
1.2 近傍と孤立性
孤立点の判定では、近傍の取り方が核心となる。ある点の近傍に集合の他の点が一つも入らないなら、その点は孤立しているといえる。逆に、どの近傍を取っても必ず別の点が含まれる場合、その点は孤立点ではない。
この性質は、点の周囲にどれだけ密に集合が分布しているかを表す指標としても理解できる。近傍の大きさを小さくしていっても、他点が消えないなら非孤立点であり、十分小さな近傍で単独になるなら孤立点である。
1.3 孤立点と非孤立点
非孤立点は、任意の近傍の中に必ず自分以外の集合の点を含む点である。多くの解析や位相の議論では、孤立点と非孤立点を区別することで、集合の形状や点の分布を整理する。
孤立点はしばしば局所的には「ばらばらな点」として現れ、非孤立点は「近傍に点が集まり続ける点」として現れる。両者の区別は、閉包や極限点の理解とも密接に結びつく。
2 例
孤立点は抽象的な定義を持つが、具体例によって直感的に把握しやすい。実数直線上の部分集合、離散位相、有限集合などは、孤立点の存在が見えやすい代表例である。
2.1 実数直線上の例
実数直線 \(\mathbb{R}\) では、集合 \(\{0\} \cup \{1/n : n \in \mathbb{N}\}\) を考えると、各点 \(1/n\) は孤立点である。各 \(1/n\) のまわりには、十分小さい区間を取れば他の要素を含まない。一方で、\(0\) は孤立点ではなく、列 \(1/n\) が近づいてくるため非孤立点となる。
また、\(\{1,2,3\}\) のような有限部分集合では、各点が実数直線の部分集合として孤立点になる。近傍を小さく取れば、他の点を避けられるからである。
2.2 離散位相における例
離散位相では、各一点集合が開集合である。そのため、集合の任意の点は自分だけを含む開近傍を持ち、すべての点が孤立点になる。これは孤立性が最も強く現れる状況である。
この例は、位相が変わると孤立点の概念も大きく変化することを示している。距離空間の直観だけでなく、開集合の構造が本質であることがわかる。
2.3 有限集合における例
有限集合を、通常の位相空間の部分集合として見ると、各点はしばしば孤立点になる。特にハウスドルフ空間の中では、有限部分集合の各点を他の点から分離できるため、個々の点が孤立点として振る舞う。
ただし、集合をどの空間の中で考えるかによって性質は変わる。有限であっても、特殊な位相では一様に孤立するとは限らないため、周囲の位相構造を合わせて確認する必要がある。
3 関連する概念
孤立点は、極限点、閉包、内点、境界点などと組み合わせて理解される。これらは集合の局所的・大域的な性質を分担して記述する概念である。
3.1 極限点
極限点は、任意の近傍にその集合の他の点が含まれる点である。孤立点の対照的な概念として位置づけられ、両者は「近傍に他点があるかどうか」で分かれる。
集合の点が孤立点であれば、その点は通常、極限点ではない。もっとも、集合全体の閉包の中では、孤立点と極限点が同時に現れ、集合の構造を二分して考える手がかりになる。
3.2 閉包
閉包は、集合にその極限点を加えた最小の閉集合である。孤立点は閉包の中に含まれるが、閉包を特徴づけるのは主として極限点との関係である。
ある集合の孤立点は、その集合自体には属するが、必ずしも閉包を拡張する要素ではない。閉包の議論では、孤立点は「集合の内部にある離れた点」として扱われ、周囲に密集した点群とは区別される。
3.3 内点
内点は、ある開集合がその点を含み、しかもその開集合が集合の中に完全に含まれる点である。孤立点は通常、内点とは異なる役割を持つ。特に、集合が一点集合でない限り、孤立点は内点でないことが多い。
ただし、位相の設定によっては、孤立点が内点として現れる場合もある。したがって、両者は別概念として整理しつつ、空間の性質に応じて関係を確認する必要がある。
3.4 境界点
境界点は、集合とその補集合の両方に近い点である。孤立点は境界に現れることが多いが、境界点であることと孤立点であることは同値ではない。
例えば、実数直線上の有限集合の各点は、通常、孤立点であると同時に境界点でもある。一方で、境界点の中には周囲に他点が密に存在する非孤立点も含まれる。
4 性質
孤立点は、判定方法、集合内での位置、そして集合全体の構造に関する性質を通じて理解される。これらの性質は、点集合の分類や位相的な記述に役立つ。
4.1 孤立点の判定
孤立点かどうかは、点を含む開近傍を一つ探し、その近傍が集合の中でその点だけを含むかで判定できる。距離空間では、半径の小さい開球を用いて確認するのが一般的である。
実際の計算では、点列や集合の分布を見て、他の点との距離が正で保たれるかを調べることが多い。各点が近づいてくる別点を持たないなら孤立点、任意に近い別点があるなら非孤立点となる。
4.2 集合の中での位置づけ
孤立点は、集合の全体像の中では離れた位置にある局所的な要素として扱われる。点の集まりが連続的に見える部分と、個別に切り離された点の部分を分ける境目になることがある。
多くの場合、孤立点の集合は比較的扱いやすく、連結性や収束の議論では特別な役割を果たす。点の存在が散発的であるほど、集合は離散的な性格を強める。
4.3 孤立点を含む集合の構造
孤立点を含む集合は、連続的な部分と離散的な部分が混在することがある。こうした集合では、どの点が局所的に単独で、どの点が集積しているかを見分けることが重要である。
孤立点の有無は、集合の分類や証明の方針に影響する。特に、閉包や極限点の記述では、孤立点を除いた部分が本質的な構造を担う場合が多い。
4.3.1 可算集合との関係
可算集合には孤立点を多く含む例があるが、可算であること自体が孤立点の存在を保証するわけではない。たとえば有理数全体は可算だが、実数直線の通常の位相では各点は孤立点ではない。
一方、可算集合でも適切な位相を与えると、すべての点が孤立点になる場合がある。したがって、可算性は個数の性質であり、孤立性は近傍構造の性質として区別される。
4.3.2 閉集合との関係
閉集合の中には、孤立点だけからなるものもあれば、極限点を多く含むものもある。閉集合であっても、孤立点の存在は妨げられない。
特に、閉集合に孤立点があると、その点を除いた残りの部分の閉性や極限点の分布を別に考える必要がある。閉集合の研究では、孤立点を取り除いた核の部分がどれだけ連続的かを調べることがしばしば重要になる。