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

另一方面 注： （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