Мера подграфика — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(допилено, нужно _тщательно_ проверить, ибо треша куча)
м (rollbackEdits.php mass rollback)
 
(не показано 10 промежуточных версий 5 участников)
Строка 1: Строка 1:
{{В разработке}}
+
[[Пространство L_p(E)|<<]][[Теорема Фубини|>>]]
Геометрический смысл интеграла Лебега.
 
  
<tex> E \subset \mathbb R^n, f : E \to \mathbb R_+, f </tex> — измерима.
+
В этом параграфе будет дан геометрический смысл интеграла Лебега.
  
<tex> G(f) = G = \{ (x_1 \ldots x_{n + 1}) \in \mathbb R^{n+1} : (x_1 \ldots x_n) \in E, 0 \le x_{n + 1} \le f(x_1 \ldots x_n) \} </tex> — подграфик функции.
+
{{Определение
 +
|definition=
 +
Пусть <tex> E \subset \mathbb R^n, f : E \to \mathbb R_+, f </tex> — измерима.<br>
  
{{Теорема
+
<tex> G(f) = G = \{ (x_1 \ldots x_{n + 1}) \in \mathbb R^{n+1} : (x_1 \ldots x_n) \in E, 0 \le x_{n + 1} \le f(x_1 \ldots x_n) \} </tex> — '''подграфик функции'''.
|about=
+
}}
о мере подграфика
 
|statement=
 
<tex> G(f) </tex> — измеримо, <tex> \lambda_{n+1}(G) = \int\limits_E f d \lambda_n </tex>
 
{{TODO|t=не очень понимаю, что доказывается}}
 
|proof=
 
  
Сначала установим, как факты, связанные с цилиндрами.
+
== Цилиндры ==
  
 
Если <tex> f(x_1 \ldots x_n) = c \ge 0 </tex> на <tex> E </tex>, то подграфик называется цилиндром в <tex> \mathbb R^{n + 1} </tex>.
 
Если <tex> f(x_1 \ldots x_n) = c \ge 0 </tex> на <tex> E </tex>, то подграфик называется цилиндром в <tex> \mathbb R^{n + 1} </tex>.
Строка 20: Строка 16:
 
{{Утверждение
 
{{Утверждение
 
|statement=
 
|statement=
<tex> G </tex> - цилиндр высоты c <tex> \ge 0 </tex>, измеримое <tex> E \in \mathbb R^n </tex> — основание. Тогда он измерим и <tex> \lambda_{n+1} G = c \lambda_n E </tex>.
+
<tex> G </tex> - цилиндр высоты <tex> c \ge 0 </tex>, измеримое <tex> E \subset \mathbb R^n </tex> — основание. Тогда он измерим и при <tex> c > 0: \lambda_{n+1} G = c \lambda_n E </tex>, при <tex> c = 0: \lambda_{n+1} G = 0 </tex>.
 
|proof=
 
|proof=
схема — от простого к сложному, применяется критерий <tex> \mu^+ </tex> -измеримости(принципа исчерпывания).
+
Доказательство ведем от простого к сложному, применяется критерий <tex> \mu^* </tex>-измеримости.
 +
 
 +
1) Пусть <tex> E </tex> — параллелепипед (ячейка), тогда <tex> G </tex> тоже ячейка, формула выполняется.
  
1) Пусть <tex> E </tex> — параллелепипед (ячейка), то <tex> G </tex> тоже ячейка, формула выполняется.
+
2) Пусть <tex> E </tex> — открытое множество. Его можно записать в форме счетного объединения дизъюнктных ячеек:
  
2) Пусть <tex> E </tex> — открытое множество. Его можно записать в форме
+
<tex> E = \bigcup\limits_n \Delta_n </tex>.
<tex> E = \bigcup\limits_n \Delta_n </tex> — дизъюнктно
 
  
<tex> G_n = \Delta_n \times [0, c] </tex>
+
Пусть <tex> G_n = \Delta_n \times [0, c] </tex>;
  
<tex> G = E \times [0, c] = \bigcup\limits_n G_n </tex> — дизъюнктны.
+
<tex> G = E \times [0, c] = \bigcup\limits_n G_n </tex> — тоже дизъюнктное объединение.
  
<tex> G_n </tex> — измеримы, следоватлеьно, <tex> G </tex> — измеримо.
+
<tex> G_n </tex> — измеримы, следовательно, <tex> G </tex> — измеримо.
  
По сигма-аддитивности меры <tex> \lambda_{n+1} G = \sum\limits_m \lambda_{n+1} G_m = \sum\limits_m c \lambda_n \Delta_m = c \sum\limits_m \lambda_n \Delta_m = c \lambda_n E </tex>
+
По сигма-аддитивности меры, <tex> \lambda_{n+1} G = \sum\limits_m \lambda_{n+1} G_m = \sum\limits_m c \lambda_n \Delta_m = c \sum\limits_m \lambda_n \Delta_m = c \lambda_n E </tex>.
  
 
3) <tex> E </tex> — ограниченное замкнутое множество.
 
3) <tex> E </tex> — ограниченное замкнутое множество.
  
