355
правок
Изменения
м
→Теорема Егорова
<tex>E' = \bigcup\limits_{p=1}^\infty B_{m_p}(p)</tex>
По полуаддитивности меры, <tex>\mu E' \leq \sum\limits_{p=1}^\infty B_{m_p}(p) \leq \sum\limits_{p=1}^\infty \frac\delta{2p2^p} = \delta</tex>.
<tex>\mu E' < \delta</tex>, <tex>\bar E' = E \setminus E'</tex>, значит,
