TOPICS
Search

Premeasure


A premeasure on an algebra of sets or ring of sets S of subsets of a set X is a set function mu:S->[0,infty] such that mu(⌀)=0 and, for every sequence of pairwise disjoint sets E_1,E_2,... in S whose union belongs to S,

 mu( union _(k=1)^inftyE_k)=sum_(k=1)^inftymu(E_k).

See also

Algebra of Sets, Carathéodory Extension, Carathéodory Extension Theorem, Countable Additivity, Measure, Measure Space, Outer Measure, Ring of Sets

Portions of this entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Royden, H. L. and Fitzpatrick, P. M. Real Analysis, 4th ed. Boston, MA: Pearson-Prentice Hall, 2010.

Referenced on Wolfram|Alpha

Premeasure

Cite this as:

Weisstein, Eric W., with contributions by Christopher Stover. "Premeasure." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Premeasure.html

Subject classifications