 Normed vector space

A normed vector space is a vector space equipped with a norm, whose induced metric is $d(x,y)=\Vert x-y\Vert$.