度量空间初探

集合: $V$

  G.Cantor在1895年作如是界说：“集合意谓吾人感知或思想中一些确定的，并且相互区别的对象汇集而成的整体，这些对象成为该集合的元素。”
  一般地，设$P$为某个或某些条件的集合体，记$P(u):=$元素$u$满足性质$P$。则集合$V$可以表示为
V = { x : P ( x ) } V=\left\{ x:P\left( x \right) \right\} V={ x:P(x)}
  集合具有三个基本性质：

1. 确定性：$\forall x,x\in V$异或$x\notin V$。
2. 互异性：同一个集合中的元素是互不相同的。
3. 无序性：任意改变集合中元素的排列次序，它们仍表示同一个集合。
   
   

度量空间：$\left(V,d\right)$

定义
  度量空间是一个带二元运算$d:X\times X\to \left[0,\infty \right]$的集合$V$，其中$d$满足
$$\begin{array}{c}i)d\left(x,y\right)=0\iff x=y\\ ii)d\left(x,y\right)=d\left(y,x\right),\forall x,y\in V\\ iii)d\left(x,y\right)\le d\left(x,z\right)+d\left(z,y\right),\forall x,y,z\in V\end{array}$$
称$d\left(x,y\right)$是$x,y$之间的距离。

注
  条件$ii),iii)$等价于（可以被替换为）
$$d\left(x,y\right)\le d\left(x,z\right)+d\left(y,z\right),\forall x,y,z\in V$$

1. $\left(\Leftarrow \right)$
   事实上，在上式中令$z=x$，则有
   $$d\left(x,y\right)\le d\left(x,x\right)+d\left(y,x\right)=0+d\left(y,x\right)=d\left(y,x\right)$$
   令$x=y,y=x$，$z=y$，则有
   $$d\left(y,x\right)\le d\left(y,y\right)+d\left(x,y\right)=0+d\left(x,y\right)=d\left(x,y\right)$$
   因此有
   $$d\left(x,y\right)=d\left(y,x\right)$$
   即证得条件$ii)$。基于此，有
   $$d\left(x,y\right)\le d\left(x,z\right)+d\left(y,z\right)=d\left(x,z\right)+d\left(z,y\right)$$
   即证得条件$iii)$。
2. $\left(\Rightarrow \right)$
   $$\{\begin{array}{rl}& d\left(x,y\right)\le d\left(x,z\right)+d\left(z,y\right)\\ & d\left(x,y\right)=d\left(y,x\right)\end{array}\Rightarrow d\left(x,y\right)\le d\left(x,z\right)+d\left(y,z\right)$$
   
   

例子

1. $\forall V\ne \varnothing ,\forall x,y\in V$，定义
   $$d\left(x,y\right)=\{\begin{array}{rl}& 1,x\ne y\\ & 0,x=y\end{array}$$
   则$\left(V,d\right)$是一个度量空间。
   证明

   1. $\forall x,y$， d ( x , y ) ∈ { 0 , 1 }   ⇒   d ( x , y ) ≥ 0 d\left( x,y \right)\in \left\{ 0,1 \right\}\text{ }\Rightarrow \text{ }d\left( x,y \right)\ge 0 d(x,y)∈{ 0,1} ⇒ d(x,y)≥0，且
      $$d\left(x,y\right)=0\iff x=y$$

   2. $\forall x,y$,
      $$\begin{array}{rl}& \begin{array}{rl}& x=y\Rightarrow d\left(x,y\right)=0\\ & x=y\Rightarrow y=x\Rightarrow d\left(y,x\right)=0\end{array}\}\Rightarrow d\left(x,y\right)=d\left(y,x\right)\\ & \begin{array}{rl}& x\ne y\Rightarrow d\left(x,y\right)=1\\ & x\ne y\Rightarrow y\ne x\Rightarrow d\left(y,x\right)=1\end{array}\}\Rightarrow d\left(x,y\right)=d\left(y,x\right)\end{array}$$

   3. $\forall x,y$,
      x = y   ⇒   d ( x , y ) = 0 = 0 + 0 ≤ d ( x , z ) + d ( z , y ) x ≠ y   ⇒   ( x ≠ z ) ∨ ( y ≠ z )   ⇒   d ( x , z ) = 1   ∨   d ( z , y ) = 1 d ( x , z ) ,   d ( z , y ) ∈ { 0 , 1 } } ⇒ d ( x , z ) + d ( z , y ) ≥ 1 = d ( x , y ) \begin{aligned} & x=y\text{ }\Rightarrow \text{ }d\left( x,y \right)=0=0+0\le d\left( x,z \right)+d\left( z,y \right) \\ & \\ & \left. \begin{matrix} x\ne y\text{ }\Rightarrow \text{ }\left( x\ne z \right)\vee \left( y\ne z \right)\text{ }\Rightarrow \text{ }d\left( x,z \right)=1\text{ }\vee \text{ }d\left( z,y \right)=1 \\ d\left( x,z \right),\text{ }d\left( z,y \right)\in \left\{ 0,1 \right\} \\ \end{matrix} \right\} \\ & \Rightarrow d\left( x,z \right)+d\left( z,y \right)\ge 1=d\left( x,y \right) \\ \end{aligned} ​x=y ⇒ d(x,y)=0=0+0≤d(x,z)+d(z,y)x​=y ⇒ (x​=z)∨(y​=z) ⇒ d(x,z)=1 ∨ d(z,y)=1d(x,z), d(z,y)∈{ 0,1}​}⇒d(x,z)+d(z,y)≥1=d(x,y)​
      
      

2. $V={\mathbb{R}}^n$，$\forall x=\left(x_1,x_2,\cdots ,x_n\right),y=\left(y_1,y_2,\cdots ,y_n\right)\in {\mathbb{R}}^n$，定义
   d ( x , y