集積点
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{R} ^{n}\)の任意の近傍が\(a\)とは異なる\(A\)の要素を持つ場合には、すなわち、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
A\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立つ場合には、点\(a\)を\(A\)の集積点（accumulation point）や極限点（limit point）などと呼びます。つまり、点\(a\)が集合\(A\)の集積点であることとは、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(A\)の点が必ず存在することを意味します。上の定義において、点\(a\)は\(A\)の要素であるとまでは指定されていません。つまり、\(A\)の集積点は\(A\)の要素である場合とそうではない場合の両方が起こり得るということです。
逆に、点\(a\in \mathbb{R} ^{n}\)が集合\(A\)の集積点でないこととは、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
A\backslash \left\{ a\right\} \right) =\phi
\end{equation*}が成り立つことを意味します。つまり、点\(a\)が集合\(A\)の集積点でないこととは、点\(a\)から十分近い場所に\(a\)とは異なる\(A\)の点が存在しないことを意味します。
\(\mathbb{R} ^{n}\)の部分集合\(A\)のすべての集積点からなる集合を\(A\)の導集合（derived set）と呼び、\begin{equation*}A^{d}
\end{equation*}で表記します。定義より、任意の点\(x\in \mathbb{R} ^{n}\)に対して、\begin{equation*}x\in A^{d}\Leftrightarrow \forall \varepsilon >0:N_{\varepsilon }(x)\cap
\left( A\backslash \{x\}\right) \not=\phi
\end{equation*}という関係が成り立ちます。
繰り返しになりますが、集合\(A\)の集積点\(a\)が与えられたとき、定義より、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
A\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立ちます。\(A\backslash\left\{ a\right\} \subset A\)であることを踏まえると、このとき、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A\not=\phi
\end{equation*}もまた明らかに成り立ちますが、これは点\(a\)が集合\(A\)の触点であることの定義に他なりません。つまり、集合\(A\)の集積点は必ず\(A\)の触点であるということです。触点は内点もしくは境界点であるため、この事実は、\(A\)の集積点は必ず\(A\)の内点または境界点になることを意味します。
\end{equation*}が成り立つ。ただし、\(A^{d}\)は\(A\)の導集合であり、\(A^{i}\)は\(A\)の内部であり、\(A^{f}\)は\(A\)の境界である。
上の命題の逆は成り立つでしょうか。まず、\(\mathbb{R} ^{n}\)の部分集合\(A\)の内点は集積点であることが保証されます。
\end{equation*}が成り立つ。ただし、\(A^{d}\)は\(A\)の導集合であり、\(A^{i}\)は\(A\)の内部である。
他方で、\(\mathbb{R} ^{n}\)の部分集合\(A\)の境界点は集積点であるとは限りません。以下の例より明らかです。
\end{equation*}について考えます。半径\(\varepsilon >0\)を任意に選んだとき点\(a\)を中心とする近傍\(N_{\varepsilon }\left( a\right) \)は\(a\)を要素として持つため\(\left\{ a\right\} \)と交わります。同時に、\(\varepsilon >0\)であることから\(N_{\varepsilon }\left( a\right) \)は\(\mathbb{R} \backslash \left\{ a\right\} \)とも交わります。したがって点\(a\)は\(\left\{ a\right\} \)の境界点です。その一方で、\(\left\{ a\right\} \)は\(a\)以外の要素を持たないため、\(N_{\varepsilon }\left( a\right) \)は\(a\)とは異なる\(\left\{ a\right\} \)の点を要素として持ち得ません。したがって\(a\)は\(\left\{ a\right\} \)の集積点ではありません。
ただし、\(\mathbb{R} ^{n}\)の部分集合\(A\)の境界点が\(A\)の要素ではない場合には、\(A\)の集積点になることが保証されます。
\end{equation*}が成り立つ。ただし、\(A^{d}\)は\(A\)の導集合であり、\(A^{f}\)は\(A\)の境界点である。
これまでの議論を整理しましょう。\(\mathbb{R} ^{n}\)の任意の部分集合\(A\)が与えられたとき、\(A\)の集積点は内点または境界点になることが保証されるため、集積点を探す際には内点と境界点だけを候補とすることができます。また、\(A\)のすべての内点は集積点であることが保証されます。一方、\(A\)の境界点は集積点であるとは限りません。\(A\)の要素ではない\(A\)の境界点は\(A\)の集積点になることが保証されますが、\(A\)の要素であるような\(A\)の境界点は\(A\)の集積点になるとは限りません。つまり、\(\mathbb{R} ^{n}\)の部分集合\(A\)のすべての集積点を特定する上で以下の指針が役に立ちます。
- \(A\)の内点はいずれも\(A\)の集積点である。
- \(A\)の要素ではない\(A\)の境界点はいずれも\(A\)の集積点である。
- \(A\)の要素である\(A\)の境界点は\(A\)の集積点である場合とそうでない場合がある（ここだけチェックが必要）。
- それ以外には\(A\)の集積点は存在しない。
\end{equation*}と定義されます。この集合の導集合は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{d}=C_{\varepsilon }\left(
a\right)
\end{equation*}となります（演習問題）。ただし、\(C_{\varepsilon}\left( a\right) \)は点\(a\)が中心で半径\(\varepsilon \)の閉近傍であり、\begin{equation*}C_{\varepsilon }\left( a\right) =\left\{ x\in \mathbb{R} ^{n}\ |\ d\left( x,a\right) \leq \varepsilon \right\}
\end{equation*}と定義されます。
a\right)
\end{equation*}となります（演習問題）。
\end{equation*}となります（演習問題）。
\end{equation*}となります（演習問題）。
\end{equation*}となります（演習問題）。
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}で与えられているとき、導集合は、\begin{equation*}
A^{d}=\left\{ 0\right\}
\end{equation*}となります（演習問題）。これは\(A\)集積点が\(A\)の点ではない例です。
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,0,\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}で与えられているとき、導集合は、\begin{equation*}
A^{d}=\left\{ 0\right\}
\end{equation*}となります（演習問題）。これは\(A\)集積点が\(A\)の点である例です。
導集合を用いた閉集合の定義
閉包と導集合の関係を整理しておきましょう。\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、\(A\)のすべての集積点に\(A\)のすべての要素を加えれば\(A\)のすべての触点が得られます。
\end{equation*}という関係が成り立つ。
\(\mathbb{R} ^{n}\)の部分集合\(A\)について、\begin{equation*}A^{a}=A
\end{equation*}が成り立つことは\(A\)が\(\mathbb{R} ^{n}\)上の閉集合であるための必要十分条件ですが、先の命題を踏まえると、このとき、\begin{eqnarray*}A^{a}=A &\Leftrightarrow &A\cup A^{d}=A\quad \because A^{a}=A\cup A^{d} \\
&\Leftrightarrow &A\cup A^{d}\subset A\quad \because A\subset A\cup A^{d}\text{は恒真} \\
&\Leftrightarrow &A^{d}\subset A
\end{eqnarray*}すなわち、\begin{equation*}
A^{a}=A\Leftrightarrow A^{d}\subset A
\end{equation*}という関係が成り立ちます。つまり、\(A\)の導集合が\(A\)の部分集合であることと\(A\)が閉集合であることは必要十分です。
\end{equation*}が成り立つことは、\(A\)が\(\mathbb{R} ^{n}\)上の閉集合であるための必要十分条件である。
以上の命題は、閉集合という概念が導集合という概念から定義可能であることを示唆します。つまり、\(\mathbb{R} ^{n}\)の部分集合\(A\)について、\begin{equation*}A^{d}\subset A
\end{equation*}が成り立つこととして、つまり、\(A\)の任意の集積点が\(A\)の点であることとして\(A\)が閉集合であることの意味を定義できるということです。
演習問題
a\right)
\end{equation*}であることを証明してください。
a\right)
\end{equation*}であることを証明してください。
\end{equation*}であることを証明してください。
\end{equation*}であることを証明してください。
\end{equation*}であることを証明してください。
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}として与えられているものとします。導集合\(A^{d}\)を求めてください。
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,0,\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}として与えられているものとします。導集合\(A^{d}\)を求めてください。
\end{equation*}が成り立つことを証明してください。
\end{equation*}が成り立つことを証明してください。
\end{equation*}が成り立つことを証明してください。
\end{equation*}は成り立つとは限らないことを証明してください。
次回はユークリッド空間の部分集合の集積点を点列を用いて判定する方法について解説します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】