바나흐 공간
which is a Banach space with norm