4有界线性算子和线性算子的基本定理g.pptVIP

宝山壁画 宝山壁画是引人注目的昂贵文物。此壁画发现于阿鲁科尔沁旗东沙布乡境内。1994年列为“全国十大考古新发现”之一。宝山壁画中最引人注目的是《杨贵妃教鹦鹉图》。该画高0.7米、宽2.3米，用于笔重彩绘制，最突出的表现了 晚唐风格。唐代擅长绘贵妇仕女的大师周昉绘制了《杨贵妃教鹦鹉图》，不仅享誉中原，而且还影响全国各地。发现于阿旗宝山古墓里的这幅画，就是契丹人聘请中原画家按照周氏风格绘制的， 技法深得周氏画风的真传。在唐人真迹稀如星风的今天，能够从中完整了解唐代人物画的杰出成就，堪称美术史研究的辛事。这幅壁画现今保存在阿鲁科尔沁旗博物馆，历经千年，恍如新绘，是该馆的镇馆之宝。 欢迎大家观看！ 另一方面 注： （3）Lp [a,b] ( p 1)空间上的有界线性泛函及其共轭空间 是Lp[a,b]空间上的有界线性泛函的唯 则 且 1) 先证 是l p (p1)空间上的有界线性泛函 证： 一表现形式，记作 2）再证对?x=x(t)?Lp[a,b]及Lp[a,b]上的任一有界线性泛函 f, 必存在y=y(t)?Lp[a,b], 使得 (从略) 4 有界线性泛函的存在定理（汉恩-巴拿赫定理） 定理5 （汉恩—巴拿赫(Hahan-Banach)延拓定理）设X是线性赋范空间, L?X是线性子空间, g是定义在L上的有界线性泛函,则g可以延拓到整个空间上，且保持范数不变，即存在X的有界线性泛函f,满足条件： 1) f (x)=g(x),当x?L时； 2) ||f||X=||g||L。 定理6 （汉恩—巴拿赫定理之2）设X是线性赋范空间, L?X是线性子空间, x0?X \ L,则必存在X上的有界线性泛函 f, 满足条件： 1) f (x)= 0, 当x?L时； 2) f (x0)=d, 3) || f ||X*=1. 推论1 设X是线性赋范空间, L?X是线性子空间, x0?X \ L, 则必存在X上的有界线性泛函f1, 满足条件： 1) f1(x) = 0, 当x?L时； 2) f1(x0) = 1； 3) ||f1||X*=1/d。 推论2 设X是线性赋范空间, L?X是线性子空间, x0?X \ L, 则 的充分必要条件是对X上任意满足f (x)= 0(x?L)的泛函, 必有 f (x0)= 0. 定理7 （汉恩—巴拿赫定理之3）设X是线性赋范空间, 对X是线性子空间, x0?X, x0?0, 则必存在X上的有界线性泛函f, 满足: 1) f(x0)=||x0||； 2) ||f||=1. 证 在定理6中，取L={?}, 则d=||x0||。 推论3 若对X上的任意有界线性泛函f, 均有f(x0)=0, 则x0=? 5 线性赋范空间X与其二次共轭空间X**的关系 定理8 (X*与X**的关系）设X是线性赋范空间, X*、X**分别是X的共轭空间和二次共轭空间，则存在一个从X到X**的线性映像（称之为自然映像） J: X?X**, J(x)=x**(?x?X), 且有 ||x||X=||x**||X** , X?X** 证 ?x?X, x*?X*, 作X*上的泛函x**：x**(x*)=x*(x) x**(?x1*+?x2*)=(?x1*+?x2*)(x) =?x1*(x)+?x2*(x)=?x**(x1)+?x**(x2) |x**(x*)|=|x*(x)|?||x*|| ||x||=||x|| ||x*|| ? ?x**使X*的有界线性泛函，即x**?X**, 且||x**||X**?||x||X ??x?X, ?x**?X** 存在一线性映像J:X?X**, 使?x?X, 有J(x)=x**?X**, x**(x*)=x*(x)， 且易证J是线性映像，因而J(X)与X线性同构。 另一方面，有汉恩-巴拿赫定理，?x*?X*,使||x*||=1,x*(x)=||x|| ?||x||X=|x*(x)|=|x**(x*)|?||x**|| ||x||=||x**||X** 因此||x**||X**=||x||X 又J(x)=x**?X**?J(X)?X**?在线性同构意义下X=J(X)?X**。 J: X?X** 定义10 (自反空间）若在自然映像下按线性同构并保持范数的意义下，有X=X**，则称X为自反空间。 例如，p 1时，l p、Lp[a,b]都是自反空间。 机动 目录 上页 下页 返回 结束 第*页 第四章 有界线性算子 有界线性算子与线性算子空间 有界线性泛函与共轭空间 微积分主要研究对象—函数 R到R的映射—一元函数 Rn到R的映射—n元