专题九线性赋范空间与巴拿赫空间g汇编.ppt

1）T是线性同构映射： 2）T关于X与Rn的某种范数是等距同构映射： 在Rn中定义实值函数： 故 是Rn中的范数，记作 ： 则 注：任何n维线性赋范空间的模型都可以看作Rn，从而任何有限维线性赋范空间都是完备的。 2 范数的等价性 定义2 （等价范数） 设|| · ||1，|| · ||2 是同一线性空间X中的两个不同的范数。如果当|| · ||1?0时有|| · ||2 ?0，则称|| · ||1比|| · ||2更强；如果|| · ||1比|| · ||2更强，切|| · ||2比|| · ||1更强，则称|| · ||1与|| · ||2等价。 定理2 （范数等价的充要条件） 线性空间X中的两个范数|| · ||1与|| · ||2等价的充要条件是：?x?X，存在两个正数a，b，使得 3 有限维线性赋范空间的特殊性质 定理3 设X是n维实线性赋范空间，{e1,e2,…,en}是X的一个基底，则 ?a, b0, 使对?x?X, 有 证 一方面 * 第三章 线性赋范空间与内积空间 内积空间+完备性?希尔伯特空间 线性赋范空间+完备性?巴拿赫空间 线性空间+内积?内积空间 线性空间+范数?线性赋范空间 泛函分析正是把空间的代数结构与几何结构进行结合的研究，才得到了许多有实用价值的结果。 线性赋范空间与巴拿赫空间 专题九 线性赋范空间与巴拿赫空间 有限维线性赋范空间—线性代数研究对象 无限维线性赋范空间—泛函分析研究对象 代数结构 最常用距离空间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 集合 距离 线性运算 线性空间 距离空间 集合 线性运算 距离 线性距离空间 线性赋范空间 代数结构 几何结构 线性运算按距离连续 || x || = d(x,0) d(x,y)=||x-y|| 完备性 巴拿赫空间 赋范空间 范数 线性运算按范数连续 距离 线性运算 范数 线性运算 一、 线性空间 1 线性空间及其举例 定义1 设X是任一非空集合，若K是一个数域（R或C） 如果X对某种规定的加法和数乘两种运算封闭，且?x,y,z?X, ?,??K, 满足： 1) x+y=y+x （加法交换律） 2) (x+y)+z+x+(x+y) （加法结合律） 3) ???X, 使x+?=x （零元素存在性） 4) ?x’?X,使x+x’=? （逆元存在性） 5) ?(?x)=??x=?(?x) （数乘结合律） 7) (?+?)x=?x+?x （元素对数的加法分配律） 8) ?(x+y)=?x+?y （数对元素的加法分配律） 6) 1x=x, 0x=? 则称x+y为x与y的和，?x为数?与x的数乘 , 称X为线性空间或向量空间 (实或复)，X中的元素称为向量。 例1 欧氏空间Rn 是有限维线性空间 且满足1)—8) 零元 逆元 例2 m是线性空间， lp 是线性空间 证： 零元 逆元 且满足1)—8) 证： 例3 都是无限维线性空间 （或 ） 按通常的函数加法与数乘运算有： （或 ） （或 ） 零元 故 都是线性空间 证： 逆元 且满足1)—8) 或（ ） （或 ） 定义2 （线性子空间）设X是线性空间，M?X，如果?x,y?M, ??,??K, 对于X中的加法和数乘运算，有?x+?y?M, 则称M是X的线性子空间。 若M?X，则称M为X的线性真子空间。 定义3 （由子集张成的线性子空间）设X是线性空间，M?X。定义集合L： 称L为由子集M?X张成的线性子空间。 注：spanM是包含M的最小线性子空间。 即若L0也是包含M的线性子空间，必有 2 线性子空间 定义3 (有限维线性空间的基和维数) 1）e1,e2,…en线性无关; 2）?x?X, x都能