距离空间和赋范线性空间.pdfVIP

§0.3 距离空间 1 定义和举例 2 收敛概念 3 稠密性与完备性 在高等数学中 研究对象——函数 基本工具——极限，是分析理论的基础 定义极限的基础——距离 在泛函分析中将上述内容推广 研究对象——算子、泛函 （空间到空间的映射） 首先引入度量工具——距离 然后在度量空间中——定义极限，建立相应的 理论，进一步对每一个具体空间引入相应的结论。 第2页 §1 定义和举例 距离空间 设X 是非空集合，若 按一定 x , y X  (x , y )0 ，且满足 规则 （1 ）非负性 (x, y ) 0,当且仅当x y时, (x , y ) 0 （2 ）对称性 (x , y ) (y ,x ) 距离公理 （3 ）三角丌等式x , y ,z X , 有 (x ,y ) x(z , )z y( , ) 则称实数(x , y )为元素x 不y 之间的距离，称X 为距离 空间或度量空间，记作(X ,)或X 。距离空间中的元素 也称为“点”，用“·”表示。 第3页 距离(, )是集合 X ×X （称为乘积空间或笛卡尔积空 1 间）到实数集合R 上的二元泛函（或称函数）。 2 ）举例 例1 ： 1 x , y R1 设R 是非空实数集合， ， ① 若定义(x , y ) x y ， 1  验证知三条距离公理成立，则 R 按定义 为距离空 间，即通常意义下的距离空间 ，常称欧氏空间。 第4页 x y  (x , y ) ② 若定义 1 1 x y 验证知三条距离公理成立， 1  所以，R 按定义 也是距离空间 1  (x , y ) x y 2 ③ 若定义 2   1  验证丌满足第三条公理，所以 R 按定义 丌是 2 距离空间 可见，同一空间可以定义丌同的距离，从而形 成丌同的距离空间。 第5页 T