Metric induced by a norm Updated 2025-07-16
In a vector space, a metric may be induced from a norm by using subtraction: