7.4

Интеграл Римана, часть вторая

[11/0%]
LaTeX
Задача 7.4.1

Сосредоточим внимание на замкнутом и ограниченном kk-мерном прямоугольнике I=[a,b]I=[\boldsymbol {a}, \boldsymbol {b}]. Предположим, что ff и gg интегрируемы по Риману на II. Используя основные результаты этого раздела, быстро покажите, что af+bgaf+bg [где a,b∈Ra, b \in \mathbb {R}] и fgfg также интегрируемы по Риману. [Идея в том, чтобы не воспроизводить доказательства, основанные на матанализе. Заметьте по Утверждению 1 или Утверждению 2 (этого раздела), что af+bgaf+bg и fgfg непрерывны почти всюду на II, если ff и gg интегрируемы по Риману.]

?
Задача 7.4.2

Здесь возьмём I=[0,1]I=[0,1], и пусть ff обозначает индикаторную функцию множества рациональных чисел в [0,1][0,1].

?
(a)

ff не интегрируема по Риману на [0,1][0,1].

(b)

Имеем, что ∫[0,1]f dλ\int_{[0,1]} f \, d\lambda существует и равен 00, так что это пример, когда интеграл Лебега от ff существует, а интеграл Римана — нет.

Задача 7.4.3

Решите следующие пункты:

?
(a)

lim⁡n→+∞∫0nπsin⁡xx dx\lim_{n \rightarrow +\infty } \int_{0}^{n \pi } \frac{\sin x}{x} \, dx существует и равен π/2\pi /2. [Покажите, что ∫(n−1)πnπsin⁡xx dx\int_{(n-1) \pi }^{n \pi } \frac{\sin x}{x} \, dx меняет знак поочерёдно и имеет абсолютную величину, убывающую к нулю.] В курсе матанализа этот предел записывался бы как несобственный интеграл Римана: ∫0+∞sin⁡xx dx=π/2\int_{0}^{+\infty } \frac{\sin x}{x} \, dx=\pi /2.

(b)

Интеграл Лебега ∫(0,+∞)sin⁡xx dλ(x)\int_{(0,+\infty )} \frac{\sin x}{x} \, d\lambda (x) не существует, так как оба интеграла Лебега ∫(0,+∞)(sin⁡x/x)+ dλ(x)\int_{(0,+\infty )} \left(\sin x/x\right)^{+} \, d\lambda (x) и ∫(0,+∞)(sin⁡x/x)− dλ(x)\int_{(0,+\infty )} \left(\sin x/x\right)^{-} \, d\lambda (x) равны +∞+\infty.

Задача 7.4.4

Найдите ∫(0,1)1x dλ(x)\int_{(0,1)} \frac{1}{\sqrt{x}} \, d\lambda (x), если он существует, иначе покажите, что он не существует. Заметьте, что 1x\frac{1}{\sqrt{x}} не ограничена на (0,1)(0,1), так что нельзя сразу применить Утверждение 1 или Утверждение 2 (этого раздела).

?
Задача 7.4.5

∫R11+x2 dλ(x)\int_{\mathbb {R}} \frac{1}{1+x^{2}} \, d\lambda (x) существует и равен π\pi. [Будьте здесь внимательнее, чем просто указать, что несобственный интеграл Римана ∫−∞+∞11+x2 dx\int_{-\infty }^{+\infty } \frac{1}{1+x^{2}} \, dx существует и равен π\pi.]

?
Задача 7.4.6

Обязательно ли интегрируемая по Риману функция борелевски измерима?

?
Задача 7.4.7

Покажите, что ∫1+∞1x dλ(x)=+∞\int_{1}^{+\infty } \frac{1}{x} \, d\lambda (x)=+\infty. [Будьте здесь внимательны.]

?
Задача 7.4.8

Пусть f:R→R‾f: \mathbb {R} \rightarrow \overline{\mathbb {R}} таково, что ∫Rf dλˉ\int_{\mathbb {R}} f \, d\bar{\lambda } существует и конечен. Далее предположим, что ∫(a,b)f dλˉ=0\int_{(a,b)} f \, d\bar{\lambda }=0 для каждого −∞<a<b<+∞-\infty <a<b<+\infty. Тогда f=0f=0 λˉ\bar{\lambda }-п.в. на R\mathbb {R}. [Работайте от индикаторов к простым функциям, затем к неотрицательным функциям, затем к общим интегрируемым функциям.]

?
Задача 7.4.9

Примите результат задачи 8 [задача 7.4.8 выше]. Покажите, что не может существовать множество E∈BE \in \mathcal{B} такое, что λ(E∩[a,b])=12(b−a)\lambda \left(E \cap [a, b]\right)=\frac{1}{2}(b-a) для всех вещественных a<ba<b. [Запишите левую часть как ∫[a,b]  1E dλ\int_{[a,b]} \; \mathbb {1}_{E} \, d\lambda, а правую часть — как ∫[a,b]12 dλ\int_{[a,b]} \frac{1}{2} \, d\lambda. Используйте предыдущую задачу, рассуждая от противного.]

?
Задача 7.4.10

Существует вещественнозначная ff на [0,1][0,1] такая, что ff непрерывна на (0,1](0,1], lim⁡δ→0+∫[δ,1]f dλˉ\lim_{\delta \rightarrow 0^{+}} \int_{[\delta , 1]} f \, d\bar{\lambda } существует и конечен, но ∫[0,1]f dλˉ\int_{[0,1]} f \, d\bar{\lambda } не определён.

?
Задача 7.4.11

Предположим, что ff несобственно интегрируема по Риману на всей числовой прямой, так что

∫−∞+∞f(x) dx=lim⁡a→−∞, b→+∞∫abf(x) dx \int _{-\infty }^{+\infty } f(x) \, dx=\lim _{a \rightarrow -\infty , \, b \rightarrow +\infty } \int _{a}^{b} f(x) \, dx

существует как вещественное число. [Заметьте, что это влечёт, что ff интегрируема по Риману на каждом интервале [a,b][a, b].] Приведите достаточные условия на ff, чтобы ∫Rf dλ=∫−∞+∞f(x) dx\int_{\mathbb {R}} f \, d\lambda =\int_{-\infty }^{+\infty } f(x) \, dx.

?