Normed vector space/Definition

Normed vector space

A ${}{\mathbb {K} }$-vector space is called a normed vector space if a norm ${}\Vert {-}\Vert$ is defined on it.