Процесс Каратеодори — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Теорема Каратеодори)
м (rollbackEdits.php mass rollback)
 
(не показаны 22 промежуточные версии 7 участников)
Строка 1: Строка 1:
{{TODO|t=ВАКАНСИЯ: ВНИМАТЕЛЬНЫЙ ЧИТАТЕЛЬ. НУЖЕН, ЧТОБЫ ОЗНАКОМИТЬСЯ С ЭТИМ ТЕКСТОМ И ИСПРАВИТЬ КОСЯКИ}}
+
[[Мера, порожденная внешней мерой|<<]] [[Объём n-мерного прямоугольника|>>]]
  
<tex>(X, \mathcal{R}, \mu) \to (X, 2^X, \mu^*) \to (X, \mathcal{A}, \mu)</tex>
+
Мы уже построили по мере на полукольце множеств внешнюю меру, а по ней - меру на σ-алгебре. Следующая теорема показывает, что при ее сужении на то полукольцо мы получим исходную меру.
  
 
==Теорема Каратеодори==
 
==Теорема Каратеодори==
Строка 8: Строка 8:
 
|author=Каратеодори
 
|author=Каратеодори
 
|statement=
 
|statement=
1. <tex>\mathcal{R} \subset \mathcal{A}</tex>
+
Пусть построения <tex>(X, \mathcal{R}, m) \to (X, 2^X, \mu^*) \to (X, \mathcal{A}, \mu)</tex> были выполнены так, как описывалось в предыдущих параграфах. Тогда:
2. <tex>\mu|_\mathcal{R} = m</tex>
+
# <tex>\mathcal{R} \subset \mathcal{A}</tex>
 +
# <tex>\mu|_\mathcal{R} = m</tex>
 
|proof=  
 
|proof=  
Если мы докажем, что <tex>\mathcal{R} \subset \mathcal{A}</tex>, то есть, любое множество из полукольца хорошо разбивает любое другое, то, взяв любое <tex>A \in \mathcal{R}</tex>, так как <tex>\mathcal{R} \subset \mathcal{A}</tex>, получим <tex>\mu^*(A) = \mu(A)</tex>. Но <tex>A\in \mathcal{A}</tex> и <tex>\mu^*</tex> порождена <tex>m</tex> (<tex>\mu^* |_\mathcal{R} = m</tex>), то есть <tex>\mu^* A = mA \Rightarrow \mu A = mA</tex>
+
Если мы докажем, что <tex>\mathcal{R} \subset \mathcal{A}</tex>, то есть, любое множество из полукольца хорошо разбивает любое другое, то, взяв любое <tex>A \in \mathcal{R}</tex>, так как <tex>\mathcal{R} \subset \mathcal{A}</tex>, получим <tex>\mu^*(A) = \mu(A)</tex>. Но <tex>A\in \mathcal{A}</tex> и <tex>\mu^*</tex> порождена <tex>m</tex> (<tex>\mu^* |_\mathcal{R} = m</tex>), то есть, <tex>\mu^* A = mA </tex>. Значит, <tex> \mu A = mA</tex>, и второй пункт вытекает из первого. Докажем первый пункт.
  
Значит, второй пункт вытекает из первого. Докажем первый пункт.
+
Для этого нам нужно показать, что для любого <tex>A \in \mathcal{R} </tex> выполнялось <tex>\forall E \subset X: \mu^* E \geq \mu^*(E\cap A) + \mu^*(E\cap\overline A)</tex>, тогда <tex> A </tex> хорошо разбивает любое множество (обратное неравенство, очевидно, выполняется по определению внешней меры) и принадлежит σ-алгебре.
  
<tex>\forall A \in \mathcal{R}\ \forall E \subset X</tex> нужно, чтобы <tex>\mu^* E \geq \mu^*(E\cap A) + \mu^*(E\cap\overline A)</tex>
+
Если <tex>\mu^* E = +\infty</tex>, то неравенство тривиально, поэтому считаем, что <tex>\mu^* E < +\infty</tex>.
 
 
Надо доказать, для <tex>\mu^* E < +\infty</tex>, обратное {{---}} очевидно.
 
  
 
