1302
правки
Изменения
Нет описания правки
2)
Можно представить <tex> A = \bigcup\limits_{n} (A \cap A_n) </tex>, каждое из пересечений принадлежит <tex> \mathcal R </tex>, поэтому <tex> A = \bigcup\limits_{p} B_p </tex> (дизъюнктны), отсюда по сигма-аддитивности меры <tex> m(A) = \sum\limits_{p} m(B_p) </tex>.
Разобьем множества <tex> B_p </tex> на группы, так чтобы в группе с номером <tex> n </tex> были дизъюнктные множества, объединение которых является подмножеством <tex> A_n </tex>. Для каждой такой группы, мера объединения ограничена по пункту 1) мерой <tex> A_n </tex>, поэтому получаем <tex> m(A) \le \sum\limits_{p} m(A_p) </tex>.
