File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/jax/output/HTML-CSS/jax.js

Definition: Pre-measure

Let [Math Processing Error] be a set and let [Math Processing Error] be a ring of sets defined on [Math Processing Error]. A function mapping [Math Processing Error] to the set of positive real numbers [Math Processing Error] is called a pre-measure on [Math Processing Error], if [Math Processing Error] and if for every countable family of mutually disjoint subsets [Math Processing Error], [Math Processing Error], the measure of the union of these subsets equals the sum of the measures of each subset, formally: [Math Processing Error] The second property is called [Math Processing Error]-additivity.

Please note that the only difference between a pre-measure and a measure is that a pre-measure is defined on a ring of sets, while a measure is defined on a [Math Processing Error]-algebra.

  1. Definition: Finite and Sigma-Finite Pre-measure

Definitions: 1 2 3


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück