度量空间的定义与极限.pdfVIP

西安电子科技大学理学院 杨有龙 《线性与非线性泛函分析》 第一章 度量空间(Metric Spaces) 若在实数集R 中点列xn 的极限是x 时，我们使用| xn −x | 来表示xn 和x 的接近程度，事实 上，| xn −x | 可表示为数轴上xn 和x 这两点间的距离，那么实数集R 中点列xn 收敛于x 也就是 指x 和 之间的距离随着 而趋于 0，即lim d (x , x) 0 ．于是人们就想，在一般的点集X x n →∞ n n n→∞ 中如果也有“距离”，那么在点集X 中也可借这一“距离”来定义极限，而究竟什么是“距离” 呢？或者说“距离”的本质是什么？ 第一节 度量空间的定义与极限 1.1 度量空间的定义与举例 定义 1.1.1 设X 为一非空集合．若存在二元映射d : X ×X →R ，使得∀x ,y ,z ∈X ，均满足 以下三个条件： （1）d (x, y) ≥0, 且d (x, y) 0 当且仅当x y (非负性 Positivity) ； （2 ）d (x, y) d ( y, x) (对称性 Symmetry) ； （3 ）d (x, z) ≤d (x, y) +d ( y, z) (三角不等式 Triangle inequality) ， 则称d 为X 上的一个距离函数，称(X ,d ) 为距离空间或度量空间，d (x, y) 称为x 和y 两点间的 距离．□ 注 1：在不产生误解时，(X ,d ) 可简记为X ． 下面我们来看一些具体的例子 例 1.1.1 欧氏空间Rn ． 设Rn {(x ,x ,,x ) |x =∈R ,i 1,2,,n } ，定义 1 2 n i n 2 d (x, y) ∑(x =−y ) ． i i i 1 其中x (x , x , ,x ), y (y ,y , ,y ) ∈R n ，可以验证(R n ,d ) 是一个度量空间． 1 2 n 1 2 n 在证明之前，做一些准备工作：重要不等式： 许瓦兹