Maharam Algebra¶
A complete Boolean algebra admitting a strictly positive continuous submeasure, whether or not it admits a measure.
Core Idea¶
A Maharam algebra is a complete Boolean algebra with at least one strictly positive continuous submeasure. A submeasure is zero at zero, monotone, and subadditive: \(\nu(x\vee y)\leq\nu(x)+\nu(y)\). Strict positivity excludes nonzero null elements. Continuity sends a decreasing sequence with infimum zero to values tending to zero. Countable additivity is not required. The screened seed's stronger overlap-subtraction inequality is not the defining submeasure axiom.
Scope of Application¶
The class organizes measure-theoretic and Boolean-algebra questions. A standard probability measure algebra qualifies because its positive countably additive measure supplies a witness. Talagrand's construction yields a Maharam algebra without any positive measure, showing that the class is broader than measure algebras. Different papers distinguish a sigma-complete submeasure algebra from its complete Maharam-algebra completion.
Clarity¶
Continuity from above is not countable additivity. A measure on disjoint sets obeys an exact sum rule; a submeasure need only obey an inequality for joins. The algebra qualifies when some suitable witness exists, not only when a preferred formula works. A score on a Boolean algebra that lacks strict positivity or continuity does not suffice.
Manages Complexity¶
The positive-continuous-submeasure witness locates an algebra between the broad Boolean-algebra genus and the narrower measure-algebra subclass. It gives a reusable recognition test and prevents arguments from assuming measure identities solely because a submeasure has regular limiting behavior.
Abstract Reasoning¶
Starting with a positive probability measure, the induced quotient-algebra value is automatically subadditive, positive and continuous, so the algebra is Maharam. Reversing the inference fails: Talagrand's counterexample has a positive continuous submeasure but no positive measure. A claim about all Maharam algebras must therefore be checked for hidden use of additivity.
Knowledge Transfer¶
The same class test applies to unlike complete Boolean algebras by identifying their operations, a candidate witness, strict positivity and descending-limit behavior. The live Boolean Algebra entry is the strict parent. Generic phrases such as “measure-like system” are analogies unless this full mathematical structure is present.
Relationships to Other Abstractions¶
Current abstraction Maharam Algebra Domain-specific
Parents (1) — more general patterns this builds on
-
Maharam Algebra is a kind of Boolean algebra Domain-specific
A Maharam algebra is a complete Boolean algebra admitting a strictly positive continuous submeasure.
Hierarchy path (1) — routes to 1 parentless root
- Maharam Algebra → Boolean algebra → Representation → Abstraction
Neighborhood in Abstraction Space¶
Maharam Algebra sits in a moderately populated region (56th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Formal Models & Logical Foundations (33 abstractions)
Nearest neighbors
- Gödel–Dummett Logic — 0.87
- Daniell Integral — 0.86
- CLRg property — 0.85
- Elementary-embedding large-cardinal schema — 0.85
- Primitive Semiperfect Number — 0.85
Computed from structural-signature embeddings · 2026-10-08