WIIS

数直線の位相

実数集合の孤立点

目次

Mailで保存
Xで共有

孤立点

実数空間の点\(a\in \mathbb{R} \)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだとき、点\(a\)を中心とする半径\(\varepsilon \)の近傍とは、点\(a\)からの距離が\(\varepsilon \)よりも短い場所にある\(\mathbb{R} \)上の点からなる集合\begin{eqnarray*}N_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \right\} \\
&=&\left( a-\varepsilon ,a+\varepsilon \right)
\end{eqnarray*}です。実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{R} \)が\(A\)の集積点であることとは、点\(a\)の任意の近傍が\(a\)とは異なる\(A\)の点を要素として持つこと、すなわち、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
A\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0:\left( a-\varepsilon ,a+\varepsilon \right) \cap
\left( A\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立つことを意味します。定義より、\(A\)の集積点は必ずしも\(A\)の要素であるとは限りません。一方、点\(a\)が集合\(A\)の要素であるとともに\(A\)の集積点でない場合には、すなわち、以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ a\in A \\
&&\left( b\right) \ \exists \varepsilon >0:N_{\varepsilon }\left( a\right)
\cap \left( A\backslash \left\{ a\right\} \right) =\phi
\end{eqnarray*}がともに成り立つ場合には、この点\(a\)を集合\(A\)の孤立点(isolated point)と呼びます。

集積点とは異なり、集合\(A\)の孤立点は\(A\)の点でなければなりません。\(A\)の点の中でも\(A\)の集積点でないものを\(A\)の孤立点と呼ぶということです。したがって、\(A\)の孤立点からなる集合は、\begin{equation*}A\backslash A^{d}
\end{equation*}となります。ただし、\(A^{d}\)は\(A\)の集積点からなる集合、すなわち導集合です。

以上の事実は、\(A\)上の点は\(A\)の集積点または孤立点のどちらか一方であることも意味します。

命題(孤立点と集積点の関係)
実数空間\(\mathbb{R} \)の任意の部分集合\(A\)に対して、\(A\)の孤立点からなる集合は、\begin{equation*}A\backslash A^{d}
\end{equation*}である。ただし、\(A^{d}\)は\(A\)の導集合である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(有界開区間の孤立点)
\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界な開区間\begin{equation*}\left( a,b\right) =\left\{ x\in \mathbb{R} \ |\ a<x<b\right\}
\end{equation*}を定義します。導集合は、\begin{equation*}
\left( a,d\right) ^{d}=\left[ a,d\right] \end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}
\left( a,b\right) \backslash \left( a,b\right) ^{d} &=&\left( a,b\right)
\backslash \left[ a,b\right] \\
&=&\phi
\end{eqnarray*}となります。つまり、\(\left( a,b\right) \)は孤立点を持ちません。
例(有界閉区間の孤立点)
\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界な閉区間\begin{equation*}\left[ a,b\right] =\left\{ x\in \mathbb{R} \ |\ a\leq x\leq b\right\}
\end{equation*}を定義します。導集合は、\begin{equation*}
\left[ a,b\right] ^{d}=\left[ a,d\right] \end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}
\left[ a,b\right] \backslash \left[ a,b\right] ^{d} &=&\left[ a,b\right] \backslash \left[ a,b\right] \\
&=&\phi
\end{eqnarray*}となります。つまり、\(\left[ a,b\right] \)は孤立点を持ちません。
例(有界半開区間の孤立点)
\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界な半開区間\begin{eqnarray*}\lbrack a,b) &=&\left\{ x\in \mathbb{R} \ |\ a\leq x<b\right\} \\
(a,b] &=&\left\{ x\in \mathbb{R} \ |\ a<x\leq b\right\}
\end{eqnarray*}を定義します。導集合は、\begin{eqnarray*}
\lbrack a,b)^{d} &=&\left[ a,b\right] \\
(a,b]^{d} &=&\left[ a,b\right] \end{eqnarray*}であるため、孤立点からなる集合は、\begin{eqnarray*}
\lbrack a,b)\backslash \lbrack a,b)^{d} &=&[a,b)\backslash \left[ a,b\right] =\phi \\
(a,b]\backslash (a,b]^{d} &=&(a,b]\backslash (a,b]=\phi
\end{eqnarray*}となります。つまり、\([a,b)\)や\((a,b]\)は孤立点を持ちません。
例(有理数空間の孤立点)
すべての有理数からなる集合\(\mathbb{Q} \)の導集合は、\begin{equation*}\mathbb{Q} ^{d}=\mathbb{R} \end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}\mathbb{Q} \backslash \mathbb{Q} ^{d} &=&\mathbb{Q} \backslash \mathbb{R} \\&=&\phi
\end{eqnarray*}となります。つまり、\(\mathbb{Q} \)は孤立点を持ちません。
例(無理数空間の孤立点)
すべての無理数からなる集合\(\mathbb{R} \backslash \mathbb{Q} \)の導集合は、\begin{equation*}\left( \mathbb{R} \backslash \mathbb{Q} \right) ^{d}=\mathbb{R} \end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}
\left( \mathbb{R} \backslash \mathbb{Q} \right) \backslash \left( \mathbb{R} \backslash \mathbb{Q} \right) ^{d} &=&\left( \mathbb{R} \backslash \mathbb{Q} \right) \backslash \mathbb{R} \\
&=&\phi
\end{eqnarray*}となります。つまり、\(\mathbb{R} \backslash \mathbb{Q} \)は孤立点を持ちません。
例(実数空間の孤立点)
実数空間\(\mathbb{R} \)の導集合は、\begin{equation*}\mathbb{R} ^{d}=\mathbb{R} \end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}\mathbb{R} \backslash \mathbb{R} ^{d} &=&\mathbb{R} \backslash \mathbb{R} \\&=&\phi
\end{eqnarray*}となります。つまり、\(\mathbb{R} \)は孤立点を持ちません。
例(空集合の孤立点)
空集合は任意の集合の部分集合であるため\(\phi \subset \mathbb{R} \)であり、したがって\(\phi \)の導集合も定義可能ですが、\begin{equation*}\phi ^{d}=\phi
\end{equation*}となります。したがって、孤立点からなる集合は、\begin{eqnarray*}
\phi \backslash \phi ^{d} &=&\phi \backslash \phi \\
&=&\phi
\end{eqnarray*}となります。つまり、\(\phi \)は孤立点を持ちません。
例(離散集合)
実数空間\(\mathbb{R} \)の部分集合\(A\)が、\begin{eqnarray*}A &=&\left\{ \pm \frac{1}{n}\ |\ n\in \mathbb{N} \right\} \\
&=&\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*}であるため、孤立点からなる集合は、\begin{eqnarray*}
A\backslash A^{d} &=&A\backslash \left\{ 0\right\} \\
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}となります。つまり、\(A\)のすべての要素が\(A\)の孤立点です。この集合\(A\)のように、孤立点だけからなる集合を離散集合(discrete set)と呼びます。
例(非離散集合)
実数空間\(\mathbb{R} \)の部分集合\(A\)が、\begin{eqnarray*}A &=&\left\{ \pm \frac{1}{n}\ |\ n\in \mathbb{N} \right\} \cup \left\{ 0\right\} \\
&=&\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*}であるため、孤立点からなる集合は、\begin{eqnarray*}
A\backslash A^{d} &=&A\backslash \left\{ 0\right\} \\
&=&\left\{ -1,-\frac{1}{2},-\frac{1}{3},\cdots ,\frac{1}{3},\frac{1}{2},1\right\}
\end{eqnarray*}となります。つまり、\(0\)以外の\(A\)のすべての要素が\(A\)の孤立点です。\(A\)は孤立点ではない点\(0\)を要素として持つため、\(A\)は離散集合ではありません。
例(1点集合の孤立点)
実数\(a\in \mathbb{R} \)を任意に選んだ上でこれだけを要素として持つ集合\(\left\{ a\right\} \)について考えます。この集合の導集合は、\begin{equation*}\left\{ a\right\} ^{d}=\phi
\end{equation*}であるため、孤立点からなる集合は、\begin{eqnarray*}
\left\{ a\right\} \backslash \left\{ a\right\} ^{d} &=&\left\{ a\right\}
\backslash \phi \\
&=&\left\{ a\right\}
\end{eqnarray*}となります。つまり、\(\left\{ a\right\} \)の孤立点は\(a\)です。つまり、この集合\(\left\{ a\right\} \)もまた離散集合です。
例(有限集合の孤立点)
実数空間\(\mathbb{R} \)の非空な部分集合\(A\)が有限集合である場合、\(A\)の要素はいずれも\(A\)の孤立点です(演習問題)。

 

