Skip to content

Metric Space Foundations

← Back to Domain-Specific Families

Abstractions about the basic axioms and combinatorics of metric spaces, covering distance axioms and their variants (triangle inequality, ultrametric space, equivalence of metrics), covering and separation properties (covering number, positively separated sets, uniformly disconnected space), and metric-indexed data structures (BK-tree, isometry group, CAT(k) space).

9 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.

  • BK-tree — Index objects in a discrete metric space by recursively grouping equal pivot distances, then use the triangle inequality to restrict a radius query to only child distances that can contain a match.
  • CAT(k) space — A geodesic metric space whose triangles are no thicker than comparison triangles in the constant-curvature model space of curvature k, within the prescribed perimeter range.
  • Covering number — The minimum number of radius-r balls required to cover a specified subset of a metric or pseudometric space.
  • Equivalence of metrics — A relation between metrics that captures equality of induced topology, uniformity, Lipschitz structure, or another declared level of geometric behavior.
  • Isometry group — The group of all bijective self-maps of a metric space that preserve every distance, with composition encoding the space's exact metric symmetries.
  • Positively separated sets — Two nonempty subsets of a metric space whose infimum pairwise distance is strictly greater than zero.
  • Triangle inequality — The distance or norm axiom stating that a direct separation is no greater than the length of any two-step path, d(x,z)≤d(x,y)+d(y,z).
  • Ultrametric space — A metric space satisfying the strong triangle inequality, so every triangle is isosceles with its two largest distances equal and balls form a nested hierarchy.
  • Uniformly disconnected space — A metric space with one scale-independent constant preventing any two distinct points from being joined by a chain of sufficiently small relative steps.