Banach space
the space formula_19 becomes a Banach space.