Norm ↩

Metadata 
aliases: []
shorthands: {}
created: 2021-12-03 00:28:05
modified: 2022-01-11 17:42:10

A norm on a vector space over the field ( or ) is a map , denoted with the following properties:

  1. : , with equality if and only if
  2. and , we have
  3. , we have

Distance

If is a norm on , then we can define a distance function on :