A set X equipped with a distance function d: X×X → [0,∞) such that for all x,y,z in X: d(x,y)=0 iff x=y (identity of indiscernibles), d(x,y)=d(y,x) (symmetry), and d(x,z) ≤ d(x,y)+d(y,z) (triangle inequality).

Principle

Distances in the space behave like nonnegative real lengths that distinguish points, are symmetric, and compose subadditively so local distances control global separation.

Demonstration

The real line R with d(x,y)=|x−y| is a metric space: distinct points have positive distance, symmetry holds by absolute value, and the triangle inequality is the standard |x−z| ≤ |x−y|+|y−z|.

Misapplication

Treating any nonnegative function as a metric without verifying the triangle inequality or the identity condition—e.g., using d(x,y)=min(1,|x−y|) still a metric, but using d(x,y)=|x|+|y| fails identity—and leads to incorrect topological conclusions.

Consequence

When the axioms hold, the metric induces a topology, notions of convergence and continuity are well-defined, and constructions like Cauchy sequences and completions are available.

Reversal

If identity of indiscernibles is dropped one gets a pseudometric; if the triangle inequality is strengthened to d(x,z) ≤ max{d(x,y),d(y,z)} one gets an ultrametric with very different geometry (e.g., strong clustering).

Boundary

Excludes generalized distance-like structures that lack one of the three axioms (pseudometrics, quasi-metrics lacking symmetry, semimetrics) and does not require any algebraic structure such as vector space operations unless specified.

Semantic Tension

Competes with the informal use of 'metric' as any measurement or evaluation; in mathematics it is specifically a function satisfying the three axioms and should not be conflated with other senses.

Synthesis

A metric space is the pair (X,d) where d formalizes a notion of distance satisfying identity, symmetry, and triangle inequality, thereby generating a topology and analytic structure for studying proximity, limits, and completeness.