巴拿赫空间
其中formula_15是巴拿赫空间的范数。