设X是可分的Banach空间,证明存在满的有界线性算子T:l1→X.
设X是可分的Banach空间,证明存在满的有界线性算子T:l1→X.
[证明]设X的原点单位闭球为B.因为X可分,故可取可列集使.注意到对每个a={an}∈l1有
这表明anxn绝对收敛.由于X完备,故anxn收敛.令Ta=anxn,则T:l1→X为线性算子,且‖Ta‖≤‖a‖1,即T是有界线性算子.下证T是满射,只须指出B中的每个点都有原像.设x∈B.因为{xn}在B中稠,故使<2-1,同理对2(x-)∈B,k2>k1使<2-1,即
利用数学归纳法可得{xn}的子列{}使
,令及an=0(n≠ki),则存在a={an}∈l1使.