[数学]小波分析之泛函分析距离空间.ppt

泛函分析 距离空间定义 ??设X是非空集合，对于X中的任意两元素x与y，按某一法则都对应唯一的实数ρ(x, y)，并满足以下三条公理： 1.非负性：ρ(x, y) ≥0,ρ(x, y) =0当且仅当x=y; 2.对称性：ρ(x, y) =ρ(y, x)； 3.三角不等式；对任意的x, y, z ρ(x, y) ≤ρ(x, z) + ρ(z, y), 则称ρ(x, y)为x与y间的距离（或度量），并称X是 以ρ为距离的距离空间(或度量空间),记为(X, ρ)． 距离空间的例--欧氏空间 实数集 的通常意义的欧氏距离为 n维欧氏空间 的通常意义的欧氏距离为 实数集 的另一距离 实数集 上还有另一距离为 但约定:在提到实数集 上的距离时,仅指通常 的欧氏距离. 作业1: 证明 是距离空间. 距离空间的例—C[a,b] C[a,b]表示定义在[a,b]上的所有连续函数 的集合，约定C[a,b]上的距离仅指 距离空间的例— Lp[a,b]空间 对于任实数 Lp[a,b]表示区间[a,b]上 绝对值的p次幂L可积函数的全体，并把几乎 处处相等的函数看成是同一个函数,即 Lp[a,b]上的距离为 其特例为L[a,b] , L2[a,b]. 距离空间的例— 表示满足 的实数列(即平方可和数列) 的全体， 上 的距离定义为 作业2: 证明:若 则 作业3: 证明:若 则 为距离空间吗? 为什么不考虑 距离空间的邻域概念 在距离空间X中,集合 称为点 在集合X中引入距离后，即引入了拓扑 结构,可以开展极限,连续等概念的研究. 拓扑学即研究一般点集上的极限,连续 等概念,在其上可以没有距离概念,只需给 定邻域系,或开集系,或闭集系即可. 距离空间中的内点内部与开集 则称 为A的一个内点. 由A的全体内点所成的集称为A的内部, 记 为 若A 中的每个点都是A 的内点, 则称A为开 集. (规定空集是开集). 开集及性质 (i).空集?和全空间Rn是开集. (ii).任意个开集的并集是开集. (iii).有限个开集的交集是开集. 聚点,导集,闭集与闭包 若对任意 中包含有A的无限 多个点, 则称 为A的一个聚点. 由A 的所有聚点形成的集合称为A 的导集, 记为 . 若 则称A 为闭集. 集 称为A 的闭包, 记为 闭集的性质 (i). 空集?和全空间Rn是闭集. (ii). 任意个闭集的交集是闭集. (iii). 有限个闭集的并集是闭集. (ⅳ). A 为闭集当且仅当Ac(即A的余集)为 开集. (ⅴ). A是闭集当且仅当A中的任意收敛 点列的极限必属于A. 距离空间的收敛概念 距离空间 中的点列 称为收 敛于点 若 与其它收敛概念联系起来时,又称为 依距离收敛,或按距离收敛.仍记为 收敛点列若为无穷点集,则其极限点必为 聚点!反之,聚点必为极限点! 实数列的收敛即依距离收敛 实数列的 即为依欧氏距离收敛,即 距离空间的收敛性质 在距离空间中， 收敛点列的极限是唯一的. 距离函数 是二元连续函数,即 收敛点列必有界,即 距离空间的Cauchy列 距离空间中,点列 称为Cauchy列,或基 本列，若 问题: Cauchy列会不会不收敛? 任收敛点列必为Cauchy列.但有的距离空 间中Cauchy列不一定收敛到本空间的点,如: 有理数空间Q中, 的有理逼近数列为 Cauchy列,但其极限 不在有理数域中. 距离空间的完备性 在距离空间中,若任一Cauchy列都在空 间中有极限,则称该距离空间是完备的。 在完备的距离空间中,收敛点列与Cauchy 点列是等价的. 距离空间的完备性 在距离空间中，收敛是用距离来定义的， 在同一个集合中可以定义不同的距离，因 此 ，同一个集合可以对一种距离成为完备的, 而对另一种距离却成为不完备的. C[a,b]在不同距离下的完备与不完备 C[a,b] 在约定的距离 下是完备的. 即闭区间[a,b]上的连续函