689
правок
Изменения
м
→Единственность предела по мере: баг + опечатка
Заметим, что <tex>P_n \subset (P'_{nk} \cup P''_{nk})</tex>: если <tex>x \notin P'_{nk} \cup P''_{nk}</tex>, то <tex>|f_k(x) - f(x)| < \frac1{2n}</tex> и <tex>|f_k(x) - g(x)| < \frac1{2n}</tex>, а тогда <tex>|f(x) - g(x)| < |f(x) - f_k(x)| + |g(x) - f_k(x)| = \frac1n</tex>, т.е. <tex>x \notin P_n</tex>.
По полуаддитивности меры <tex>\mu P_n \le \mu P'_{nk} + \mu P''_{nk}</tex>. Сумма в правой части стремится к нулю при <tex>k \rightarrow \infty</tex>, следовательно, <tex>\mu P_n = 0</tex>. Поскольку Если взять <tex> P_n </tex> такие, что их меры образуют сходящийся ряд, то, поскольку <tex>E(f \neq g) = \bigcup\limits_{n = 1}^\infty P_n</tex>, то <tex>\mu E(f \neq g) \le \sum\limits_{n = 1}^\infty \mu P_n = 0</tex>, что и требовалось доказать.
}}
[[Предельный переход в классе измеримых функций|<<]][[Классические теоремы теории измеримых функций|>>]]
[[Категория:Математический анализ 2 курс]]
