Distance

Version

v3 · 2026-09-28 · History

Prime #

1593

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Metric Spaces, Geometry → Mathematics

Also from

Physics

Core Idea

Distance abstracts the question of separation away from any one substrate. The relata may be physical points, graph vertices, strings, probability distributions, social actors, or conceptual states; a rule and comparison frame turn the pair into a magnitude or ordered category.

Different distances answer different questions. Straight-line, geodesic, travel, edit, statistical, and network distances can disagree without contradiction. Nonnegativity is common, while symmetry, identity of indiscernibles, and triangle inequality must be declared rather than smuggled in.

How would you explain it like I'm…

How Far Apart?

How far is the park from your house? A bird flying straight there might go a short way, but you have to walk around the streets, so your trip is longer. Both answers are right; they just measure "how far" in different ways.

Many Ways to Measure Far

Distance is a way of saying how far apart two things are. The things don't have to be places: two words can be far apart if you need lots of letter changes to turn one into the other, and two friends can be close or far in a friendship network. To get a distance, you need a rule for measuring. Different rules can give different answers without anyone being wrong, like the straight-line distance to school versus the walking distance. So you always need to ask: distance measured how?

Separation Measured by a Rule

Distance is a general way of turning a pair of things into a measure of how separated they are, using a chosen rule and frame of comparison. The things can be points in space, stops in a network, strings of text, probability distributions, or even people or ideas. Different distance rules answer different questions: straight-line distance, path distance along a road, edit distance between words, or number of steps in a social network can disagree without any contradiction. Most distances are never negative. Other properties, like being the same in both directions or obeying the triangle inequality (a detour is never shorter than going direct), hold for some distances but not others, so you have to check them rather than assume them.

 

Distance abstracts separation away from any particular substrate: given two relata, whether physical points, graph vertices, strings, probability distributions, social actors, or conceptual states, a rule within a comparison frame maps the pair to a magnitude or an ordered category. Different distance functions answer different questions: Euclidean, geodesic, travel-cost, edit (e.g. Levenshtein), statistical (e.g. total variation or Kullback-Leibler divergence), and network shortest-path distances can disagree on the same pair without contradiction. Nonnegativity is almost universal, but the other metric axioms are not guaranteed. Symmetry fails for one-way street travel or for KL divergence; identity of indiscernibles fails for pseudometrics, where distinct items can have zero distance; and the triangle inequality fails for many dissimilarity measures. A mathematical metric is the special case in which all of these hold, so each property must be declared for the distance at hand rather than silently assumed.

Structural Signature

Recurring features:

• Typed pair — Identifies the two entities or states being compared. It is carrier. Counterfactual: Comparing unlike representations without a map makes the value uninterpretable.
• Comparison space — Defines coordinates, features, graph, manifold, or conceptual frame. It is frame. Counterfactual: A value changes meaning when the space changes.
• Separation rule — Maps the pair to a nonnegative magnitude or ordered category. It is operation. Counterfactual: No distance exists until a rule is chosen.
• Path convention — Chooses straight line, geodesic, route, edit sequence, or network path where relevant. It is condition. Counterfactual: Different admissible paths yield different separations.
• Scale or unit — Makes magnitudes comparable within the measure. It is representation. Counterfactual: Meters, hops, normalized scores, and qualitative categories cannot be silently mixed.
• Axioms and uncertainty — States symmetry, identity, triangle behavior, estimation error, and missingness. It is validity. Counterfactual: Everyday distances need not be full mathematical metrics.

What It Is Not

• It is not a one-place measure of size.
• It is not synonymous with difference or similarity.
• It is not necessarily physical length.
• It is not necessarily a mathematical metric.
• Closest near-miss. Similarity increases with likeness and often requires a transformation to become distance; the relation can be monotone without satisfying metric axioms.

Broad Use

• Geometry. Measures straight or geodesic separation of points.
• Networks. Counts or weights paths between vertices.
• Computation. Measures edit operations or representation differences.
• Statistics. Compares distributions under defined divergences or metrics.
• Social inquiry. Operationalizes relational or perceived separation.
• Control and planning. Evaluates displacement between states and goals.

Clarity

Always name the pair, representation, distance rule, admissible paths, normalization, scale, units, and formal axioms. Report estimation and model uncertainty separately from the resulting value.

Manages Complexity

Distance reduces a potentially complicated relationship to an interpretable separation while retaining the comparison rule as part of its meaning. It supports ordering, clustering, neighborhoods, optimization, and thresholds, but hides direction and causal explanation unless separately represented.

Abstract Reasoning

1. Type the two relata and map them into a common space.
2. Choose a separation rule suited to the intended question.
3. Declare paths, weights, units, normalization, and axioms.
4. Compute or estimate the pairwise value.
5. Test sensitivity to representation and rule choices.
6. Use comparisons only where the scale and uncertainty support them.

Knowledge Transfer

Because the identity is role-based, distance transfers across physical, mathematical, computational, and social carriers when a pair and separation rule remain explicit. Numerical resemblance alone does not transfer geometry, units, or metric theorems.

