Set Measures & Geometric Nullity

← Back to Domain-Specific Families

Abstractions about Borel and measure spaces, null and exceptional sets, iterated systems, integrals, positivity, and combinatorial measure principles.

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

• AD+ — Woodin’s strengthening of the Axiom of Determinacy that combines dependent choice for reals, ordinal determinacy below Theta, and infinity-Borel definability for every set of reals.
• Borel Set — A subset generated from a topological space’s open sets by complement and countable union, equivalently an element of the topology-generated Borel σ-algebra.
• Cylinder Set Measure — A consistent family of finite-dimensional distributions represented on the cylinder algebra of an infinite-dimensional linear space, often only finitely additive until an extension or radonification criterion produces a genuine countably additive measure.
• Erdős–Ko–Rado Theorem — For n at least 2k, a pairwise-intersecting family of k-subsets of an n-element set has at most C(n-1,k-1) members, attained by every full star.
• Iterated Function System — Use a finite family of contractions on a complete metric space to induce a contraction on nonempty compact subsets, whose unique fixed set is approached by deterministic set iteration and sampled by coded or random map compositions.
• Measure space — Bind a set, a sigma-algebra of measurable subsets, and a countably additive nonnegative measure into the ambient structure on which almost-everywhere reasoning and integration are defined.
• Nikodym Set — Construct a full-measure planar set whose every point lies on a line that otherwise avoids the set, exposing an extreme mismatch between global size and linewise incidence.
• 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.
• Pettis integral — Integrate a Banach-space-valued function weakly by requiring every continuous linear functional to yield an ordinary scalar integral represented by one vector for each measurable set.
• Sierpiński Set — Recognize an uncountable real set whose intersection with every Lebesgue-null set is countable, with existence controlled by additional set-theoretic axioms.
• Strictly positive measure — Require a measure on a topological measurable space to assign positive measure to every nonempty open set, equivalently giving the measure full topological support under standard regularity conventions.