A set X equipped with a function d: X×X → [0,∞) (called a metric or distance) that assigns a nonnegative real number to each ordered pair of points and satisfies: (i) d(x,y)=0 iff x=y (positivity/identity of indiscernibles), (ii) d(x,y)=d(y,x) (symmetry), and (iii) d(x,z) ≤ d(x,y)+d(y,z) (triangle inequality).

Principle

Distances between points are measured by a single real-valued function obeying algebraic constraints that encode indistinguishability, reciprocity, and additive upper bounds for composition of routes.

Demonstration

R^n with the Euclidean distance d(x,y)=sqrt(sum (x_i−y_i)^2) is a metric space; the discrete metric d(x,y)=1 for x≠y and 0 for x=y is another concrete example that yields the discrete topology.

Misapplication

Treating any symmetric nonnegative function as a metric without checking the triangle inequality or identity of indiscernibles leads to invalid constructions; for example, a function that returns zero for different points violates metric separation.

Consequence

A metric induces a topology of open balls, giving notions of convergence, continuity, completeness, and compactness that can be studied with sequences, nets, and Cauchy criteria.

Reversal

If one inverts the requirement and allows the triangle inequality to fail, the resulting structure is not a metric space but might be a quasimetric or general distance-like relation with asymmetric or nontransitive behavior.

Boundary

Metrics are restricted to real-valued nonnegative distances satisfying all three axioms; pseudometrics drop the identity axiom, quasimetrics drop symmetry, and extended metrics allow infinite distances but otherwise follow the axioms.

Semantic Tension

Metric space vs. topological space: a metric determines a topology but not every topology comes from a metric (non-metrizable topologies); also metric vs. uniform structure — metrics induce uniformities but multiple non-equivalent metrics can yield the same topology.

Synthesis

A metric space packages an algebraic rule for distances that produces a canonical topology and quantitative notions (balls, Cauchy sequences, completeness) enabling analysis that depends on explicit numerical separation between points.