Banach space
formula_33 is also a Banach space.