は、バナッハ空間の(ノルムに関する)閉部分空間となるから、それ自身バナッハ空間を成す。