Воспользуемся тем, что <tex>\mu^*</tex> порождена <tex>m</tex>:
 
Воспользуемся тем, что <tex>\mu^*</tex> порождена <tex>m</tex>:
  
<tex>\forall \varepsilon > 0\ \exists A_1, A_2 \ldots A_n \ldots \in \mathcal{R} : E \subset \bigcup\limits_j A_j</tex>, <tex>\sum\limits_j mA_j < \mu E + \varepsilon</tex>
+
<tex>\forall \varepsilon > 0\ \exists A_1, A_2 \ldots A_n \ldots \in \mathcal{R} : E \subset \bigcup\limits_j A_j,\ \sum\limits_j mA_j < \mu^∗E + \varepsilon</tex>
  
 
Пересекаем это включение с <tex>A</tex>
 
Пересекаем это включение с <tex>A</tex>
Строка 31: Строка 30:
 
Значит, мы получили покрытие этого множества элементами полукольца.  
 
Значит, мы получили покрытие этого множества элементами полукольца.  
  
Тогда, по определению <tex>\mu^*</tex>, порождённой <tex>m</tex>
+
Тогда, по определению <tex>\mu^*</tex>, порождённой <tex>m</tex>:
  
 
<tex>\mu^*(E\cap A) \leq \sum\limits_j m(A_j\cap A)</tex>
 
<tex>\mu^*(E\cap A) \leq \sum\limits_j m(A_j\cap A)</tex>
  
<tex>E\cap\overline A \subset \bigcup\limits_j(A_j\cap\overline A)</tex>. Однако, здесь нет гарантий, что <tex>A_j\cap\overline A \in \mathcal{R}</tex>.
+
При пересечении с <tex> \overline A </tex> получим <tex>E\cap\overline A \subset \bigcup\limits_j(A_j\cap\overline A)</tex>. Однако, здесь нет гарантий, что <tex>A_j\cap\overline A \in \mathcal{R}</tex>.
  
 
<tex>A_j\cap\overline A = A_j\setminus A = A_j\setminus (A\cap A_j)</tex>, <tex>A\cap A_j \in \mathcal{R}</tex>
 
<tex>A_j\cap\overline A = A_j\setminus A = A_j\setminus (A\cap A_j)</tex>, <tex>A\cap A_j \in \mathcal{R}</tex>
Строка 55: Строка 54:
 
<tex>\sum\limits_p mD_{jp} = mA_j - m(A\cap A_j)</tex>
 
<tex>\sum\limits_p mD_{jp} = mA_j - m(A\cap A_j)</tex>
  
Тогда, <tex>\mu^*(E\cap\overline A)\leq \sum(mA_j- m(A\cap A_j))</tex>
+
Тогда, <tex>\mu^*(E\cap\overline A)\leq \sum\limits_j (mA_j- m(A\cap A_j))</tex>
  
Складываем с предыдущим неравенством.
+
Складывая с предыдущим неравенством, получаем:
  
 
<tex>\mu^*(E\cap A) + \mu^*(E\cap\overline A) \leq \sum\limits_j mA_j < \mu^*E+\varepsilon</tex>
 
<tex>\mu^*(E\cap A) + \mu^*(E\cap\overline A) \leq \sum\limits_j mA_j < \mu^*E+\varepsilon</tex>
Строка 71: Строка 70:
 
}}
 
}}
  
{{Определение
+
Мы рассматриваем сигма-алгебру <tex>\mu^*</tex>-измеримых множеств.
|definition=Если <tex>A\in \mathcal{A}</tex>, то <tex>A</tex> {{---}} <tex>\mu</tex>-измеримо.
+
 
}}
 
 
===Полнота===  
 
===Полнота===  
 