<tex> E \subset \Delta </tex> — открытый параллелепипед.
+
Возьмем некий открытый параллелепипед <tex> \Delta </tex>, такой, что <tex> E \subset \Delta </tex>.
 
 
<tex> \overline E = \Delta \setminus E </tex> — открыто — можно применить пункт 2:
 
 
 
<tex> \lambda_{n+1}  \overline G = c \lambda_n \overline E </tex>
 
  
<tex> \lambda_{n+1} [\Delta \times [0, c]) = c \lambda_n \Delta </tex>
+
<tex> \overline E = \Delta \setminus E </tex> — открыто — можно применить пункт 2:
 +
<tex> \lambda_{n+1} \overline G = c \lambda_n \overline E </tex>.
  
<tex> E = \Delta \setminus \overline E, \lambda_{n+1} G = \lambda_{n+1} (\Delta \times [0, c]) - \lambda_{n+1}(\overline G) = c(\lambda_n \Delta - \lambda_n \overline E) = c \lambda_n E </tex>
+
<tex> \lambda_{n+1} (\Delta \times [0, c]) = c \lambda_n \Delta </tex>
  
4) <tex> E </tex> — ограниченное и измеримое
+
<tex> E = \Delta \setminus \overline E, \lambda_{n+1} G = \lambda_{n+1} (\Delta \times [0, c]) - \lambda_{n+1}(\overline G) = c(\lambda_n \Delta - \lambda_n \overline E) = c \lambda_n E </tex>.
  
<tex> \forall \varepsilon > 0 </tex>, по свойствам меры Лебега.
+
4) <tex> E </tex> — ограниченное и измеримое.
  
Пусть <tex> F_\varepsilon </tex> — замкнутое, <tex> G_\varepsilon </tex> — открытое:
+
Для произвольного <tex> \varepsilon > 0 </tex> подбираем <tex> F_\varepsilon </tex> — замкнутое и <tex> G_\varepsilon </tex> — открытое:
  
 
<tex> F_\varepsilon \subset E \subset G_\varepsilon, \lambda_n G_\varepsilon - \lambda_n F_\varepsilon < \varepsilon </tex>.
 
<tex> F_\varepsilon \subset E \subset G_\varepsilon, \lambda_n G_\varepsilon - \lambda_n F_\varepsilon < \varepsilon </tex>.
Строка 59: Строка 53:
 
<tex> F_\varepsilon \times [0, c] \subset G \subset G_\varepsilon \times [0, c] </tex>.
 
<tex> F_\varepsilon \times [0, c] \subset G \subset G_\varepsilon \times [0, c] </tex>.
  
<tex> \lambda_{n + 1} (G_\varepsilon \times [0, c]) - \lambda_{n+1} (F_\varepsilon \times [0, c]) = c (\lambda_n G_\varepsilon - \lambda_n F_\varepsilon) < c \varepsilon </tex>
+
<tex> \lambda_{n + 1} (G_\varepsilon \times [0, c]) - \lambda_{n+1} (F_\varepsilon \times [0, c]) = c (\lambda_n G_\varepsilon - \lambda_n F_\varepsilon) < c \varepsilon </tex>.
  
