巴拿赫空间
Since formula_145 is a Banach space (using the absolute value as norm), the dual is a Banach space, for every normed space .