度量空间
极限是数学分析中的基本概念之一。实数列的收敛,函数列的均匀收敛,在平面区域中复变函数列的内闭均匀收敛等等各种极限概念,都可以统一在下面要介绍的度量空间内按距离收敛的概念之中。分析数学方面各个学科都是以某种函数空间为对象而研究在这种空间上的某种数学运算的。
定义
设 R 是一个非空的集,假如对于
(1) ρ(x,y)>=0 ,又 ρ(x,y)=0 的充要条件是 x=y ;
(2)成立三角不等式:
ρ(x,y)≤ρ(x,z)+ρ(y,z)(z∈R)
那么称 ρ(x,y) 是两点 x ,
由性质(1)与(2)可以推出,距离还具有对称性,即在性质二中将z取x:对 R 中任意的
(3)
在假设(1)的前提下,下面的不等式(4)是与三角不等式(2)等价的。
(4)对任何 x,y,z∈R ,
|ρ(x,y)−ρ(y,z)|≤ρ(x,z).
度量空间