Тренировочный тест по основам интегрирования Лебега с пошаговым интерактивным уроком
Используйте вопросы ниже на странице, чтобы отработать основы интегрирования Лебега: измеримые множества, индикаторные функции \(1_A\), нулевые множества и рассуждения о свойствах, верных почти всюду, простые функции \(\sum a_i1_{A_i}\), интегралы неотрицательных функций, монотонность, интегрируемость в \(L^1\) через \(\int |f|<\infty\), теорему о монотонной сходимости, лемму Фату, теорему о мажорированной сходимости и типичные ошибки, связанные с бесконечной мерой или изменениями на нулевых множествах. Если нужно повторить материал, откройте урок: там есть понятные примеры и короткие проверки.
Ответьте на набор вопросов и разберите ошибки в конце.
Как работает эта практика по основам интегрирования Лебега
1. Выполните набор практики: ответьте на вопросы об индикаторах, нулевых множествах, простых функциях, интегрируемости и теоремах о сходимости.
2. Откройте урок: повторите определения, условия теорем и короткие примеры перед повторной попыткой.
3. Попробуйте снова: вернитесь к набору вопросов и переводите каждую задачу в вычисление меры, утверждение, верное почти всюду, или контрольный список для теоремы о сходимости.
Что вы изучите в уроке по основам интегрирования Лебега
Индикаторы и нулевые множества
Правило индикатора: \(\int 1_A\,d\mu=\mu(A)\).
Нулевые множества: изменение значений на множестве меры ноль не меняет интеграл.
Почти всюду: свойство может нарушаться на нулевом множестве и все равно выполняться п.в.
Простые функции и \(L^1\)
Простые функции: конечные суммы \(\sum a_i1_{A_i}\) по измеримым множествам.
Цель: Собрать надежный первый набор инструментов для интегрирования Лебега: вычислять интегралы индикаторов и простых функций, правильно использовать нулевые множества и равенство почти всюду, отличать интегралы неотрицательных функций от конечных интегралов \(L^1\), применять монотонность и абсолютную интегрируемость, а также выбирать между теоремой о монотонной сходимости, леммой Фату и теоремой о мажорированной сходимости, сначала проверяя условия.
Критерии успеха
Вычислять \(\int 1_A\,d\mu=\mu(A)\) и \(\int c\,1_A\,d\mu=c\mu(A)\).
Использовать счетную аддитивность для непересекающихся измеримых множеств и распознавать счетные нулевые множества.
Объяснять, что свойство выполняется почти всюду, если оно нарушается только на нулевом множестве.
Интегрировать неотрицательную простую функцию \(\sum a_i1_{A_i}\) как \(\sum a_i\mu(A_i)\) по непересекающимся измеримым частям.
Знать, что интеграл неотрицательной функции может быть \(+\infty\).
Использовать \(f\in L^1\) в смысле \(\int |f|\,d\mu<\infty\).
Использовать монотонную сходимость для \(0\le f_n\uparrow f\).
Использовать лемму Фату и мажорированную сходимость с правильным неравенством и условиями.
Ключевая лексика
Индикатор: \(1_A(x)=1\) на \(A\) и \(0\) вне \(A\).
Нулевое множество: измеримое множество \(N\) с \(\mu(N)=0\).
Почти всюду: истинно вне нулевого множества.
Простая функция: измеримая функция с конечным множеством значений, обычно записываемая как \(\sum a_i1_{A_i}\).
Интеграл неотрицательной функции: супремум интегралов простых функций, лежащих ниже \(f\).
\(L^1\): пространство интегрируемых функций с \(\int |f|<\infty\).
Быстрая предварительная проверка
Предварительная проверка: Чему равно \(\int 1_A\,d\mu\)?
Подсказка: индикатор считает меру, а не граничные точки и не максимальное значение.
Индикаторы превращают меру множества в интеграл
Цель обучения: Рассматривать \(1_A\) как основной мост между мерой и интегралом и использовать нулевые множества без лишнего усложнения поточечных исключений.
Ключевая идея
Для любого измеримого множества \(A\) интеграл Лебега от его индикатора равен его мере: \[\int 1_A\,d\mu=\mu(A).\] Если \(c\ge0\), то \(\int c\,1_A\,d\mu=c\mu(A)\). Когда \(A\) и \(B\) не пересекаются, \(1_A+1_B=1_{A\cup B}\), поэтому интегрирование отражает счетную аддитивность.
Примеры
На \(\mathbb{R}\) с мерой длины \(\int 1_{[1,3]}\,dx=2\).
Одноточечное множество имеет меру \(0\), поэтому \(\int 1_{\{0\}}\,dx=0\).
Рациональные числа в \([0,1]\) счетны, значит, образуют нулевое множество.
\(\int 1_{\mathbb{R}}\,dx=+\infty\) на всей вещественной прямой.
Почти всюду
Утверждение выполняется почти всюду, если множество, где оно нарушается, имеет меру \(0\). Интегралы неотрицательных измеримых функций и функций из \(L^1\) не меняются, когда функцию изменяют на нулевом множестве.
Разобранный пример
Пример: Чему равно \(\int_0^1 1_{\mathbb{Q}}(x)\,dx\)?
Внутри \([0,1]\) рациональные числа счетны и имеют меру Лебега \(0\). Поэтому \(1_{\mathbb{Q}}\) равна \(0\) почти всюду на \([0,1]\), а интеграл равен \(0\).
Попробуйте
Попробуйте: Если свойство нарушается только на рациональных числах в \([0,1]\), выполняется ли оно почти всюду?
Подсказка: счетное множество имеет меру Лебега \(0\).
Простые функции являются строительными блоками интеграла
Цель обучения: Вычислять интегралы простых функций и видеть, почему интегралы неотрицательных функций строятся приближением снизу.
Ключевая идея
Неотрицательная простая функция имеет вид \(s=\sum_{i=1}^m a_i1_{A_i}\), где \(a_i\ge0\), а измеримые множества \(A_i\) можно выбрать непересекающимися. Ее интеграл равен \[\int s\,d\mu=\sum_{i=1}^m a_i\,\mu(A_i).\] Для неотрицательной измеримой \(f\) \(\int f\) определяют как супремум \(\int s\) по простым \(0\le s\le f\).
Шаги построения
Разбейте область на измеримые части уровня.
Используйте постоянное значение на каждой части.
Умножьте каждое значение на меру той части, где оно появляется.
Сложите вклады, допуская результат \(+\infty\) для неотрицательных функций.
Используйте правило для простой функции: \[\int s\,d\mu=3\mu(A)+1\mu(B)=3\cdot2+5=11.\]
Попробуйте
Попробуйте: Если \(A\cap B=\emptyset\), \(\mu(A)=3\), \(\mu(B)=1\), и \(s=2\,1_A+5\,1_B\), чему равно \(\int s\,d\mu\)?
Подсказка: умножьте каждое постоянное значение на меру множества, где оно встречается, затем сложите.
Конечные интегралы \(L^1\) возникают из абсолютной интегрируемости
Цель обучения: Отделять расширенные интегралы неотрицательных функций от конечных интегралов знакопеременных функций и безопасно использовать монотонность.
Ключевая идея
Для вещественной измеримой функции пишут \(f=f^+-f^-\), где \(f^+=\max(f,0)\) и \(f^-=\max(-f,0)\). Интеграл \(\int f\) конечен, когда \(\int |f|\,d\mu<\infty\). Это в точности означает \(f\in L^1\). Абсолютная интегрируемость предотвращает неопределенное выражение \(+\infty-\infty\).
Факты, которые нужно помнить
Если \(f\ge0\), то \(\int f\ge0\), возможно \(+\infty\).
Если \(0\le f\le g\) п.в., то \(\int f\le\int g\).
Если \(|f|\le g\) и \(g\in L^1\), то \(f\in L^1\).
Если \(f=0\) п.в., то \(\int |f|=0\).
Если \(f=g\) п.в. и обе функции интегрируемы, то \(\int f=\int g\).
Разобранный пример
Пример: Предположим, что \(|f|\le 2\,1_{[0,3]}\) на \(\mathbb{R}\). Почему \(f\in L^1\)?
Доминирующая функция имеет конечный интеграл: \(\int 2\,1_{[0,3]}\,dx=2\cdot3=6\). Так как \(|f|\le 2\,1_{[0,3]}\), монотонность дает \(\int |f|\le6\), значит, \(f\) интегрируема.
Попробуйте
Попробуйте: Если \(0\le f\le g\) почти всюду, что следует для интегралов неотрицательных функций?
Подсказка: интеграл Лебега сохраняет порядок для неотрицательных измеримых функций.
Возрастающие неотрицательные пределы перестановочны с интегрированием
Цель обучения: Распознавать теорему о монотонной сходимости и использовать ее без требования отдельной доминирующей функции.
Ключевая идея
Если \(0\le f_1\le f_2\le\cdots\) и \(f_n(x)\uparrow f(x)\) поточечно, то \[\lim_{n\to\infty}\int f_n\,d\mu=\int f\,d\mu.\] Значение может быть \(+\infty\). Неотрицательность и монотонное возрастание - ключевые условия.
Вывод - сходимость интегралов к интегралу предела.
Разобранный пример
Пример: Пусть \(f_n=1_{[0,1-1/n]}\) на \([0,1]\). Найдите \(\lim_n\int f_n\,dx\).
Множества \([0,1-1/n]\) возрастают к \([0,1)\). Поэтому \(f_n\uparrow 1_{[0,1)}\). По теореме о монотонной сходимости \[\lim_n\int f_n\,dx=\int 1_{[0,1)}\,dx=1.\]
Попробуйте
Попробуйте: Для \(f_n=1_{[0,1-1/n]}\) на \([0,1]\) к чему стремятся интегралы?
Подсказка: предельное множество имеет длину \(1\), хотя в нем нет одной конечной точки.
Фату дает одностороннее неравенство, которое сохраняется при слабых условиях
Цель обучения: Запомнить направление леммы Фату и то, когда не следует ожидать равенства.
Ключевая идея
Для неотрицательных измеримых функций \(f_n\) лемма Фату утверждает \[\int \liminf_{n\to\infty} f_n\,d\mu\le \liminf_{n\to\infty}\int f_n\,d\mu.\] Это утверждение о нижней полунепрерывности: масса может исчезнуть в пределе, но интеграл нижнего предела не может превысить нижний предел интегралов.
Что она утверждает
Используйте ее, когда у вас есть неотрицательные функции, но нет монотонного возрастания.
Она дает неравенство, а не автоматическое равенство.
Она часто доказывает нижние оценки для предельных интегралов.
Типичная ошибка - поменять направление неравенства.
Разобранный пример
Пример: Пусть \(f_n=n\,1_{(0,1/n)}\) на \([0,1]\). Что показывает Фату?
Для каждого \(n\), \(\int_0^1 f_n\,dx=1\). Для каждого фиксированного \(x\in[0,1]\) имеем \(f_n(x)\to0\), за исключением того, что никакая масса не остается в одной точке, поэтому \(\liminf f_n=0\). Фату дает \(0=\int0\le\liminf\int f_n=1\). Равенство не обязано выполняться.
Попробуйте
Попробуйте: Какое неравенство дает лемма Фату для неотрицательных \(f_n\)?
Подсказка: интеграл нижнего предела стоит на меньшей стороне.
Интегрируемая оценка позволяет переносить предел под знак интеграла
Цель обучения: Применять мажорированную сходимость, проверяя сходимость п.в. и одну интегрируемую мажоранту.
Ключевая идея
Если \(f_n\to f\) почти всюду и существует одна функция \(g\in L^1\), такая что \(|f_n|\le g\) для всех \(n\), то \(f\in L^1\), \(\int |f_n-f|\,d\mu\to0\) и \(\int f_n\,d\mu\to\int f\,d\mu\). Одна и та же \(g\) должна работать для всей последовательности.
Контрольный список теоремы
Измеримость участвующих функций.
Поточечная сходимость или сходимость почти всюду \(f_n\to f\).
Одна оценка \(|f_n|\le g\) для каждого \(n\).
Оценка интегрируема: \(g\in L^1\).
Вывод: сходимость в \(L^1\) и сходимость интегралов.
Разобранный пример
Пример: На \([0,1]\) примените мажорированную сходимость к \(f_n(x)=x^n\).
Имеем \(0\le x^n\le1\), и \(1\in L^1([0,1])\). Кроме того, \(x^n\to0\) при \(0\le x<1\) и \(x^n\to1\) при \(x=1\), что является исключением на нулевом множестве. Доминированная сходимость дает \(\int_0^1 x^n\,dx\to0\). Действительно, \(\int_0^1x^n\,dx=1/(n+1)\).
Попробуйте
Попробуйте: Какое ключевое дополнительное условие есть в теореме о мажорированной сходимости?
Подсказка: поточечной сходимости нужна одна интегрируемая оболочка, контролирующая всю последовательность.
Большинство ошибок игнорирует нулевые множества, бесконечность или условия теорем
Цель обучения: Завершить различиями, которые делают базовый набор инструментов Лебега надежным.
Типичные ошибки
Изменения на нулевом множестве: они не меняют интегралы неотрицательных или интегрируемых функций.
Поточечно против п.в.: одноточечные исключения обычно не важны для интегрирования.
Бесконечная мера: \(1_{\mathbb{R}}\) не принадлежит \(L^1(\mathbb{R})\).
Интеграл неотрицательной функции: ему разрешено быть \(+\infty\).
Знакопеременный интеграл: избегайте \(+\infty-\infty\); используйте \(\int |f|<\infty\) для \(L^1\).
Теорема о монотонной сходимости: нужны неотрицательные возрастающие функции.
Теорема о мажорированной сходимости: нужен один интегрируемый доминатор, а не только поточечная сходимость.
Фату: дает одностороннее неравенство, а не равенство с переносом предела.
Разобранный пример
Пример: Почему \(1_{\mathbb{Q}\cap[0,1]}\) интегрируема с интегралом \(0\), а \(1_{\mathbb{R}}\) на \(\mathbb{R}\) не принадлежит \(L^1\)?
Первая функция равна \(0\) почти всюду на конечном интервале, поэтому ее интеграл равен \(0\). Вторая имеет \(\int_{\mathbb{R}}1\,dx=\mu(\mathbb{R})=+\infty\), значит, ее абсолютный интеграл не конечен и она не принадлежит \(L^1(\mathbb{R})\).
Попробуйте
Попробуйте: Если \(f=g\) почти всюду и обе функции интегрируемы, что следует?
Подсказка: разность \(f-g\) равна нулю почти всюду.
Итоговое повторение
\(\int 1_A\,d\mu=\mu(A)\).
Счетные нулевые множества имеют меру \(0\), и счетное объединение нулевых множеств нулево.
Равенства почти всюду достаточно для равенства интегралов в неотрицательном или интегрируемом случае.
Простые функции интегрируют, суммируя значение, умноженное на меру, по измеримым частям.
Интеграл неотрицательной функции может быть \(+\infty\).
Монотонная сходимость работает для \(0\le f_n\uparrow f\).
Лемма Фату дает \(\int\liminf f_n\le\liminf\int f_n\) для неотрицательных \(f_n\).
Доминированной сходимости нужны \(f_n\to f\) п.в. и \(|f_n|\le g\in L^1\).
Следующий шаг: Закройте этот урок и попробуйте пройти тест снова. В каждом вопросе сначала спросите, проверяется ли вычисление индикатора, исключение на нулевом множестве, сумма простой функции, интегрируемость в \(L^1\), монотонная сходимость, лемма Фату или мажорированная сходимость.