<tex> \varepsilon </tex> — мало, следоватлеьно, по критерию <tex> \mu^* </tex>-измеримости, <tex> G </tex> — измеримо. По монотонности меры:  
+
<tex> \varepsilon </tex> — мало, следовательно, по критерию <tex> \mu^* </tex>-измеримости, <tex> G </tex> — измеримо. По монотонности меры:  
  
<tex> c \lambda_n F_\varepsilon \le \lambda_{n+1} G \le c \lambda_n G_\varepsilon </tex>
+
<tex> \lambda_{n+1} F_\varepsilon \le \lambda_{n+1} G \le \lambda_{n+1} G_\varepsilon </tex>
  
<tex> \lambda_n F_\varepsilon \le \lambda_n E \le \lambda_n G_\varepsilon </tex> ( <tex> \varepsilon </tex> мало, это единственное число, которое можно вставить{{TODO|t=че?}})
+
Также, так как <tex> \lambda_n F_\varepsilon \le \lambda_n E \le \lambda_n G_\varepsilon </tex>, то <tex> \lambda_{n+1} F_\varepsilon \le c \lambda_{n} E \le \lambda_{n+1} G_\varepsilon </tex>.
  
<tex> c \lambda_n F_\varepsilon \le c \lambda_n E \le c \lambda_n G_\varepsilon \rightarrow \lambda_{n+1} G = c \lambda_n E </tex>.
+
Устремляя <tex> \varepsilon </tex> к нулю, в пределе приходим к <tex> \lambda_{n+1} G = c \lambda_n E </tex>.
  
5) <tex> E </tex> — измеримое множество.
+
5) <tex> E </tex> — произвольное измеримое множество.
  
Мера Лебега — сигма-конечна. <tex> E </tex> можно записывать как объединение возрастающих последовательностей ограниченных измеримых множеств, или как перемечение убывающих последовательностей ограниченных измеримых множеств, мера <tex> E </tex> = пределу мер.  
+
Из сигма-конечности меры Лебега следует, что  <tex> E = \bigcup\limits_{m=1}^{\infty} E_m </tex> объединение <s>возрастающих последовательностей</s> ограниченных измеримых попарно дизъюнктных множеств.  
  
Так же запишется цилиндр <tex> G </tex>, он окажется измеримым, переходим к переделу, победа.
+
Цилиндр <tex> G = \bigcup\limits_{m=1}^{\infty} G_m </tex>, где <tex> G_m = E_m \times [0, c] </tex>.  
{{TODO|t=понятно это только звучит}}
 
}}
 
  
Это утверждение позволяет стандартным образом доказать теорему.
+
По уже доказанному, <tex> \lambda_{n+1} G_m = c \lambda_n E_m </tex>, а по свойствам меры, <tex> \lambda_{n+1} G = \sum\limits_m \lambda_{n+1} G_m = c \sum\limits_m \lambda_n E_m = c \lambda_n E </tex>.
  
 +
6) Рассмотрим случай <tex> c = 0 </tex>.
  
Базовым случаем будет тот, когда дело сводится к суммам Лебега-Дарбу.
+
Пусть <tex> \lambda_n E < + \infty </tex>, погрузим цилиндр <tex> G </tex> в цилиндр <tex> G' </tex> с тем же основанием, и сколь угодно малой высотой <tex> c' > 0 </tex>. Из этого получаем, что <tex> G </tex> измерим и его мера — нулевая.
  
<tex> f </tex> — ограниченная функция, <tex> E </tex> — измеримое множество конечной меры.
+
В противном случае, представим E в виде счетного объединения множеств с конечной мерой. Тогда <tex> G = \bigcup\limits_{m=1}^{\infty} G_m </tex>, где <tex> G_m </tex> — цилиндр с основанием <tex> E_m </tex> и высотой 0. По доказанному, <tex> \lambda_{n+1} G_m = 0</tex>, а тогда и <tex> \lambda_{n+1} G = 0 </tex>.
 +
}}
  
