<<
>>

7. s-аддитивность прямого произведения мер. Теорема Фубини

Обозначим через X = Х1´Х2 прямое произведение пространств X1 и Х2. Каждая точка х = (x1, х2) этого пространства X является упорядоченной парой некоторых точек хi пространств Xi, i = 1, 2.

Если в пространстве Xi (i = 1, 2) задано полукольцо множеств Pi, то через P = P1´P2 будем обозначать произведение полуколец. По лемме 3.1 эта система множеств является полукольцом в пространстве X.

Предположим, что заданы меры mi на полукольцах Pi множеств пространств Xi, i = 1, 2. Тогда функция множества m = m1´m2 определенная на системе P множеств пространства X по формуле

m(А) = m11)m22), A = A1´А2

называется прямым произведением мер mi.

Теорема 21. Пусть mi – счетно-аддитивные меры, заданные на полукольцах Pi, i = 1, 2.

Тогда функция множества m = m1´m2 опреде­ленная на системе P = P1´P2 является счетно-аддитивной мерой.

Доказательство. Рассмотрим счетную сумму множеств

A, Ai Î P1, B, Bi Î P2.

Рассмотрим полукольцо P1ÇА с единицей А. Тогда m1 является счетно-аддитивной мерой на P1ÇА. В соответствии с теоремой 3.10 мы можем построить продолжение этой меры на s-алгебру измеримых множеств S1. Обозначим это продолжение через l1. Определим функции hi(x1) = m2(Bi)(x1), i = 1, 2, … Эта функция является простой на А. Для каждого х1 ÎА положим J(x1) = {i: x1 Î Ai} (заметим, что дизъюнктность множеств Ai´Bi вообще говоря не влечет дизъюнктность множеств Ai). Так как для любого у ÎВ пара (х1, у) ÎА´В, то выполняется равенство В = . В силу счетной аддитивности меры m2

.

Кроме того,

< ¥.

Так как все функции, входящие в сумму неотрицательные и, следовательно, частичные суммы монотонно возрастают, можно в последнем равенстве поменять местами интеграл и сумму (теорема о монотонной сходимости)

.

Следовательно, функция множества m = m1´m2 на P является счетно-аддитивной мерой.

Определение 9. Мера m в пространстве X, которая получается в результате стандартного продолжения пря­мого произведения мер m = m1´m2 с полукольца P = P1´P2 на s-алгебру S измеримых множеств с единицей X называется произведением мер.

Далее мы считаем, что меры m1 и m2 заданы на s-алгебрах S1 и S2 и произведение этих мер m = m1´m2 задано на s-алгебре S и является продолжением с S1´S2.

Прежде чем мы сможем в полном объеме доказать теоре­му Фубини, установим некоторые ее частные случаи. Предва­рительно введем такое обозначение. Если множество Е Ì X = Х1´Х2, то при любом х Î Х1 обозначим через Е(х) Ì Х2 соответствующее сечение, т. е. Е(х) = {уÎХ2: (х, у)ÎЕ}.

Аналогично, при любом у ÎХ2 определяется сечение Е(у) ÌХ1.

Теорема 22. Пусть меры m1 и m2 s-конечны и пол­ны, m = m1´m2, множество Е ÎS и m(Е) 0 функция f (kx) интегрируема на отрезке [0, a/k] и

.

8. Пусть функция f (x) измерима на множестве Е конечной меры. Доказать, что существует положительная измеримая на Е функция j(х) такая, что произведение f (x)? j(х) интегрируемо на Е.

9. Привести пример функции f (x), которая непрерывна на промежутке (a, b], имеет сходящийся несобственный интеграл Римана (R), но не является интегрируемой по Лебегу на (a, b).

10. Пусть - последовательность измеримых на Е ограниченных неотрицательных функций. Пусть ® 0 при n ® ¥. Следует ли из этого, что fn(x) ® 0 при n ® ¥ всюду или хотя бы почти всюду на Е?

11. Построить на каком-либо множестве Е конечной меры последовательность ограниченных измеримых функций , сходящуюся почти всюду на Е к функции j, которая не интегрируема на Е.

12. Доказать, что измеримая на множестве Е конечной меры неотрицательная функция f (x) и нтегрируема по Лебегу тогда и только тогда, когда сходится ряд , где Ek = E{ f (x) ? k}

13. Пусть функция f (x) непрерывна на промежутке (a, b]. Доказать, что если функция f (x) интегрируема по Лебегу на отрезке [a, b], то существует несобственный интеграл в обычном смысле на этом отрезке и его значение совпадает со значением интеграла Лебега.

14. Доказать, что существует функция f (x) непрерывна на промежутке (a, b], для которой несобственный интеграл на отрезке [a, b] сходится, а интеграл Лебега на этом отрезке не существует.

15. Пусть f (x) – измеримая функция, определенная на множестве Е конечной меры. Определим срезки функции

.

Назовем Q-интегралом функции f (x) следующий предел (если он существует)

.

Доказать, что функция f (x) интегрируемая по Лебегу на Е также Q-интегрируема и интегралы равны.

16. Привести пример не интегрируемой по Лебегу функции, у которой Q-интеграл существует.

17. Доказать, что для неотрицательной измеримой функции f (x) из существования Q-интеграла вытекает интегрируемость по Лебегу функции f (x).

18. Доказать, что любая измеримая нечетная на отрезке [-a, a] функция f (x) Q-интегрируема на этом отрезке.

19. Справедливо ли утверждение: если измеримая функция f (x) Q-интегрируема на множестве Е, то она Q-интегрируема на любом его измеримом подмножестве?

20. Справедливо ли утверждение: если измеримая функция f (x) Q-интегрируема на множестве Е, то функция с f (x) также Q-интегрируема на множестве Е и справедливо равенство

?

21. Справедливо ли утверждение: если измеримые функции f (x) и g(x) Q-интегрируемы на множестве Е, то функция f (x) + g(x) также Q-интегрируема и справедливо равенство

.

22. Справедливо ли утверждение: если измеримые функции f (x), g(x) и f (x) + g(x) Q-интегрируемы на множестве Е, то справедливо равенство

.

23. Пусть на отрезке [а, b] задана конечная вещественная функция f (x). Разобъем отрезок [а, b] на части точками x0 = a < x1 < …< xn = b и составим сумму

.

Точная верхняя грань всевозможных сумм V называется полной вариацией функции f (x) на отрезке [а, b] и обозначается . Если полная вариации f (x) конечна, то функция называется функцией ограниченной вариации. Доказать, что любую функцию ограниченной вариации можно разложить на разность двух невозрастающих функций.

24. Показать, что функция ограниченной вариации f (x), непрерывная слева, определяет равенством v([с, d)) = f (d) - f (c) заряд на полукольце P1Ç[а, b] (см. глава 3).

<< | >>
Источник: Функциональный анализ. Лекции. 2017

Еще по теме 7. s-аддитивность прямого произведения мер. Теорема Фубини:

  1. 7. s-аддитивность прямого произведения мер. Теорема Фубини