262
правки
Изменения
→2. Мера на полукольце множеств и ее основные свойства
{{Определение
|definition=
Пусть <tex> (X, \mathcal R) </tex> — полукольцо. <tex> m: \mathcal R \rightarrow \overline{\mathbb R}_{+}</tex> называется '''мерой''' на нем, если:
# <tex> m(\varnothing) = 0 </tex>
# Для дизъюнктных <tex> A_1, A_2, \ldots, A_n, \ldots \in \mathcal R </tex> и <tex> A \in \mathcal R </tex>, такого, что <tex> A = \bigcup\limits_{n} A_n </tex>, <tex> m(A) = \sum\limits_n m(A_n) </tex> (сигма<tex>\sigma</tex>-аддитивность)
}}
===Два важных свойства на полукольце:===
1) Для <tex> A \in \mathcal R </tex> и дизъюнктных <tex> A_1, A_2, \ldots, A_n, \ldots \in \mathcal R</tex> таких, что <tex>\bigcup\limits_{n} A_n \subset A </tex> выполняется <tex> \sum\limits_{n} m(A_n) \le m(A) </tex>
2) Для <tex> A \in \mathcal R </tex> и <tex> A_1, A_2, \ldots, A_n, \ldots \in \mathcal R</tex> таких, что <tex>A \subset \bigcup\limits_{n} A_n </tex> выполняется <tex> m(A) \le \sum\limits_{n} m(A_n) </tex> (''сигма<tex>\sigma</tex>-полуаддитивность'')
''Замечание:'' в случае <tex> n = 1</tex> второе свойство <tex>A \subset B \Rightarrow m(A) \le m(B) </tex> называют ''монотоностью'' меры.
