Assouad–Nagata Dimension¶

A metric dimension defined by uniformly bounded, uniformly low-multiplicity covers at every scale, with cover diameter growing at most linearly with scale.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8046
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Metric Geometry, Dimension Theory → Mathematics
Aliases: Nagata dimension, Assouad-Nagata dimension, Nagata–Assouad dimension

Core Idea¶

Assouad–Nagata dimension measures how efficiently a metric space can be covered at all resolutions. At each scale s, cover pieces must have diameter no more than a fixed multiple of s, and no s-small subset may meet too many pieces.

The same constant must work at every scale. This uniformity distinguishes the invariant from dimensions restricted to microscopic or asymptotic behavior and makes it sensitive to quantitative geometry rather than topology alone.

How would you explain it like I'm…

Same Patch Rule Every Size

Imagine covering a shape with patches. You pick a size, and every patch must be about that size, and no tiny spot may touch too many patches at once. Assouad-Nagata dimension is about needing the very same rule to work at every size you pick, whether the patches are huge or tiny.

Same Rule at Every Scale

Mathematicians measure shapes by trying to cover them with patches. For a chosen scale s, the patches are allowed to be no bigger across than some fixed multiple of s, and the rule is that no small piece of the space, small compared with s, may touch too many patches. Assouad-Nagata dimension records how efficiently a space can be covered this way when the same constants have to work at every scale at once. That one demand is what makes it different from measures that only look at very tiny scales or only at very large ones. Because it counts how big and how overlapping the patches can be, it is about measured distances, not just about the shape's overall form.

Scale-Uniform Covering Dimension

Assouad-Nagata dimension measures how efficiently a metric space can be covered at all resolutions. At each scale s you must produce a cover whose pieces have diameter no more than a fixed multiple of s, while no s-small subset of the space meets too many of the pieces. The crucial requirement is uniformity: the same constants, both the diameter multiple and the bound on how many pieces a small set may meet, have to work at every scale, not just for small s or just for large s. That uniformity distinguishes it from invariants restricted to microscopic behavior or to asymptotic behavior, which allow the constants to depend on the scale regime. Because the definition constrains diameters and multiplicities measured with the metric, the invariant is sensitive to quantitative geometry rather than topology alone.

Assouad-Nagata dimension is a metric invariant measuring how efficiently a space admits coverings at all resolutions simultaneously. For each scale s one requires a cover whose pieces have diameter at most a fixed constant multiple of s, with the multiplicity controlled in the sense that no s-small subset meets more than a bounded number of pieces; the dimension is the least such multiplicity bound achievable, with a single pair of constants valid for all s. The essential point is this uniformity across scales. Dimensions defined only for arbitrarily small s capture microscopic structure, and dimensions defined only for large s capture asymptotic structure, whereas requiring one constant at every scale couples the two regimes. Consequently the invariant records quantitative geometric information, such as how efficiently the space can be decomposed at comparable scales, rather than being determined by topology alone.

Structural Signature¶

Sig role-phrases:

Metric space — Provides distance, diameter, and scale. It is ambient object. Counterfactual: A topology alone lacks quantitative scale.
Scale s — Sets the resolution tested. It is universal parameter. Counterfactual: Testing only small or large scales yields neighboring dimensions.
Cover — Represents the whole space by controlled subsets. It is decomposition. Counterfactual: Uncovered points invalidate the witness.
Diameter constant c — Bounds each cover member by c times s uniformly. It is size control. Counterfactual: A scale-dependent unbounded constant defeats uniformity.
s-multiplicity — Limits how many cover members any s-small subset can meet. It is overlap control. Counterfactual: Unbounded overlap hides effective dimension.
Least integer n — Selects the minimal achievable overlap order. It is dimension value. Counterfactual: One witness only establishes an upper bound until minimality is shown.

What It Is Not¶

