巴拿赫空间
which is a Banach space with norm