11 度量空间的定义拥碾极限.pdf

泛函分析导论 第一章 度量空间 若在实数集R 中点列xn 的极限是x 时，我们使用| xn −x | 来表示xn 和x 的接近程度，事实 上，| xn −x | 可表示为数轴上xn 和x 这两点间的距离，那么实数集R 中点列xn 收敛于x 也就是 指x 和x 之间的距离随着n →∞而趋于 0，即lim d (x , x) 0 ．于是人们就想，在一般的点集X n n n→∞ 中如果也有“距离”，那么在点集X 中也可借这一“距离”来定义极限，而究竟什么是“距离” 呢？或者说“距离”的本质是什么？ 诗人顾城的一首诗《远和近》对距离的感受又如何呢？ 远和近 你 一会看我 一会看云 我觉得 你看我时很远 你看云时很近 这首诗诗似乎是纯理性的，十分冷静，但细细品味，其中暗暗催动着一股热流：呼唤一种 相互理解、相互信任、和谐融洽的人际关系．现实距离和心理距离并不总是一致的．现实距离 很远，但心理距离却可能很近，“海内存知己，天涯若比邻”，即是此意．也可能现实距离很近， 而心理距离却很远，所谓“咫尺天涯”大概就是指此而言了．那么如何给出距离这一概念？ 1.1 度量空间的定义与极限 1.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) ， ——西安电子科技大学数学与统计学院杨有龙教授 ylyang@mail.xidian.edu.cn - 1 - 第一章 度量空间 则称d 为X 上的一个距离函数，称(X ,d ) 为距离空间或度量空间(Metric Spaces)，d (x, y) 称为x 和y 两点间的距离．□ 注 1 ：在不产生误解时，(X ,d ) 可简记为X ． 下面我们来看一些具体的例子 例 1.1.1 欧氏空间R n ． 设Rn {(x ,x ,L,x ) |x =∈R ,i 1,2,L,n } ，定义 1 2 n i n 2 d (x, y) ∑(x =−y ) ．