Лемма Фату

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Ле́мма Фату́ — техническое утверждение, используемое при доказательстве различных теорем в функциональном анализе и теории вероятностей. Оно даёт одно из условий, при которых предел почти всюду сходящейся функциональной последовательности будет суммируемым.

Стандартная формулировка леммы Фату[править | править код]

обозначает борелевскую - алгебру на .

Лемма. Дано пространство с мерой и множество пусть последовательность - измеримых неотрицательных функций .

Определим функцию  :

для любого .

Тогда является - измеримой и :

Замечание 1. Интеграл может быть конечным или бесконечным.

Замечание 2. Лемма Фату остается верной, если ее предположения сохраняются почти всюду. Другими словами, этого вполне достаточно, чтобы существовало нулевое множество такое, что последовательность не убывала для любого

Чтобы понять, почему это так, начнем с наблюдения, что возможность последовательности почти всюду поточечно не убывать приводит к тому, что ее поточечный предел не определен на некотором нулевом множестве . В функция может быть определена любым способом, который сохраняет измеримость.

Чтобы увидеть, почему это не повлияет на результат, отметим, что поскольку то для любого

и

при условии, что является - измеримой. (Эти равенства непосредственно следуют из определения интеграла Лебега для неотрицательной функции).

Для дальнейшего доказательства допустим, что .

Замечание 3. Для любого

  1. неотрицательная последовательность поточечно не убывает, т.е. , для любого ;
  2. , по определению нижнего предела.

Замечание 4. Приведенное ниже доказательство не использует никаких свойств интеграла Лебега, кроме тех, которые установлены здесь.

Замечание 5 (монотонность интеграла Лебега). В приведенном ниже доказательстве мы применяем монотонное свойство интеграла Лебега к неотрицательным функциям. Пусть функции являются - измеримыми.

  • Если всюду на тогда
  • Если и тогда

Доказательство.

Определим как набор простых - измеримых функций таких, что всюду на

1. Поскольку то

По определению интеграла Лебега и свойств супремума

2. Пусть является индикаторной функцией множества Из определения интеграла Лебега можно сделать вывод, что

.

Заметим, что для любого вне В сочетании с предыдущим свойством неравенство подразумевает:

Доказательство[править | править код]

Это доказательство не зависит от теоремы Леви о монотонной сходимости. Однако здесь объясняется, как эта теорема может быть применена.

Промежуточные результаты.[править | править код]

Интеграл Лебега как мера.[править | править код]

Лемма 1. Пусть - пространство с мерой. Рассмотрим простую - измеримую неотрицательную функцию . Для подмножества , определим

.

Тогда - мера множества .

"Непрерывность снизу"[править | править код]

Следующее свойство является прямым следствием определения меры.

Лемма 2. Пусть - мера и , где

неубывающая цепочка со всеми -измеримыми множествами. Тогда:

.

Доказательство.[править | править код]

Шаг 1. Докажем, что - - измерима, для любого .

Действительно, поскольку борелевская - алгебра на порождается замкнутыми интервалами , то достаточно показать, что , для любого , где - прообраз.

Заметим, что:

,

или, что то же самое:

Заметим, что что каждое множество правой части принадлежит . Т.к. , по определению, замкнуто относительно счетных пересечений, то левая часть также принадлежит . Доказано, что является - измеримой.

Шаг 2. Теперь покажем, что - измерима.

Если использовать теорему о монотонной сходимости, то измеримость следует из замечания 3.

В качестве альтернативы, достаточно проверить, что , для любого . Поскольку последовательность поточечно не убывает (замечание 3), аргументируя как на первом шаге, получаем:

.

Измеримость и вышеупомянутая эквивалентность подразумевают, что

.

Далее можно доказывать двумя способами: используя теорему Леви о монотонной сходимости или не используя.

Шаг 3. Доказательство с использованием теоремы

По определению, , последовательность не убывает для любого . Следовательно

что и требуется доказать.

Шаг 3. Без использования теоремы

Определим множество простых - измеримых функций таких, что на .

Рассмотрим простую функцию и действительное число , определим:

Тогда

, и .

Шаг 3a. Пусть:

для некоторого конечного набора попарно непересекающихся измеримых множеств таких, что ; некоторых конечных действительных чисел .

Тогда,

.

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

Шаг 3b. Для доказательства второго утверждения отметим, что для каждого и любого ,

Шаг 3c. Для доказательства третьего утверждения покажем, что .

Действительно, в противном случае , тогда существует элемент

такой, что для любого . Рассматривая предел при , получим

Но по первоначальному предположению, . Противоречие.

Шаг 4. Для любой простой - измеримой неотрицательной функции :

Для доказательства, определим .

По лемме 1, измерима на .

По лемме 2:

.

Шаг 5. Докажем теперь, что для каждого

.

Действительно, используя определение , неотрицательность и монотонность интеграла Лебега, имеем

В соответствии с шагом 4, при неравенство примет вид:

Переходя к пределу при , получим:

что и требовалось.

Шаг 6. Чтобы завершить доказательство, мы применяем определение интеграла Лебега к неравенству, установленному на шаге 5, учитывая, что

Доказательство закончено.

Примеры строгого неравенства[править | править код]

Обозначим через пространство c борелевской σ-алгеброй c мерой Лебега.

  • Пример для вероятностного пространства. Пусть определяет единичный интервал. Для любого натурального числа определим:

  • Пример с равномерной сходимостью. Пусть определяет множество всех действительных чисел. Определим

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

