バナッハ空間
Banach space properties.