Внешняя мера

Материал из Викиконспекты
Перейти к: навигация, поиск

<< >>


Определение:
Внешняя мера на множестве [math] X [/math] - неотрицательная функция, заданная на множестве всех подмножеств [math] X [/math], и удовлетворяющая следующим аксиомам:

1) [math] \mu^* (\varnothing) = 0 [/math]

2) Для [math] A \subset \bigcup\limits_n A_n [/math] выполняется [math] \mu^*(A) \le \sum\limits_{n} \mu^*(A_n) [/math] (сигма-полуаддитивность)


Из свойства 2) следует, что для [math] A \subset B \quad \mu^*(A) \le \mu^*(B) [/math]монотонность внешней меры.

Сейчас мы произведем важное построение, которое, имея меру на полукольце, позволяет строить внешнюю меру (такая внешняя мера называется порожденной).

Пусть заданы полукольцо [math] (X; \mathcal R) [/math] и мера [math] m [/math] на нем. Тогда для любого множества [math] A \subset X [/math]:

1) Полагаем [math] \mu^*(A) = + \infty [/math], если [math] A [/math] нельзя покрыть не более чем счетным количеством множеств из полукольца.

2) Полагаем [math] \mu^*(A) = \inf\limits_{A \subset \bigcup\limits_{n} E_n} \sum\limits_{n} m(E_n) [/math], в противном случае [math](\exists E_1, E_2, ..., E_n, ... \in R: A \subset \bigcup\limits_{n} E_n )[/math] ; то есть внешняя мера является нижней гранью множества мер для всех не более чем счетных покрытий [math] A [/math] из полукольца [math] \mathcal R [/math].

Теорема:
Определенная нами [math] \mu^* [/math] является корректной внешней мерой на [math] X [/math], при этом, для [math] A \in \mathcal R, \mu^*(A) = m(A) [/math].
Доказательство:
[math]\triangleright[/math]

Проверим аксиомы внешней меры:

1) [math] \varnothing \in \mathcal R [/math] по аксиомам полукольца, [math] m(\varnothing) = 0 [/math] по аксиомам меры. [math] \varnothing \subset \varnothing [/math], то есть [math] \varnothing [/math] является наименьшим покрытием [math] \varnothing [/math], и [math] \mu^*(\varnothing) = 0 [/math].

2) Пусть [math] A \subset \bigcup\limits_n A_n, A, A_n \subset X [/math].

Возможны различные варианты:

а) Хотя бы одно из множеств [math] A_n [/math] не покрывается элементами полукольца(пусть [math] A_{n_0} [/math]). Тогда [math] \mu^*(A_{n_0}) = + \infty [/math], и требуемое неравенство всегда верно и ужасно тривиально.

б) Все [math] A_n [/math] покрываются элементами полукольца. Тогда для любого [math] n\ \mu^*(A_n) = \inf\limits_{A_n \subset \bigcup\limits_{p} E_{n_p}} \sum\limits_{p} m(E_{n_p}) [/math], где все [math] E_{n_p} [/math] принадлежат полукольцу.

Если внешняя мера хотя бы одного из множеств [math] A_n [/math] равна [math] + \infty [/math], то неравенство опять всегда верно.

В противном случае, по определению нижней грани, для [math] \frac{\varepsilon}{2^n} [/math] подбираем покрытие [math] A_n \subset \bigcup\limits_{p} E_{n_p} [/math] так, чтобы [math] \sum\limits_{p} m(E_{n_p}) \lt \mu^*(A_n) + \frac{\varepsilon}{2^n} [/math].

[math] A \subset \bigcup\limits_{n} A_n \subset \bigcup\limits_{n}\bigcup\limits_{p} E_{n_p} [/math] , значит, [math] \mu^*(A) \le \sum\limits_{n}(\sum\limits_{p} m(E_{n_p})) \le [/math] (используя предыдущее неравенство)

[math] \le \sum\limits_{n} (\mu^*(A_n) + \frac{\varepsilon}{2^n}) = \sum\limits_{n} \mu^*(A_n) + \varepsilon \sum\limits_{n} \frac{1}{2^n} \le \sum\limits_{n} \mu^*(A_n) + \varepsilon [/math].

Итак, [math] \mu^*(A) \le \sum\limits_{n} \mu^*(A_n) + \varepsilon [/math], что при [math] \varepsilon \rightarrow 0 [/math] дает нам нужный результат.
[math]\triangleleft[/math]

Итог: [math] (X, \mathcal R, m) \rightarrow (X, \mu^*) [/math], где [math] \mu^*|_{\mathcal R} = m [/math]

<< >>