孤立点であるための必要十分条件

実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{R} \)が\(A\)の孤立点であることとは、\begin{eqnarray*}&&\left( a\right) \ a\in A \\
&&\left( b\right) \ \exists \varepsilon >0:N_{\varepsilon }\left( a\right)
\cap \left( A\backslash \left\{ a\right\} \right) =\phi
\end{eqnarray*}がともに成り立つこととして定義されます。これは、点\(a\)以外の\(A\)の点を要素として持たない点\(a\)の近傍\(N_{\varepsilon }\left( a\right) \)が存在するということです。さらに、\(a\in N_{\varepsilon }\left( a\right) \)かつ\(a\in A\)であることを踏まえると、上の条件は、\(N_{\varepsilon }\left( a\right) \)と\(A\)が共有する点が\(a\)だけであること、すなわち、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A=\left\{
a\right\}
\end{equation*}と必要十分です。つまり、点\(a\)が\(A\)の孤立点であることとは、十分小さな半径\(\varepsilon >0\)のもとでは近傍\(N_{\varepsilon}\left( a\right) \)の中に\(a\)以外の\(A\)の点が存在しないことを意味します。孤立点という名称の由来はここにあります。

命題(孤立点の言い換え)
実数空間\(\mathbb{R} \)の部分集合\(A\)と点\(a\in \mathbb{R} \)が与えられたとき、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A=\left\{
a\right\}
\end{equation*}が成り立つことは、点\(a\)が\(A\)の孤立点であるための必要十分条件である。
例(自然数集合の孤立点)
すべての自然数からなる集合\(\mathbb{N} \)の要素である自然数\(n\in \mathbb{N} \)を任意に選びます。半径が\(\frac{1}{2}\)であるような点\(n\)の近傍は、\begin{equation*}N_{\frac{1}{2}}\left( n\right) =\left\{ x\in \mathbb{R} \ |\ \left( n-\frac{1}{2},n+\frac{1}{2}\right) \right\}
\end{equation*}であるため、\begin{equation*}
N_{\frac{1}{2}}\left( n\right) \cap \mathbb{N} =\left\{ n\right\}
\end{equation*}を得ます。したがって先の命題より\(n\)は\(\mathbb{N} \)の孤立点です。任意の自然数\(n\)について同様の議論が成り立つため、自然数はいずれも\(\mathbb{N} \)の孤立点であることが明らかになりました。

 