Examples

Formal/abstract

Canonical

Euclidean distance compares two coordinate points by the length of their straight connecting segment.

Mapped back: carrier → points; rule → Euclidean norm.

Applied/industry

Applied / In Practice

Levenshtein distance is the minimum number of permitted insertions, deletions, and substitutions changing one string into another.

Mapped back: carrier → strings; path → edit sequence.

Boundary case

A person's temperature is a magnitude but compares no pair under a separation rule, so it is not a distance.

Mapped back: relata → 1.

Structural Tensions

T1 — Coordinate Difference versus Operational Travel. Straight-line closeness can conflict with route length through terrain or networks.

Diagnostic: Which paths are admissible?

T2 — Metric Axioms versus Useful Dissimilarity. Asymmetric or triangle-violating measures may be informative but are not metrics.

Diagnostic: Which formal properties are asserted?

T3 — Precision versus Model Dependence. More decimals do not remove uncertainty about geometry, representation, or data.

Diagnostic: What part of the value comes from the chosen frame?

Structural–Framed Character

Distance sits at the structural end of the structural–framed spectrum. Its identity rests on a typed pair placed in a comparison space and mapped by a declared rule to a separation magnitude or ordered category, so nothing about social roles or purposes is needed to state it.

The vocabulary of pair, space, rule, path, and unit keeps one generic meaning across its uses. Straight-line distance between physical points, path length between graph vertices, edit distance between strings, and statistical distance between probability distributions answer different questions without contradiction, yet share the same organization. The notion is evaluatively neutral: a separation is neither good nor bad. It comes from mathematics and geometry rather than from any institution, and it can be defined without human practice. Once a space and rule are fixed, applying it recognizes a separation relation already present rather than importing a perspective, with properties such as symmetry or the triangle inequality declared rather than assumed. On every diagnostic, it reads structural.

Substrate Independence

The substrate-independent core comprises two relata, a common representation, and a separation assignment. No material carrier is privileged; physical space, symbol sequences, graphs, probability laws, and social relations can all instantiate the roles without borrowing their local units or mechanisms. Because the identity is role-based, distance transfers across physical, mathematical, computational, and social carriers when a pair and separation rule remain explicit. Numerical resemblance alone does not transfer geometry, units, or metric theorems.

Relationships to Other Abstractions

Current abstraction Distance Prime

Parents (1) — more general patterns this builds on

• Distance is a kind of Comparison Prime

  Distance is the Comparison species that places two relata in a shared space and reads off a nonnegative separation under a declared rule.

Children (3) — more specific cases that build on this

• Kendall tau distance Domain-specific is a kind of Distance

  Kendall tau distance is a distance function counting pairwise ordering disagreements.

• Spatial Observation Baseline Domain-specific is part of Distance

  The known distance between two observation positions is an identity-bearing constituent of a spatial observation baseline.

• Wind Fetch Domain-specific presupposes Distance

  Directional and effective fetch require measured open-water path lengths.

Hierarchy path (1) — routes to 1 parentless root

• Distance → Comparison → Self Checking

Neighborhood in Abstraction Space

Distance sits among the more crowded primes in the catalog (13^th percentile for distinctiveness): several abstractions describe nearly the same structure, so a description that fits it will tend to fit its neighbors too — transporting it usually means disambiguating within this family rather than landing on it exactly.

Family — Proximity, Visibility & Local Knowledge (11 primes)

Nearest neighbors

• Similarity / Resemblance — 0.77
• Counterfactuals — 0.77
• Counterfactual Proximity Weighting — 0.77
• Similarity Measure — 0.76
• Comparison — 0.76

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

• Displacement. Tell: A directed change vector can contain orientation that scalar distance omits.
• Similarity. Tell: Usually increases as items resemble one another; its conversion to distance is conventional.
• Metric. Tell: A distance satisfying specified identity, symmetry, and triangle axioms.
• Length. Tell: Measures extent or path size and becomes distance only in a two-relata comparison.
• Divergence. Tell: May be asymmetric or violate triangle inequality while still measuring distributional difference.

Solution Archetypes

No catalogued solution archetypes reference this prime yet.

References

• Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Distance (revision 1364822371).
• Preserved source candidate: http://www.dspace.cam.ac.uk/handle/1810/244216
• Preserved source candidate: https://mathworld.wolfram.com/Distance.html
• Preserved source candidate: https://www.mathsisfun.com/algebra/distance-2-points.html
• Preserved source candidate: https://www.hawaii.edu/powerkills/TCH.CHAP16.HTM
• Preserved source candidate: https://www.khanacademy.org/science/physics/one-dimensional-motion/displacement-velocity-time/a/what-is-displacement
• Preserved source candidate: http://www.ittc.ku.edu/~jstiles/220/handouts/The%20Directed%20Distance.pdf
• Preserved source candidate: https://web.archive.org/web/20161110044317/http://www.ittc.ku.edu/~jstiles/220/handouts/The%20Directed%20Distance.pdf
• Preserved source candidate: https://docs.scipy.org/doc/scipy/reference/spatial.distance.html

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.