Geometric Measure & Convergence

← Back to Domain-Specific Families

Abstractions about measures on geometric spaces, covering, density, compactness, weak convergence, tangent structure, and generalized surfaces.

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

• Caccioppoli set — A measurable set whose characteristic function has locally bounded variation, equivalently a set of locally finite perimeter in the geometric-measure-theory sense.
• Doubling space — A metric space in which every radius-r ball can be covered by at most a fixed number of radius-r/2 balls, giving a scale-uniform finite doubling dimension.
• Dyadic cubes — A nested multiscale grid of half-open cubes whose side lengths are powers of two, partitioning Euclidean space at each scale and giving every cube a unique parent and finitely many children.
• Flat convergence — Convergence of geometric chains or currents in the flat norm, permitting their difference to be decomposed into a small-mass current plus the boundary of another small-mass current.
• Gromov's compactness theorem (geometry) — A precompactness theorem for families of compact metric spaces with uniform diameter and covering-number bounds under Gromov–Hausdorff convergence.
• Hausdorff density — The small-scale upper, lower or exact ratio of a Radon measure's mass in balls around a point to the radius raised to a declared dimension.
• Lévy–Prokhorov metric — A distance between probability measures on a metric space that permits both spatial enlargement and a matching probability slack, metrizing weak convergence on separable spaces and connecting compactness to tightness.
• Metric outer measure — An outer measure additive on sets separated by a positive distance in a metric space.
• Radon–Nikodym theorem — A measure-theoretic theorem representing a sigma-finite measure absolutely continuous with respect to another as integration against an almost-everywhere unique density.
• Tangent measure — A weak limit of rescaled blow-ups of a Radon measure around a point, capturing its infinitesimal mass geometry.
• Tightness of measures — The property that probability mass can be captured uniformly well inside compact subsets.
• Vague topology — A topology on Radon measures defined by convergence of integrals against a declared class of continuous test functions, making local mass behavior observable while allowing mass to escape to infinity.
• Varifold — A Radon measure on position–tangent-plane space representing a generalized surface with mass and orientation-free tangent information.
• Vitali covering lemma — A geometric selection lemma extracting pairwise disjoint balls from a family so that a fixed enlargement of the selected balls covers the original union or set of centers.