数学结构要点.pptVIP

定义 X是非空集合,定义X×X到R的一个映射d , 满足对任意 X y x ? , ，有 则称d(x,y)为X中两点x,y距离。称序组(X,d) 为度量空间或距离空间。 例1 n R 是n维空间点的集合, 定义 为度量空间。称为n维欧氏空间。 都是度量。 例2 C[a,b]是闭区间上连续函数全体所成的集合， (C[a,b],d)为度量空间。称为连续函数空间。 定义 定义 为度量空间。称为Hibert空间。 例3 离散度量空间 度量空间 称为离散的，如果： 使得 例4 X 是任意集合，对任意 X y x ? , ，定义 ? í ì 1 = = y x y x y x , 1 , 0 ) , ( d ， 则X按d成为度量空间，且为离散度量空间。 伪度量 满足 伪度量 X上等价关系S 度量 (X,d)为度量空间， 球形邻域 称为(X,d)的子空间. 诱导度量 子空间 开集 A中每一点都有一个球形邻域包含于A. 开集的性质：　 ① 空集和全空间X是开集； ② 有限个开集的交是开集； ③ 任意个开集的并是开集。 从邻域或从开集出发，可以定义度量空间中的 　　　闭集, 点集的内域, 闭包, 连续 等概念． 二. 拓扑空间（topological space） 分析数学中，有些极限概念无法用距离来刻画，函