Motivation Motivation
LEBESGUE Integral LEBESGUE Integral
Outer measure and null sets Outer measure and null sets
Outer measure and null sets Index
© 2001-2007 Prof. Dr. Hans Wilhelm Alt, University Bonn, Germany

Definition (sigma-additivity)

english This is an english version of the script
You may switch to the original german version: german


Definition    [definition:1-6]

Let  B  be a ring over the set  S  and  μ : B → Z , where  Z=R  or  Z=R∪{+∞} . (In the case  Z=R∪{+∞}  one has to pay attention zo the usual conventions with respect to the value  +∞ .)
  • [definition:1-6-(i)] Assume  μ≧0 . Then  μ  is called  ϭ -subadditive or sigma-subadditive or countable-subadditive, if for all  A∈B  and all countable coverings  (Ej)j∈N  of  A  with sets  EjB  the following inequality holds:
    μ(A)≦
     
    j∈N
    μ(Ej) .
    Here  (Ej)j∈N  is a countable covering of  A , if
    A⊂
     
    j ∈N
    Ej .
  • [definition:1-6-(ii)]  μ  is called  ϭ -additive or sigma-additive or countable additive, if for all  A, EjB  with  A= j ∈N Ej  and disjoint sets  Ej ,  j∈N , the following holds:
    μ(A) =
     
    j ∈N
    μ(Ej) :=
     
    lim
    j → ∞
     
    i :  i≦j
    μ(Ei) .
    (The property, that the limit (in  Z ) exists, is part of this definition.)

Version 1.7
H.W. Alt - 02.01.2007

Motivation Motivation
LEBESGUE Integral LEBESGUE Integral
Outer measure and null sets Outer measure and null sets
Outer measure and null sets Index
© 2001-2007 Prof. Dr. Hans Wilhelm Alt, University Bonn, Germany