巴拿赫空间
formula_33 is also a Banach space.