Теорема про монотонну збіжность

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У математичному аналізі функцій дійсної змінної теорема про монотонну збіжність — це будь-яка з низки пов'язаних теорем, що доводять збіжність обмежених монотонних послідовностей (неспадних або незростаючих послідовностей). Неформально теореми стверджують, що якщо послідовність зростаюча і обмежена зверху супремумом[en], то послідовність збігається до супремуму; аналогічно, якщо послідовність спадна і обмежена знизу інфінумом[en], то вона збігається до інфінуму.

Збіжність монотонної послідовності дійсних чисел[ред. | ред. код]

Лема 1. Якщо послідовність дійсних чисел зростаюча і обмежена зверху, то її супремум[en] є границею.

Доведення. Нехай послідовність, що задовольняє вказаним умовам, і нехай множина членів послідовності . За припущенням, непорожня та обмежена зверху. За властивістю найменшої верхньої межі[en] множини дійсних чисел, існує і є скінченним. Отже, для будь-якого існує таке, що , оскільки інакше є верхньою межею для , що суперечить визначенню . Тоді, оскільки є зростаючою, і — її верхня межа, то для кожного маємо . Отже, за означенням, границя послідовності дорівнює .

Лема 2. Якщо послідовність дійсних чисел спадає і обмежена знизу, то її інфінум[en] є границею.

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

Теорема. Якщо є монотонною послідовністю дійсних чисел (тобто, якщо для будь-якого або для будь-якого ), тоді ця послідовність має границю тоді й лише тоді, коли послідовність є обмеженою.[1]

Доведення.

  • Необхідність: Доведення випливає безпосередньо з лем.
  • Достатність: З означенням границі будь-яка послідовність що має границю

, обов'язково обмежена.

Збіжність монотонного ряду[ред. | ред. код]

Теорема[ред. | ред. код]

Якщо для всіх натуральних чисел і є невід'ємними дійсними числами і , тоді [2]

Теорема стверджує, що якщо маємо нескінченну матрицю невід'ємних дійсних чисел, таку що

  1. стовпчики слабо зростають і обмежені, і
  2. для кожного рядка, ряд члени якого задані цим рядком, збігається,

тоді границя сум рядків дорівнює сумі ряду, -й член якого визначається границею -го стовпця (яка також є його супремум[en]). Ряд збігається тоді й лише тоді, коли (слабко зростаюча) послідовність сум рядків обмежена, а отже і збіжна.

Як приклад розглянемо нескінченний ряд рядків:

де прямує до нескінченності (границя цього ряду дорівнює e).

Тут елемент матриці в -му рядку та -му стовпці дорівнює

стовпці (для фіксованого ) дійсно слабо зростають з і обмежені (числом ), у той час як рядки мають лише скінченну кількість ненульових членів, а тому умова 2 виконується; теорема тепер стверджує, що можна обчислити границю сум рядків , взявши суму границь стовпців, а саме .

Лема Беппо Леві[ред. | ред. код]

Див. також Теорема Леві про монотонну збіжність.

Наступний результат належить Беппо Леві[en], який в 1906 році довів незначне узагальнення попереднього результату Анрі Лебега[3]. Нижче -алгебра множин Бореля на . За означенням, містить множину і всі підмножини Бореля множини .

Теорема. Нехай простір з мірою, і . Розглянемо точкову неспадну послідовність з -вимірних невід'ємних функцій , тобто для кожного і кожного

Нехай поточкова границя послідовності дорівнює . Тобто для кожного

Тоді функція є -вимірною і

Зауваження 1. Інтеграли можуть бути скінченними або нескінченними.

Зауваження 2. Теорема залишається вірною, якщо її умови виконуються -майже скрізь. Іншими словами, достатньо, щоб існувала нульова множина[en] така, що послідовність не спадає для кожного . Щоб зрозуміти, чому це так, треба почати із спостереження, відповідно до якого поточкове неспадання послідовності майже скрізь приводить до того, що поточкова границя функції може бути невизначена на деякій нульовій множині . На цій нульовій множині функцію можна визначити довільно, наприклад, як нуль, або у будь-який інший спосіб, який зберігає вимірність. Щоб зрозуміти, чому це не вплине на результат теореми, зауважимо, що оскільки , то для кожного ,

