Difference between revisions of "Metric induced by the norm"