{{Утверждение
 
{{Утверждение
|statement=Подмножество нульмерного множества само измеримо и нульмерно
+
|about=полнота
 +
|statement=Подмножество нульмерного множества само измеримо и нульмерно.
 
|proof=
 
|proof=
Пусть <tex>A\subset\mathcal{A}</tex>, <tex>\mu A = 0</tex>, <tex>B\subset A</tex>, <tex>E\subset X</tex>
+
Пусть <tex>A \in \mathcal{A}</tex>, <tex>\mu A = 0</tex>, <tex>B\subset A</tex>, <tex> \forall E\subset X</tex>
  
Проверим, что <tex>\mu^*E\geq \mu^*(E\cap B) - \mu^*(E\cap\bar B)</tex>
+
Проверим, что <tex>\mu^*E\geq \mu^*(E\cap B) + \mu^*(E\cap\bar B)</tex>
  
<tex>E\cap B \in \mathcal{A}</tex>
+
<tex>E\cap B \subset A</tex>
  
Тогда, по монотонности внешней меры, <tex>\mu^*(E\cap B) \leq \mu^*A \leq \mu A = 0</tex>
+
Тогда, по монотонности внешней меры, <tex>\mu^*(E\cap B) \leq \mu^*A = \mu A = 0</tex>
  
 
<tex>E \cap\bar B \subset E</tex>, <tex>\mu^*(E\cap\bar B) \leq \mu^*E</tex>
 
<tex>E \cap\bar B \subset E</tex>, <tex>\mu^*(E\cap\bar B) \leq \mu^*E</tex>
  
Значит, неравенство выполняется. Значит, <tex>B\subset A</tex>
+
Значит, неравенство выполняется. Значит, <tex>B \in \mathcal A</tex>, то есть измеримо.
  
 
По монотонности меры, <tex>\mu B \leq \mu A</tex>. <tex>\mu A = 0 \Rightarrow \mu B = 0</tex>.
 
По монотонности меры, <tex>\mu B \leq \mu A</tex>. <tex>\mu A = 0 \Rightarrow \mu B = 0</tex>.
 
}}
 
}}
Это свойство называется полнотой.
 
  
 
Можно считать, что распространение <tex>m</tex> с <tex>\mathcal{R}</tex> на <tex>\sigma</tex>-алгебру приводит к полной мере.
 
Можно считать, что распространение <tex>m</tex> с <tex>\mathcal{R}</tex> на <tex>\sigma</tex>-алгебру приводит к полной мере.
===Непрерывность(???)===
+
 
 +
===Непрерывность===
 
