Injective metric space¶

A metric space into which every nonexpansive map from a subspace extends nonexpansively over the containing space, equivalently a hyperconvex space.

Version: v2 · 2026-09-19 · History
Domain-specific #: 5042
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Metric Geometry → Mathematics

Core Idea¶

Injectivity is relative to isometric embeddings and 1-Lipschitz maps, hyperconvexity uses arbitrary compatible closed-ball families and geodesic convexity alone is weaker. The space satisfies a Helly-type ball-intersection property, which supplies a common image point whenever a 1-Lipschitz map must be extended to one additional domain point. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of metric geometry. It is the domain-specific identity fixed by the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls are explicit.

How would you explain it like I'm…

The Circles-Always-Meet Playground

Imagine drawing circles on a special kind of playground. On this playground, if every two circles are close enough to overlap, then there is always one spot that is inside all of the circles at once. Not every playground works like that, which is what makes this kind special.

The Never-Stuck Space

A metric space is any place where you can measure distances between points. An injective metric space is a special one with a 'never stuck' property. Suppose you've placed some points into it without stretching any distances, and now you want to place one more point too. You can always find a spot that works without stretching anything. This is the same as saying: if a bunch of balls are each close enough to overlap in pairs, they all share a common point.

Hyperconvex Extension Spaces

A 1-Lipschitz map is a map that never increases distances. A metric space Q is injective if, whenever A sits inside a bigger space B with distances kept exactly (an isometric embedding), every 1-Lipschitz map from A into Q can be extended to a 1-Lipschitz map on all of B. The key step is extending to one extra point, which works because of a ball-intersection property. That property is called hyperconvexity: any family of closed balls whose centers are no farther apart than the sum of their radii has a point common to all of them. Injectivity and hyperconvexity turn out to be equivalent. Being geodesically convex (having shortest paths between points) is a weaker condition and is not enough.

Injectivity here is relative to isometric embeddings and 1-Lipschitz maps. Y is injective if for every isometric embedding A into B, every 1-Lipschitz map f from A to Y extends to a 1-Lipschitz map from B to Y. Hyperconvexity is a Helly-type condition. For any family of closed balls B(x_i, r_i) with d(x_i, x_j) ≤ r_i + r_j for all pairs, the whole intersection is nonempty, and this must hold for arbitrary families, not just finite ones. The two properties are equivalent. The mechanism works one point at a time: to extend f to a new point b, you need a point y with d(y, f(a)) ≤ d(b, a) for all a. Those constraints are exactly a pairwise-compatible family of balls, so hyperconvexity supplies y. Geodesic convexity alone is too weak to guarantee this. Typical examples include retracts of injective spaces and injective hulls.

Scope of Application¶

Injective metric space belongs to metric geometry and is useful where the analyst can specify the typed metric geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Injective metric space. Injective metric space compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed metric geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of metric geometry because they reuse the typed metric geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, The space satisfies a Helly-type ball-intersection property, which supplies a common image point whenever a 1-Lipschitz map must be extended to one additional domain point., and type the carrier, state every parameter and convention in the definition, test that the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Injective metric space Domain-specific

Parents (1) — outgoing typed relations

Injective metric space is a kind of Embedding Prime

It remains its own entry because its identity is fixed by the metric space, isometric embedding A into B, 1-Lipschitz map from A, existence of 1-Lipschitz extension to B, closed-ball family and pairwise radius condition, nonempty total intersection, equivalence of injectivity and hyperconvexity and examples retracts and hulls.

Hierarchy path (1) — routes to 1 parentless root

Injective metric space → is a kind of Embedding → is a kind of Representation → presupposes Abstraction

Neighborhood in Abstraction Space¶

Injective metric space sits in a crowded region of the domain-specific corpus (6^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Metric Geometry & Curvature (14 abstractions)

Nearest neighbors

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