за умови, що функція є -вимірною.[4]. (Ці рівності випливають безпосередньо з означення інтеграла Лебега для невід'ємної функції).

Зауваження 3. За умов теореми,

(Зверніть увагу, що другий ланцюжок рівностей випливає із зауваження 5).

Зауваження 4. Доведення, наведене нижче, не використовує жодних властивостей інтеграла Лебега, крім тих, що наведені тут. Таким чином, теорема може бути використана для доведення інших основних властивостей, таких як лінійність, що відносяться до інтегрування за Лебегом.

Зауваження 5 (монотонність інтеграла Лебега). У наведеному нижче доведенні використовуємо властивість монотонності інтеграла Лебега лише до невід'ємних функцій. Зокрема (див. зауваження 4), нехай функції є -вимірними.

  • Якщо функція всюди на , то
  • Якщо і , тоді

Доведення. Нехай — множина простих -вимірних функцій таких, що скрізь на .

1. Оскільки , то

За означенням інтеграла Лебега та властивостей супремуму отримаємо

2. Нехай — індикаторна функція множини . З означення інтеграла Лебега можна зробити висновок, що

якщо скористатися тим, що для кожного , поза множиною . Поєднуючи попередню властивість з нерівністю , отримаємо

Доведення. Це доведення не спирається на лему Фату. Проте пояснимо, як цю лему можна використовувати. Для тих, хто не зацікавлений у незалежних доведеннях, проміжні результати, що наведені нижче, можна пропустити.

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

Інтеграл Лебега як міра[ред. | ред. код]

Лема 1. Нехай — вимірний простір. Розглянемо просту -вимірну невід'ємну функцію . Для підмножини визначимо

Тоді є мірою на .

Доведення. Монотонність випливає із зауваження 5. Тут ми доведемо лише злічену адитивність, решту доведення залишимо на розсуд читача. Нехай , де всі множини попарно не перетинаються. Завдяки спрощенню,

,

для деяких скінченних невід'ємних констант і попарно неперетиних множин таких, що . За означенням інтеграла Лебега,

Оскільки всі множини попарно не перетинаються, то із зліченної адитивності отримуємо

Оскільки всі доданки невід'ємні, то сума ряду не змінитися (незалежно від того чи є ця сума скінченною чи нескінченною), якщо поміняти порядок підсумовування. З цієї причини,

що і треба було довести.

«Неперервність знизу»[ред. | ред. код]

Наступна властивість є прямим наслідком означення міри.

Лема 2. Нехай буде мірою, і , де

є неспадним ланцюгом у якому всі множини є -вимірними. Тоді

Доведення теореми[ред. | ред. код]

Крок 1. Почнемо з того, що доведемо -вимірність функції .[5]

Коментар. Якщо використовували лему Фату, то вимірність випливає безпосередньо із зауваження 3(а). Щоб довести це, не використовуючи лему Фату, достатньо показати, що обернений образ інтервалу для функції є елементом сигма-алгебри на множині , оскільки (замкнуті) інтервали породжують сигма-алгебру Бореля на множині дійсних чисел. Оскільки є замкнутим інтервалом, і для кожного , такого що ,

Таким чином,

Як обернений образ множини Бореля для -вимірної функції кожна множина в зліченному перетині є елементом -алгебри . Оскільки -алгебри за означенням є замкнені при зліченому перетині, то це означає, що функція є -вимірною і інтеграл добре визначений (і, можливо, нескінченний).

Крок 2. Спочатку покажемо, що З означення функції і монотонності функцій випливає, що для кожного і кожного . З монотонності (або, точніше, її вужчою версії, встановленої в зауваженні 5; див.також зауваження 4) інтеграла Лебега,

та

Зауважимо, що границя справа існує (скінечна чи нескінченна), оскільки внаслідок монотонності (див. зауваження 5 і зауваження 4) послідовність не спадна.

Завершення кроку 2. Тепер доведемо зворотну нерівність. Потрібно довести, що

Доведення за допомогою леми Фату. Відповідно до зауваження 3 нерівність, яку потрібно довести, еквівалентна нерівності

Але ця нерівність відразу випливає з леми Фату, що завершує доведення.

Незалежне доведення. Для доведення нерівності без використання леми Фату потрібні деякі додаткові інструменти. Нехай — набір простих -вимірних функцій таких, що на .

Крок 3. Для заданої простої функції і дійсного числа визначимо

Тоді

Крок 3а. Щоб довести перше твердження припустимо, що для деякої скінченної сукупності попарно неперетинних вимірних множин таких, що , деяких (скінченних) невід'ємних констант , і — індикаторна функція множини .

Для кожного , нерівність виконується тоді й лише тоді, коли . Враховуючи, що множини попарно не перетинаються,

Оскільки прообраз борелівської множини вимірної функції є вимірним, і за означенням -алгебра замкнена відносно скінченних перетинів та об'єднань, то отримуємо перше твердження.

Крок 3б. Для доведення другого твердження зауважимо, що для кожного і будь-якого , .

Крок 3в. Для доведення третього твердження покажемо, що . Дійсно, якщо припустити протилежне, тобто , то існує елемент

такий, що для кожного . Знайшовши границю при , отримаємо

Але за початковим припущенням . Отримали протиріччя.

Крок 4. Для будь-якої простої -вимірної невід'ємної функції виконується рівність

Щоб довести це, визначимо . Згідно з лемою 1 є вимірною на . За «неперервністю знизу» (згідно леми 2),

що і треба було довести.

Крок 5. Тепер доведемо, що для будь-якого

Дійсно, використовуючи означення та невід'ємність функцій , а також монотонність інтеграла Лебега (див. зауваження 5 і зауваження 4), маємо

для будь-якого . Відповідно до кроку 4 при отримуємо нерівність

Обчисливши границю при , отримаємо

що і треба було довести.

Крок 6. Тепер можна довести зворотну нерівність, тобто

Справді, з невід'ємності отримуємо і . Для обчислення важливою є невід'ємність функції . Використовуючи означення інтеграла Лебега та нерівність, встановлену на кроці 5, отримуємо

Доведення завершено.

Див. також[ред. | ред. код]

Примітки[ред. | ред. код]

  1. Узагальнення цієї теореми було дано Біббі, Джоном (1974). «Axiomatisations of the average and a further generalisation of monotonic sequences». Glasgow Mathematical Journal. 15 (1): 63–65. doi:10.1017/S0017089500002135.
  2. Дивись приклад, Yeh, J. (2006). Real Analysis: Theory of Measure and Integration. Hackensack, NJ: World Scientific. ISBN 981-256-653-8.
  3. Шаппахер, Норберт; Шуф, Рене (1996), «Беппо Леві та арифметика еліптичних кривих» (PDF), The Mathematical Intelligencer, 18 (1): 60, doi:10.1007/bf03024818, MR 1381581, S2CID 125072148, Zbl 0849.01036}
  4. Див., наприклад, Шехтер, Ерік (1997). Handbook of Analysis and Its Foundations. San Diego: Academic Press. ISBN 0-12-622760-8
  5. Див., наприклад, Шехтер, Ерік (1997). Handbook of Analysis and Its Foundations. San Diego: Academic Press. ISBN 0-12-622760-8.