Роль неотрицательности[править | править код]

Подходящее предположение относительно отрицательных частей последовательности функций необходимо для леммы Фату, как показано в следующем примере. Обозначим через с борелевской σ-алгеброй и мерой Лебега. Для каждого натурального числа n определим

Эта последовательность сходится равномерно на к нулевой функции (с нулевым интегралом) и для любого мы имеем для всех (поэтому для каждой точки предел 0 достигается за конечное число шагов). Однако каждая функция имеет интеграл -1, поэтому не выполняется неравенство леммы Фату.

Обратная лемма Фату[править | править код]

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

Примечание: здесь интегрируема означает, что g измерима и что

Доказательство[править | править код]

Применим лемму Фату к неотрицательной последовательности, заданной

Расширения и вариации леммы Фату[править | править код]

Интегрирование по нижней границе[править | править код]

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

Доказательство

Применим лемму Фату к неотрицательной последовательности, заданной

Поточечная сходимость[править | править код]

Если в предыдущем пункте последовательность , сходится поточечно к функции -почти всюду на , то

Доказательство

Заметим, что значения подынтегрального выражения на множестве меры нуль не влияют на значение интеграла.

Сходимость по мере[править | править код]

Последнее утверждение также справедливо, если последовательность сходится по мере к функции .

Доказательство

Существует такая подпоследовательность, что

Так как эта подпоследовательность сходится по мере к , то существует еще одна подпоследовательность, которая сходится поточечно к почти всюду, поэтому предыдущая вариация леммы Фату применима к этой подпоследовательности.

Лемма Фату с изменяющимися мерами[править | править код]

Во всех вышеприведенных формулировках леммы Фату интегрирование проводилось по одной фиксированной мере . Предположим, что - последовательность мер на измеримом пространстве такая, что :

Тогда, когда неотрицательные интегрируемые функции и является их поточечным пределом, мы имеем:

Доказательство

Позволим сходиться -почти всюду на подмножестве из . Мы стремимся показать, что

Пусть

Тогда и

Таким образом, заменив на , мы можем считать, что поточечно сходится к на . Далее заметим, что для любой простой функции имеем:

Следовательно, по определению интеграла Лебега достаточно показать, что если - любая неотрицательная простая функция, меньшая или равная , то

Пусть - минимальное неотрицательное значение . Определим

Сначала рассмотрим случай, когда Мы имеем, что бесконечно, так как

где - (обязательно конечное) максимальное значение . Затем мы определим

Мы имеем, что

Но является вложенной возрастающей последовательностью функций и, следовательно, по непрерывности снизу ,

Таким образом,

В то же время,

мы доказали это требование в данном случае.

В оставшемся случае, когда , должно быть конечно. Обозначим, как и выше, через максимальное значение и зафиксируем Определим

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

Таким образом, существует такое, что:

Так как:

существует такое, что:

Следовательно, для

В то же время,

Следовательно,

Объединение этих неравенств дает

Следовательно, устремляя в и взяв предел inf в , получаем, что

лемма доказана.

Лемма Фату для условных математических ожиданий[править | править код]

В теории вероятностей, путем изменения обозначений, приведенные выше версии леммы Фату применимы к последовательностям случайных величин , принадлежащих вероятностному пространству ; интегралы превращаются в математические ожидания. Кроме того, существует также версия для условных математических ожиданий.

Стандартная версия[править | править код]

Пусть - последовательность неотрицательных случайных величин из вероятностного пространства и пусть -подалгебра.

Тогда почти наверное.

Примечание: условное математическое ожидание неотрицательных случайных величин всегда строго определено, конечное математическое ожидание не требуется.

Доказательство[править | править код]

Помимо изменения обозначений, доказательство очень похоже на доказательство для стандартной версии леммы Фату, описанное выше, однако должна быть применена теорема о монотонной сходимости для условных математических ожиданий.

Обозначим через предел, уступающий . Для каждого натурального числа определим точечную оценку случайной величины

Тогда последовательность возрастает и поточечно сходится к Для имеем , тогда

почти наверное в силу монотонности условного математического ожидания, следовательно

почти наверное, потому что счетное объединение исключительных множеств нулевой вероятности является нулевым множеством. Используя определение , его представление как поточечного предела , теорему о монотонной сходимости для условных ожиданий, последнее неравенство и определение нижнего предела, следует, что почти наверное

Расширение до равномерно интегрируемых отрицательных частей[править | править код]

Пусть - последовательность неотрицательных случайных величин из вероятностного пространства и пусть -подалгебра. Если отрицательные части

равномерно интегрируемы относительно условного математического ожидания в том смысле, что при существует такое , что

для всех почти наверное,

тогда

почти наверное.

Примечание: на множестве, где для

выполнено:

левая часть неравенства равна плюс бесконечности. Условное математическое ожидание нижнего предела, возможно, может оказаться незаданным на этом нулевом множестве, поскольку условное ожидание отрицательной части также может быть плюс бесконечностью.

Доказательство[править | править код]

Путь Из-за равномерной интегрируемости по условному ожиданию существует такое , что

для всех почти наверное.

Поскольку

где обозначает положительную часть вещественного , используя монотонность условного математического ожидания и стандартную версию леммы Фату для условных математических ожиданий имеем

почти наверное.

Поскольку

мы имеем

почти наверное,

следовательно,

почти наверное.

Отсюда следует утверждение.

См. также[править | править код]

Примечания[править | править код]


Литература[править | править код]