Metric

Metadata
shorthands: {}
aliases: [Distance function]
created: 2021-12-03 00:44:06
modified: 2022-01-11 22:48:38

A metric on a set is a function

Where is the set of non-negative real numbers and the following are satisfied:

  1. (identity of indiscernibles)
  2. (symmetry)
  3. (triangle inequality) ^09a86d

Examples