Measure algebra

In mathematics, a measure algebra is a Boolean algebra with a countably additive positive measure. A probability measure on a measure space gives a measure algebra on the Boolean algebra of measurable sets modulo null sets.

Definition

A measure algebra is a Boolean algebra B with a measure m, which is a real-valued function on B such that:

m(0)=0, m(1)=1
m(x) >0 if x≠0
m is countably additive: m(Σx_i) = Σm(x_i) if the x_i are a countable set of elements that are disjoint (x_i ∧ x_j=0 whenever i≠j).

gollark: And the visualizer is running.

gollark: It says "playing".

gollark: Well, I'm listening to it.

gollark: FEAR the frequency domain.

gollark: Use hair spaces and proportional fonts.

References

Jech, Thomas (2003), "Saturated ideals", Set Theory, Springer Monographs in Mathematics (third millennium ed.), Berlin, New York: Springer-Verlag, p. 415, doi:10.1007/3-540-44761-X_22, ISBN 978-3-540-44085-7

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.