Интеграл Римана, часть вторая
[11/0%]Сосредоточим внимание на замкнутом и ограниченном -мерном прямоугольнике . Предположим, что и интегрируемы по Риману на . Используя основные результаты этого раздела, быстро покажите, что [где ] и также интегрируемы по Риману. [Идея в том, чтобы не воспроизводить доказательства, основанные на матанализе. Заметьте по Утверждению 1 или Утверждению 2 (этого раздела), что и непрерывны почти всюду на , если и интегрируемы по Риману.]
Здесь возьмём , и пусть обозначает индикаторную функцию множества рациональных чисел в .
не интегрируема по Риману на .
Имеем, что существует и равен , так что это пример, когда интеграл Лебега от существует, а интеграл Римана — нет.
Решите следующие пункты:
существует и равен . [Покажите, что меняет знак поочерёдно и имеет абсолютную величину, убывающую к нулю.] В курсе матанализа этот предел записывался бы как несобственный интеграл Римана: .
Интеграл Лебега не существует, так как оба интеграла Лебега и равны .
Найдите , если он существует, иначе покажите, что он не существует. Заметьте, что не ограничена на , так что нельзя сразу применить Утверждение 1 или Утверждение 2 (этого раздела).
существует и равен . [Будьте здесь внимательнее, чем просто указать, что несобственный интеграл Римана существует и равен .]
Обязательно ли интегрируемая по Риману функция борелевски измерима?
Покажите, что . [Будьте здесь внимательны.]
Пусть таково, что существует и конечен. Далее предположим, что для каждого . Тогда -п.в. на . [Работайте от индикаторов к простым функциям, затем к неотрицательным функциям, затем к общим интегрируемым функциям.]
Примите результат задачи 8 [задача 7.4.8 выше]. Покажите, что не может существовать множество такое, что для всех вещественных . [Запишите левую часть как , а правую часть — как . Используйте предыдущую задачу, рассуждая от противного.]
Существует вещественнозначная на такая, что непрерывна на , существует и конечен, но не определён.
Предположим, что несобственно интегрируема по Риману на всей числовой прямой, так что
существует как вещественное число. [Заметьте, что это влечёт, что интегрируема по Риману на каждом интервале .] Приведите достаточные условия на , чтобы .