<tex> f </tex> — измерима, следовательно, интеграл Лебега существует.
+
== Теорема о мере подграфика ==
  
<tex> \exists \int\limits_E f d \lambda_n </tex>
+
{{Теорема
 +
|about=
 +
о мере подграфика
 +
|statement=
 +
Если <tex> f(x) \ge 0 </tex> и измерима на множестве <tex> E \in \mathbb R^n </tex>, то её подграфик <tex> G(f) </tex> — измерим, а <tex> \lambda_{n+1}(G) = \int\limits_E f d \lambda_n </tex>.
 +
|proof=
  
<tex> \tau: E = \bigcup\limits_{j=1}^p e_j </tex> — дизъюнктны.
+
0) Базовым случаем будет тот, когда дело сводится к суммам Лебега-Дарбу.
 +
 
 +
<tex> f </tex> — ограниченная функция, <tex> E </tex> — измеримое множество конечной меры. <tex> f </tex> — измерима, следовательно, интеграл Лебега существует: <tex> \exists \int\limits_E f d \lambda_n </tex>
 +
 
 +
Рассмотрим <tex> \tau: E = \bigcup\limits_{j=1}^p e_j </tex> — дизъюнктны.
  
 
<tex> m_j = \inf\limits_{e_j} f(x), M_j = \sup\limits_{e_j} f(x) </tex>  
 
<tex> m_j = \inf\limits_{e_j} f(x), M_j = \sup\limits_{e_j} f(x) </tex>  
  
<tex> \underline s (\tau) = \sum\limits_{j=1}^p m_j \lambda_n e_j </tex>
+
<tex> \underline s (\tau) = \sum\limits_{j=1}^p m_j \lambda_n e_j </tex>, <tex> \overline S (\tau) = \sum\limits_{j=1}^p M_j \lambda_n e_j </tex>
  
<tex> \underline G_j = e_j \times [0, m_j] </tex>
+
<tex> \underline G_j = e_j \times [0, m_j] </tex>, <tex> \overline G_j = e_j \times [0, M_j] </tex> — цилиндры с основанием <tex> e_j </tex> и высотами <tex> m_j, M_j </tex>.
  
<tex> \lambda_{n+1} \underline G_j = m_j \lambda_n e_j </tex>  
+
Представим <tex> \underline G</tex> как дизъюнктное объединение: <tex> \underline G = \bigcup_{j=1}^p \underline G_j </tex>. Аналогично, <tex> \overline G \bigcup_{j=1}^p \overline G_j </tex>.
  
<tex> \underline G (\tau) = \bigcup\limits_{j=1}^p G_j </tex> — дизъюнктны
+
Ясно, что <tex> \underline G \subset G \subset \overline G </tex>.
  
<tex> \lambda_{n+1} \underline G(\tau) = \sum\limits_{j=1}^p \lambda_{n+1} \underline G_j = \sum\limits_{j=1}^p m_j \lambda_n e_j = \underline s(\tau) </tex>
+
При этом:
  
Итак, <tex> \lambda_{n+1} \underline G(\tau) = \underline s(\tau) </tex>
+
<tex> \lambda_{n+1} \underline G(\tau) = \sum\limits_{j=1}^p \lambda_{n+1} \underline G_j = \sum\limits_{j=1}^p m_j \lambda_n e_j = \underline S(\tau) </tex>
  
В силу определения <tex> m_j </tex> ясно, что <tex> \underline G(\tau) \subset G(f) </tex> — подграфик.
+
<tex> \lambda_{n+1} \overline G(\tau) = \sum\limits_{j=1}^p \lambda_{n+1} \overline G_j = \sum\limits_{j=1}^p M_j \lambda_n e_j = \overline S(\tau) </tex>
  
Аналогично с <tex> M_j : G(f) \subset \overline G(\tau) </tex> {{TODO|t=расписать}}
+
Разность <tex> \lambda_{n+1} \overline G(\tau) - \lambda_{n+1} \underline G(\tau) = \overline S(\tau) - \underline S (\tau) </tex> сколь угодно мала в силу существования интеграла за счет выбора разбиения <tex> \tau </tex>.
  
<tex> \lambda_{n+1} \overline G(\tau) - \lambda_{n+1} \underline G(\tau) = \overline s(\tau) - \underline s (\tau) </tex> — сколь угодно мала в силу существования интеграла за счет выбора разбиения <tex> \tau </tex>.
+
По критерию <tex> \mu^* </tex>-измеримости, подграфик <tex> G </tex> оказывается измеримым и <tex> \lambda_{n+1} \underline G(\tau) = \underline s(\tau) \le \lambda_{n+1} G(f) \le \lambda_{n+1} \overline G(\tau) = \overline S(\tau)</tex>  
 
 
По критерию <tex> \mu^* </tex>-измеримости подграфик оказывается измеримым и <tex> \underline s(\tau) \le \lambda_{n+1} G(f) \le \overline s(\tau) = \lambda_{n+1} \overline G(\tau) </tex>  
 
  
 
В этом неравенстве разбиение — любое. Между парой сумм Лебега-Дарбу можно вставить только интеграл, значит, <tex> \lambda_{n+1} G(f) = \int\limits_E f d \lambda_n </tex>. Базовый случай разобран.
 
В этом неравенстве разбиение — любое. Между парой сумм Лебега-Дарбу можно вставить только интеграл, значит, <tex> \lambda_{n+1} G(f) = \int\limits_E f d \lambda_n </tex>. Базовый случай разобран.
  
Далее разбор случаев:
+
1) <tex> \lambda_n E = + \infty </tex>,  <tex> f </tex> — ограничена на <tex> E </tex>. (По сигма-конечности меры?) Представим E как объединение возрастающей последовательности множеств <tex> E_m </tex> с конечной мерой, пусть <tex> G_m </tex> — подграфик сужения f на множестве <tex> E_m </tex>. <tex> \bigcup\limits_m G_m = G </tex> — измеримо.
  
