Изменения

<tex> \int\limits_{E\subset \mathbb R^2} f(x_1, x_2) — сечение множества d \lambda_2 = \int\limits_R d \lambda_1 \int\limits_{E вертикальной прямой(x_1)} f(x_1, x_2) d \lambda_1 </tex>, проходящей через точку x_1.

где <tex> E(x_1) </tex> — сечение множества <tex> E </tex> вертикальной прямой, проходящей через точку <tex> x_1 </tex> (<tex> E(x_1) = \{ x_2 \int in \mathbbR mathbb R : (x_1, x_2) \in E \} </tex>).

Для некоторого некоторых <tex> x_1 это , E(x_1) </tex> может быть фпусто.(???)

== Принцип Кавальери(?) == Сейчас мы сформулируем и докажем теорему , истоком которой является принцип «метод неделимых» Кавальери. {{TODO|t=КАРТИНКА}}: <tex> S </tex> - площадь.<tex> l </tex> - длина.<tex> S(E_2) = \int\limits_a^b = l(E(x_1)) d x_1 </tex> . Аналог этой формулы был раньшеуже встречался нам в геометрических приложениях определенного интеграла.

|about = о сечениях|statement=Пусть <tex> E \subset \mathbbRmathbb R^2, \lambda lambda_2 E < + \infty</tex>

1) # <tex> \forall x_1 \in \mathbbR mathbb R : E(x_1) </tex> — измеримое множество.2) # <tex> \lambda_1(E(x_1)) </tex> — измеримая на <tex> \mathbbR mathbb R </tex> функция.3) # <tex> \lambda_2(E) = \int\limits_{\mathbbRmathbb R} \lambda_1 (E(x_1)) d x_1 </tex>

Такая Схема доказательства — такая же схема, как и с формулой меры подграфика функции — от простого к сложному. 1) <tex> E = [a, b] \times [c, d] </tex>.

1<tex> E(x_1) E = \begin{cases} [c, d] &, x_1 \in [a, b] \times [c\ \varnothing &, x_1 \notin a, db]\end{cases} </tex> — измеримо.

<tex> \lambda(E(x_1)) = \begin{cases} [d - c, d] &, x_1 \in [a, b] \\ \emptyset 0 &, x_1 \notin [a, b] \end{cases}</tex> — кусочно-постоянная функция на оси, суммируема.

<tex> \lambdaint\limits_{\mathbb R} \lambda_1 (E(x_1)) d x_1 = \begin{cases} (b - a) (d - c &, x_1 ) = \in [a, b] \\ 0 &, x_1 \notin [a, b] \end{cases}lambda_2 E </tex>

Кусочно-постоянная функция на осиВместо замкнутого прямоугольника можно было рассматривать прямоугольник любого вида, суммируемаяв том числе и ячейку.

2) <tex> G </tex> — открытое множество, <tex> \int\limits_{\mathbbR} (E(x_1)) d x_1 = (b - a) * (d - c) = lambda G < + \lambda_2 Einfty </tex>.

Вместро замкнутого прямоугольника<tex> G = \bigcup\limits_n \Delta_n (???x_1) можно было смотреть любой прямоугольник</tex> , в том числе ячейкупо 1) <tex> \Delta_n (x_1) </tex> — измеримо, а не более, чем счётное объединение измеримых, измеримо.

2) G — открытое множествоВ силу сигма-аддитивности длины/меры Лебега, <tex> \lambda lambda_1(G (x_1)) = \sum\limits_n \lambda_1 (\Delta_n(x_1)) < + \infty /tex>.

G = \bigcup\limits_n \Delta_n (x_1) , по 1) \Delta_n (x_1) — Каждое слагаемое измеримо, а не болеепоточечный предел измеримой функции измерим, чем счётное объединение не болеезначит, чем счётных измеримно<tex> \lambda_1 </tex> измеримо по <tex> x_1 </tex>.

