バナッハ空間
Precisely, for every Banach space formula_40 the map