设 X,Y 为 Banach 空间,T:X→Y 为线性算子。设任给 xn∈X,xn→0,对每个 f∈Y′,都有 f(Txn)→0。求证 T∈B(X,Y)。
考虑使用闭图像定理,故先须证明 T 为闭算子。
∀xn∈X,Txn→y,须证明 y=Tx。
取 xn=x+zn,则 zn→0,Txn=Tx+Tzn,n→∞limTzn=T0=0。
又 Tzn=Txn−Tx=y−Tx=0,故 y=Tx。
从而 T 为闭算子,由闭图像定理,T∈B(X,Y)。