It is not Assouad dimension.
It is not merely Lebesgue covering dimension.
It is not asymptotic dimension alone.
A scale-dependent control constant does not satisfy the definition.
Closest near-miss. Asymptotic dimension controls sufficiently large scales, whereas Assouad–Nagata dimension requires the same linear diameter control uniformly across all scales.

Scope of Application¶

Metric geometry. Compares quantitative dimensional behavior.
Geometric group theory. Studies spaces under large-scale and all-scale controls.
Analysis on metric spaces. Supports embedding and extension theorems.
Fractal geometry. Contrasts covering invariants with growth-based dimensions.

Clarity¶

Specify the metric, scale convention, diameter bound, exact multiplicity definition, uniform constant, and whether the claim is an upper bound or an exact dimension. Track naming conventions for Nagata dimension.

Manages Complexity¶

The invariant condenses infinitely many scale-dependent cover problems into the least overlap order achievable with one uniform linear bound.

Abstract Reasoning¶

Fix a candidate dimension n and constant c.
For arbitrary scale s construct a cover.
Bound every member's diameter by c*s.
Prove s-multiplicity at most n+1.
Establish minimality or report only the upper bound.

Knowledge Transfer¶

Cover arguments transfer under metric equivalences only with the quantitative distortion needed to preserve uniform linear bounds.

Examples¶

Canonical¶

For the real line, intervals arranged in bounded overlapping families give uniformly linear-diameter covers with small-scale multiplicity two, witnessing dimension at most one; disconnectedness arguments rule out zero.

Mapped back: space → real line; scale → arbitrary; cover → interval families; diameter → linear; multiplicity → two.

Applied / In Practice¶

A cover whose diameters are controlled only for very large s can witness asymptotic dimension but does not establish Assouad–Nagata dimension.

Mapped back: large scale → controlled; all scales → not controlled; verdict → insufficient.

Structural Tensions¶

T1 — Local Detail versus Global Geometry. One invariant must control microscopic, intermediate, and large scales uniformly.

Diagnostic: Where does the worst scale occur?

T2 — Small Diameter versus Low Overlap. Finer pieces improve size bounds but can increase multiplicity.

Diagnostic: Can one cover construction balance both with a fixed constant?

Structural–Framed Character¶

Assouad–Nagata Dimension is strongly structural as an all-scale cover invariant.

Structural Core vs. Domain Accent¶

The skeleton is scale, bounded cover, overlap, uniformity, and minimization. Metric geometry supplies diameter and equivalence controls.

This entry is a kind of Dimension.

Approved root. No reviewed parent entails this all-scale multiplicity invariant.
Related — covering dimension, asymptotic dimension, Assouad dimension, and metric cover. They provide neighboring scale regimes and methods.

Relationships to Other Abstractions¶

Current abstraction Assouad–Nagata Dimension Domain-specific

Parents (1) — more general patterns this builds on

Assouad–Nagata Dimension is a kind of Dimension Prime

Assouad–Nagata Dimension is a Dimension measuring uniformly bounded low-multiplicity covers across all metric scales.

Hierarchy path (1) — routes to 1 parentless root

Assouad–Nagata Dimension → Dimension

Neighborhood in Abstraction Space¶

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

Family — Coordinate Systems & Spatial Measures (29 abstractions)

Nearest neighbors

Solid Modeling — 0.90
Algebraic Surface — 0.90
Convex body — 0.89
Radon Measure — 0.88
Distance Matrix — 0.88

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

Not to Be Confused With¶

Assouad dimension. Tell: Uses quantitative covering-number growth inside balls.
Asymptotic dimension. Tell: Requires control only at sufficiently large scales.
Lebesgue covering dimension. Tell: Is primarily topological and local.
Hausdorff dimension. Tell: Uses measure scaling rather than bounded-multiplicity covers.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Assouad%E2%80%93Nagata_dimension (revision 1337659760).
Preserved source candidate: https://gallica.bnf.fr/ark:/12148/bpt6k5533029f/f49.item

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.