点と集合との距離と集合同士の距離の定義
点と集合との距離と集合同士の距離の定義
距離空間\(\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ボタン |
点列の収束と任意の部分列の収束
点列の収束と任意の部分列の収束
ハイネ・カントールの定理
有界閉区間上で関数が連続ならば一様連続である。
ε近傍(開球)の定義
\[
U\left(a,\epsilon\right)=\left\{ x\in X;d\left(a,x\right)<\epsilon\right\}
\]
部分距離空間・直積距離空間の定義
\[
d\left(P,Q\right)^{2}:=\sum_{k=1}^{n}d_{k}\left(p_{k},q_{k}\right)^{2}
\]