0.1. Def(バナッハ空間:banach_space)

A Banach space is a normed vector space $(X,\parallel \cdot \parallel )$ over a valued field $K$ whose norm is complete.