设x为Banach空间,在X'中。求证:{x'n}为X'中的有界列。证明在上面的结论中,X的完备性是必要的。
设x为Banach空间,在X'中。求证:{x'n}为X'中的有界列。证明在上面的结论中,X的完备性是必要的。
设x为Banach空间,在X'中。求证:{x'n}为X'中的有界列。证明在上面的结论中,X的完备性是必要的。
设X为Banach空间,A,B∈BL(X)。求证:若B为紧的,则除掉特征值外A的谱和A+B的谱相等。
设X是Banach空间,Y是赋范空间,对n,m=1,2,…。设Fmn∈BL(X,Y)若对每个m≥1,存在X中的xm使得
证明存在X中的x使得
,m=1,2,…。
设{Tt:t≥0}是Banach空间X上的C0类线性算子半群,A为其无穷小生成元,D(A)表示A的定义域,且x,y∈X有.证明x∈D(A),且Ax=y.
设X,Y,Z是Banach空间,{G。:a∈A)是一族从y到Z的有界线性映射。设若对所有A中的a有G。(y)一0,则必有y===0。证明若F:X—y是线性的且对A中每个α,Gα·F∈BL(X,Z),则F∈BL(X,Y)
设D是C中的开单位圆盘。设x:是解析的且定义
,1≤p﹤∞
设Hp(D),1≤P≤∞,是所有满足‖x‖<∞的解析函数x:的集合。证明对1≤p≤∞,Hp(D)是Banach空间。
设X,Y,Z为赋范空间,F∈BL(X,Y),G∈BL(Y,Z)。求证:(G·F)'=F'·G'
设X,y为赋范空间,F:X→Y为线性算子。若y'∈Y',定义F'(y'):为
F'(y')(x)=y'(F(x)), x∈X
求证:
设H为可分Hilbert空间,{un}为H的标准正交基,{kn}为有界纯量列求证:
, x∈H
定义了H上的正规算子[这样的算子被称为[<strong>对角算子</strong>]]。求A的特征值和谱。
设H为有限维Hilbert空间,A∈BL(H)。若
(i)A为自伴的或
(ii)A为正规的且数域K为
求证:存在纯量t1,t2,…,tm存在Y1,Y2,…,Ym为两两正交的H的子空间,使得任取x∈H
x=y1+y2+…+ym, yi∈Yi,
A(x)=t1y1+…+tmym
设A为Hilbert空间H上的非零紧算子。求证:存在有限或无限单调下降的正数列{αn},存在H的标准正交序列{un}和{vn}使得
, z∈H, (6)
, x∈H。 (7)