바나흐 공간
Banach space properties.