现代分析3-3赋范空间(1).pptVIP

“长度”概念的特征是： 零向量的长度是零，并且任意向量的长度是非负实数。 一个向量 v 乘以一个标量 a 时，长度应变为原向量 v 的 |a|（ a 的绝对值）倍。 三角不等式成立。也就是说，对于两个向量 v 和 u ，它们的长度和（“三角形”的两边）大于 v+u （第三边）的长度。 * * 范数与赋范线性空间 §3 范数---------- 向量空间中向量长度概念的拓展 定义1:设X是实(或复)的线性空间,如果对每个向量 有一个确定的实数,记为 与之对应,并且满足: (1). (2). 其中 为任意实(复)数; (3). 则称 为向量 的范数, 称 x按范数 成为赋范线性空间. 设 { } 是x中的点列,如果存在 使 则称 依范数收敛于 记为 如果令 容易验证 是x上的距离,且 依范数收敛于 等价于 按距离 收敛于 称为由范数 导出的距离. 完备的赋范线性空间称为Banach(巴拿赫)空间. 例1:欧氏空间 ,对每个 定义 （3） 如果令 = ,则 即为 中欧几里得距离,且满足(1)中条件(a)及(b),由此可知 是 中范数,又因 完备,故 按(3)中范数成Banach空间. 例2:空间 对每个 , 定义 （4） 容易证明 按(4)中范数成为Banach空间. 例3:空间 对每个 ,定义 （5） 不难验证 按(5)中范数成为Banach空间. 例4:空间 设 是 上实值可测函数, ,如果 是 上可积函数, 则称 是 上 方可积函数, 上 方可积函数全体记为 当 时, 即为 上 可积函数全体. 在空间 中,我们把两个 相等的函数视为 中同一个元素 而不加以区别,设 ,因为 所以， 是 上可积函数,即 ,至于 关于数乘运算封闭是显见的.于是 按函数通常的加法及 数乘运算 成为线性空间.对每个 ,定义 （6） 我们要证明当 时, 按 成为Banach空间.为此,首先 证明几个重要的不等式. 引理1:(Holder不等式)设 那么 在 上 可积,并且成立 （7） 证明:首先证明当 时,对任何正数A及B,有 （8） 事实上,做辅助函数 ,则 ,所以在(0,1)上, ,在 上 因而 是函数 在 上的最大值,即 由此可得 令 ,代入上面不等式,那么 两边乘B,得到 令 ,则 于是上式成为 如果 (或 ),则 于 (或 于 ), 这时,不等式(7)自然成立,所以不妨设 做函数 令 代入不等式(8),得到 （9） 由(9)立即可知 在 [a,b]上L 可积,由此可知f(t)g(t)也L 可积,对(9)的 两边积分,得到 因此 证毕. 引理2:(Minkowski不等式)设 那么 ,并且成立不等式 （10） 证明:当 时,因 ,由积分性质可知不 等式(10) 自然成立.如果 ,因为 ,所以 由Holder不等式有 类似对g也有 因而 （11） 若 ,则 (10)式显然成立, 若 ,则在(11)式两边除以 得到 由 ，得到 证毕. 定理1:当 时, 按(6)中范数 成为赋范线性空间. 证明: 满足范数条件(1)及(2)是显然的.又由 Minkowski不等式,当 时,对任何 有 ,所以 按 成赋范线性空间. 证毕. 定理2: 是Banach空间. 证明: 设{ }是 中柯西点列,由柯西点列的定义,存 在正整数 ,使当 时,成立 取 ,且使 ,则 因此 （12） 但是因为常数 ,由Holder不等式,成立 所以级数 (13) 收敛,由级数形式的Levi定理,级数 在[a,b]上几乎处处收敛. 因此,函数列 在[a,b]上几乎处 处收 敛于一可测函数f(t).下面证明 因为{ }是 中柯西点列, 对于任何正数 ,存在N,使当 时, ,取足够大的 ,使 ,于是当 时,就有 又因当 时函数列 于[a,b],由Fatou定理 得到 是L可积函数,并且有, 这说明 ,且当 时, . （14） 又因 ,而 ,由于 是线性空间,所以 ,由(14), ,这就证明了 是Banach空间. 证毕. 例5:空间 空间中也有类似的Holder不等式 空间一样,在 和Minkowski不等式: ,( Holder不等式) 其中 ,( ) ,(