1) <tex> \lambda_n E = + \infty </tex>. <tex> E_m </tex>(стрелка вверх o_O). <tex> \lambda_n E_m < + \infty </tex>. <tex> E = \bigcup\limits_m E_m </tex> по сигма-конечности меры. <tex> f </tex> — ограничена на <tex> E </tex>. <tex> G_m </tex> (стрелка вверх) — подграфик <tex> f </tex> пшшш. <tex> \bigcup\limits_m G_m = G </tex> — измерима.
+
<tex> \lambda_{n+1} G = \lim \lambda_{n+1} G_m = \lim \int\limits_{E_m} f d \lambda_n = \int\limits_E f d \lambda_n </tex>(по сигма-аддитивности интеграла).
  
<tex> \lambda_{n+1} G = \lim \lambda_{n+1} G_m = \lim\limits_m \int\limits_{E_m} f d \lambda_n </tex>. По сигма-аддитивности интеграла = <tex> \int\limits_E f d \lambda_n </tex>. Формула доказана.
+
2) Если <tex> f </tex> не ограничена на <tex> E </tex>, то выстраиваем так называемые срезки:
 
 
2) Если <tex> f </tex> не ограничена на <tex> E </tex> произв. меры, то выстраиваем так называемые срезки:
 
  
 
<tex> f_m(x) = \begin{cases} f(x), & f(x) \le m \\ m, & f(x) > m \end{cases} </tex>
 
<tex> f_m(x) = \begin{cases} f(x), & f(x) \le m \\ m, & f(x) > m \end{cases} </tex>
Строка 128: Строка 127:
 
<tex> f_m(x) </tex> — возрастает, <tex> f_m(x) \le f_{m+1} (x) </tex>
 
<tex> f_m(x) </tex> — возрастает, <tex> f_m(x) \le f_{m+1} (x) </tex>
  
По теореме Леви:
+
По теореме Леви,
 +
<tex> \int\limits_E f_m d \lambda_n \to \int\limits_E f d \lambda_n </tex>
  
