Normed vector space (source code)

= Normed vector space
{wiki}

= Normed space
{synonym}

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