3.1

Суммы, произведения и композиции

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

Пусть AA и BB — измеримые множества. Верно ли, что f:A∪B→Rf: A \cup B \rightarrow \mathbb {R} непрерывна тогда и только тогда, когда её ограничения на AA и BB непрерывны?

?
Задача 3.2

Покажите, что если h:E→Rh: E \rightarrow \mathbb {R} измерима, то при любом α\alpha функция α⋅h:E→R\alpha \cdot h: E \rightarrow \mathbb {R} также измерима.

?
Задача 3.3

Приведите пример функции f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R}, которая не измерима, в то время как обе функции ∣f∣\left|f\right| и f2f^{2} измеримы.

?
Задача 3.4

Пусть {fn:E→R}\left\{ f_{n}: E \rightarrow \mathbb {R}\right\} — последовательность измеримых функций. Определим E0E_{0} как множество точек xx в EE, в которых {fn(x)}\left\{ f_{n}(x)\right\} сходится к вещественному числу. Измеримо ли множество E0E_{0}?

?
Задача 3.5

Пусть EE измеримо, а f:E→Rf: E \rightarrow \mathbb {R} непрерывна всюду, кроме счётного числа точек. Покажите, что ff измерима.

?
Задача 3.6

Если EE измеримо и функция f:E→Rf: E \rightarrow \mathbb {R} обладает свойством, что f−1(c)f^{-1}(c) измеримо для каждого числа cc, обязательно ли ff измерима?

?
Задача 3.7

Если функция f:E→Rf: E \rightarrow \mathbb {R} обладает свойством, что {x∈E∣f(x)>c}\left\{ x \in E \mid f(x) > c\right\} является измеримым множеством для каждого рационального числа cc, обязательно ли ff измерима?

?
Задача 3.8

Покажите, что f:E→Rf: E \rightarrow \mathbb {R} измерима тогда и только тогда, когда функция f^:R→R\hat{f}: \mathbb {R} \rightarrow \mathbb {R} измерима, где f^(x)=f(x)\hat{f}(x) = f(x) при x∈Ex \in E и f^(x)=0\hat{f}(x) = 0 при x∉Ex \notin E.

?
Задача 3.9

Покажите, что f:E→Rf: E \rightarrow \mathbb {R} измерима тогда и только тогда, когда для каждого борелевского множества AA множество f−1(A)f^{-1}(A) измеримо.

?
Задача 3.10

Функция f:E→Rf: E \rightarrow \mathbb {R} называется борелевски измеримой, если её область определения EE является борелевским множеством и для каждого cc множество {x∈E∣f(x)<c}\left\{ x \in E \mid f(x) < c\right\} является борелевским множеством. Проверьте, что Предложение 1 и Теорема 5 остаются верными, если заменить «(лебегово) измеримое множество» на «борелевское множество».

Предложение 1 (Глава 3): Если f:E→Rf: E \rightarrow \mathbb {R} измерима, то для каждого интервала II вещественных чисел f−1(I)f^{-1}(I) измеримо. Теорема 5 (Глава 3): Если f:E→Rf: E \rightarrow \mathbb {R} и g:E→Rg: E \rightarrow \mathbb {R} — измеримые функции, то при любых α\alpha и β\beta функция αf+βg:E→R\alpha f + \beta g: E \rightarrow \mathbb {R} измерима (линейность), а f⋅g:E→Rf \cdot g: E \rightarrow \mathbb {R} измерима (произведения). Проверьте следующее:

?
(i)

каждая борелевски измеримая функция измерима по Лебегу;

(ii)

если ff борелевски измерима, а BB — борелевское множество, то f−1(B)f^{-1}(B) является борелевским множеством;

(iii)

если ff и gg борелевски измеримы, то и f∘gf \circ g борелевски измерима; и (iv) если ff борелевски измерима, а gg измерима по Лебегу, то f∘gf \circ g измерима по Лебегу.

Задача 3.11

Предположим, что f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} измерима, а g:R→Rg: \mathbb {R} \rightarrow \mathbb {R} непрерывна. Обязательно ли композиция f∘gf \circ g измерима?

?
Задача 3.12

Предположим, что f:[a,b]→Rf:[a, b] \rightarrow R — строго возрастающая непрерывная функция, имеющая липшицеву обратную. Покажите, что g∘f:[a,b]→Rg \circ f:[a, b] \rightarrow R измерима всякий раз, когда g:R→Rg: R \rightarrow R измерима.

?