바나흐 공간
formula_33 is also a Banach space.