Внешняя мера

Внешняя мера — одно из обобщений понятий длины, площади и объёма; является вещественнозначной функцией, определённой на всех подмножествах пространства, которая удовлетворяет нескольким дополнительным техническим условиям.

ИсторияПравить

Общая теория внешней меры была разработана Константином Каратеодори с целью обеспечить основу для теории измеримых множеств и счётно-аддитивных мер. Работы Каратеодори по внешней мере нашли немало применений в теории измеримых множеств (внешняя мера, например, используется в доказательстве фундаментальной теоремы Каратеодори о продолжении), и была использована Хаусдорфом для определения метрического инварианта, обобщающего размерность, сейчас он называется размерностью Хаусдорфа.

Случай числовой прямойПравить

Для произвольного подмножества $E$$E$  числовой прямой можно найти сколь угодно много различных систем, состоящих из конечного или счётного количества интервалов, объединение которых содержит множество $E$$E$ . Назовём такие системы покрытиями. Поскольку сумма длин интервалов, составляющих любое покрытие, является величиной неотрицательной, она ограничена снизу, и, значит, множество длин всех покрытий имеет точную нижнюю границу. Эта грань, зависящая только от множества $E$$E$ , и называется внешней мерой:

$m^{\ast <!--\; \ast \; -->}E=inf\left\{\underset{i}{\sum <!--\; \sum \; -->}{\mathrm{\Delta <!--\; \Delta \; -->}}_i\right\}$$m^{*}E=\inf \left\{\sum _{i}\Delta _{i}\right\}$ 

Варианты обозначения внешней меры:

$m^{\ast <!--\; \ast \; -->}E=\mathrm{\phi <!--\; \phi \; -->}(E)=|E{|}^{\ast <!--\; \ast \; -->}$$m^{*}E=\varphi (E)=|E|^{*}$ 

Формальное определениеПравить

Пусть $X$$X$  — фиксированное множество. Внешней мерой называется функция ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}:<!--\; :\; -->2^X⟶<!--\; ⟶\; -->[0,+\mathrm{\infty <!--\; \infty \; -->}]$$\mu ^{*}\colon 2^{X}\longrightarrow [0,\,+\infty ]$ , такая что

1. ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})=0$$\mu ^{*}(\varnothing )=0$ ;
2. $\mathrm{\forall <!--\; \forall \; -->}A\subseteq <!--\; \subseteq \; -->X,\mathrm{\forall <!--\; \forall \; -->}{A}_n\subset <!--\; \subset \; -->X,n⩾<!--\; ⩾\; -->1,A\subseteq <!--\; \subseteq \; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{A}_n:<!--\; :\; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)⩽<!--\; ⩽\; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_n)$$\forall A\subseteq X,\,\forall A_{n}\subset X,n\geqslant 1,\,A\subseteq \bigcup _{n=1}^{\infty }A_{n}\colon \mu ^{*}(A)\leqslant \sum _{n=1}^{\infty }\mu ^{*}(A_{n})$ .

Пусть $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  — мера, определённая на кольце $K$$K$ . Внешней мерой, порождённой мерой $\mathrm{\mu <!--\; \mu \; -->}$$\mu$ , называется функция ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}:<!--\; :\; -->2^X⟶<!--\; ⟶\; -->[0,+\mathrm{\infty <!--\; \infty \; -->}]$$\mu ^{*}\colon 2^{X}\longrightarrow [0,\,+\infty ]$ , такая, что

1. ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)=inf\{\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\mathrm{\mu <!--\; \mu \; -->}(A_n)\},A_n\subset <!--\; \subset \; -->K,n⩾<!--\; ⩾\; -->1,A\subseteq <!--\; \subseteq \; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{A}_n$$\mu ^{*}(A)=\inf {\bigl \{}\sum _{n=1}^{\infty }\mu (A_{n}){\bigr \}},\;A_{n}\subset K,n\geqslant 1,\,A\subseteq \bigcup _{n=1}^{\infty }A_{n}$ , если хоть одно такое покрытие множества $A$$A$  существует;
2. ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)=+\mathrm{\infty <!--\; \infty \; -->}$$\mu ^{*}(A)=+\infty$  в противном случае.

Теорема. Внешняя мера ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ , порождённая мерой $\mathrm{\mu <!--\; \mu \; -->}$$\mu$ , является внешней мерой.

