Normed vector space/Metric/Definition
< Normed vector space < Metric
Metric in a normed vector space
On a normed vector space with norm , we define the corresponding metric by
On a
normed vector space
with norm
, we define the
corresponding metric
by