バナッハ空間
Let "X" be a Banach space