ノルム空間の完全性とバナッハ空間(完全ノルム空間の性質など)