$⊳<!--\; ⊳\; -->$$\vartriangleright$  Проверим пункт первый из определения внешней меры. $\mathrm{\mu <!--\; \mu \; -->}⩾<!--\; ⩾\; -->0\Rightarrow <!--\; \Rightarrow \; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}⩾<!--\; ⩾\; -->0$$\mu \geqslant 0\Rightarrow \mu ^{*}\geqslant 0$ . ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$  определена на $2^X$$2^{{X}}$ .

$\mathrm{\varnothing <!--\; \varnothing \; -->}\in <!--\; \in \; -->K:<!--\; :\; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})⩽<!--\; ⩽\; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\mathrm{\mu <!--\; \mu \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})=0\Rightarrow <!--\; \Rightarrow \; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})=0$$\varnothing \in K\colon \mu ^{*}(\varnothing )\leqslant \sum _{n=1}^{\infty }\mu (\varnothing )=0\Rightarrow \mu ^{*}(\varnothing )=0$ .

Проверим второй пункт определения. Пусть $A\subset <!--\; \subset \; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{A}_n$$A\subset \bigcup _{n=1}^{\infty }A_{n}$ . Если существует такое множество $A_n$$A_{{n}}$  из покрытия, что ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_n)=+\mathrm{\infty <!--\; \infty \; -->}$$\mu ^{*}(A_{n})=+\infty$ , то неравенство выполняется. Пусть дальше все множества из покрытия такие, что $\mu ^{*}(A_{n})<+\infty ,\,\forall n\geqslant 1$ . Возьмём произвольное $\mathrm{\epsilon <!--\; \epsilon \; -->}>0$$\varepsilon >0$ , по определению точной нижней границы

$\mathrm{\forall <!--\; \forall \; -->}n⩾<!--\; ⩾\; -->1\mathrm{\exists <!--\; \exists \; -->}{B}_{n_k}\in <!--\; \in \; -->K,k⩾<!--\; ⩾\; -->1,A_n\subseteq <!--\; \subseteq \; -->\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{B}_{n_k}:<!--\; :\; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_n)>\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\mathrm{\mu <!--\; \mu \; -->}(B_{n_k})-<!--\; -\; -->\frac{\mathrm{\epsilon <!--\; \epsilon \; -->}}{2^n}$$\forall n\geqslant 1\,\exists B_{n_{k}}\in K,k\geqslant 1,\,A_{n}\subseteq \bigcup _{k=1}^{\infty }B_{n_{k}}\colon \mu ^{*}(A_{n})>\sum _{k=1}^{\infty }\mu (B_{n_{k}})-{\frac {\varepsilon }{2^{n}}}$ .

Тогда

$\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{B}_{n_k}\supseteq <!--\; \supseteq \; -->\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{A}_n\supseteq <!--\; \supseteq \; -->A$$\bigcup _{n=1}^{\infty }\bigcup _{k=1}^{\infty }B_{n_{k}}\supseteq \bigcup _{n=1}^{\infty }A_{n}\supseteq A$ .

Поскольку $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\bigcup <!--\; \bigcup \; -->}}{B}_{n_k}$$\bigcup _{n=1}^{\infty }\bigcup _{k=1}^{\infty }B_{n_{k}}$  является счётным объединением элементов кольца $K$$K$ , то

$\mu ^{*}(A)\leqslant \sum _{n=1}^{\infty }\sum _{k=1}^{\infty }\mu (B_{n_{k}})<\sum _{n=1}^{\infty }{\bigl (}\mu ^{*}(A_{n})+{\frac {\varepsilon }{2^{n}}}{\bigr )}=\sum _{n=1}^{\infty }\mu ^{*}(A_{n})+\varepsilon ,\varepsilon \longrightarrow 0+$ . $⊲<!--\; ⊲\; -->$$\vartriangleleft$ 

Свойства внешней мерыПравить

Свойства внешней меры ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ :

• $\mathrm{\forall <!--\; \forall \; -->}n⩾<!--\; ⩾\; -->1,A\subseteq <!--\; \subseteq \; -->\underset{k=1}{\overset{n}{\bigcup <!--\; \bigcup \; -->}}{A}_k:<!--\; :\; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)⩽<!--\; ⩽\; -->\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_k)$$\forall n\geqslant 1,\,A\subseteq \bigcup _{k=1}^{n}A_{k}\colon \mu ^{*}(A)\leqslant \sum _{k=1}^{n}\mu ^{*}(A_{k})$ .

