バナッハ空間
the space formula_19 becomes a Banach space.