1 定義
極限点は、集合の内部や周辺で「他の点がどれだけ近づいても見つかる」点を表す概念である。直感的には、ある点のまわりをどれほど小さく見ても、その集合の別の点が必ず入り込むとき、その点は極限点とみなされる。実数解析では数列の収束と結びつけて捉えられ、位相空間論では近傍の性質を通じて一般化される。
1.1 近傍による定義
位相空間で点 \(x\) が集合 \(A\) の極限点であるとは、\(x\) の任意の近傍が、\(x\) 自身とは異なる \(A\) の点を少なくとも1つ含むことをいう。つまり、点 \(x\) の周囲には常に \(A\) の別の要素が存在する。ここで重要なのは、\(x\) が集合に属するかどうかではなく、近傍の中に「自分以外の点」が現れるかである。
1.2 列による定義
距離空間や第一可算空間では、極限点は点列を用いて表現できる。点 \(x\) が集合 \(A\) の極限点であるとは、\(A\setminus\{x\}\) の点からなる列で \(x\) に収束するものが存在すること、と特徴づけられる。これは、集合の点が \(x\) に向かって段階的に近づいていく様子を具体的に示す定義である。
1.3 実数直線での定義
実数直線 \(\mathbb{R}\) では、極限点の意味はより具体的になる。ある点 \(x\) が集合 \(A\subset\mathbb{R}\) の極限点であるとは、任意の正の \(\varepsilon\) に対し、開区間 \((x-\varepsilon, x+\varepsilon)\) の中に \(x\) とは異なる \(A\) の点が存在することである。解析学では、この表現が最も扱いやすく、集合の局所的な密度を確認するためによく用いられる。
2 基本的性質
極限点は、集合の構造を調べる際に中心的な役割を果たす。閉包や導集合と密接に結びつき、また孤立点の有無によって集合の性格を見分ける手がかりにもなる。これらの性質を通じて、集合が「散らばっている」のか「集まっている」のかが明確になる。
2.1 集合との関係
極限点は集合そのものの要素である必要はない。集合 \(A\) の外にある点が極限点になることもあり、逆に集合に属していても極限点でない場合がある。したがって、極限点の概念は、単なる所属関係ではなく、周囲との近さや分布の様子を記述する。
2.2 導集合
集合 \(A\) の極限点全体の集合を導集合と呼ぶ。導集合は、元の集合から孤立した点を取り除いた後に残る「蓄積の場」と考えられる。位相空間では、導集合をとる操作を繰り返すことで、集合の階層的な構造を調べることができる。
2.3 孤立点との違い
孤立点は、その点を含む十分小さな近傍の中に、集合の他の点が存在しない点である。これに対し、極限点では任意の近傍に別の点が入るため、両者は対照的な概念になる。有限集合ではすべての点が孤立点となり、極限点は現れないことが多い。
2.4 閉包との関係
閉包は、集合にその極限点をすべて加えたものとして理解できる。より正確には、集合の閉包は、集合自身とその極限点の全体からなる。したがって、集合が閉じているとは、極限点を外部に漏らさないことと同値である。
3 具体例
具体例を見ると、極限点の抽象的な定義がどのように働くかが分かりやすい。集合の形が単純な場合でも、極限点の有無は大きく異なる。特に、開区間や収束列の例は、連続的に点が集まる状況を典型的に示す。
3.1 有限集合の場合
有限集合には極限点が存在しない。どの点のまわりにも、十分小さい近傍を取れば、その集合の他の点が入らないようにできるからである。このため、有限集合の各点は孤立しており、導集合は空になる。
3.2 開区間の場合
開区間 \((a,b)\) の点は、内部の各点が極限点である。さらに、端点 \(a\) と \(b\) も、集合の外側から見れば極限点として現れる。ただし、端点自身は開区間に含まれないため、集合に属さない極限点の例として重要である。
3.3 収束列の例
数列 \(1, \frac12, \frac13, \dots\) を考えると、この列の要素全体が作る集合の極限点は 0 である。各項は互いに離れているが、十分後の項は 0 にいくらでも近づく。ここでは、列の収束先が集合の極限点として現れることが確認できる。
4 位相空間における極限点
位相空間では、距離の概念がなくても近傍系を用いて極限点を定義できる。この一般化により、さまざまな空間の局所構造を統一的に扱えるようになる。特定の条件を満たす空間では、点列による記述や連続写像との整合性も得られる。
4.1 一般位相空間での定義
一般の位相空間では、点 \(x\) の任意の近傍が、集合 \(A\) の \(x\) 以外の点を含むとき、\(x\) を \(A\) の極限点と定める。距離を使わないため、抽象的ではあるが適用範囲は広い。これにより、空間の形が異なっても同じ言葉で局所的な密集を表現できる。
4.2 第一可算空間での特徴づけ
第一可算空間では、各点の近傍系が可算な基底を持つため、極限点を列で表しやすい。すなわち、点 \(x\) が集合 \(A\) の極限点であることと、\(A\setminus\{x\}\) の点列が \(x\) に収束することが対応する。この性質により、解析的な議論を位相空間にも持ち込みやすくなる。
4.3 点列コンパクト性との関係
点列コンパクトな空間では、任意の点列が収束点を持つか、少なくとも収束部分列を持つ。極限点は、そのような収束先として現れやすい。集合に無限個の点が集まる状況では、点列コンパクト性が極限点の存在を保証する方向に働くことがある。
4.4 連続写像との関係
連続写像は、極限点の構造と相性がよい。ある集合の点列が極限点に収束するなら、その像の点列も対応する極限先へ近づく。したがって、連続写像は「点が集まる様子」を保ちやすく、位相的性質の移送に役立つ。
5 関連概念
極限点の周辺には、しばしば似た役割を持つ概念が並ぶ。それぞれは微妙に異なる条件を持つが、集合の局所的性質を分類するうえで相互補完的である。用語の違いを押さえると、解析や位相の議論が明確になる。
5.1 集積点
集積点は、文脈によって極限点とほぼ同義に使われることがある。特に解析学では、集合の点がある場所に集まってくる性質を指す語として用いられる。厳密な定義は分野や教科書で細部が異なるため、使用時には注意が必要である。
5.2 付着点
付着点は、集合とその閉包に関わる概念で、集合の点がその点の近くに現れることを広く表す。極限点よりも条件がゆるく、点自身が集合に含まれていても含まれなくてもよい。閉包を説明する際の補助概念として現れることが多い。
5.3 内点と境界点
内点は、その点の十分小さい近傍がすべて集合に含まれる点である。これに対し、境界点は集合の内側と外側の両方に接する位置にある。極限点は、内点や境界点と重なる場合もあるが、定義の焦点は「他の点が近くにあるか」に置かれる。
5.4 完全集合
完全集合は、自身の極限点をすべて含む集合である。言い換えると、孤立点を持たない閉集合として理解できる。連続体やカントール集合のような例は、極限点を中心にした構造の典型である。
6 応用
極限点の考え方は、純粋な定義にとどまらず、多くの分野で実際に利用される。解析学では収束や連続性の判定に、位相空間論では空間の性質の把握に役立つ。また、集合論的な見方では、無限集合のふるまいを整理する道具となる。
6.1 解析学での利用
解析学では、関数の連続性や極限の議論において極限点が基盤となる。ある点の近くで関数値がどのように振る舞うかを調べる際、その点が定義域の極限点であるかどうかが重要になる。微分や級数の収束判定でも、近傍に点が十分存在するかが意味を持つ。
6.2 位相空間論での利用
位相空間論では、極限点は閉包、コンパクト性、分離公理などの性質を調べる手がかりになる。集合がどのように分布しているか、どの点が局所的に密集しているかを記述できるため、空間全体の構造理解に欠かせない。特に抽象空間では、近傍による記述が中心的役割を担う。
6.3 集合論的な観点
集合論的には、極限点は無限集合の内部構造を示す指標となる。単に要素が多いだけでなく、その要素が互いに近接しているか、孤立しているかを区別できる。これにより、濃度や順序とは別の観点から集合の性質を分析できる。