巴拿赫空间
the space formula_19 becomes a Banach space.