Metric Space Structures & Distance Maps

← Back to Domain-Specific Families

Abstractions about distance and its structural consequences in metric and inner-product spaces — distance-preserving or distance-controlling maps such as metric maps and quasisymmetric maps, generalized means and products like the Fréchet mean and dot product, and space-level invariants such as equilateral dimension and reach.

11 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Direct Linear Transformation — Estimate a projective mapping by turning homogeneous point correspondences into a linear null-space problem, solved up to overall scale.
• Dot Product — A symmetric bilinear pairing of real coordinate vectors that sums componentwise products and thereby encodes Euclidean length, angle, orthogonality, and projection.
• Equilateral Dimension — Measure how large an exactly pairwise-equidistant subset a metric space can support, with the distance scale and attainment convention stated explicitly.
• Fréchet Mean — Any point minimizing expected or empirical squared metric distance to observations, generalizing the Euclidean arithmetic mean to nonlinear metric spaces.
• Mapping Space — A topological or enriched space whose points are maps between fixed spaces, with topology chosen so families, homotopies, and evaluation become structural.
• Metric Map (Nonexpansive Map) — A function between metric spaces that never increases pairwise distance, equivalently a Lipschitz map with constant at most one.
• Metric projection — Map a point to the set of points in a designated subset that minimize its metric distance, retaining nonexistence and nonuniqueness unless geometry supplies stronger guarantees.
• Metric Space Aimed at Its Subspace — A metric superspace whose distance differences to points of a distinguished subspace approximate every ambient pair distance arbitrarily closely.
• Pseudometric space — Equip a set with a symmetric, nonnegative, triangle-inequality distance that may assign zero separation to distinct points, with metric quotient obtained by identifying zero-distance classes.
• Quasisymmetric map — Control relative metric distortion by requiring every ratio of two distances from a common base point to be bounded through one homeomorphic control function.
• Reach (Mathematics) — Measure the largest open Euclidean tube around a closed set in which every point has a unique nearest point on the set, exposing the first scale at which metric projection becomes ambiguous.