巴拿赫空间
Banach space properties.