设X是K上的赋范线性空间,S={x∈X:‖x‖≤1}。设g:S→K是一个映射,使得 g(kx+y)=kg(z)+g(y), (4) 其中x,y和kx+y
设X是K上的赋范线性空间,S={x∈X:‖x‖≤1}。设g:S→K是一个映射,使得
g(kx+y)=kg(z)+g(y), (4)
其中x,y和kx+y属于S,k在中。证明g能唯一地延拓到X上的线性泛函f。再证明f是连续的当且仅当g是连续的。
设X是K上的赋范线性空间,S={x∈X:‖x‖≤1}。设g:S→K是一个映射,使得
g(kx+y)=kg(z)+g(y), (4)
其中x,y和kx+y属于S,k在中。证明g能唯一地延拓到X上的线性泛函f。再证明f是连续的当且仅当g是连续的。
‖x‖=inf{r>0:r-1x∈E)
证明‖·‖是X上的范数,且
再证明任意赋范空间X上的范数都是由某个E按上述方式生成的。
设x是区间[0,1]上所有复值函数全体按通常方式定义线性运算所构成的线性空间.在X上定义
Pt(x)=|x(t)| (t∈[0,1],x∈X),证明{Pt}是X上的半范数族且满足x≠θ有pt(x)>0,并且由{pt}定义的X上的局部凸拓扑是不可赋范的.
设E是赋范线性空间,L是E的闭子空间.在中令
证明:按照‖·‖是赋范线性空间。若E可分,则也可分.任取x∈ξ,证明‖ξ‖=d(x,L),这里d(x,L)表示x与L的距离。
设X是Banach空间,Y是任一个赋范空间。若F:X→Y是从X到R(F)的线性同胚,且R(F)在Y中稠密,证明R(F)=Y
设X1,X2,Y都是数域上的赋范空间.若映射T:X1×X2→Y的每个截口都是线性算子,则称T是二重线性算子.若
sup{‖T(x1,x2)‖:‖x1‖≤1,‖x2‖≤1)<∞,则称T有界.设X1是完备的,截口T(x1,·)与T(·,x2)都是有界的,证明T是有界的.
设X,y为赋范空间,F:X→Y为线性算子。若y'∈Y',定义F'(y'):为
F'(y')(x)=y'(F(x)), x∈X
求证:
设X为赋范空间,z∈X,f∈X'。求证:若T:X→X定义为
T(x)=f(x)z, x∈X。
则T为紧线性算子。
设X和Y是赋范空间,F:X→Y是线性的,证明下列陈述是等价的:
(a)F是连续的。
(b)F映X中的柯西列到Y中的柯西列。
(c)F映X中的收敛列到Y中的收敛列。
设X是赋范空间,S(X)为X的单位球面,定义δX:[0,2]×S(X)→[0,1]为
δX(ε,x)=inf{1-‖x+y‖/2:y∈S(X),‖x-y‖≥ε},称δX为X的局部一致凸模.若对ε∈(0,2]及x∈S(X)都有δX(ε,x)>0,则称X是局部一致凸空间.