点と集合との距離と集合同士の距離の定義
点と集合との距離と集合同士の距離の定義
距離空間\(\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_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]
2つの距離関数と点列・開集合・閉集合の関係
距離空間での収束の定義と開集合による別定義
\[
\exists a\in X,\forall\epsilon>0,\exists N\in\mathbb{N},N<n\rightarrow d\left(a_{n},a\right)<\epsilon
\]