点と集合との距離と集合同士の距離の定義
点と集合との距離と集合同士の距離の定義
距離空間\(\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\left(P,Q\right)^{2}:=\sum_{k=1}^{n}d_{k}\left(p_{k},q_{k}\right)^{2}
\]
マンハッタン距離は距離空間
\[
d_{1}\left(\boldsymbol{x},\boldsymbol{y}\right)=\sum_{k=1}^{n}\left|x_{k}-y_{k}\right|
\]
距離空間でε-近傍は開集合
\[
\forall U_{\epsilon}\left(a\right)\subseteq X,\forall a_{0}\in U_{\epsilon}\left(a\right),\exists\epsilon_{0}>0,U_{\epsilon_{0}}\left(a_{0}\right)\subseteq U_{\epsilon}\left(a\right)
\]