设 X,Y 为 Banach 空间，F∈B(X,Y) 为单射。令 Y1={Fx:x∈F} 为 F 的值域。求证：Y1 在 Y 中为闭子空间当且仅当 F 的逆映射 F−1:Y1→X 为有界线性算子。
详见 2013-5。