<tex> \int\limits_E f_m d \lambda_n \to \int\limits_E f d \lambda_n </tex>
+
Пусть <tex> G_m </tex> — подграфик срезки <tex> f_m </tex>. Подграфики срезок образуют возрастающую последовательность и <tex> G = \bigcup\limits_m G_m</tex>.
  
<tex> G_m </tex> — подграфик срезки <tex> f_m </tex>
+
Так как срезки — функция ограниченная, из первого пункта: <tex> \lambda_{n+1} G_m = \int\limits_E f_m d \lambda_n \to \int\limits_E f d \lambda_n </tex>
  
срезки — функция ограниченная. <tex> \int\limits_E f_m d \lambda_n = \lambda_{n+1} G_m \to \int\limits_E f d \lambda_n </tex>; с другой стороны <tex> f_n \to f, G_m </tex> (стрелка вверх), <tex> \bigcup\limits_m G_m = G </tex> — подграфик измерим и по сигма-аддитивности <tex> \lambda_{n+1} G = \lim\limits_m \lambda_{n+1} G_m = \int\limits_E f d \lambda_n </tex>. Формула выведена в общем случае.
+
<tex> \lambda_{n+1} G = \lim\limits_m \lambda_{n+1} G_m = \int\limits_E f d \lambda_n </tex>. Формула выведена в общем случае.
 
}}
 
}}
 +
 +
[[Пространство L_p(E)|<<]][[Теорема Фубини|>>]]
 +
[[Категория:Математический анализ 2 курс]]

Текущая версия на 19:21, 4 сентября 2022

<<>>

В этом параграфе будет дан геометрический смысл интеграла Лебега.


Определение:
Пусть [math] E \subset \mathbb R^n, f : E \to \mathbb R_+, f [/math] — измерима.
[math] G(f) = G = \{ (x_1 \ldots x_{n + 1}) \in \mathbb R^{n+1} : (x_1 \ldots x_n) \in E, 0 \le x_{n + 1} \le f(x_1 \ldots x_n) \} [/math]подграфик функции.


Цилиндры

Если [math] f(x_1 \ldots x_n) = c \ge 0 [/math] на [math] E [/math], то подграфик называется цилиндром в [math] \mathbb R^{n + 1} [/math].

Утверждение:
[math] G [/math] - цилиндр высоты [math] c \ge 0 [/math], измеримое [math] E \subset \mathbb R^n [/math] — основание. Тогда он измерим и при [math] c \gt 0: \lambda_{n+1} G = c \lambda_n E [/math], при [math] c = 0: \lambda_{n+1} G = 0 [/math].
[math]\triangleright[/math]

Доказательство ведем от простого к сложному, применяется критерий [math] \mu^* [/math]-измеримости.

1) Пусть [math] E [/math] — параллелепипед (ячейка), тогда [math] G [/math] тоже ячейка, формула выполняется.

2) Пусть [math] E [/math] — открытое множество. Его можно записать в форме счетного объединения дизъюнктных ячеек:

[math] E = \bigcup\limits_n \Delta_n [/math].

Пусть [math] G_n = \Delta_n \times [0, c] [/math];

[math] G = E \times [0, c] = \bigcup\limits_n G_n [/math] — тоже дизъюнктное объединение.

[math] G_n [/math] — измеримы, следовательно, [math] G [/math] — измеримо.

По сигма-аддитивности меры, [math] \lambda_{n+1} G = \sum\limits_m \lambda_{n+1} G_m = \sum\limits_m c \lambda_n \Delta_m = c \sum\limits_m \lambda_n \Delta_m = c \lambda_n E [/math].

3) [math] E [/math] — ограниченное замкнутое множество.

Возьмем некий открытый параллелепипед [math] \Delta [/math], такой, что [math] E \subset \Delta [/math].

[math] \overline E = \Delta \setminus E [/math] — открыто — можно применить пункт 2: [math] \lambda_{n+1} \overline G = c \lambda_n \overline E [/math].

[math] \lambda_{n+1} (\Delta \times [0, c]) = c \lambda_n \Delta [/math]

