点と集合との距離と集合同士の距離の定義
点と集合との距離と集合同士の距離の定義
距離空間\(\left(X,d\right)\)があるとする。
\begin{align*} d\left(x,A\right) & :=\inf_{a\in A}d\left(x,a\right)\\ & =\inf\left\{ d\left(x,a\right);a\in A\right\} \end{align*} で定義する。
\[ d\left(A,B\right):=\inf\left\{ d\left(a,b\right);a\in A,b\in B\right\} \] で定義する。
距離空間\(\left(X,d\right)\)があるとする。
(1)点と集合との距離
点\(x\in X\)と空集合でない部分集合\(A\subseteq X\)があるとき、点\(x\)と集合\(A\)との距離を\begin{align*} d\left(x,A\right) & :=\inf_{a\in A}d\left(x,a\right)\\ & =\inf\left\{ d\left(x,a\right);a\in A\right\} \end{align*} で定義する。
(2)集合同士の距離
空集合でない部分集合\(A,B\subseteq X\)があるとき、集合\(A\)と集合\(B\)との距離を\[ d\left(A,B\right):=\inf\left\{ d\left(a,b\right);a\in A,b\in B\right\} \] で定義する。
全体集合を実数全体\(\mathbb{R}\)として通常距離\(d\)の距離空間\(\left(\mathbb{R},d\right)\)とする。
このとき、
\(d\left(0,\left[1,2\right]\right)=d\left(0,1\right)=1\)
\(d\left(0,\left(1,2\right)\right)=d\left(0,1\right)=1\)
\(d\left(0,\left(-2,-1\right)\right)=d\left(0,-1\right)=1\)
\(d\left(0,\left(0,1\right)\right)=d\left(0,0\right)=0\)
\(d\left(0,\left(-1,0\right)\right)=d\left(0,0\right)=0\)
\(d\left(0,\left(-1,1\right)\right)=d\left(0,0\right)=0\)
\(d\left(\left(0,1\right),\left(2,3\right)\right)=d\left(1,2\right)=1\)
\(d\left(\left(0,1\right),\left[2,3\right]\right)=d\left(1,2\right)=1\)
\(d\left(\left(0,1\right),\left(-2,-1\right)\right)=d\left(0,-1\right)=1\)
\(d\left(\left(0,1\right),\left(1,2\right)\right)=d\left(1,1\right)=0\)
\(d\left(\left(0,1\right),\left(-1,0\right)\right)=d\left(0,0\right)=0\)
\(d\left(\left(0,1\right),\left(-1,2\right)\right)=d\left(0,0\right)=0\)
となる。
このとき、
\(d\left(0,\left[1,2\right]\right)=d\left(0,1\right)=1\)
\(d\left(0,\left(1,2\right)\right)=d\left(0,1\right)=1\)
\(d\left(0,\left(-2,-1\right)\right)=d\left(0,-1\right)=1\)
\(d\left(0,\left(0,1\right)\right)=d\left(0,0\right)=0\)
\(d\left(0,\left(-1,0\right)\right)=d\left(0,0\right)=0\)
\(d\left(0,\left(-1,1\right)\right)=d\left(0,0\right)=0\)
\(d\left(\left(0,1\right),\left(2,3\right)\right)=d\left(1,2\right)=1\)
\(d\left(\left(0,1\right),\left[2,3\right]\right)=d\left(1,2\right)=1\)
\(d\left(\left(0,1\right),\left(-2,-1\right)\right)=d\left(0,-1\right)=1\)
\(d\left(\left(0,1\right),\left(1,2\right)\right)=d\left(1,1\right)=0\)
\(d\left(\left(0,1\right),\left(-1,0\right)\right)=d\left(0,0\right)=0\)
\(d\left(\left(0,1\right),\left(-1,2\right)\right)=d\left(0,0\right)=0\)
となる。
ページ情報
| タイトル | 点と集合との距離と集合同士の距離の定義 |
| URL | https://www.nomuramath.com/wyincy21/ |
| SNSボタン |
チェビシェフ距離は距離空間
\[
d_{\infty}\left(\boldsymbol{x},\boldsymbol{y}\right)=\max\left(\left|x_{1}-y_{1}\right|,\cdots,\left|x_{n}-y_{n}\right|\right)
\]
距離空間での開集合と閉集合の定義
\[
\forall x\in A,\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
ε近傍(開球)の定義
\[
U\left(a,\epsilon\right)=\left\{ x\in X;d\left(a,x\right)<\epsilon\right\}
\]
距離空間と位相空間の関係
距離空間の開集合族は位相空間