Изменения

Перейти к: навигация, поиск

Процесс Каратеодори

2 байта добавлено, 19:27, 4 сентября 2022
м
rollbackEdits.php mass rollback
Воспользуемся тем, что <tex>\mu^*</tex> порождена <tex>m</tex>:
<tex>\forall \varepsilon > 0\ \exists A_1, A_2 \ldots A_n \ldots \in \mathcal{R} : E \subset \bigcup\limits_j A_j,\ \sum\limits_j mA_j < \mu E ^∗E + \varepsilon</tex>
Пересекаем это включение с <tex>A</tex>
}}
{{Определение|definition=Если <tex>A\in \mathcal{A}</tex>, то <tex>A</tex> {{--Мы рассматриваем сигма-}} алгебру <tex>\mu^*</tex>-измеримоизмеримых множеств.}}
===Полнота===
{{Утверждение
====Следствие====
{{Утверждение
|about=Критерий <tex>\mu^*</tex>-измеримости|statement=Пусть <tex>E\subset X</tex>. Тогда <tex>E</tex> — <tex>\mu^*</tex>-измеримо <tex>\iff</tex> <tex>\forall\varepsilon > 0</tex> <tex> \exists (A_\varepsilon, B_\varepsilon), A_\varepsilon, B_\varepsilon\in\mathcal{A} : A_\varepsilon \subset E \subset B_\varepsilon : \mu(B_\varepsilon\setminus A_\varepsilon) < \varepsilon</tex>
|proof=Возьмём <tex>\varepsilon_n = \frac1n</tex>, <tex>A_n = A_{\varepsilon_n}</tex>, <tex>B_n = B_{\varepsilon_n}</tex>
1632
правки

Навигация