设X和Y是两个赋范线性空间，L（X，Y）是全体映X到Y的有界线性算子按照算子范数构成赋范线性空间，当Y完备时，L（X，Y）是一个Banach空间