바나흐 공간
the space formula_19 becomes a Banach space.