案是肯定的。
巴拿赫空间.一般的巴拿赫空间（"Banach"）比较复杂，例如没有通用的办法构造其上的一组基。对于每个实数formula_2，如果formula_3，一个巴拿赫空间的例子是“所有绝对值的formula_2次方的积分收敛的勒贝格可测函数”所构成的空间。（参看Lp空间）在巴拿赫空间中，相当部分的研究涉及到对偶空间的概念，即巴拿赫空间上所有连续线性泛函所构成的空间。对偶空间的对偶空间可能与原空间并不同构，但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单同态