Изменения

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

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

2 байта добавлено, 02:49, 10 января 2012
м
Следствие: s/\mu/\mu^*
====Следствие====
{{Утверждение
|about=Критерий <tex>\mu^*</tex>-измеримости
|statement=Пусть <tex>E\subset X</tex>. Тогда <tex>E</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>
689
правок

Навигация