Banach space
设为一个完备的有限维賦範向量空間（即一个巴拿赫空间），为一个取值在上的函数：