巴拿赫空间
Let be a Banach space.