分離している2つの集合
距離空間\(\left( X,d\right) \)が与えられているものとします。つまり、\(X\)は非空集合であるとともに、距離関数\(d:X\times X\rightarrow \mathbb{R} \)が以下の4つの公理\begin{eqnarray*}&&\left( M_{1}\right) \ \forall x,y\in X:d\left( x,y\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall x,y\in X:\left[ d(x,y)=0\Leftrightarrow x=y\right] \\
&&\left( M_{3}\right) \ \forall x,y\in X:d(x,y)=d\left( y,x\right) \\
&&\left( M_{4}\right) \ \forall x,y,z\in X:d\left( x,z\right) \leq d\left(
x,y\right) +d\left( y,z\right)
\end{eqnarray*}を満たすということです。
距離空間\(X\)の部分集合\(A\)が与えられたとき、点\(a\in X\)が\(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 X\)であり半径が\(\varepsilon >0\)であるような近傍であり、\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ x\in X\ |\ d\left( x,a\right)
<\varepsilon \right\}
\end{equation*}と定義されます。つまり、点\(a\)が集合\(A\)の集積点であることとは、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(A\)の点が必ず存在することを意味します。
点\(a\in X\)が集合\(A\subset X\)の集積点であることと、\(A\)の要素を項とするとともに任意の項が\(a\)とは異なり、なおかつ\(a\)へ収束する点列が存在することは必要十分です。
集合\(A\subset X\)の集積点をすべて集めることにより得られる集合を導集合と呼び、\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*}と表現することもできます。
距離空間\(X\)の2つの部分集合\(A,B\)が以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B^{d}=\phi \\
&&\left( b\right) \ A^{d}\cap B=\phi
\end{eqnarray*}をともに満たす場合には、\(A\)と\(B\)は分離している（separated）と言います。つまり、\(A\)と\(B\)が分離していることとは、お互いに相手の集積点を要素として持たないことを意味します。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left( 0,1\right) \\
B &=&\left( 2,3\right)
\end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{d} &=&\left( 0,1\right) \cap \left( 2,3\right) ^{d}\quad \because
A,B\text{の定義} \\
&=&\left( 0,1\right) \cap \left[ 2,3\right] \quad \because \text{導集合の定義} \\
&=&\phi
\end{eqnarray*}であるとともに、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left( 2,3\right) \quad \because
A,B\text{の定義} \\
&=&\left[ 0,1\right] \cap \left( 2,3\right) \quad \because \text{導集合の定義} \\
&=&\phi
\end{eqnarray*}であるため、\(A\)と\(B\)は分離していることが明らかになりました。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left( 0,1\right) \\
B &=&\left( 1,2\right)
\end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{d} &=&\left( 0,1\right) \cap \left( 1,2\right) ^{d}\quad \because
A,B\text{の定義} \\
&=&\left( 0,1\right) \cap \left[ 1,2\right] \quad \because \text{導集合の定義} \\
&=&\phi
\end{eqnarray*}であるとともに、\begin{eqnarray*}
A^{d}\cap B &=&\left( 0,1\right) ^{d}\cap \left( 1,2\right) \quad \because
A,B\text{の定義} \\
&=&\left[ 0,1\right] \cap \left( 1,2\right) \quad \because \text{導集合の定義} \\
&=&\phi
\end{eqnarray*}であるため、\(A\)と\(B\)は分離していることが明らかになりました。
x_{1}-y_{1}\right) ^{2}+\left( x_{2}-y_{2}\right) ^{2}}
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left\{ \left( x_{1},x_{2}\right) \in \mathbb{R} ^{2}\ |\ x_{1}<0\right\} \\
B &=&\left\{ \left( x_{1},x_{2}\right) \in \mathbb{R} ^{2}\ |\ x_{1}>1\right\}
\end{eqnarray*}が与えられているものとします。それぞれの導集合は、\begin{eqnarray*}
A^{d} &=&\left\{ \left( x_{1},x_{2}\right) \in \mathbb{R} ^{2}\ |\ x_{1}\leq 0\right\} \\
B^{d} &=&\left\{ \left( x_{1},x_{2}\right) \in \mathbb{R} ^{2}\ |\ x_{1}\geq 1\right\}
\end{eqnarray*}であるため、\begin{eqnarray*}
A\cap B^{d} &=&\phi \\
A^{d}\cap B &=&\phi
\end{eqnarray*}がともに成り立ちます。したがって\(A\)と\(B\)は分離しています。
\begin{array}{cc}
0 & \left( if\ x=y\right) \\
1 & \left( if\ x\not=y\right)
\end{array}\right.
\end{equation*}と定めます。2つの集合\(A,B\subset X\)を任意に選んだとき、\(A\)と\(B\)は分離しています（演習問題）。
逆に、距離空間\(X\)の2つの部分集合\(A,B\)が分離していないこととは、以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ A\cap B^{d}\not=\phi \\
&&\left( b\right) \ A^{d}\cap B\not=\phi
\end{eqnarray*}のうちの少なくとも1つが成り立つことを意味します。つまり、\(A,B\)のうちの少なくとも一方が相手の集積点を要素として持つ場合、\(A\)と\(B\)は分離していません。
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B^{d} &=&\left[ 0,1\right] \cap \left[ 1,2\right] ^{d}\quad \because
A,B\text{の定義} \\
&=&\left[ 0,1\right] \cap \left[ 1,2\right] \\
&=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、\(A\)と\(B\)は分離していません。
分離している集合は互いに素
分離している2つの集合は互いに素です。
\end{equation*}が成り立つ。
先の命題の対偶より、2つの集合が互いに素ではない場合、それらの集合は分離していません。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left[ 0,1\right] \\
B &=&\left[ 1,2\right] \end{eqnarray*}が与えられているものとします。\begin{eqnarray*}
A\cap B &=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、先の命題より\(A\)と\(B\)は分離していません。
分離している2つの集合は互いに素であることが明らかになりましたが、その逆は成り立つとは限りません。互いに素な集合は分離しているとは限らないということです。以下の例より明らかです。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left( 0,1\right) \\
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] \quad \because
A,B\text{の定義} \\
&=&\left[ 0,1\right] \cap \left[ 1,2\right] \quad \because \text{導集合の定義} \\
&=&\left\{ 1\right\} \\
&\not=&\phi
\end{eqnarray*}が成り立つため、\(A\)と\(B\)は分離していません。
閉包を用いた分離している集合の特徴づけ
距離空間\(X\)の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\)が分離しているための必要十分条件である。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&[0,1) \\
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\)は分離しています。
逆に、距離空間\(X\)の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\)の少なくとも一方が相手の触点（内点または境界点）を要素をして持つということです。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left[ 0,1\right] \\
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\)は分離していないことが明らかになりました。
開集合を用いた分離している集合の特徴づけ
距離空間\(X\)の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*}をすべて満たす\(X\)上の開集合\(U,V\in \mathcal{O}\left( X\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*}をすべて満たす\(X\)上の開集合\(U,V\in \mathcal{O}\left( X\right) \)が存在することは、\(A\)と\(B\)が分離しているための必要十分条件である。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&[0,1) \\
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\)は分離しています。
逆に、距離空間\(X\)の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( X\right) \)が存在しないことを意味します。つまり、どのような開集合\(U,V\in \mathcal{O}\left( X\right) \)を選んだ場合でも、上の4つの条件の中の少なくとも1つが成り立たないということです。もしくは、上の4つの条件を満たす集合\(U,V\)を任意に選んだとき、それらのうちの少なくとも一方は開集合ではないということです。
\end{equation*}と定めます。以下の\(\mathbb{R} \)の部分集合\begin{eqnarray*}A &=&\left[ 0,1\right] \\
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\)は分離していません。
演習問題
\begin{array}{cc}
0 & \left( if\ x=y\right) \\
1 & \left( if\ x\not=y\right)
\end{array}\right.
\end{equation*}と定めます。2つの集合\(A,B\subset X\)を任意に選んだとき、\(A\)と\(B\)は分離していることを示してください。
\end{equation*}と定めます。すべての有理数からなる集合\(\mathbb{Q} \)とすべての無理数からなる集合\(\mathbb{R} \backslash \mathbb{Q} \)はともに\(\mathbb{R} \)の部分集合ですが、これらは分離しているでしょうか。議論してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】