设 H 为 Hilbert 空间,A:H→H 为线性算子,满足 ⟨Ax,y⟩=⟨x,Ay⟩,∀x,y∈H。求证:A∈B(H)。
由 H 为 Hilbert 空间,任意收敛列 xn,∃x∈H,xn→x,并记 Axn→y。下证 Ax=y。
⟨Axn,z⟩n→∞lim⟨Axn,z⟩⟨y,z⟩⟨y,z⟩y=⟨xn,Az⟩=n→∞lim⟨xn,Az⟩=⟨x,Az⟩=⟨Ax,z⟩=Ax
从而 A 为闭算子,由闭图像定理,A∈B(H)。