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.
Core Idea¶
A pseudometric space is a pair \((X,d)\) in which \(d:X\times X\to[0,\infty)\) satisfies \(d(x,x)=0\), symmetry \(d(x,y)=d(y,x)\), and the triangle inequality \(d(x,z)\le d(x,y)+d(y,z)\), but may have \(d(x,y)=0\) for distinct \(x\) and \(y\). The missing identity-of-indiscernibles axiom is the whole distinction from a metric space. Open balls still define a topology, although points at zero distance have exactly the same neighborhoods and cannot be topologically separated.
Scope of Application¶
The abstraction is literal wherever practitioners can identify the same constitutive roles, apply the same boundary tests, and obtain the same kind of output. The following habitats are uses of Pseudometric space itself, not metaphors based only on resemblance.
- Functional analysis. Turning seminorms and locally convex families into distance-like comparisons.
- Quotient construction. Identifying objects observationally indistinguishable under the chosen comparison.
- Probability. Comparing random variables modulo almost-sure equality or distributions modulo selected tests.
- Computer science. Comparing states or behaviors while abstracting from unobserved components.
- Topology. Generating neighborhoods before asking whether separation axioms hold.
- Data analysis. Encoding feature-level proximity that deliberately ignores nuisance variation.
Clarity¶
A clear account of Pseudometric space must preserve the recognition invariant stated in the Core Idea rather than rely on the title alone. List every distance axiom used and state explicitly that distinct zero-distance points are allowed. Declare the source's semimetric convention rather than treating the word as a fixed synonym. Compute the zero-distance equivalence relation before making separation claims. When quotienting, prove representative independence and distinguish original points from equivalence classes.
Manages Complexity¶
Pseudometric space manages complexity by replacing a diffuse field of observations or possible operations with a bounded role structure: carrier set supplies arbitrary points supply objects to be compared.; distance-like map supplies a nonnegative real value is assigned to each ordered pair.; reflexive zero supplies every point has zero self-distance.; symmetry supplies reversing the pair leaves the value unchanged.; triangle inequality supplies indirect comparison cannot undercut the declared bound on direct separation..
Abstract Reasoning¶
- Specify the carrier and formula for the distance-like comparison. 2. Verify nonnegativity, self-zero, symmetry, and the triangle inequality. 3. Search for distinct pairs at zero distance to determine whether the space is nonmetric. 4. Form the zero-distance equivalence relation and prove transitivity using the triangle inequality. 5. Analyze open balls and identify which points share all neighborhoods. 6. Descend the formula to equivalence classes and verify a genuine metric.
Knowledge Transfer¶
The strict upward abstraction is Comparison. Pseudometric Space instantiates Comparison because its function places every pair of points in a shared nonnegative scale and reads off their distance relation, specialized by metric-style axioms without point separation. Within generalized metric spaces, the full mechanism transfers literally when the same roles and boundary tests recur. Beyond that domain, only the parent-level skeleton should travel. Reusing the label Pseudometric space after removing its constitutive vocabulary would hide a change of mechanism behind an analogy. The honest transfer rule is therefore two-stage: recognize the domain-specific pattern first, then lift only the parent relation that remains invariant under a substrate change.
Relationships to Other Abstractions¶
Current abstraction Pseudometric space Domain-specific
Parents (1) — more general patterns this builds on
-
Pseudometric space is a kind of Comparison Prime
Pseudometric Space instantiates Comparison because its function places every pair of points in a shared nonnegative scale and reads off their distance relation, specialized by metric-style axioms without point separation.
Hierarchy path (1) — routes to 1 parentless root
- Pseudometric space → Comparison → Self Checking
Neighborhood in Abstraction Space¶
Pseudometric space sits in a sparse region of the domain-specific corpus (79th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Metric Geometry & Approximation (13 abstractions)
Nearest neighbors
- Ahlswede–Daykin inequality — 0.82
- Equilateral Dimension — 0.82
- Metric projection — 0.82
- Ultrametric space — 0.82
- Positively separated sets — 0.82
Computed from structural-signature embeddings · 2026-09-08