A set X together with a function d: X × X → [0, ∞) (the metric) satisfying for all x,y,z: d(x,y) ≥ 0 with equality 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

Distance quantifies proximity between points with structure strong enough to induce topology, convergence and continuity; the metric axioms enforce a coherent notion of separation and path-independent bounds.

Demonstration

Euclidean space R^n with the usual Euclidean distance is a metric space; the discrete metric d(x,y)=1 for x ≠ y and 0 otherwise yields a metric where every subset is open; norms on vector spaces induce metrics via d(x,y)=||x-y||.

Misapplication

Confusing metrics with pseudometrics (which allow distinct points at distance zero) or quasi-metrics (which may lack symmetry), or applying metric-based compactness criteria to non-metrizable topologies without verifying a metric exists.

Consequence

A metric induces a topology and notions of Cauchy sequence, completeness, compactness, continuity, and uniform continuity; many analytic constructions (limits, function spaces) depend on metric properties like completeness or separability.

Reversal

A topological space without a compatible metric (non-metrizable) reverses the requirement: open/closed and continuity can be defined but without distances; an ultrametric strengthens the triangle inequality to d(x,z) ≤ max(d(x,y),d(y,z)).

Boundary

Requires real-valued nonnegative distance and the three metric axioms; excludes pseudometrics, quasi-metrics, generalized distances taking values in ordered structures, and purely topological or uniform spaces lacking a concrete metric.

Semantic Tension

Metric versus topological space: every metric space is topological but not every topology is metrizable. Metric versus pseudometric: pseudometrics drop identity of indiscernibles. Metric versus ultrametric: ultrametric intensifies triangle inequality.

Synthesis

A metric space is a set equipped with a real-valued distance satisfying nonnegativity, identity, symmetry and the triangle inequality, providing a quantitative framework for topology, convergence and analytic structure.