专题九-线性赋范空间与巴拿赫空间讲稿.pptVIP

* 第三章 线性赋范空间与内积空间 内积空间+完备性?希尔伯特空间 线性赋范空间+完备性?巴拿赫空间 线性空间+内积?内积空间 线性空间+范数?线性赋范空间 泛函分析正是把空间的代数结构与几何结构进行结合的研究，才得到了许多有实用价值的结果。 线性赋范空间与巴拿赫空间 专题九 线性赋范空间与巴拿赫空间 有限维线性赋范空间—线性代数研究对象 无限维线性赋范空间—泛函分析研究对象 代数结构 最常用距离空间Rn, m, C[a,b], lp, Lp[a,b] 完备性 范数 线性赋范 空间 线性空间 距离 线性距离 空间 巴拿赫空间 线性运算按范数连续 线性运算按距离连续 几何结构 线性运算 距离空间 线性运算按范数连续 赋范空间 线性运算 || x || = d(x,0) 线性运算按距离连续 || x || = d(x,0) 又都是线性空间 d(x,y)=||x-y|| D F B 集合 距离 线性运算 1 范数与线性赋范空间 一、线性赋范空间与巴拿赫空间 定义7 2 由范数诱导的距离 定义8 范数公理 注： ——由线性度量空间构造范数使之成为赋范线性空间的方法 例8 数列空间 1）定义 ?1 (x,y)满足距离公理，是S上的距离函数 故 S是距离空间 2）S按照通常数列的加法和数乘运算是线性空间 3）但距离函数?1(x,y)不是由范数诱导的距离： 事实上，当|?|?1时， 3 常见空间的范数与距离对照表 (1) Rn (2) m (3) lp (4) C[a,b] (5) Lp[a,b] 例如： 4 巴拿赫（Banach)空间 定义9 完备的线性赋范空间称为巴拿赫空间。 因此Rn是Banach空间。 定理1 设X是线性赋范空间，?{xn}、{yn}?X, x,y?X, {?n}?R, ??R 如果?n??, xn?x, yn?y, 则有 ?xn??x, ?nx ??x, xn+yn?x+y 证 ?n???|?n-?|?0 xn?x?||xn-x||?0 yn?y?||yn-y||?0 ? ||?xn-?x||=|?| ||xn-x||?0??xn? ?x ||?nx-?x||=|?n-?| ||x||?0 ??nx??x ||(xn+ yn)-(x+y) ||=||(xn-x)+(yn-y)||?||xn-x||+||yn-y||?0 ?xn+yn?x+y 5 线性赋范空间中的极限理论 定义10 （极限）设X是线性赋范空间，?{xn}?X, x?X。 线性赋范空间中线性运算对范数的连续性 定理2 设X是线性赋范空间，?{xn}?X, x?X. 1) 如果xn?x, 则{||xn||}有界 （范数列的有界性）； 证 1) xn?x?||xn-x||?0?||xn||?||xn-x||+ ||x||? ||x|| ? {||xn||}有界 如果xn?x, 则||xn||?||x|| (范数的连续性，即||x|| 是x的连续函数）； 2) 一方面，||xn||-||x|| ?||xn-x|| 另一方面， ||xn||-||x||=||xn||-||x-xn+xn|| ?||xn||-(||x-xn||+||xn||)=-||xn-x|| 因此 | ||xn||-||x|| |?||xn-x|| xn?x?||xn-x||?0?| ||xn||-||x|| |?0?||xn||?||x|| 定理3 设X是线性赋范空间，d是由范数诱导的距离，则对?x，y,z0?X有. 1) 平移不变性：d(x+z0, y+z0)= d(x, y) 证 1) d(x+z0, y+z0)= ||(x+z0 )-( y+z0) ||= ||x- y||= d(x, y) 2) 绝对齐次性：d(?x, ?y)=| ? | d(x, y) 2) d(?x, ?y)= || ?x-?y||= | ? | || x-y||= | ? | d(x, y) 设{xn} 是线性赋范空间X中的点列，表达式 5 线性赋范空间中的无穷级数 称为X中的无穷级数 称为级数的部分和。如果存在s?X, 使得 ||sn-s||?0 (n??), 则称级数收敛于s，s称 为级数的和，记为 如果数项级数 收敛，则称级数 绝对收敛；当X是巴拿赫空间时，若级数绝对收敛则级数一定收敛。 6 线性赋范空间中的完备化 定义5（线性等距同构）设（X1，?????1）和（X2，?????2）是同一数域?上的两个线性赋范空间。如