В силу сигма-аддитивности длины/меры Лебега, <tex> \int\limits_{\mathbb R} \lambda_1(G(x_1)) dx = </tex> (т. Леви (Но причем тут она? Надо пользоваться сигма-аддитивностью интеграла.)) <tex> \sum\limits_n \int\limits_{\mathbb R} \lambda_1 (\Delta_n(x_1)) d x_1 = \sum\limits_n \lambda_2 (\Delta_n) = \lambda_2 (G) </tex>.

Каждое слагаемое измеримо, поточечный предел измеримой функции измерим, значит3) <tex> E </tex> — множество типа <tex> G_\delta </tex> (не более, \lambda_1 измеримо по x_1чем счётное пересечение открытых множеств).

\int\limits_{\mathbbR} \lambda_1(G(x_1)) dx <tex> E = (т. Леви) \sumbigcap\limits_n \int\limits_G_n </tex> — открытое, <tex> G_{\mathbbRn+1} \lambda_1 (\Delta_n subset G_n </tex> (x_1)) d x_1 = \sum\limits_n \lambda_2 (\Delta_n) = \lambda_2 (G<tex> E </tex> — измеримо).

3По сигма-аддитивности, <tex> \lambda_2 E = \lim\limits_{n \to \infty} \lambda_2 (G_n) </tex>. <tex>E — множество типа G_(x_1) = \bigcap\delta limits_n G_n(не более, чем счётное пересечение открытых множествx_1)</tex> — измеримо для любого <tex> x_1 </tex>.

<tex> \lambda_1 (E (x_1)) = \bigcaplim\limits_n G_n — открытое, G_limits_{n+1\to \infty} \in lambda_1 (G_n (E x_1)) </tex> — тоже измеримо(как предел измеримой функции).

По сигма-аддитивности, \lambda_2 E = \lim\limits_{n \to \infty} \lambda_2 (G_n) E(x_1) = \bigcap\limits_n G_n(x_1) — измеримо для любого x_1 теореме Лебега о мажорируемой сходимости:

<tex> \int\limits_{\mathbb R} \lambda_1 (E(x_1)) d x_1 = \lim\limits_{n \to \infty} \int\limits_{\mathbb R} \lambda_1 (G_n(x_1)) — тоже измеримо(как предел измеримой функции)d x_1 </tex>.

По теореме <tex> \lambda_2 (G_n) \to \lambda_2(E) </tex> 4) <tex> E </tex> — нульмерно. Представим <tex> E </tex> как пересечение убывающих открытых множеств: <tex> E = \bigcap\limits_n G_n, G_{n + 1} \subset G_n </tex>. Для всех <tex> G_n </tex> теорема уже доказана. Тогда <tex> E(x1) = \bigcap\limits_n G_n(x) </tex> является пересечением измеримых множеств, значит, оно измеримо. Множество Лебега о мажорируемой сходимости<tex> E(f \le a) </tex> функции <tex> f = \lambda_1 (E(x_1)) </tex> тоже будет измеримо при любом <tex> a </tex> как пересечение измеримых множеств:<tex> E(f \le a) = \bigcap\limits_n G_n(f \le a) </tex>.

\int\limits_{\mathbbR} \lambda_1 (EПо теореме Лебега о мажорируемой сходимости (x_1)так же, как и в 3) d x_1 = \lim\limits_{n \to \infty} \int\limits_{\mathbbR} , более того, похоже, нульмерное множество - вообще частный случай <tex> G_\lambda_1 (G_n(x_1)delta </tex>) d x_1, равенство выполняется.