[math] E = \Delta \setminus \overline E, \lambda_{n+1} G = \lambda_{n+1} (\Delta \times [0, c]) - \lambda_{n+1}(\overline G) = c(\lambda_n \Delta - \lambda_n \overline E) = c \lambda_n E [/math].

4) [math] E [/math] — ограниченное и измеримое.

Для произвольного [math] \varepsilon \gt 0 [/math] подбираем [math] F_\varepsilon [/math] — замкнутое и [math] G_\varepsilon [/math] — открытое:

[math] F_\varepsilon \subset E \subset G_\varepsilon, \lambda_n G_\varepsilon - \lambda_n F_\varepsilon \lt \varepsilon [/math].

[math] F_\varepsilon \times [0, c] \subset G \subset G_\varepsilon \times [0, c] [/math].

[math] \lambda_{n + 1} (G_\varepsilon \times [0, c]) - \lambda_{n+1} (F_\varepsilon \times [0, c]) = c (\lambda_n G_\varepsilon - \lambda_n F_\varepsilon) \lt c \varepsilon [/math].

[math] \varepsilon [/math] — мало, следовательно, по критерию [math] \mu^* [/math]-измеримости, [math] G [/math] — измеримо. По монотонности меры:

[math] \lambda_{n+1} F_\varepsilon \le \lambda_{n+1} G \le \lambda_{n+1} G_\varepsilon [/math]

Также, так как [math] \lambda_n F_\varepsilon \le \lambda_n E \le \lambda_n G_\varepsilon [/math], то [math] \lambda_{n+1} F_\varepsilon \le c \lambda_{n} E \le \lambda_{n+1} G_\varepsilon [/math].

Устремляя [math] \varepsilon [/math] к нулю, в пределе приходим к [math] \lambda_{n+1} G = c \lambda_n E [/math].

5) [math] E [/math] — произвольное измеримое множество.

Из сигма-конечности меры Лебега следует, что [math] E = \bigcup\limits_{m=1}^{\infty} E_m [/math] — объединение возрастающих последовательностей ограниченных измеримых попарно дизъюнктных множеств.

Цилиндр [math] G = \bigcup\limits_{m=1}^{\infty} G_m [/math], где [math] G_m = E_m \times [0, c] [/math].

По уже доказанному, [math] \lambda_{n+1} G_m = c \lambda_n E_m [/math], а по свойствам меры, [math] \lambda_{n+1} G = \sum\limits_m \lambda_{n+1} G_m = c \sum\limits_m \lambda_n E_m = c \lambda_n E [/math].

6) Рассмотрим случай [math] c = 0 [/math].

Пусть [math] \lambda_n E \lt + \infty [/math], погрузим цилиндр [math] G [/math] в цилиндр [math] G' [/math] с тем же основанием, и сколь угодно малой высотой [math] c' \gt 0 [/math]. Из этого получаем, что [math] G [/math] измерим и его мера — нулевая.

В противном случае, представим E в виде счетного объединения множеств с конечной мерой. Тогда [math] G = \bigcup\limits_{m=1}^{\infty} G_m [/math], где [math] G_m [/math] — цилиндр с основанием [math] E_m [/math] и высотой 0. По доказанному, [math] \lambda_{n+1} G_m = 0[/math], а тогда и [math] \lambda_{n+1} G = 0 [/math].
[math]\triangleleft[/math]

Теорема о мере подграфика

Теорема (о мере подграфика):
Если [math] f(x) \ge 0 [/math] и измерима на множестве [math] E \in \mathbb R^n [/math], то её подграфик [math] G(f) [/math] — измерим, а [math] \lambda_{n+1}(G) = \int\limits_E f d \lambda_n [/math].
Доказательство:
[math]\triangleright[/math]

0) Базовым случаем будет тот, когда дело сводится к суммам Лебега-Дарбу.

[math] f [/math] — ограниченная функция, [math] E [/math] — измеримое множество конечной меры. [math] f [/math] — измерима, следовательно, интеграл Лебега существует: [math] \exists \int\limits_E f d \lambda_n [/math]

Рассмотрим [math] \tau: E = \bigcup\limits_{j=1}^p e_j [/math] — дизъюнктны.

