巴拿赫空间
Precisely, for every Banach space formula_40 the map