触点・集積点・孤立点の関係

実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、以下の関係\begin{equation*}A^{a}=A\cup A^{d}
\end{equation*}が成り立ちます。ただし、\(A^{a}\)は\(A\)の閉包であり、\(A^{d}\)は\(A\)の導集合です。また、\(A\)の孤立点からなる集合は\(A\backslash A^{d}\)です。このとき、\begin{eqnarray*}A^{a} &=&A\cup A^{d} \\
&=&\left( \left( A\backslash A^{d}\right) \cup A^{d}\right) \cup A^{d} \\
&=&\left( A\backslash A^{d}\right) \cup A^{d}
\end{eqnarray*}すなわち、\begin{equation*}
A^{a}=\left( A\backslash A^{d}\right) \cup A^{d}
\end{equation*}という関係が成り立ちます。つまり、\(A\)の閉包は\(A\)の孤立点からなる集合と\(A\)の導集合に分割されるということです。言い換えると、\(A\)の孤立点と集積点をすべて集めれば\(A\)のすべての触点が得られると言うことです。

命題(触点・集積点・孤立点の関係)
実数空間\(\mathbb{R} \)の部分集合\(A\)について、\begin{equation*}A^{a}=\left( A\backslash A^{d}\right) \cup A^{d}
\end{equation*}が成り立つ。ただし、\(A^{a}\)は\(A\)の閉包、\(A\backslash A^{d}\)は\(A\)の孤立点からなる集合、\(A^{d}\)は\(A\)の導集合である。

 

演習問題

問題(孤立点を持つ集合は開集合ではない)
実数空間\(\mathbb{R} \)の部分集合\(A\)が孤立点を持つ場合には、\(A\)は\(\mathbb{R} \)上の開集合ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(有限集合の要素は孤立点)
実数空間\(\mathbb{R} \)の非空な部分集合\(A\)が有限集合であるならば、\(A\)の要素はいずれも\(A\)の孤立点であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録