バナッハ空間
Since formula_145 is a Banach space (using the absolute value as norm), the dual is a Banach space, for every normed space .