バナッハ空間
formula_33 is also a Banach space.