开映射定理——设X，Y都是Banach空间，若T是映X到Y的有界线性算子且是满射，则T是开映射