In mathematics, a Maharam algebra is a complete Boolean algebra with a continuous submeasure (defined below). They were introduced by Dorothy Maharam in 1947.
Definitions A continuous submeasure or Maharam submeasure on a Boolean algebra is a real-valued function m such that
m ( 0 ) = 0 , m ( 1 ) = 1 , {\displaystyle m(0)=0,m(1)=1,} and m ( x ) > 0 {\displaystyle m(x)>0} if x ≠ 0 {\displaystyle x\neq 0} . If x ≤ y {\displaystyle x\leq y} , then m ( x ) ≤ m ( y ) {\displaystyle m(x)\leq m(y)} .
m ( x ∨ y ) ≤ m ( x ) + m ( y ) − m ( x ∧ y ) {\displaystyle m(x\vee y)\leq m(x)+m(y)-m(x\wedge y)} . If x n {\displaystyle x_{n}} is a decreasing sequence with greatest lower bound 0, then the sequence m ( x n ) {\displaystyle m(x_{n})} has limit 0. A Maharam algebra is a complete Boolean algebra with a continuous submeasure.
Examples Every probability measure is a continuous submeasure, so as the corresponding Boolean algebra of measurable sets modulo measure zero sets is complete, it is a Maharam algebra. Michel Talagrand solved a long-standing problem by constructing a Maharam algebra that is not a measure algebra, i.e., that does not admit any countably additive strictly positive finite measure.
References
Further reading Balcar, Bohuslav; Jech, Thomas (2006), "Weak distributivity, a problem of von Neumann and the mystery of measurability", Bulletin of Symbolic Logic, 12 (2): 241–266, doi:10.2178/bsl/1146620061, MR 2223923, Zbl 1120.03028 Velickovic, Boban (2005), "CCC forcing and splitting reals", Israel Journal of Mathematics, 147: 209–220, doi:10.1007/BF02785365, MR 2166361, Zbl 1118.03046
