1632
правки
Изменения
м
{{В разработке}}
rollbackEdits.php mass rollback
[[Математический_анализ_2_курс|на главную <<]] [[Предельный переход в классе измеримых функций|>>]]
Будем рассматривать пространство <tex> (X, \mathcal A, \mu) </tex>, считаем, что мера <tex> \mu </tex> — <tex> \sigma </tex>-конечная, полная, то есть:
{{Определение
|definition=
<tex> f : E \rightarrow \mathbb R </tex> называется '''измеримой по Лебегу''', если для любого <tex> a \in \mathbb R </tex> множества Лебега всех четырех типов измеримы(то есть, принадлежат [[Полукольца и алгебры#Алгебра|сигма-алгебре]]).
}}
Измеримость по Лебегу
|statement=
Функция измерима по Лебегу на <tex> E </tex> <tex> \Leftrightarrow iff </tex> для любого <tex> a </tex> измеримо её множество Лебега одного любого фиксированного типа.
|proof=
Пусть <tex> E(f < a) </tex> — измеримо для любого <tex> a </tex>. Установим измеримость остальных:
{{Теорема
|statement=Пусть <tex>f</tex> и <tex>g</tex> измеримы на <tex>E</tex>. Тогда
1) <tex>|f|</tex> {{---}} измерима измерим <br>1.5) <tex>kf</tex> {{---}} измеримо измерима (<tex>k \in \mathbb{R}</tex>) <br>2) <tex>f^2</tex> {{---}} измеримо измерим <br>3) <tex>f + g</tex> {{---}} измеримо измерима <br>
4) <tex>f \cdot g</tex> {{---}} измеримо <br>
|proof=
