バナッハ空間
Let be a Banach space.