4.5

Счётная аддитивность и непрерывность интегрирования

[6/0%]
Показать
LaTeX
Задача 4.37

Докажите теорему о непрерывности интегрирования.

?
Задача 4.38

Пусть f:[0,∞]→Rf:[0, \infty ] \rightarrow \mathbb {R} интегрируема. Покажите, что

lim⁡n→∞∫1/nnfdm=∫0∞fdm \lim _{n \rightarrow \infty } \int _{1 / n}^{n} f d m = \int _{0}^{\infty } f d m
?
Задача 4.39

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} интегрируема. Покажите, что функция F:R→RF: \mathbb {R} \rightarrow \mathbb {R}, определённая равенством

F(x)=∫−∞xfdm для всех x∈R F(x) = \int _{-\infty }^{x} f d m \text{ для всех } x \in \mathbb {R}

корректно определена и непрерывна. Является ли она липшицевой?

?
Задача 4.40

Для каждой из двух функций ff на [1,∞)[1, \infty ), определённых ниже, покажите, что lim⁡n→∞∫[1,n]fdm\lim_{n \rightarrow \infty } \int_{[1, n]} f d m существует, в то время как ff не интегрируема на [1,∞)[1, \infty ). Противоречит ли это непрерывности интегрирования?

?
(i)

Определим f(x)=(−1)k/kf(x) = (-1)^{k} / k при k≤x<k+1k \leq x < k+1.

(ii)

Определим f(x)=(sin⁡x)/xf(x) = (\sin x) / x при 1≤x<∞1 \leq x < \infty.

Задача 4.41

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} интегрируема. Покажите, что следующие четыре утверждения эквивалентны:

?
(i)

f=0f = 0 почти всюду на R\mathbb {R}.

(ii)

∫Rfgdm=0\int_{\mathbb {R}} f g d m = 0 для каждой ограниченной измеримой функции gg с конечным носителем.

(iii)

∫Afdm=0\int_{A} f d m = 0 для каждого измеримого множества AA.

(iv)

∫Ofdm=0\int_{\mathcal{O}} f d m = 0 для каждого открытого множества O\mathcal{O}.

Задача 4.42

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} интегрируема и ϵ>0\epsilon > 0. Установите следующие приближения.

?
(i)

Существует простая функция η:[a,b]→R\eta :[a, b] \rightarrow \mathbb {R}, для которой ∫[a,b]∣f−η∣dm<ϵ\int_{[a, b]}\left|f-\eta \right| d m < \epsilon.

(ii)

Существует ступенчатая функция s:[a,b]→Rs:[a, b] \rightarrow \mathbb {R}, для которой ∫[a,b]∣f−s∣dm<ϵ\int_{[a, b]}\left|f-s\right| d m < \epsilon.

(iii)

Существует непрерывная функция g:[a,b]→Rg:[a, b] \rightarrow \mathbb {R}, для которой ∫[a,b]∣f−g∣dm<ϵ\int_{[a, b]}\left|f-g\right| d m < \epsilon.