##  [Metric Space](/metric-space-2) 

 Definition

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

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

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

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

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

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

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

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

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.