巴拿赫空间
Let "X" be a Banach space