Eを規範的な空間とバナッハ空間とします。eからfまでの境界線形演算子のセット（適切な操作とフィールドに関してすでにベクトル空間になると想定できる）は、オペレーターのノルムを装備していることもバナッハ空間であることを証明します。
Let E be a normed space and F a Banach space. Prove that the set of bounded linear operators from E to F (which you can assume to already be a vector space with respect to suitable operations and field), equiped with the operator norm, is also a Banach space.