设 X X X 是 一个集合,若对于 X X X 中任意两个元素 x , y , x , y , x,y, 都有唯一确定的实数 d ( x , y ) d ( x , y ) d(x,y) 与之对应,而且这一对应关系满足下列条件:
- 1 ∘ d ( x , y ) ⩾ 0 , d ( x , y ) = 0 1 ^ { \circ } \quad d ( x , y ) \geqslant 0 , d ( x , y ) = 0 1∘d(x,y)⩾0,d(x,y)=0 的充要条件为 x = y ; x = y ; x=y;
- 2 ∘ d ( x , y ) ⩽ d ( x , z ) + d ( y , z ) , 2 ^ { \circ } \quad d ( x , y ) \leqslant d ( x , z ) + d ( y , z ) , 2∘d(x,y)⩽d(x,z)+d(y,z), 对 任意 z z z 都成立,
下面我们只讨论欧氏空间 R n , \mathbf { R } ^ { n } , Rn, 对于其他度量空间的例子将在第七章中给出,
对 R n \mathbf { R } ^ { n } Rn 中任意两点
x = ( ξ 1 , ξ 2 , ⋯ , ξ n ) , y = ( η 1 , η 2 , ⋯ , η n ) , x = \left( \xi _ { 1 } , \xi _ { 2 } , \cdots , \xi _ { n } \right) , \quad y = \left( \eta _ { 1 } , \eta _ { 2 } , \cdots , \eta _ { n } \right) , x=(ξ1,ξ2,⋯,ξn),y=(η1,η2,⋯,ηn),
规定距离
d ( x , y ) = ( ∑ i = 1 n ( ξ i − η i ) 2 ) 1 2 . d ( x , y ) = \left( \sum _ { i = 1 } ^ { n } \left( \xi _ { i } - \eta _ { i } \right) ^ { 2 } \right) ^ { \frac { 1 }