Measure Theory & Probability Measures

← Back to Domain-Specific Families

Abstractions about measures and their properties, including null and perfect sets, isotropic and Radon measures, and functionals like the Laplace functional that characterize random or invariant measures.

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

• Dubins–Spanier Theorems — A family of measure-theoretic results showing that attainable participant-by-piece valuation matrices are compact and convex under countably additive nonatomic measures, with fair-division existence corollaries.
• Isotropic Measure — A measure on Euclidean space invariant under the stipulated linear isometries, so its radial density depends on distance rather than direction.
• Laplace functional — A probability functional—most commonly f↦E[e^(−∫f dN)] for a point process—that transforms test functions to characterize a random measure, with a distinct named variant in metric concentration.
• Maximising measure — A transformation-invariant probability measure that maximizes the integral of a specified observable over all invariant probability measures.
• Null Set — Classify a measurable subset as negligible when its measure is zero, allowing it to be ignored by almost-everywhere statements without requiring it to be empty.
• Perfect measure — A finite measure whose real-valued measurable images admit Borel approximations with no measure gap.
• Probability Density Function — A nonnegative function integrating to one relative to a declared measure, with probabilities of measurable regions obtained by integrating the function.
• Radon Measure — A compact-finite regular Borel measure on a Hausdorff space, approximable externally by open sets and internally on open sets by compact sets.