Мера, порождённая внешней мерой

<< >>

Определение:

Пусть есть множество [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]

<< >>