[math] m_j = \inf\limits_{e_j} f(x), M_j = \sup\limits_{e_j} f(x) [/math]

[math] \underline s (\tau) = \sum\limits_{j=1}^p m_j \lambda_n e_j [/math], [math] \overline S (\tau) = \sum\limits_{j=1}^p M_j \lambda_n e_j [/math]

[math] \underline G_j = e_j \times [0, m_j] [/math], [math] \overline G_j = e_j \times [0, M_j] [/math] — цилиндры с основанием [math] e_j [/math] и высотами [math] m_j, M_j [/math].

Представим [math] \underline G[/math] как дизъюнктное объединение: [math] \underline G = \bigcup_{j=1}^p \underline G_j [/math]. Аналогично, [math] \overline G \bigcup_{j=1}^p \overline G_j [/math].

Ясно, что [math] \underline G \subset G \subset \overline G [/math].

При этом:

[math] \lambda_{n+1} \underline G(\tau) = \sum\limits_{j=1}^p \lambda_{n+1} \underline G_j = \sum\limits_{j=1}^p m_j \lambda_n e_j = \underline S(\tau) [/math]

[math] \lambda_{n+1} \overline G(\tau) = \sum\limits_{j=1}^p \lambda_{n+1} \overline G_j = \sum\limits_{j=1}^p M_j \lambda_n e_j = \overline S(\tau) [/math]

Разность [math] \lambda_{n+1} \overline G(\tau) - \lambda_{n+1} \underline G(\tau) = \overline S(\tau) - \underline S (\tau) [/math] сколь угодно мала в силу существования интеграла за счет выбора разбиения [math] \tau [/math].

По критерию [math] \mu^* [/math]-измеримости, подграфик [math] G [/math] оказывается измеримым и [math] \lambda_{n+1} \underline G(\tau) = \underline s(\tau) \le \lambda_{n+1} G(f) \le \lambda_{n+1} \overline G(\tau) = \overline S(\tau)[/math]

В этом неравенстве разбиение — любое. Между парой сумм Лебега-Дарбу можно вставить только интеграл, значит, [math] \lambda_{n+1} G(f) = \int\limits_E f d \lambda_n [/math]. Базовый случай разобран.

1) [math] \lambda_n E = + \infty [/math], [math] f [/math] — ограничена на [math] E [/math]. (По сигма-конечности меры?) Представим E как объединение возрастающей последовательности множеств [math] E_m [/math] с конечной мерой, пусть [math] G_m [/math] — подграфик сужения f на множестве [math] E_m [/math]. [math] \bigcup\limits_m G_m = G [/math] — измеримо.

[math] \lambda_{n+1} G = \lim \lambda_{n+1} G_m = \lim \int\limits_{E_m} f d \lambda_n = \int\limits_E f d \lambda_n [/math](по сигма-аддитивности интеграла).

2) Если [math] f [/math] не ограничена на [math] E [/math], то выстраиваем так называемые срезки:

[math] f_m(x) = \begin{cases} f(x), & f(x) \le m \\ m, & f(x) \gt m \end{cases} [/math]

[math] f_m(x) [/math] — измеримая, [math] f_m(x) \xrightarrow[m \to \infty]{} f(x) [/math]

[math] f_m(x) [/math] — возрастает, [math] f_m(x) \le f_{m+1} (x) [/math]

По теореме Леви, [math] \int\limits_E f_m d \lambda_n \to \int\limits_E f d \lambda_n [/math]

Пусть [math] G_m [/math] — подграфик срезки [math] f_m [/math]. Подграфики срезок образуют возрастающую последовательность и [math] G = \bigcup\limits_m G_m[/math].

Так как срезки — функция ограниченная, из первого пункта: [math] \lambda_{n+1} G_m = \int\limits_E f_m d \lambda_n \to \int\limits_E f d \lambda_n [/math]

[math] \lambda_{n+1} G = \lim\limits_m \lambda_{n+1} G_m = \int\limits_E f d \lambda_n [/math]. Формула выведена в общем случае.
[math]\triangleleft[/math]

<<>>