Álgebra de Maharam


En matemáticas, un álgebra de Maharam es un álgebra booleana completa con una submedida continua (definida a continuación). Fueron presentados por Dorothy Maharam  ( 1947 ).

Una submedida continua o submedida de Maharam en un álgebra de Boole es una función de valor real m tal que

Cada medida de probabilidad es una submedida continua, por lo que, dado que el álgebra booleana correspondiente de conjuntos mensurables, conjuntos de medidas de módulo cero está completo, es un álgebra de Maharam.

Michel Talagrand  ( 2008 ) resolvió un problema de larga data construyendo un álgebra de Maharam que no es un álgebra de medidas , es decir , que no admite ninguna medida finita estrictamente positiva contable aditiva.