$⊳<!--\; ⊳\; -->$$\vartriangleright$  Действительно,

$A\subseteq <!--\; \subseteq \; -->\underset{k=1}{\overset{n}{\bigcup <!--\; \bigcup \; -->}}{A}_k\cup <!--\; \cup \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\cup <!--\; \cup \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\cup <!--\; \cup \; -->\cdots <!--\; \cdots \; -->\Rightarrow <!--\; \Rightarrow \; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)⩽<!--\; ⩽\; -->\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_k)+{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})+{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(\mathrm{\varnothing <!--\; \varnothing \; -->})+\cdots <!--\; \cdots \; -->=\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A_k)$$A\subseteq \bigcup _{k=1}^{n}A_{k}\cup \varnothing \cup \varnothing \cup \cdots \Rightarrow \mu ^{*}(A)\leqslant \sum _{k=1}^{n}\mu ^{*}(A_{k})+\mu ^{*}(\varnothing )+\mu ^{*}(\varnothing )+\cdots =\sum _{k=1}^{n}\mu ^{*}(A_{k})$ . $⊲<!--\; ⊲\; -->$$\vartriangleleft$ 

• $A\subseteq <!--\; \subseteq \; -->B\Rightarrow <!--\; \Rightarrow \; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)⩽<!--\; ⩽\; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(B)$$A\subseteq B\Rightarrow \mu ^{*}(A)\leqslant \mu ^{*}(B)$  (монотонность).

$⊳<!--\; ⊳\; -->$$\vartriangleright$  Вытекает из предыдущего свойства при $n=1$$n = 1$ . $⊲<!--\; ⊲\; -->$$\vartriangleleft$ 

𝜇*-измеримые множестваПравить

Пусть ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$  — некоторая внешняя мера, определённая на подмножествах множества $X$$X$ . Тогда множества $E\subset <!--\; \subset \; -->X$$E\subset X$ , такие что для всех $A\subset <!--\; \subset \; -->X$$A\subset X$  выполняется равенство

${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A)={\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A\cap <!--\; \cap \; -->E)+{\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}(A\cap <!--\; \cap \; -->\stackrel{¯<!--\; ¯\; -->}{E})$$\mu ^{*}(A)=\mu ^{*}(A\cap E)+\mu ^{*}(A\cap {\overline {E}})$ 

называются ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ -измеримыми. ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ -измеримые множества образуют σ-кольцо, а функция ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ , определённая на элементах этого σ-кольца, является мерой, порождённой ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ . Если внешняя мера ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$  порождена некоторой мерой $\mathrm{\mu <!--\; \mu \; -->}$$\mu$ , определённой на кольце $K$$K$ , то $\stackrel{¯<!--\; ¯\; -->}{\mathrm{\mu <!--\; \mu \; -->}}$${\overline {\mu }}$  будет продолжением меры $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  (где $\stackrel{¯<!--\; ¯\; -->}{\mathrm{\mu <!--\; \mu \; -->}}$${\overline {\mu }}$  — определённая выше мера, порождённая ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$ ).

Если определить ${\stackrel{¯<!--\; ¯\; -->}{\mathrm{\mu <!--\; \mu \; -->}}}^{\ast <!--\; \ast \; -->}$${\overline {\mu }}^{*}$  некоторой внешней мерой, порождённой мерой $\stackrel{¯<!--\; ¯\; -->}{\mathrm{\mu <!--\; \mu \; -->}}$${\overline {\mu }}$ , то ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}={\stackrel{¯<!--\; ¯\; -->}{\mathrm{\mu <!--\; \mu \; -->}}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}={\overline {\mu }}^{*}$  тогда и только тогда, когда сама внешняя мера ${\mathrm{\mu <!--\; \mu \; -->}}^{\ast <!--\; \ast \; -->}$$\mu ^{*}$  порождена некоторой мерой $\mathrm{\mu <!--\; \mu \; -->}$$\mu$ .

См. такжеПравить

• Мера Лебега
• Теорема Каратеодори о продолжении меры

ЛитератураПравить

• Дороговцев А.Я. Элементы общей теории меры и интеграла. Киев, 1989
• Халмош П.Р. Теория меры. М.: Изд-во иностр. лит., 1953