Мера, порождённая внешней мерой — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
("У вас голова еще работает!? Или вы все уже к выборам готовитесь?")
(нет различий)

Версия 05:27, 10 октября 2011

<< >>


Определение:
Пусть есть множество [math] X [/math] и внешняя мера [math] \mu^* [/math] на нем, и множества [math] A, B [/math] являются подмножествами [math] X [/math]. Множество [math] A [/math] хорошо разбивает множество [math] B [/math], если [math] \mu^*(B) = \mu^*(B \cap A) + \mu^*(B \cap \overline{A}) [/math].


Так как [math] B = (B \cap A) \cup (B \cap \overline{A}) [/math], то, по полуаддитивности внешней меры, [math] \mu^*(B) \le \mu^*(B \cap A) + \mu^*(B \cap \overline{A}) [/math] всегда, поэтому, когда мы будем проверять, что одно множество хорошо разбивает другое, достаточно проверять неравенство [math] \mu^*(B) \ge \mu^*(B \cap A) + \mu^*(B \cap \overline{A}) [/math]. Оно всегда верно, если [math] \mu^*(B) = +\infty [/math], поэтому далее будем проверять его только для случая [math] \mu^*(B) \le +\infty [/math].

Выделим в [math] X [/math] класс множеств [math] \mathcal{A} [/math], такой, что каждое [math] A \in \mathcal{A} [/math] хорошо разбивает любое множество из [math] X [/math].

Теорема:
1) [math] \mathcal{A} [/math][math] \sigma [/math]-алгебра множеств.
2) [math] \mu^* |_{\mathcal{A}} [/math] — мера на [math] \mathcal{A} [/math].
Доказательство:
[math]\triangleright[/math]

Доказательство разбиваем на 2 этапа. На первом этапе мы докажем, что [math] \mathcal{A} [/math] - алгебра, а [math] \mu^* [/math] конечно-аддитивна на этой алгебре. На втором этапе — что [math] \mathcal{A} [/math][math] \sigma [/math]-алгебра, а [math] \mu^* [/math] является [math] \sigma [/math]-аддитивной на ней.

1.

Сначала проверим аксиомы алгебры:

[math] \forall E \subset X: \mu^*(E) \ge \mu^*(E) = \mu^*(\varnothing) + \mu^*(E) = \mu^*(E \cap \varnothing) + \mu^*(E \cap \overline{\varnothing}) [/math], значит, [math] \varnothing \in \mathcal{A} [/math].

Пусть [math] A \in \mathcal{A} [/math], тогда [math] \forall E \subset X: \mu^*(E) = \mu^*(E \cap A) + \mu^*(E \cap \overline{A}) = \mu^*(E \cap \overline{A}) + \mu^*(E \cap \overline{\overline{A}}) [/math], значит, для [math] \forall A \in \mathcal{A}:\ \overline{A} \in \mathcal{A}[/math].

Пусть [math] A, B \in \mathcal{A} [/math].

Заметим, что, так как [math] \overline{A \cap B} \subset \overline{A} [/math], то [math] E \cap \overline{A} = E \cap \overline{A \cap B} \cap \overline{A} [/math], и меры этих множеств равны.

Также, [math] A \cap \overline{B} = \overline{\overline{A} \cup B} = \overline{(A \cup \overline{A}) \cap (B \cup \overline{A})} = \overline{(A \cap B) \cup \overline{A}} = \overline{A \cap B} \cap A [/math], и [math] \mu^*(E \cap A \cap \overline{B}) = \mu^*(E \cap \overline{A \cap B} \cap A) [/math].

Тогда [math] \forall E \subset X: \mu^*(E) = \mu^*(E \cap A) + \mu^*(E \cap \overline{A}) = [/math]

[math] = \mu^*(E \cap A \cap B) + \mu^*(E \cap A \cap \overline B) + \mu^*(E \cap \overline{A}) = [/math]

[math] = \mu^*(E \cap A \cap B) + \mu^*(E \cap \overline{A \cap B} \cap A) + \mu^*(E \cap \overline{A \cap B} \cap \overline{A}) = [/math]

[math] = \mu^*(E \cap A \cap B) + \mu^*(E \cap \overline{A \cap B}) [/math].

Значит, [math] A \cap B [/math] тоже хорошо разбивает любое подмножество [math] X [/math] и принадлежит [math] \mathcal A [/math]. Мы доказали, что [math] \mathcal A [/math] - алгебра.

Пусть [math] A \in \mathcal{A}, A = A_1 \cup A_2 [/math], проверим, что [math] \mu^* [/math] конечно-аддитивна.

[math] \mu^*(A) = \mu^*(A_1 \cup A_2) = \mu^*((A_1 \cup A_2) \cap A_1) + \mu^*((A_1 \cup A_2) \cap \overline{A_1} = \mu^*(A_1) + \mu^*(A_2) [/math].

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

2.
[math]\triangleleft[/math]

<< >>