泛函分析部分知识点汇总（2020年-2021年）.pdfVIP

度量空间： 把距离概念抽象化，对某些一般的集合引进点和点之间的距离， 使之成为距离空间，这将是深入研究极限过程的一个有效步骤。 泛函分析中要处理的度量空间， 是带有某些代数结构的度量空间， 例如赋范 线性空间，就是一种带有线性结构的度量空间。 一、度量空间的进一步例子 1、度量空间 设 x 是一个集合，若对于 x 中任意两个元素 x,y , 都有唯一确定的实数 d(x,y) 与之对应，而且这一对应关系满足下列条件： d (x, y ) 0, d (x , y ) 0 1° 的充要条件为 x=y d (x, y) d (x, z) d ( y, z) 2 ° 对任意的 z 都成立， 则称 d(x,y) 是 x,y 之间的距离，称 d(x,y) 为度量空间或距离空 间。x 中的元素称为点。 2、常见的度量空间 （1）离散的度量空间 1, if x y 设 x 是任意的非空集合，对 x 中的任意两点 x , y X ，令 d (x, y ) 称 ( X ,d ) 为离散的度量空间。 0, if x y （2）序列空间 S 令 S 表示实数列（或复数列）的全体，对 S 中的任意两点 x ( 1 , 2 ,..., n ,...), y ( 1, 2 ,..., n ,...), 1 | i i | 令 d (x , y ) i 称 (S,d ) 为序列空间。 i 1 2 1 | i i | （3）有界函数空间 B(A） 设 A 是一个给定的集合， 令 B(A) 表示 A 上有界实值 （或复值）函数全体，对 B(A) 中任意两点 x,y ，定义 d (x, y) sup | x(t ) y (t ) | t A （4）可测函数空间 设 M(X)为 X 上实值（或复值）的勒贝格可测函数全体， m 为勒贝格测度， 若 m( X ) ，对任意两个可测函数 f (t ) 及 g (t ) | f (t ) g (t ) | 由于 | f (t ) g (t ) | ，所以这是 X 上的可积函数。令 d ( f , g ) dt 1 X 1 | f (t ) g (t ) | 1 | f (t ) g (t ) | （5）C[a,b] 空间 令 C[a,b] 表示闭区间 [a,b] 上实值（或复值）连续函数全体，对 C[a,b] 中任意 两点 x,y ，定义 d (x, y ) max | x(t ) y(t ) | a t b 二、度量空间中的极限、稠密集、可分空间 1、收敛点列 设 { x } 是