алгебра махарам

В математике алгебра Махарам — это полная булева алгебра с непрерывной подмерой (определение дано ниже). Они были введены Дороти Махарам  (1947).

Определения

Непрерывная подмера или подмера Махарама на булевой алгебре — это вещественная функция m такая, что

  • м ( 0 ) = 0 , м ( 1 ) = 1 , {\displaystyle м(0)=0,м(1)=1,} и если . м ( х ) > 0 {\displaystyle m(x)>0} х 0 {\displaystyle x\neq 0}
  • Если , то . х у {\displaystyle x\leq y} м ( х ) м ( у ) {\displaystyle m(x)\leq m(y)}
  • м ( х у ) м ( х ) + м ( у ) м ( х у ) {\displaystyle m(x\vee y)\leq m(x)+m(y)-m(x\wedge y)} .
  • Если — убывающая последовательность с точной нижней границей 0, то последовательность имеет предел  0. х н {\displaystyle x_{n}} м ( х н ) {\displaystyle m(x_{n})}

Алгебра Махарам — это полная булева алгебра с непрерывной подмерой.

Примеры

Каждая вероятностная мера является непрерывной подмерой, поэтому, поскольку соответствующая булева алгебра измеримых множеств по модулю множеств нулевой меры является полной, она является алгеброй Махарам.

Мишель Талагран  (2008) решил давнюю проблему, построив алгебру Махарам, которая не является алгеброй меры , то есть не допускает никакой счетно-аддитивной строго положительной конечной меры.

Ссылки


Взято с "https://en.wikipedia.org/w/index.php?title=Maharam_algebra&oldid=1227176306"