Материал из Викиконспекты
Эта статья находится в разработке!
TODO: ВАКАНСИЯ: ВНИМАТЕЛЬНЫЙ ЧИТАТЕЛЬ. НУЖЕН, ЧТОБЫ ОЗНАКОМИТЬСЯ С ЭТИМ ТЕКСТОМ И ИСПРАВИТЬ КОСЯКИ
TODO: Achtung! Тут немного пропущено
... Используя ту же технику,
[math]f[/math] — измерима на [math]E[/math] [math]\Rightarrow[/math] [math]E[/math] — тоже измеримо, [math]E = \bigcup\limits_{n=1}^\infty E(f \lt n)[/math]
Приведём примеры измеримых функций:
[math]f(x) = C[/math] на [math]E[/math].
[math]E(f\lt a) = \left\{
\begin{aligned}
E &, C \lt a \\
\varnothing &, C \geq a
\end{aligned}
\right.
[/math]
Поэтому, считая [math]E[/math] измеримым, получаем, что постоянная функция на нём измерима.
Всё это распространяется на [math]E = \bigcup\limits_p E_p[/math], [math]E_p \in \mathcal{A}[/math]
Аналогично измерима на [math]E[/math], [math]f : E \to \mathcal{R}[/math], [math]f(x) = a_p, x\in E_p[/math].
| Утверждение: |
Пусть [math]F \subset \mathbb{R}^n[/math] — замкнутое множество, в [math]\mathbb{R}^n[/math] есть мера [math]\lambda[/math]. Тогда непрерывная функция [math]f : F \to \mathbb{R}[/math] — измерима. |
| [math]\triangleright[/math] |
|
Установим измеримость [math]F(f\leq a)[/math].
Проверим, что оно замкнуто [math]\Rightarrow[/math] измеримо.
[math]\bar x_j \in F(f\leq a)[/math], [math]f(\bar x_j) \leq a[/math], [math]\bar x_j \to \bar x[/math], [math]\bar x_j \in[/math] замкнутое [math]F[/math]. Значит, предел тоже в [math]F[/math]. Значит, по непрерывности, [math]f(\bar x_j) \to f(\bar x)[/math]
Значит, [math]f(\bar x)\leq a \Rightarrow \bar x \in F(f\leq a)[/math].
Множество содержит в себе пределы всех сходящихся подпоследовательностей [math]\Rightarrow[/math] замкнуто. Но замкнутые множества измеримы по Лебегу. |
| [math]\triangleleft[/math] |
Вывод: класс непрерывных функций содержится в классе измеримых.
Следует обратить внимание, что столь простые рассуждения проходят по той причине, что мы не интересуемся тем, как устроены множества Лебега. Нас интересует только одно их свойство — принадлежность [math]\mathcal{A}[/math]. Природа этих множеств может быть крайне сложной.
| Теорема: |
Пусть [math]f[/math] и [math]g[/math] измеримы на [math]E[/math]. Тогда
1 [math]|f|[/math] — измерима
1.5 [math]af[/math] — измеримо ([math]a \in \mathbb{R}[/math])
2 [math]f^2[/math] — измеримо
4 [math]fg[/math] — измеримо
3 [math]f + g[/math] — измеримо |
| Доказательство: |
| [math]\triangleright[/math] |
|
Пункт 4 вытекает из прошлых: [math]fg = \frac{(f+g)^2 - (f-g)^2}{4}[/math]
1 и 2 доказываются одинаково. Например,
[math]E(f^2\lt a)[/math]. При [math]a\geq 0[/math] оно может быть непустым. Но это равносильно [math]E(-\sqrt{a} \lt k \lt \sqrt{a}) = E(-\sqrt{a} \lt x) \cap E(x\lt \sqrt{a})[/math]
Это пересечение двух измеримых множеств Лебега [math]\Rightarrow[/math] измеримо.
Пункт 3 доказывать чуть сложнее
[math]f(x) + g(x) \gt a \iff g(x) \gt a - f(x)[/math]
Базируясь на том,что [math]\mathbb{Q}[/math] всюду плотно на оси, [math]\exists r \in \mathbb{Q} : g(x) \gt r \gt a - f(x)[/math]
Тогда [math]E(f + g\gt a) = \bigcup\limits_{r\in\mathbb{Q}}(E(g\gt r) \cap E(f \gt a - r))[/math]
Справа измеримое множество Лебега функций [math]f[/math] и [math]g[/math]. Операций счётно. Значит, [math]f+g[/math] тоже измеримо |
| [math]\triangleleft[/math] |
