| НЕТ ВОЙНЕ
|
|
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
Антивоенный комитет России
|
| Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
|
| meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.
|
<< >>
Пусть f измерима на множестве E.
Напомним:
[math] \sum\limits_{n = 1}^{\infty} a_n = \sum\limits_{n = 1}^{\infty} a_n^+ - \sum\limits_{n = 1}^{\infty} a_n^- [/math]
Интеграл распространяется так же:
[math] f_+(x) = \begin{cases} f(x), & f(x) \gt 0 \\ 0, & f(x) \le 0 \end{cases} [/math]
[math] f_-(x) = \begin{cases} 0, & f(x) \gt 0 \\ -f(x), & f(x) \le 0 \end{cases} [/math]
Из измеримости [math] f [/math] следует, что [math] f_+ [/math] и [math] f_- [/math] тоже будут измеримы. Также, они неотрицательны.
[math] f = f_+ - f_- [/math]
[math] |f| = f_+ + f_- [/math]
[math] \int\limits_E f_+, \int\limits_E f_- [/math] уже были определены нами ранее.
| Определение: |
| [math] f [/math] суммируема на [math] E [/math], если на нём суммируемы [math] f_+ [/math] и [math] f_- [/math].
В этом случае, [math] \int\limits_E f \underset{\mathrm{def}}= \int\limits_E f_+ - \int\limits_E f_- [/math]. |
Заметим, что, по линейности [math] \int\limits_E |f| = \int\limits_E f_+ + \int\limits_E f_- [/math]. Тогда [math] |\int\limits_E f | \le \int\limits_E f_+ + \int\limits_E f_- = \int\limits_E |f| [/math]
Так как [math] f_{+-} \le |f| [/math], то из суммируемости модуля вытекает суммируемость [math] f_+ [/math] и [math] f_- [/math].
Как следствие определения, получаем, что [math] f [/math] суммируема тогда и только тогда, когда [math] |f| [/math] суммируема. То есть, в теории Лебега нет условно сходящихся интегралов.
Пример: интеграл Дирихле равен [math] \int\limits_0^{+ \infty} \frac{\sin x}{x} = \frac{\pi}2 [/math] по Риману, но по Лебегу он не суммируем.
Так как [math] \int\limits_E [/math] определен линейной формулой, то на суммируемые функции произвольного знака переносятся также [math] \sigma [/math]-аддитивность и линейность интеграла. Достаточно их написать для [math] f_+, f_- [/math] и сложить.
Абсолютная непрерывность
| Теорема (Абсолютная непрерывность): |
Пусть [math] f [/math] — суммируема на [math] E [/math]. Тогда [math] \forall \varepsilon \gt 0\ \exists \delta \gt 0: \mu A \lt \delta, A \subset E \Rightarrow \left| \int\limits_A f \right| \lt \varepsilon [/math] |
| Доказательство: |
| [math]\triangleright[/math] |
|
[math] \left| \int\limits_A f \right| \le \int\limits_A |f| [/math], то есть, достаточно рассмотреть неотрицательные функции.
[math] f [/math] — суммируема и неотрицательна. [math] \int\limits_E f \lt + \infty [/math].
По определению, для любого [math] \varepsilon [/math] существует хорошее [math] e_{\varepsilon} : \int\limits_E f - \int\limits_{e_{\varepsilon}} f \lt \varepsilon [/math]. Тогда [math] \overline{e_{\varepsilon}} = E \setminus {e_{\varepsilon}} [/math], и по сигма-аддитивности, [math] \int\limits_E = \int\limits_{e_{\varepsilon}} + \int\limits_{\overline{e_{\varepsilon}}} [/math].
[math] \mu e_{\varepsilon} \lt + \infty [/math] (так как [math] e_\varepsilon[/math] — хорошее).
[math] |f(x)| \le M_{\varepsilon} [/math] (так как f ограничена).
[math] \forall B \subset E, \mu B \lt \infty [/math];
[math] B = B \cap E = B \cap ({e_{\varepsilon}} \cup \overline e_{\varepsilon}) = (B \cap {e_{\varepsilon}}) \cup (B \cap \overline e_{\varepsilon}) = B_1 \cup B_2 [/math].
[math] \int\limits_B f = \int\limits_{B_1} f + \int\limits_{B_2} f \le \int\limits_{B_1} M_\varepsilon d \mu + \int\limits_{\overline e_\varepsilon} f \le M_\varepsilon \mu B_1 + \varepsilon \le M_\varepsilon \mu B + \varepsilon[/math]
Итак [math] \forall B \subset E, \mu B \lt + \infty [/math]: [math] \int\limits_B f \le M_{\varepsilon} \mu B + \varepsilon [/math]. Потребуем, чтобы [math] M_{\varepsilon} \mu B \lt \varepsilon [/math]. Тогда [math] \mu B \lt \frac{\varepsilon}{M_{\varepsilon}} = \delta [/math]. Тогда получается, что для таких [math] B: \int\limits_B f \lt 2 \varepsilon [/math], если [math] \mu B \lt \delta = \frac{\varepsilon}{M_{\varepsilon}} [/math]. Подставляем [math] \frac{\varepsilon}2 = \varepsilon [/math]. |
| [math]\triangleleft[/math] |
<< >>
