分離している2つの集合
実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{R} \)が\(A\)の集積点であることとは、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
A\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立つこととして定義されます。ただし、\(N_{\varepsilon }\left( a\right) \)は中心が\(a\in \mathbb{R} \)であり半径が\(\varepsilon >0\)であるような近傍であり、\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \right\}
\end{equation*}と定義されます。つまり、点\(a\)が集合\(A\)の集積点であることとは、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(A\)の点が必ず存在することを意味します。
点\(a\in \mathbb{R} \)が集合\(A\subset \mathbb{R} \)の集積点であることと、\(A\)の要素を項とするとともに任意の項が\(a\)とは異なり、なおかつ\(a\)へ収束する数列が存在することは必要十分です。
集合\(A\subset \mathbb{R} \)の集積点をすべて集めることにより得られる集合を導集合と呼び、\begin{equation*}A^{d}
\end{equation*}で表記します。集合\(A\)が与えられたとき、その閉包\(A^{a}\)と導集合\(A^{d} \)の間には以下の関係\begin{equation*}A^{a}=A\cup A^{d}
\end{equation*}が成り立ちます。閉包\(A^{a}\)は内部\(A^{i}\)と境界\(A^{f}\)の和集合と一致するため、先の関係を、\begin{equation*}A^{i}\cup A^{f}=A\cup A^{d}
\end{equation*}と表現することもできます。
実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が以下の3つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B=\phi \\
&&\left( b\right) \ A\cap B^{d}=\phi \\
&&\left( c\right) \ A^{d}\cap B=\phi
\end{eqnarray*}をすべて満たす場合には、\(A\)と\(B\)は分離している（separated）と言います。つまり、\(A\)と\(B\)が分離していることとは、両者が互いに素であるとともに、お互いに相手の集積点を要素として持たないことを意味します。
B &=&\left( 2,3\right)
\end{eqnarray*}が与えられているものとします。明らかに、\begin{equation*}
A\cap B=\phi
\end{equation*}であるとともに、\begin{eqnarray*}
A\cap B^{d} &=&\left( 0,1\right) \cap \left( 2,3\right) ^{d} \\
&=&\left( 0,1\right) \cap \left[ 2,3\right] \\
&=&\phi
\end{eqnarray*}であり、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left( 2,3\right) \\
&=&\left[ 0,1\right] \cap \left( 2,3\right) \\
&=&\phi
\end{eqnarray*}であるため、\(A\)と\(B\)は分離していることが明らかになりました。
B &=&\left( 1,2\right)
\end{eqnarray*}が与えられているものとします。明らかに、\begin{equation*}
A\cap B=\phi
\end{equation*}であるとともに、\begin{eqnarray*}
A\cap B^{d} &=&\left( 0,1\right) \cap \left( 1,2\right) ^{d} \\
&=&\left( 0,1\right) \cap \left[ 1,2\right] \\
&=&\phi
\end{eqnarray*}であり、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left( 1,2\right) \\
&=&\left[ 0,1\right] \cap \left( 1,2\right) \\
&=&\phi
\end{eqnarray*}であるため、\(A\)と\(B\)は分離していることが明らかになりました。
逆に、実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が分離していないこととは、以下の3つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B=\phi \\
&&\left( b\right) \ A\cap B^{d}=\phi \\
&&\left( c\right) \ A^{d}\cap B=\phi
\end{eqnarray*}のうちの少なくとも1つが成り立つことを意味します。つまり、\(A,B\)が互いに素ではないか、もしくは\(A,B\)のうちの少なくとも一方が相手の集積点を要素として持つ場合、\(A\)と\(B\)は分離していません。
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。明らかに、\begin{equation*}
A\cap B=\phi
\end{equation*}が成り立ちます。その一方で、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left[ 1,2\right] \\
&=&\left[ 0,1\right] \cap \left[ 1,2\right] \\
&=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、\(A\)と\(B\)は分離していません。
B &=&\left\{ 1,2,3\right\}
\end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{d} &=&\mathbb{Z} \cap \left\{ 1,2,3\right\} ^{d} \\
&=&\mathbb{Z} \cap \phi \\
&=&\phi
\end{eqnarray*}および、\begin{eqnarray*}
A^{d}\cap B &=&\mathbb{Z} ^{d}\cap \left\{ 1,2,3\right\} \\
&=&\phi \cap \left\{ 1,2,3\right\} \\
&=&\phi
\end{eqnarray*}が成り立ちます。その一方で、\begin{eqnarray*}
A\cap B &=&\mathbb{Z} \cap \left\{ 1,2,3\right\} \\
&=&\left\{ 1,2,3\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、\(A\)と\(B\)は分離していません。
分離していることと互いに素であることの違い
定義より、2つの集合が分離している場合、それらの集合は互いに素です。
\end{equation*}が成り立つ。
先の命題の対偶より、2つの集合が互いに素ではない場合、それらの集合は分離していません。
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B &=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、先の命題より\(A\)と\(B\)は分離していません。
分離している2つの集合は互いに素である一方で、その逆は成り立つとは限りません。互いに素な集合は分離しているとは限らないということです。以下の例より明らかです。
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。明らかに、\begin{equation*}
A\cap B=\phi
\end{equation*}が成り立ちます。その一方で、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left[ 1,2\right] \\
&=&\left[ 0,1\right] \cap \left[ 1,2\right] \\
&=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、\(A\)と\(B\)は分離していません。
閉包を用いた分離している集合の特徴づけ
実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が分離していることは、以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B^{a}=\phi \\
&&\left( b\right) \ A^{a}\cap B=\phi
\end{eqnarray*}がともに成り立つことと必要十分です。つまり、\(A\)と\(B\)が分離していることとは、お互いに相手の触点を要素として持たないことを意味します。触点は内点または境界点のどちらか一方であるため、\(A,B\)が分離していることとは、どちらも相手の内点や境界点を要素を要素として持たないことを意味します。\(A\)と\(B\)はお互いに重なっておらず、また、お互いに相手の境界にも接していないということです。
&&\left( b\right) \ A^{a}\cap B=\phi
\end{eqnarray*}がともに成り立つことは、\(A\)と\(B\)が分離しているための必要十分条件である。
B &=&(1,2] \end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{a} &=&[0,1)\cap (1,2]^{a} \\
&=&[0,1)\cap \left[ 1,2\right] \\
&=&\phi
\end{eqnarray*}であるとともに、\begin{eqnarray*}
A^{a}\cap B &=&[0,1)^{a}\cap (1,2] \\
&=&\left[ 0,1\right] \cap (1,2] \\
&=&\phi
\end{eqnarray*}であるため、先の命題より、\(A\)と\(B\)は分離しています。
逆に、実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が分離していないこととは、以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B^{a}\not=\phi \\
&&\left( b\right) \ A^{a}\cap B\not=\phi
\end{eqnarray*}のうちの少なくとも一方が成り立つことを意味します。つまり、\(A\)と\(B\)の少なくとも一方が相手の触点（内点または境界点）を要素をして持つということです。
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{a} &=&\left[ 0,1\right] \cap \left[ 1,2\right] ^{a} \\
&=&\left[ 0,1\right] \cap \left[ 1,2\right] \\
&=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、先の命題より、\(A\)と\(B\)は分離していないことが明らかになりました。
B &=&\left\{ 1,2,3\right\}
\end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A^{a}\cap B &=&\mathbb{Z} ^{a}\cap \left\{ 1,2,3\right\} \\
&=&\mathbb{Z} \cap \left\{ 1,2,3\right\} \\
&=&\left\{ 1,2,3\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、先の命題より、\(A\)と\(B\)は分離していないことが明らかになりました。
開集合を用いた分離している集合の特徴づけ
実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が分離していることは、以下の条件\begin{eqnarray*}&&\left( a\right) \ A\subset U \\
&&\left( b\right) \ B\subset V \\
&&\left( c\right) \ U\cap B=\phi \\
&&\left( d\right) \ V\cap A=\phi
\end{eqnarray*}をすべて満たす\(\mathbb{R} \)上の開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)が存在することと必要十分です。つまり、\(A\)と\(B\)が分離していることとは、\(A\)を部分集合として含むとともに\(B\)と交わらない開集合と、\(B\)を部分集合として含むとともに\(A\)と交わらない開集合がともに存在することを意味します。
&&\left( b\right) \ B\subset V \\
&&\left( c\right) \ U\cap B=\phi \\
&&\left( d\right) \ V\cap A=\phi
\end{eqnarray*}をすべて満たす\(\mathbb{R} \)上の開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)が存在することは、\(A\)と\(B\)が分離しているための必要十分条件である。
B &=&(1,2] \end{eqnarray*}が与えられているものとします。以下の2つの開集合\begin{eqnarray*}
U &=&\left( -\infty ,1\right) \\
V &=&\left( 1,+\infty \right)
\end{eqnarray*}に注目すると、\begin{eqnarray*}
&&\left( a\right) \ A\subset U\wedge U\cap B=\phi \\
&&\left( b\right) \ B\subset V\wedge V\cap A=\phi
\end{eqnarray*}がともに成り立つため、先の命題より\(A\)と\(B \)は分離しています。
逆に、実数空間\(\mathbb{R} \)の2つの部分集合\(A,B\)が分離していないこととは、以下の4つの条件\begin{eqnarray*}&&\left( a\right) \ A\subset U \\
&&\left( b\right) \ B\subset V \\
&&\left( c\right) \ U\cap B=\phi \\
&&\left( d\right) \ V\cap A=\phi
\end{eqnarray*}をすべて満たす開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)が存在しないことを意味します。つまり、どのような開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)を選んだ場合でも、上の4つの条件の中の少なくとも1つが成り立たないということです。もしくは、上の4つの条件を満たす集合\(U,V\)を任意に選んだとき、それらのうちの少なくとも一方は開集合ではないということです。
B &=&\left[ 1,2\right] \end{eqnarray*}に注目します。以下の条件\begin{eqnarray*}
&&\left( a\right) \ A\subset U \\
&&\left( b\right) \ B\subset V \\
&&\left( c\right) \ U\cap B=\phi \\
&&\left( d\right) \ V\cap A=\phi
\end{eqnarray*}すなわち、\begin{eqnarray*}
&&\left( a\right) \ \left[ 0,1\right] \subset U \\
&&\left( b\right) \ \left[ 1,2\right] \subset V \\
&&\left( c\right) \ U\cap \left[ 1,2\right] =\phi \\
&&\left( d\right) \ V\cap \left[ 0,1\right] =\phi
\end{eqnarray*}をすべて満たす開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)が存在するものと仮定します。\(\left( a\right) \)より\(1\in U\)であるため、\begin{equation*}1\in U\cap \left[ 1,2\right] \end{equation*}すなわち、\begin{equation*}
U\cap \left[ 1,2\right] \not=\phi
\end{equation*}となり\(\left( c\right) \)と矛盾します。したがって背理法より\(\left( a\right) ,\left( b\right) ,\left(c\right) ,\left( d\right) \)をすべて満たす開集合\(U,V\in \mathcal{O}\left( \mathbb{R} \right) \)は存在しないため、\(A\)と\(B\)は分離していません。
演習問題
B &=&\left( 1,2\right)
\end{eqnarray*}は分離しているでしょうか。議論してください。
B &=&\left( 0,1\right)
\end{eqnarray*}は分離しているでしょうか。議論してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】