巴拿赫空间
Banach space-valued integral.