距離空間における集合間の距離
距離空間\(\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*}を満たすということです。距離関数\(d\)は距離空間に属する2つの点\(x,y\in X\)の間の距離\(d\left(x,y\right) \)を定めますが、距離関数\(d\)を活用することにより\(X\)の部分集合どうしの距離を定義できます。
距離空間\(X\)の空ではない部分集合\(A,B\)を任意に選びます。この2つの集合の距離としては、\(A\)に属する点と\(B\)に属する点の間の距離の中でも最も短いものを採用します。つまり、\(A\)の点\(a\)と\(B\)の点\(b\)をそれぞれ任意に選んだとき、この2つの点の間の距離は\(d\left( a,b\right) \)となるため、この距離がとり得る値の範囲は、\begin{equation}\left\{ d\left( a,b\right) \in \mathbb{R} \ |\ a\in A\wedge b\in B\right\} \quad \cdots (1)
\end{equation}となりますが、この集合に属する値の中で最も小さいものとして、\(A\)と\(B\)の間の距離を定義するということです。
一般に、\(\mathbb{R} \)の非空な部分集合に対してその最小値は存在するとは限らないため、\(\mathbb{R} \)の部分集合である\(\left(1\right) \)についても、その最小値は存在するとは限りません。したがって、2つの集合\(A,B\)の間の距離を\(\left( 1\right) \)の最小値と定義してしまうと、集合の間の距離が定まらないという事態が起こり得ます。このような事態を回避するために、\(A\)と\(B\)の間の距離を\(\left( 1\right) \)の最小値として定義するのではなく、\(\left( 1\right) \)の下限として定義した上で、これを、\begin{equation*}d\left( A,B\right) =\inf \left\{ d\left( a,b\right) \in \mathbb{R} \ |\ a\in A\wedge b\in B\right\}
\end{equation*}で表記します。これを\(A\)から\(B\)への距離（distance from \(A\) to \(B\)）と呼びます。
距離空間\(X\)の非空な部分集合\(A,B\)に対して、その要素である\(a\in A\)と\(b\in B\)をそれぞれ任意に選びます。距離関数\(d\)の非負性よりこれらの点の間の距離\(d\left( a,b\right) \)は非負の実数になります。したがって、先の集合\begin{equation*}\left\{ d\left( a,b\right) \in \mathbb{R} \ |\ a\in A\wedge b\in B\right\}
\end{equation*}は非負の実数からなる\(\mathbb{R} \)の部分集合であるため下に有界です。すると、\(\mathbb{R} \)の連続性（下限性質）より、その下限\begin{equation*}\inf \left\{ d\left( a,b\right) \in \mathbb{R} \ |\ a\in A\wedge b\in B\right\}
\end{equation*}すなわち\(d\left( A,B\right) \)が存在することが保証されます。しかも、\(\mathbb{R} \)の非空な部分集合の下限が存在する場合、それは必ず1つの実数として定まるため、\(d\left( A,B\right) \)もまた常に1つの実数として定まることが保証されます。以上の理由により、距離空間\(X\)の非空な部分集合\(A,B\)を任意に選ぶと、\(A\)から\(B\)への距離\(d\left( A,B\right) \)は常に存在し、それは1つの有限な実数として定まることが保証されます。このような事情を踏まえると、それぞれの\(\left( A,B\right) \in 2^{X}\backslash \left\{ \phi \right\}\times 2^{X}\backslash \left\{ \phi \right\} \)に対して、\(A\)から\(B\)への距離\(d\left( A,B\right) \in \mathbb{R} \)を定める実数値関数\begin{equation*}d:2^{X}\backslash \left\{ \phi \right\} \times 2^{X}\backslash \left\{ \phi
\right\} \rightarrow \mathbb{R} \end{equation*}が定義可能です。ただし、\(2^{X}\)は\(X\)のべき集合です。
距離空間\(X\)の非空な部分集合\(A\)を任意に選んだとき、空集合\(\phi \)との距離に関しては、便宜上、\begin{equation*}d\left( A,\phi \right) =d\left( \phi ,A\right) =d\left( \phi ,\phi \right)
=+\infty
\end{equation*}と定めます。
\end{equation*}と定めます。\(\mathbb{R} \)の非空な部分集合である以下の2つの集合\begin{eqnarray*}A &=&\left( 0,1\right) \\
B &=&\left[ 2,3\right] \end{eqnarray*}に注目すると、\(A\)から\(B\)への距離は、\begin{eqnarray*}d\left( A,B\right) &=&\inf \left\{ d\left( x,y\right) \in \mathbb{R} \ |\ x\in A\wedge y\in B\right\} \\
&=&\inf \left\{ \left\vert x-y\right\vert \in \mathbb{R} \ |\ x\in \left( 0,1\right) \wedge y\in \left[ 2,3\right] \right\} \\
&=&\inf \left( 1,3\right) \\
&=&1
\end{eqnarray*}となります。
\end{equation*}と定めます。2次元ユークリッド空間\(\mathbb{R} ^{2}\)の非空な部分集合である以下の2つの集合\begin{eqnarray*}A &=&\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x^{2}+y^{2}\leq 1\right\} \\
B &=&\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ 2\leq x\leq 4\wedge 2\leq y\leq 4\right\}
\end{eqnarray*}に注目します。\(A\)は原点\(\left( 0,0\right) \)が中心であり半径\(1\)の円盤であり、\(B\)は点\(\left( 2,2\right) ,\left( 4,2\right) ,\left( 2,4\right),\left( 4,4\right) \)を頂点とする正方形領域であるため、\(A\)から\(B\)への距離は\(A\)上の点\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)と\(B\)上の点\(\left( 2,2\right) \)の間の距離と一致します。つまり、\begin{eqnarray*}d\left( A,B\right) &=&\sqrt{\left( 2-\frac{\sqrt{2}}{2}\right) ^{2}+\left(
2-\frac{\sqrt{2}}{2}\right) ^{2}} \\
&=&2\sqrt{2}-1
\end{eqnarray*}となります。
\begin{array}{cc}
0 & \left( if\ x=y\right) \\
1 & \left( if\ x\not=y\right)
\end{array}\right.
\end{equation*}と定めます。空ではない部分集合\(A,B\subset X\)を任意に選びます。\(A\cap B=\phi \)である場合には、\begin{eqnarray*}d\left( A,B\right) &=&\inf \left\{ d\left( x,y\right) \in \mathbb{R} \ |\ x\in A\wedge y\in B\right\} \\
&=&\inf \left\{ 1\right\} \quad \because A\cap B=\phi \\
&=&1
\end{eqnarray*}である一方で、\(A\cap B\not=\phi \)である場合には、\begin{eqnarray*}d\left( A,B\right) &=&\inf \left\{ d\left( x,y\right) \in \mathbb{R} \ |\ x\in A\wedge y\in B\right\} \\
&=&\left\{
\begin{array}{cc}
\inf \left\{ 0\right\} & \left( if\ A=B\right) \\
\inf \left\{ 0,1\right\} & \left( if\ A\not=B\right)
\end{array}\right. \\
&=&\left\{
\begin{array}{cc}
0 & \left( if\ A=B\right) \\
0 & \left( if\ A\not=B\right)
\end{array}\right. \\
&=&0
\end{eqnarray*}となります。結果をまとめると、\begin{equation*}
d\left( A,B\right) =\left\{
\begin{array}{cc}
1 & \left( if\ A\cap B=\phi \right) \\
0 & \left( if\ A\cap B\not=\phi \right)
\end{array}\right.
\end{equation*}となります。
距離空間における点と集合の距離
距離空間\(X\)の空ではない部分集合\(A,B\)の間の距離を、\begin{equation*}d\left( A,B\right) =\inf \left\{ d\left( a,b\right) \in \mathbb{R} \ |\ a\in A\wedge b\in B\right\}
\end{equation*}と定義しました。以上を踏まえた上で、距離空間\(X\)の点\(x\)から非空な部分集合\(A\)の間の距離としては、1点集合\(\left\{ x\right\} \)と集合\(A\)の間の距離\(d\left( \left\{ x\right\} ,A\right) \)を採用し、これを、\begin{eqnarray*}d\left( x,A\right) &=&d\left( \left\{ x\right\} ,A\right) \\
&=&\inf \left\{ d\left( x,a\right) \in \mathbb{R} \ |\ a\in A\right\}
\end{eqnarray*}で表記します。
距離空間\(X\)の点\(x\)を任意に選んだとき、空集合\(\phi \)との距離に関しては、便宜上、\begin{equation*}d\left( x,\phi \right) =+\infty
\end{equation*}と定めます。
\end{equation*}と定めます。点\(0\in \mathbb{R} \)と非空な部分集合\begin{equation*}A=\left( 0,1\right) \subset \mathbb{R} \end{equation*}に注目すると、それらの間の距離は、\begin{eqnarray*}
d\left( 0,A\right) &=&\inf \left\{ d\left( 0,x\right) \in \mathbb{R} \ |\ x\in \left( 0,1\right) \right\} \\
&=&\inf \left\{ \left\vert 0-x\right\vert \in \mathbb{R} \ |\ x\in \left( 0,1\right) \right\} \\
&=&\inf \left\{ x\in \mathbb{R} \ |\ x\in \left( 0,1\right) \right\} \\
&=&\inf \left( 0,1\right) \\
&=&0
\end{eqnarray*}となります。また、点\(2\in \mathbb{R} \)と非空な部分集合\begin{equation*}A=\left( 0,1\right) \subset \mathbb{R} \end{equation*}に注目すると、それらの間の距離は、\begin{eqnarray*}
d\left( 2,A\right) &=&\inf \left\{ d\left( 2,x\right) \in \mathbb{R} \ |\ x\in \left( 0,1\right) \right\} \\
&=&\inf \left\{ \left\vert 2-x\right\vert \in \mathbb{R} \ |\ x\in \left( 0,1\right) \right\} \\
&=&\inf \left( 1,2\right) \\
&=&1
\end{eqnarray*}となります。
\end{equation*}と定めます。点\(\left( 0,3\right)\in \mathbb{R} ^{2}\)と非空な部分集合\begin{equation*}A=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ 2\leq x\leq 4\wedge 2\leq y\leq 4\right\} \subset \mathbb{R} ^{2}
\end{equation*}に注目します。\(A\)は\(\left(2,2\right) ,\left( 4,2\right) ,\left( 2,4\right) ,\left( 4,4\right) \)を頂点とする正方形領域であるため、点\(\left(0,3\right) \)から集合\(A\)への距離は点\(\left( 0,3\right) \)と\(A\)上の点\(\left( 2,3\right) \)の間の距離と一致するため、\begin{eqnarray*}d\left( \left( 0,3\right) ,A\right) &=&\inf \left\{ d\left( \left(
0,3\right) ,x\right) \in \mathbb{R} \ |\ x\in A\right\} \\
&=&\sqrt{\left( 0-2\right) ^{2}+\left( 3-3\right) ^{2}} \\
&=&2
\end{eqnarray*}となります。
\begin{array}{cc}
0 & \left( if\ x=y\right) \\
1 & \left( if\ x\not=y\right)
\end{array}\right.
\end{equation*}と定めます。点\(x\in X\)と空ではない部分集合\(A\subset X\)をそれぞれ任意に選ぶと、これらの距離は、\begin{eqnarray*}d\left( x,A\right) &=&\inf \left\{ d\left( x,A\right) \in \mathbb{R} \ |\ y\in A\right\} \\
&=&\left\{
\begin{array}{cl}
\inf \left\{ 0\right\} & \left( if\ x\in A=\left\{ x\right\} \right) \\
\inf \left\{ 0,1\right\} & \left( if\ x\in A\not=\left\{ x\right\} \right)
\\
\inf \left\{ 1\right\} & \left( if\ x\not\in A\right)
\end{array}\right. \\
&=&\left\{
\begin{array}{cl}
0 & \left( if\ x\in A=\left\{ x\right\} \right) \\
0 & \left( if\ x\in A\not=\left\{ x\right\} \right) \\
1 & \left( if\ x\not\in A\right)
\end{array}\right. \\
&=&\left\{
\begin{array}{cl}
0 & \left( if\ x\in A\right) \\
1 & \left( if\ x\not\in A\right)
\end{array}\right.
\end{eqnarray*}となります。
集合間の距離と非負性
距離空間\(X\)の部分集合どうしの距離\begin{equation*}d:2^{X}\backslash \left\{ \phi \right\} \times 2^{X}\backslash \left\{ \phi
\right\} \rightarrow \mathbb{R} \end{equation*}もまた距離の公理を満たすのでしょうか。順番に考えます。
距離空間\(X\)の部分集合どうしの距離は非負性を満たします。つまり、\(X\)の非空な部分集合\(A,B\)を任意に選んだとき、\begin{equation*}d\left( A,B\right) \geq 0
\end{equation*}が成り立ちます。\(A\)から\(B\)への距離は必ず非負の実数になるということです。特に、\(A\)と\(B\)が交わる場合、\(A\)から\(B\)への距離は\(0\)になります。
\end{equation*}が成り立つ。特に、\(A\cap B\not=\phi \)の場合には、\begin{equation*}d\left( A,B\right) =0
\end{equation*}となる。
点と集合の距離は集合間の距離の特殊ケースであるため、上の命題より以下を得ます。
\end{equation*}が成り立つ。特に、\(x\in A\)の場合には、\begin{equation*}d\left( x,A\right) =0
\end{equation*}となる。
集合間の距離と不可識別者同一性
距離空間\(X\)の部分集合どうしの距離は不可識別者同一性を満たすとは限りません。つまり、\(X\)の非空な部分集合\(A,B\)に対して、\begin{equation*}d\left( A,B\right) =0\Leftrightarrow A=B
\end{equation*}は成り立つとは限りません。以下の例より明らかです。
\end{equation*}を定めます。\(\mathbb{R} \)の非空な部分集合である以下の2つの集合\begin{eqnarray*}A &=&\left( 0,1\right) \\
B &=&\left[ 0,1\right] \end{eqnarray*}に注目すると、\begin{equation*}
A\not=B
\end{equation*}である一方で、\begin{eqnarray*}
d\left( A,B\right) &=&\inf \left\{ d\left( x,y\right) \in \mathbb{R} \ |\ x\in A\wedge y\in B\right\} \\
&=&\inf \left\{ \left\vert x-y\right\vert \in \mathbb{R} \ |\ x\in \left( 0,1\right) \wedge y\in \left[ 0,1\right] \right\} \\
&=&\inf \left( 0,1\right) \\
&=&0
\end{eqnarray*}となります。
集合間の距離と対称性
距離空間\(X\)の部分集合どうしの距離は対称性を満たします。つまり、\(X\)の非空な部分集合\(A,B\)を任意に選んだとき、\begin{equation*}d\left( A,B\right) =d\left( B,A\right)
\end{equation*}が成り立ちます。\(A\)から\(B\)への距離と\(B\)から\(A\)への距離は等しいことが保証されるということです。このような事情を踏まえると、\(A\)から\(B\)への距離を\(A\)と\(B\)の間の距離（distance between \(A\) and \(B\)）と言っても差し支えありません。
\end{equation*}が成り立つ。
点と集合の距離は集合間の距離の特殊ケースであるため、上の命題より以下を得ます。
\end{equation*}が成り立つ。
集合間の距離と三角不等式
距離空間\(X\)の部分集合どうしの距離は三角不等式を満たすとは限りません。つまり、\(X\)の非空な部分集合\(A,B,C\)に対して、\begin{equation*}d\left( A,C\right) \leq d\left( A,B\right) +d\left( B,C\right)
\end{equation*}は成り立つとは限りません。以下の例より明らかです。
\end{equation*}と定めます。\(\mathbb{R} \)の非空な部分集合である以下の3つの集合\begin{eqnarray*}A &=&\left[ 1,2\right] \\
B &=&\left[ 0,5\right] \\
C &=&\left[ 3,4\right] \end{eqnarray*}に注目すると、\begin{eqnarray*}
d\left( A,C\right) &=&1 \\
d\left( A,B\right) &=&0 \\
d\left( B,C\right) &=&0
\end{eqnarray*}であるため、\begin{equation*}
d\left( A,C\right) >d\left( A,B\right) +d\left( B,C\right)
\end{equation*}が成立しています。
一方、以下の関係は成立します。
\end{equation*}が成り立つ。
以下の関係も成立します。
x,y\right)
\end{equation*}が成り立つ。
演習問題
\end{equation*}が成り立つことを示してください。
\end{equation*}が成り立つことを本文中で示しました。では、\begin{equation*}
A\cap B=\phi \wedge d\left( A,B\right) \not=0
\end{equation*}が成り立つ場合は存在するでしょうか。議論してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】