设x是线性赋范空间，T是x→x的有界线性算子，若T既是单射又是满射，则T有逆算子。