5.1

Равномерная интегрируемость и плотность: теоремы Витали о сходимости

[7/0%]
LaTeX
Задача 5.1

Покажите, что теорема о мажорируемой сходимости следует из теоремы Витали о сходимости.

?
Задача 5.2

Покажите, что Теорема 5 неверна без предположения о том, что fnf_{n} неотрицательны.

Теорема 5: Предположим, что m(E)<∞m(E) < \infty. Если {fn:E→[0,∞]}\left\{ f_{n}: E \rightarrow [0, \infty ]\right\} — последовательность неотрицательных интегрируемых функций, поточечно сходящаяся на EE к f≡0f \equiv 0, то lim⁡n→∞∫Efn dm=0\lim_{n \rightarrow \infty } \int_{E} f_{n} \, dm = 0 тогда и только тогда, когда {fn:E→[0,∞]}\left\{ f_{n}: E \rightarrow [0, \infty ]\right\} равномерно интегрируема.

?
Задача 5.3

Пусть F\mathcal{F} — совокупность интегрируемых функций на EE. Покажите, что F\mathcal{F} равномерно интегрируема на EE тогда и только тогда, когда для каждого ϵ>0\epsilon > 0 существует δ>0\delta > 0 такое, что для каждой f∈Ff \in \mathcal{F},

 если A⊆E измеримо и m(A)<δ, то ∣∫Afdm∣<ϵ.  \text{ если } A \subseteq E \text{ измеримо и } m(A) < \delta \text{, то }\left|\int _{A} f d m\right| < \epsilon \text{. }
?
Задача 5.4

Покажите, что конечная совокупность интегрируемых функций плотна.

?
Задача 5.5

Докажите Теорему 7.

Теорема 7: Если {fn:E→[0,∞]}\left\{ f_{n}: E \rightarrow [0, \infty ]\right\} — последовательность неотрицательных интегрируемых функций, поточечно сходящаяся на EE к f≡0f \equiv 0, то lim⁡n→∞∫Efn dm=0\lim_{n \rightarrow \infty } \int_{E} f_{n} \, dm = 0 тогда и только тогда, когда {fn:E→[0,∞]}\left\{ f_{n}: E \rightarrow [0, \infty ]\right\} равномерно интегрируема и плотна.

?
Задача 5.6

Пусть последовательности функций {fn:E→R}\left\{ f_{n}: E \rightarrow \mathbb {R}\right\} и {gn:E→R}\left\{ g_{n}: E \rightarrow \mathbb {R}\right\} равномерно интегрируемы и плотны. Покажите, что при любых α\alpha и β\beta последовательность {αfn+βgn}\left\{ \alpha f_{n}+\beta g_{n}\right\} также равномерно интегрируема и плотна.

?
Задача 5.7

Покажите, что последовательность {fn:E→R}\left\{ f_{n}: E \rightarrow \mathbb {R}\right\} равномерно интегрируема и плотна тогда и только тогда, когда для каждого ϵ>0\epsilon > 0 существует измеримое подмножество E0E_{0} множества EE конечной меры и δ>0\delta > 0 такие, что для каждого измеримого подмножества AA множества EE и каждого nn,

 если m(A∩E0)<δ, то ∫A∣fn∣dm<ϵ \text{ если } m\left(A \cap E_{0}\right) < \delta , \text{ то } \int _{A}\left|f_{n}\right| d m < \epsilon
?