5) <tex> E </tex> — произвольное измеримое множество.По теореме, которой у нас не было(аналогично теореме про <tex> E = F_\sigma \lambda_2 (G_ncup A </tex>) , подбираем множество <tex> K </tex> типа <tex> G_\to delta </tex> так, чтобы <tex> E \subset K </tex> и <tex> \lambda_2(K \setminus E)= 0 </tex>.

В том же духе {{TODO|t Тогда <tex> E(x_1) = УПРАЖНЕНИЕ!!!}}K(x_1) \setminus (K \setminus E)(x_1) </tex>, а почти все сечения множества <tex> K \setminus E </tex>, по пункту 4, имеют меру 0.

4Следовательно, сечения <tex> E(x_1) </tex> измеримы и <tex> \lambda_1 E — нульмерно(x_1) = \lambda_1 K(x_1) </tex> для почти всех <tex> x_1 </tex>.

Из этого следует, что <tex> \lambda_1 E = (x_1) \bigcapsim \limits_n G_n — открытоеlambda_1 K(x_1) </tex>, значит, G_{n+1} \subset G_nона тоже измерима.

5Наконец, <tex> \int\limits_{\mathbb R} \lambda_1 E (x_1) d x_1 = \int\limits_{\mathbb R} K(x_1) d x_1 = \lambda_2 K = \lambda_2 E — произведение измеримое O_O</tex>.

на <tex> \mathbb R:\mathbbR y = f(x) > 0</tex>. <tex> G(f) </tex> — подграфик, измерим. Тогда <tex> f </tex> — измерима.

<tex> G(f) </tex> — измеримаизмерим. Применяем теорему:

<tex> E = G(f), E(x_1) = [0, f(x_1)]</tex> — измеримое.

По теореме, функция <tex> \lambda_1 E(x_1) — измеримо = </tex> измерима и равна <tex> f(x_1) — значит</tex>. Значит, <tex> f </tex> — измеримая функция.

Пусть <tex> E \subset \mathbbRmathbb R^2, f: E \to \mathbbR mathbb R </tex> — измерима.

<tex> \int\limits_E |f| d \lambda_2 < + \infty </tex> (<tex> f </tex> — суммируема).

Тогда для почти всех <tex> x_1 \in \mathbbR mathbb R, f(x_1, \cdot) </tex> будет суммируемой на <tex> E(x_1) </tex> и <tex> \int\limits_E f d \lambda_2 = \int\limits_{\mathbbRmathbb R} \left( \int\limits_{E(x_1)} f(x_1, x_2) d x_2 \right) d x_1 </tex> (формула повторного интегрирования)

<tex> f = f_+ - f_-</tex>, по линейности интеграла достаточно рассмотреть <tex> f \ge 0</tex>. <tex> f </tex> суммируема, неотрицательна, поэтому можно рассмотреть подграфик <tex> f </tex>: <tex> G(f) = \{ (x, y, z) : (x, y) \in E, 0 \le z \le f(x, y) \} </tex>.

Принцип Пользуясь принципом Кавальери (он был доказан нами для одномерных сечений, но легко переносится на сечения любой размерности (нам нужны , в нашем случае, на двумерные), получаем:

z <tex> \lambda_3 G = f\int\limits_{\mathbb R} \lambda_2(E(x, yx_1)) \ge 0dx_1 </tex>.

GДля любого(fили почти любого?) <tex> x_1 </tex>, можно рассмотреть подграфик измеримой(почему?) (суммируемой(почему?)) = \функции <tex> f_{ x_1}(x, y, zx_2) </tex>. Воспользуемся теоремой о мере подграфика: <tex> \lambda_2 E(x, yx_1) = \in int\limits_{E, 0 \le z \le (x_1)} f(xx_1, yx_2) \}dx_2 </tex>.

Но по этой же теореме, <tex> \lambda_3 G = \int\limits_E f d\lambda_2 </tex>. Отсюда получаем требуемое равенство. (Неформальное доказательство от Н.Ю. Додонова: Соответствующий интеграл по <tex> x, y </tex> есть объем подграфика. Объём мы можем вычислять с помощью принципа Кавальери, создавая сечения плоскостями. , параллельными <tex> Oyz <// 0yz o_O tex>. Проинтегрировав прощадь сечений, получим объём, равный соответствующему интегралу. Вычисление площади кажлого из сечений тоже может очуществляться через интегралделаться с помощью интеграла, воспринимая его, как подграфик функции переменной y при фиксированном x . Отсюда появляется повторный интеграл и само равенство. Осталось записать это формально, базируясь на предыдущих теоремах({{TODO|t=УПРАЖНЕНИЕ!!!}}).