1632
правки
Изменения
м
{{В разработке}}
rollbackEdits.php mass rollback
[[Пространство L_p(E)|<<]][[Теорема Фубини|>>]]
В этом параграфе будет дан геометрический смысл интеграла Лебега.
5) <tex> E </tex> — произвольное измеримое множество.
Из сигма-конечности меры Лебега следует, что <tex> E = \bigcup\limits_{m=1}^{\infty} E_m </tex> — объединение <s>возрастающих последовательностей</s> ограниченных измеримых попарно дизъюнктных множеств.
Цилиндр <tex> G = \bigcup\limits_{m=1}^{\infty} G_m </tex>, где <tex> G_m = E_m \times [0, c] </tex>.
По уже доказанному, <tex> \lambda_{n+1} G_m = c \lambda_n E_m </tex>, а по свойствам меры, <tex> \lambda_{n+1} G = \limsum\limits_m \lambda_{n+1} G_m = c \limsum\limits_m \lambda_n E_m = c \lambda_n E </tex>.
6) Рассмотрим случай <tex> c = 0 </tex>.
