バナッハ空間
Finite-rank operators on a Banach space.