離散距離は距離空間
離散距離は距離空間
集合\(X\)に対し距離\(d:X\times X\rightarrow\mathbb{R}\)を
\[ d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=\begin{cases} 0 & \boldsymbol{x}=\boldsymbol{y}\\ 1 & \boldsymbol{x}\ne\boldsymbol{y} \end{cases} \] で定めると、\(d_{0}\)は距離空間になる。
この距離を離散距離、距離空間を離散距離空間という。
集合\(X\)に対し距離\(d:X\times X\rightarrow\mathbb{R}\)を
\[ d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=\begin{cases} 0 & \boldsymbol{x}=\boldsymbol{y}\\ 1 & \boldsymbol{x}\ne\boldsymbol{y} \end{cases} \] で定めると、\(d_{0}\)は距離空間になる。
この距離を離散距離、距離空間を離散距離空間という。
非退化性
\(\boldsymbol{x}=\boldsymbol{y}\)のとき、明らかに\(d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=0\)となるので\(\boldsymbol{x}=\boldsymbol{y}\Rightarrow d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=0\)\(d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=0\)のとき、明らかに\(\boldsymbol{x}=\boldsymbol{y}\)なので、\(d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=0\Rightarrow\boldsymbol{x}=\boldsymbol{y}\)となる。
故に\(\boldsymbol{x}=\boldsymbol{y}\Leftrightarrow d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=0\)となり非退化性は満たされる。
対称性
\begin{align*} d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right) & =\begin{cases} 0 & \boldsymbol{x}=\boldsymbol{y}\\ 1 & \boldsymbol{x}\ne\boldsymbol{y} \end{cases}\\ & =d_{0}\left(\boldsymbol{y},\boldsymbol{x}\right) \end{align*} となるので、対称性は満たされる。3角不等式
\(\boldsymbol{x}=\boldsymbol{z}\)のとき、\begin{align*} d_{0}\left(\boldsymbol{x},\boldsymbol{z}\right) & =0\\ & \leq d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)+d_{0}\left(\boldsymbol{y},\boldsymbol{z}\right) \end{align*} となる。
\(\boldsymbol{x}\ne\boldsymbol{z}\)のとき、
\(\boldsymbol{x}\ne\boldsymbol{y}\)または\(\boldsymbol{y}\ne\boldsymbol{z}\)なので、\(d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)=1\)または\(d_{0}\left(\boldsymbol{y},\boldsymbol{z}\right)=1\)となるので、
\begin{align*} d_{0}\left(\boldsymbol{x},\boldsymbol{z}\right) & =1\\ & \leq d_{0}\left(\boldsymbol{x},\boldsymbol{y}\right)+d_{0}\left(\boldsymbol{y},\boldsymbol{z}\right) \end{align*} となる。
故に\(\boldsymbol{x}=\boldsymbol{y}\)でも\(\boldsymbol{x}\ne\boldsymbol{z}\)でも3角不等式を満たす。
-
これより、非退化性・対称性・3角不等式を満たすので離散距離は距離空間になる。ページ情報
| タイトル | 離散距離は距離空間 |
| URL | https://www.nomuramath.com/tmnlhhna/ |
| SNSボタン |
pノルム(一般化ユークリッド空間距離)は距離空間
\[
d_{m}\left(\boldsymbol{x},\boldsymbol{y}\right)=\left(\sum_{k=1}^{n}\left|x_{k}-y_{k}\right|^{m}\right)^{\frac{1}{m}}=\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert _{m}
\]
距離空間での開集合全体の集合
\[
\forall\mathcal{P}\subseteq\mathcal{O},\bigcup_{P\in\mathcal{P}}P\in\mathcal{O}
\]
距離空間での各点連続と一様連続の定義
\[
\forall x_{1}\in X,\forall\epsilon>0,\exists\delta>0,\forall x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon
\]
パリ距離は距離空間
\[
d\left(\boldsymbol{x},\boldsymbol{y}\right)=\begin{cases}
\left|\boldsymbol{x}-\boldsymbol{y}\right| & \exists c\in\mathbb{R},\boldsymbol{y}=c\boldsymbol{x}\\
\left|\boldsymbol{x}\right|+\left|\boldsymbol{y}\right| & other
\end{cases}
\]