Harman Patil (Editor)

Maharam algebra

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, a Maharam algebra is a complete Boolean algebra with a continuous submeasure. They were introduced by Maharam (1947).

Contents

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, m(x) > 0 if x ≠ 0.
  • If x < y then m(x) < m(y)
  • m(x ∨ y) ≤ m(x) + m(y)
  • If xn is a decreasing sequence with intersection 0, then the sequence m(xn) 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.

    References

    Maharam algebra Wikipedia
    (Text) CC BY-SA


    Similar Topics