求证:赋范空间上的有界线性算子的谱可以是数域的非空非紧子集。
求证:赋范空间上的有界线性算子的谱可以是数域的非空非紧子集。
求证:赋范空间上的有界线性算子的谱可以是数域的非空非紧子集。
设X为赋范空间,z∈X,f∈X'。求证:若T:X→X定义为
T(x)=f(x)z, x∈X。
则T为紧线性算子。
设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的特征值和谱。
设X为赋范空间,Ω是X的有界开凸子集,θ∈Ω,T:→X为全连续算子,为Ω的边界.若下列条件之一满足:
设A为Hilbert空间H上的酉算子,设σ(A)及W(A)分别为A的谱及数值域。求证:
(a)
(b)
考虑无穷矩阵
若
β=sup{|cn|+|an|+|bn|:n=1,2,…)<∞,
γ=sup{|bn-1|+|an|+|cn+1|:n=1,2,…)<∞,
其中b0=0=c1.求证:上述矩阵相对于l2上的典范标准正交基定义了l2上的有界线性算子A,且‖A‖≤(βγ)1/2。[这类矩阵称为Jacobi矩阵。]
设X为赋范空间,T∈BL(X),设Y为对应于T的某个特征值λ的特征空间。求:T在Y上限制的谱。
设S和T是Hilbert空间H中使得ST在H中稠定的线性算子.证明(ST)*T*S*;若D(S)=H且S是有界的,证明(ST)*=T*S*.
设X,Y为内积空间,F:X→Y为线性算子。求证:任取x∈X有
‖F(x)‖=‖x‖ (23)
当且仅当任取x1,x2∈X有
<F(x1),F(x2)>=<x1,x2>。 (24)