Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Function
Measure
Real measure
Euclidean real measure
Complex measure
Basic measure
Definition D85
Unsigned basic measure
Formulation 0
Let M=(X,F) be a D1108: Measurable space.
An D4361: Unsigned basic function μ:F[0,] is an unsigned basic measure on M if and only if
(1) μ()=0
(2) E0,E1,E2,F(n,mN(nmEnEm=)μ(nNEn)=nNμ(En))
Also known as
Unsigned measure
Children
D2887: Absolutely continuous measure
D1734: Outer measure
D3566: Set of unsigned basic measures
D1731: Submeasure
D3880: Unsigned basic integral measure
D1680: Zero measure