バナッハ空間
which is a Banach space with norm