Normed vector space/Metric/Definition

Metric in a normed vector space

On a normed vector space with norm , we define the corresponding metric by