Norm-induced metric
On the same real normed vector space, taking the norm of a vector difference defines a metric whose axioms follow universally from the norm axioms.
atlas-norm-induced-metric · canonical_mko
Norm-induced metric
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data