‖x‖=inf{r>0:r-1x∈E)
证明‖·‖是X上的范数,且
再证明任意赋范空间X上的范数都是由某个E按上述方式生成的。
设Y是赋范空间X的闭子空问。证明xn+Y→x+y当且仅当存在Y中的序列{yn)使得xn+yn→x∈X
设X是复赋范空间。设F:C→X使得对X'中每个x',x'·F是有界的且在上是解析的,证明F是常函数。
设E是赋范空间X的子集,Y=spanE,a∈X。证明当且仅当对所有在E上恒为0的f∈X’'有f(a)=0。
设X是Banach空间,Y是赋范空间,对n,m=1,2,…。设Fmn∈BL(X,Y)若对每个m≥1,存在X中的xm使得
证明存在X中的x使得
,m=1,2,…。
设X是Banach空间,Y是任一个赋范空间。若F:X→Y是从X到R(F)的线性同胚,且R(F)在Y中稠密,证明R(F)=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是连续的。
设E1和E2是赋范空间X的不交非空凸子集,其中E1是紧的,E2是闭的。证明:存在X'中的厂和实数α1,α2,使得对所有E1中的x1和E2中的x2有
Ref(x1)<α1<α2<Ref(x2)
设(kij)是一个列有限的无穷矩阵,它的元素kij,都是纯量。对C00中的x,设F(x)=y,其中
,i=1,2,…。
设X=C00,范数是‖·‖,Y=C00,范数是‖·‖∞证明F:X→Y是线性的。再证明若存在α﹥0使得任取i,j有|kij|≤α,则F是连续的。