Metric

Version

v1 · 2026-08-24 · History

Prime #

991

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Topology → Mathematics

Core Idea

A metric is a rule assigning a non-negative Distance to every pair of objects in a set, subject to three axioms: the distance is zero exactly when the objects coincide, it is symmetric, and it obeys the triangle inequality. These three constraints turn a vague sense of "closeness" into a structure with stable, exploitable properties.

How would you explain it like I'm…

The Distance Rule

A metric is a fair way to measure how far apart two things are. It always plays by the rules: the distance from your house to school is the same as from school back home, and going straight there is never longer than stopping somewhere first. When two things are in the exact same spot, the distance is zero.

Distance With Three Rules

A metric is a rule for measuring distance between any two things, and a real metric has to obey three promises. First, the distance is zero only when the two things are actually the same thing. Second, it's the same both ways — A to B equals B to A. Third, taking a detour through some other point can never be shorter than going straight. "Distance" doesn't have to mean miles; it could be how many letters two words don't share. As long as those three promises hold, it counts as a metric.

Axioms Of Distance

A metric is a rule that assigns a non-negative distance to every pair of objects, obeying three conditions: the distance is zero exactly when two objects coincide, it is symmetric (a-to-b equals b-to-a), and it satisfies the triangle inequality (going direct is never longer than detouring through a third point). These axioms are what turn a vague feeling of "closeness" into something mathematically well-behaved. The distance doesn't have to be physical: it could be how many letters differ between two words, or how many edits turn one sequence into another. If resemblance is genuinely one-directional — easy to go one way, hard the other — then symmetry fails and you don't have a metric, you have a divergence. The triangle inequality is the rule that forbids a detour from beating the direct route.

 

A metric is a rule assigning a non-negative distance to every pair of objects in a set, subject to three axioms: identity of indiscernibles (distance is zero exactly when the objects coincide), symmetry (the distance from a to b equals that from b to a), and the triangle inequality (the direct distance from a to c never exceeds the sum of going through b). The defining commitment is the axioms, not any particular notion of distance — Euclidean separation, the count of differing symbols between strings, and edit distance between sequences are all metrics the moment the three conditions hold. Each axiom does specific work: symmetry rules out asymmetric resemblance (when resemblance really is asymmetric you have a divergence, not a metric), and the triangle inequality rules out path-cheating, making proximity transitive in a controlled way. The payoff is large: once distance is axiomatized, a body of substrate-free machinery — convergence, completeness, contraction, compactness, continuity, fixed points — is defined and proved using only those three axioms. A metric also induces a topology (the balls of radius r around each point), so nearness, limits, and continuity follow from the distance function alone. This is why asking "what metric am I using?" is often the productive first move: the choice of distance is a substantive modeling decision, not a default.

Tensions in Practice

• Equal coordinate treatment in tension with task-weighted similarity

Broad Use

• Geography: Euclidean distance on a map, great-circle distance on a sphere, road-network distance through a graph.
• Information theory: Hamming distance between binary strings, edit distance between texts.
• Machine learning: Euclidean, Mahalanobis, and cosine distance between feature vectors, where the metric determines what "similar" means for clustering and retrieval.
• Semantics: distances in an embedding space encode meaning proximity for words and images.
• Political science: ideological distance between voters, preference distance between consumers.
• Biology: phylogenetic and genetic distance between organisms.

Clarity

The three axioms make explicit what "close" means, revealing that the choice of distance is a substantive modeling decision — and that two analysts disputing whether things are "similar" are usually disputing which metric to apply.

Manages Complexity

The triangle inequality lets whole regions of a search space be pruned without examination, making nearest-neighbour search, hierarchical clustering, and metric indexing tractable at scale.

Abstract Reasoning

Once distance is axiomatized, an enormous library of theorems — convergence, completeness, contraction, fixed points — becomes available substrate-free, holding in every concrete metric space.

Knowledge Transfer

• Clustering: change the metric (cosine, Mahalanobis, edit distance) and the clustering behaviour changes predictably.
• Search: exploit the triangle inequality to prune, identically whether objects are map points or embeddings.
• Asymmetric resemblance: when similarity is genuinely directional, drop symmetry and move to a divergence — recognizing the metric machinery no longer applies.

Example

A music-recommendation system represents each song as a feature vector: under Euclidean distance two songs are close when their absolute loudness matches, but under cosine distance two are close when their feature profiles align — so a quiet cover and a loud band version land close under cosine and far apart under Euclidean. The team's disagreement about recommendations is structurally a disagreement about the metric.

Relationships to Other Abstractions

Current abstraction Metric Prime

Parents (1) — outgoing typed relations

• Metric is a kind of Function (Mapping) Prime

  Every Metric is a Function Mapping from ordered pairs of objects to non-negative real distances, with metric axioms added.

Children (24) — abstractions linked here by typed relations

• Banach–Mazur compactum Domain-specific is a kind of Metric

  What makes it its own entry: the domain-specific identity determined by dimension is fixed, points are linear-isometry classes, and distance is the infimum distortion under invertible linear maps using the stated logarithmic or multiplicative convention.

• Bandwidth-delay product Domain-specific is a kind of Metric

  BDP is a derived quantitative path metric.

• BK-tree Domain-specific is a kind of Metric

  The triangle inequality of a genuine metric is constitutive both to the stored edge labels and to safe query pruning; What makes it its own entry: the equal-pivot-distance recursive partition and its annular triangle-inequality query test, not a generic search tree or any approximate-neighbor implementation.

• Contact order Domain-specific is a kind of Metric

  It remains its own entry because its identity is fixed by the protein chain and length, native structure and ensemble, residue-index convention, contact-distance and sequence-separation thresholds, included contact pairs, normalization formula, uncertainty and any folding-rate comparison.

• Diamond norm Domain-specific is a kind of Metric

  The induced diamond distance quantitatively separates quantum operations.

▸ Show 19 more

Hierarchy path (1) — routes to 1 parentless root

• Metric → is a kind of Function (Mapping)

Not to Be Confused With

• Metric is not Measure because a metric attaches Distance to pairs and obeys the triangle inequality, whereas a measure attaches additive size to subsets and obeys additivity over disjoint parts; closeness is not bigness.
• Metric is not a Divergence because a metric requires symmetry, whereas a divergence (KL, asymmetric error cost) is genuinely directional and the triangle-inequality theorems no longer apply.
• Metric is not Commensurability because a metric presupposes its objects already share a common scale, whereas commensurability is the prior question of whether they can be placed on one scale at all.