{{Утверждение
 
{{Утверждение
|statement=Пусть <tex>Е \subset X</tex>, <tex>A\subset E\subset B</tex>, <tex>A, B</tex> {{---}} <tex>m</tex>-измеримы, <tex>\mu(B\setminus A) = 0<tex>. Тогда <tex>E \in \mathcal{A}</tex>
+
|statement=Пусть <tex>E \subset X</tex>; <tex>A\subset E\subset B</tex>, <tex>A, B</tex> {{---}} <tex>\mu</tex>-измеримы, <tex>\mu(B\setminus A) = 0</tex>. Тогда <tex>E \in \mathcal{A}</tex>
|proof=В силу написанного выше ясно, что <tex>E\setminus A\subset B\setminus A</tex>. Последнее множество нульмерно. Значит, по полноте меры, <tex>E\setminus A = 0</tex>, <tex>E\in \mathcal{A}</tex>(<tex>E = A \cup (E\setminus A</tex>)
+
|proof=В силу написанного выше ясно, что <tex>E\setminus A\subset B\setminus A</tex>. Последнее множество нульмерно. Значит, по полноте меры, <tex>E\setminus A \in \mathcal A</tex>. Тогда, <tex>E\in \mathcal{A}</tex>, так как <tex>E = A \cup (E\setminus A)</tex>.
 
}}
 
}}
  
 
====Следствие====
 
====Следствие====
 
{{Утверждение
 
{{Утверждение
|about=Критерий <tex>\mu</tex>-измеримости
+
|about = Критерий <tex>\mu^*</tex>-измеримости
|statement=Пусть <tex>E\subset X</tex>. Тогда <tex>E</tex>-измеримо <tex>\iff</tex> <tex>\forall\varepsilon>0 \exists (A_\varepsilon, B_\varepsilon), A_\varepsilon, B_\varepsilon\in\mathcal{A} : A_\varepsilon \subset E \subset B_\varepsilon : \mu(A_\varepsilon\setminus B_\varepsilon) < \varepsilon</tex>
+
|statement =
|proof=Возьмём <tex>\varepsilon_n = \frac1n</tex>, <tex>A_n = A_{\varepsilon_n}</tex>, <tex>B = B_{\varepsilon_n}</tex>
+
Пусть <tex>E\subset X</tex>. Тогда <tex>E</tex> — <tex>\mu^*</tex>-измеримо <tex>\iff</tex> <tex>\forall\varepsilon > 0</tex>  <tex> \exists (A_\varepsilon, B_\varepsilon), A_\varepsilon, B_\varepsilon\in\mathcal{A} : A_\varepsilon \subset E \subset B_\varepsilon : \mu(B_\varepsilon\setminus A_\varepsilon) < \varepsilon</tex>
 +
|proof=Возьмём <tex>\varepsilon_n = \frac1n</tex>, <tex>A_n = A_{\varepsilon_n}</tex>, <tex>B_n = B_{\varepsilon_n}</tex>
  
 
<tex>A = \bigcup\limits_{n = 1}^{\infty} A_n</tex>, <tex>B = \bigcap\limits_{n = 1}^{\infty} B_n</tex>
 
<tex>A = \bigcup\limits_{n = 1}^{\infty} A_n</tex>, <tex>B = \bigcap\limits_{n = 1}^{\infty} B_n</tex>
  
Приходим опять к измеримым множествам, ибо <tex>\sigma</tex>-алгебра.  
+
Так как мы работаем с <tex>\sigma</tex>-алгеброй, то <tex> A </tex> и <tex> B </tex> тоже измеримы.
  
 
Так как <tex>A_n \subset E \subset B_n</tex>, то <tex>A \subset E \subset B</tex>.
 
Так как <tex>A_n \subset E \subset B_n</tex>, то <tex>A \subset E \subset B</tex>.
Строка 119: Строка 119:
 
<tex>n \to \infty \Rightarrow \mu(B\setminus A) = 0</tex>
 
<tex>n \to \infty \Rightarrow \mu(B\setminus A) = 0</tex>
  
Мы нашли пару измеримых множеств, между которыми вставлено <tex>E</tex>. <tex>\mu(B\setminus A) = 0</tex>. Значит, по предыдущим фактам, верно.
+
Мы нашли пару измеримых множеств, между которыми вставлено <tex>E</tex>. <tex>\mu(B\setminus A) = 0</tex>. Значит, по непрерывности <tex> \mu </tex>, утверждение верно.
  
Обратное верно, так как можно взять <tex>A=B=E</tex>
+
Обратное верно, так как можно взять <tex>A=B=E</tex>.
 
}}
 
}}
  
 
==Процесс Каратеодори==
 
==Процесс Каратеодори==
Забавно: <tex>m, \mathcal{R} \to \mu^* \to \mu, \mathcal{A} \to \nu^*</tex>
+
Забавно: <tex>m, \mathcal{R} \to \mu^* \to \mu, \mathcal{A} \to \nu^*</tex>.
  
 
Построим <tex>\nu^*</tex> {{---}} внешняя мера для <tex>\mu, \mathcal{A}</tex> (<tex>\sigma</tex>-алгебра {{---}} частный случай полукольца).
 
Построим <tex>\nu^*</tex> {{---}} внешняя мера для <tex>\mu, \mathcal{A}</tex> (<tex>\sigma</tex>-алгебра {{---}} частный случай полукольца).
Строка 131: Строка 131:
  
 
{{Теорема
 
{{Теорема
|statement=<tex>\mu^*=\nu^*</tex> (повторное применение процесса Каратеодори к новому распространению не приводит)
+
|statement=<tex>\mu^*=\nu^*</tex> (повторное применение процесса Каратеодори не приводит нас к новой мере).
 
|proof=
 
|proof=
<tex>\mu^*</tex> строилось на базе покрытий из <tex>\mathcal{R}</tex>, <tex>\mathcal{R} \in \mathcal{A}</tex>
+
<tex>\mu^*</tex> строилось на базе покрытий из <tex>\mathcal{R}</tex>, <tex>\mathcal{R} \subset \mathcal{A}</tex>.
  
 
<tex>\nu^*</tex> строится на базе покрытий из <tex>\mathcal{A}</tex>. Это значит, что покрытий стало больше, то есть,
 
<tex>\nu^*</tex> строится на базе покрытий из <tex>\mathcal{A}</tex>. Это значит, что покрытий стало больше, то есть,
Строка 140: Строка 140:
 
Осталось доказать, что <tex>\mu^* E \leq \nu^* E</tex>
 
Осталось доказать, что <tex>\mu^* E \leq \nu^* E</tex>
  
Если новая мера бесконечна, то неравенство очевидно. Пусть тогда она конечна.
+
Если новая мера бесконечна, то неравенство очевидно. Тогда, пусть она конечна.
  
Раз она порождена <tex>\mu</tex>, <tex>\forall \varepsilon\exists</tex> система измеримых множеств <tex>B_1, B_2, \ldots, B_n, \ldots \in \mathcal{A}</tex>, <tex>E\subset\bigcup\limits_nB_n</tex>,
+
Раз она порождена <tex>\mu</tex>, <tex>\forall \varepsilon</tex> есть система измеримых множеств <tex>B_1, B_2, \ldots, B_n, \ldots \in \mathcal{A}</tex>, <tex>E\subset\bigcup\limits_nB_n</tex>,
  
 
<tex>\sum\limits_n\mu B_n < \nu^*E+\varepsilon</tex>
 
<tex>\sum\limits_n\mu B_n < \nu^*E+\varepsilon</tex>
Строка 153: Строка 153:
 
Отсюда, в частности, получается, что <tex>E \subset \bigcup\limits_n B_n \subset \bigcup\limits_n \bigcup\limits_j A_{nj}</tex>
 
Отсюда, в частности, получается, что <tex>E \subset \bigcup\limits_n B_n \subset \bigcup\limits_n \bigcup\limits_j A_{nj}</tex>
  
<tex>\sum\limits_n\mu B_n < \nu^*E + \varepsilon</tex>. Заменяя каждое слагаемое ряда меньшей величиной,  
+
<tex>\sum\limits_n\mu B_n < \nu^*E + \varepsilon</tex>. Заменяя каждое слагаемое ряда меньшей величиной, получаем:
  
 
<tex>\sum\limits_n\left(\sum\limits_jmA_{nj} - \frac\varepsilon{2^n} \right) < \nu^* E + \varepsilon</tex>
 
<tex>\sum\limits_n\left(\sum\limits_jmA_{nj} - \frac\varepsilon{2^n} \right) < \nu^* E + \varepsilon</tex>
Строка 161: Строка 161:
 
<tex>E \subset \bigcup\limits_n\bigcup\limits_j A_{nj}</tex>, <tex>\mu^*E \leq \sum\limits_n\sum\limits_j mA_{nj}</tex> (по определению <tex>\mu^*</tex>).
 
<tex>E \subset \bigcup\limits_n\bigcup\limits_j A_{nj}</tex>, <tex>\mu^*E \leq \sum\limits_n\sum\limits_j mA_{nj}</tex> (по определению <tex>\mu^*</tex>).
  
Сопоставляя с предыдущим неравенством, <tex>mu^*E < \nu^* E + 2\varepsilon</tex>
+
Сопоставляя с предыдущим неравенством, <tex>\mu^*E \le \nu^* E + 2\varepsilon</tex>
  
 
Устремляя <tex>\varepsilon</tex> к нулю, побеждаем.
 
Устремляя <tex>\varepsilon</tex> к нулю, побеждаем.
 
}}
 
}}
 +
 +
[[Мера, порожденная внешней мерой|<<]] [[Объём n-мерного прямоугольника|>>]]
 +
[[Категория:Математический анализ 2 курс]]

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

<< >>

Мы уже построили по мере на полукольце множеств внешнюю меру, а по ней - меру на σ-алгебре. Следующая теорема показывает, что при ее сужении на то полукольцо мы получим исходную меру.

Теорема Каратеодори

Теорема (Каратеодори):
Пусть построения [math](X, \mathcal{R}, m) \to (X, 2^X, \mu^*) \to (X, \mathcal{A}, \mu)[/math] были выполнены так, как описывалось в предыдущих параграфах. Тогда:
  1. [math]\mathcal{R} \subset \mathcal{A}[/math]
  2. [math]\mu|_\mathcal{R} = m[/math]
Доказательство:
[math]\triangleright[/math]

Если мы докажем, что [math]\mathcal{R} \subset \mathcal{A}[/math], то есть, любое множество из полукольца хорошо разбивает любое другое, то, взяв любое [math]A \in \mathcal{R}[/math], так как [math]\mathcal{R} \subset \mathcal{A}[/math], получим [math]\mu^*(A) = \mu(A)[/math]. Но [math]A\in \mathcal{A}[/math] и [math]\mu^*[/math] порождена [math]m[/math] ([math]\mu^* |_\mathcal{R} = m[/math]), то есть, [math]\mu^* A = mA [/math]. Значит, [math] \mu A = mA[/math], и второй пункт вытекает из первого. Докажем первый пункт.

Для этого нам нужно показать, что для любого [math]A \in \mathcal{R} [/math] выполнялось [math]\forall E \subset X: \mu^* E \geq \mu^*(E\cap A) + \mu^*(E\cap\overline A)[/math], тогда [math] A [/math] хорошо разбивает любое множество (обратное неравенство, очевидно, выполняется по определению внешней меры) и принадлежит σ-алгебре.

Если [math]\mu^* E = +\infty[/math], то неравенство тривиально, поэтому считаем, что [math]\mu^* E \lt +\infty[/math].

Воспользуемся тем, что [math]\mu^*[/math] порождена [math]m[/math]:

[math]\forall \varepsilon \gt 0\ \exists A_1, A_2 \ldots A_n \ldots \in \mathcal{R} : E \subset \bigcup\limits_j A_j,\ \sum\limits_j mA_j \lt \mu^∗E + \varepsilon[/math]

Пересекаем это включение с [math]A[/math]

[math]E \cap A \subset \bigcup\limits_j(A_j \cap A)[/math]

По аксиомам полукольца, [math]A_j\cap A \in \mathcal{R}[/math].

Значит, мы получили покрытие этого множества элементами полукольца.

Тогда, по определению [math]\mu^*[/math], порождённой [math]m[/math]:

[math]\mu^*(E\cap A) \leq \sum\limits_j m(A_j\cap A)[/math]

При пересечении с [math] \overline A [/math] получим [math]E\cap\overline A \subset \bigcup\limits_j(A_j\cap\overline A)[/math]. Однако, здесь нет гарантий, что [math]A_j\cap\overline A \in \mathcal{R}[/math].

[math]A_j\cap\overline A = A_j\setminus A = A_j\setminus (A\cap A_j)[/math], [math]A\cap A_j \in \mathcal{R}[/math]

Тогда, по аксиомам полукольца, [math]A_j\setminus (A\cap A_j) = \bigcup\limits_p D_{jp}[/math] — дизъюнктны в [math]\mathcal{R}[/math].

[math]E\cap\overline A \subset \bigcup\limits_j \bigcup\limits_p D_{jp}[/math], все [math]D[/math] — из полукольца.

Значит, [math]E\cap\overline A[/math] покрывается элементами полукольца, так как [math]\mu^*[/math] порождена [math]m[/math].

[math]\mu^*(E\cap\overline A) \leq \sum\limits_j \sum\limits_p mD_{jp}[/math]

[math]A_j = (A_j \cap A) \cup \bigcup\limits_p D_{jp}[/math] — из полукольца.

Таким образом, [math]A_j \in \mathcal{R}[/math] разбивается в дизъюнктное объединение множеств из [math]\mathcal{R}[/math]. Отсюда, по [math]\sigma[/math]-аддитивности меры,

[math]mA_j = m(A\cap A_j) + \sum\limits_p mD_{jp}[/math]

[math]\sum\limits_p mD_{jp} = mA_j - m(A\cap A_j)[/math]

Тогда, [math]\mu^*(E\cap\overline A)\leq \sum\limits_j (mA_j- m(A\cap A_j))[/math]

Складывая с предыдущим неравенством, получаем:

[math]\mu^*(E\cap A) + \mu^*(E\cap\overline A) \leq \sum\limits_j mA_j \lt \mu^*E+\varepsilon[/math]

При [math]\varepsilon \to 0[/math] получаем требуемое неравенство.
[math]\triangleleft[/math]

Некоторые свойства полученной меры

Установим некоторые свойства полученной меры

Определение:
Полученная мера [math]\mu[/math] — стандартное распространение по Каратеодори меры [math]m[/math] с полукольца на [math]\sigma[/math]-алгебру.


Мы рассматриваем сигма-алгебру [math]\mu^*[/math]-измеримых множеств.

Полнота

Утверждение (полнота):
Подмножество нульмерного множества само измеримо и нульмерно.
[math]\triangleright[/math]

Пусть [math]A \in \mathcal{A}[/math], [math]\mu A = 0[/math], [math]B\subset A[/math], [math] \forall E\subset X[/math]

Проверим, что [math]\mu^*E\geq \mu^*(E\cap B) + \mu^*(E\cap\bar B)[/math]

[math]E\cap B \subset A[/math]

Тогда, по монотонности внешней меры, [math]\mu^*(E\cap B) \leq \mu^*A = \mu A = 0[/math]

[math]E \cap\bar B \subset E[/math], [math]\mu^*(E\cap\bar B) \leq \mu^*E[/math]

Значит, неравенство выполняется. Значит, [math]B \in \mathcal A[/math], то есть измеримо.

По монотонности меры, [math]\mu B \leq \mu A[/math]. [math]\mu A = 0 \Rightarrow \mu B = 0[/math].
[math]\triangleleft[/math]

Можно считать, что распространение [math]m[/math] с [math]\mathcal{R}[/math] на [math]\sigma[/math]-алгебру приводит к полной мере.

Непрерывность

Утверждение:
Пусть [math]E \subset X[/math]; [math]A\subset E\subset B[/math], [math]A, B[/math][math]\mu[/math]-измеримы, [math]\mu(B\setminus A) = 0[/math]. Тогда [math]E \in \mathcal{A}[/math]
[math]\triangleright[/math]
В силу написанного выше ясно, что [math]E\setminus A\subset B\setminus A[/math]. Последнее множество нульмерно. Значит, по полноте меры, [math]E\setminus A \in \mathcal A[/math]. Тогда, [math]E\in \mathcal{A}[/math], так как [math]E = A \cup (E\setminus A)[/math].
[math]\triangleleft[/math]

Следствие

Утверждение (Критерий [math]\mu^*[/math]-измеримости):
Пусть [math]E\subset X[/math]. Тогда [math]E[/math][math]\mu^*[/math]-измеримо [math]\iff[/math] [math]\forall\varepsilon \gt 0[/math] [math] \exists (A_\varepsilon, B_\varepsilon), A_\varepsilon, B_\varepsilon\in\mathcal{A} : A_\varepsilon \subset E \subset B_\varepsilon : \mu(B_\varepsilon\setminus A_\varepsilon) \lt \varepsilon[/math]
[math]\triangleright[/math]

Возьмём [math]\varepsilon_n = \frac1n[/math], [math]A_n = A_{\varepsilon_n}[/math], [math]B_n = B_{\varepsilon_n}[/math]

[math]A = \bigcup\limits_{n = 1}^{\infty} A_n[/math], [math]B = \bigcap\limits_{n = 1}^{\infty} B_n[/math]

Так как мы работаем с [math]\sigma[/math]-алгеброй, то [math] A [/math] и [math] B [/math] тоже измеримы.

Так как [math]A_n \subset E \subset B_n[/math], то [math]A \subset E \subset B[/math].

[math]\forall n : B\setminus A \subset B_n\setminus A_n[/math]

Тогда, по монотонности меры, [math]\mu(B\setminus A)\leq \mu(B_n\setminus A_n) \lt \frac1n[/math].

[math]n \to \infty \Rightarrow \mu(B\setminus A) = 0[/math]

Мы нашли пару измеримых множеств, между которыми вставлено [math]E[/math]. [math]\mu(B\setminus A) = 0[/math]. Значит, по непрерывности [math] \mu [/math], утверждение верно.

Обратное верно, так как можно взять [math]A=B=E[/math].
[math]\triangleleft[/math]

Процесс Каратеодори

Забавно: [math]m, \mathcal{R} \to \mu^* \to \mu, \mathcal{A} \to \nu^*[/math].

Построим [math]\nu^*[/math] — внешняя мера для [math]\mu, \mathcal{A}[/math] ([math]\sigma[/math]-алгебра — частный случай полукольца). Возникает вопрос: "Построили ли мы что-то новое?"

Теорема:
[math]\mu^*=\nu^*[/math] (повторное применение процесса Каратеодори не приводит нас к новой мере).
Доказательство:
[math]\triangleright[/math]

[math]\mu^*[/math] строилось на базе покрытий из [math]\mathcal{R}[/math], [math]\mathcal{R} \subset \mathcal{A}[/math].

[math]\nu^*[/math] строится на базе покрытий из [math]\mathcal{A}[/math]. Это значит, что покрытий стало больше, то есть, [math]\forall E \subset X : \nu^* E \leq \mu^* E[/math]

Осталось доказать, что [math]\mu^* E \leq \nu^* E[/math]

Если новая мера бесконечна, то неравенство очевидно. Тогда, пусть она конечна.

Раз она порождена [math]\mu[/math], [math]\forall \varepsilon[/math] есть система измеримых множеств [math]B_1, B_2, \ldots, B_n, \ldots \in \mathcal{A}[/math], [math]E\subset\bigcup\limits_nB_n[/math],

[math]\sum\limits_n\mu B_n \lt \nu^*E+\varepsilon[/math]

В частности, [math]\forall n : \mu B_n \lt +\infty[/math]

Но [math]\mu B_n = \mu^* B_n[/math], и, раз она конечна и порождена мерой [math]m[/math], то [math]\exists A_{n_1}, A_{n_2}, \ldots, A_{n_j}, \ldots \in \mathcal{R} : \sum\limits_jmA_{n_j} \lt \mu B_n + \frac\varepsilon{2^n}[/math], [math]B_n \subset \bigcup\limits_j A_{n_j}[/math]

Отсюда, в частности, получается, что [math]E \subset \bigcup\limits_n B_n \subset \bigcup\limits_n \bigcup\limits_j A_{nj}[/math]

[math]\sum\limits_n\mu B_n \lt \nu^*E + \varepsilon[/math]. Заменяя каждое слагаемое ряда меньшей величиной, получаем:

[math]\sum\limits_n\left(\sum\limits_jmA_{nj} - \frac\varepsilon{2^n} \right) \lt \nu^* E + \varepsilon[/math]

[math]\sum\limits_n\sum\limits_j mA_{nj} \lt \nu^* E + 2\varepsilon[/math]

[math]E \subset \bigcup\limits_n\bigcup\limits_j A_{nj}[/math], [math]\mu^*E \leq \sum\limits_n\sum\limits_j mA_{nj}[/math] (по определению [math]\mu^*[/math]).

Сопоставляя с предыдущим неравенством, [math]\mu^*E \le \nu^* E + 2\varepsilon[/math]

Устремляя [math]\varepsilon[/math] к нулю, побеждаем.
[math]\triangleleft[/math]

<< >>