Вонкавая мера

Вонкавая мера (або знешняя мера) — адно з абагульненняў паняццяў даўжыні, плошчы і аб'ёму; з'яўляецца рэчаісназначнаю функцыяй, вызначанай на ўсіх падмноствах прасторы, якая адпавядае некаторым дадатковым умовам.

Гісторыя

Агульная тэорыя вонкавае меры была распрацована Канстанцінам Каратэадоры з мэтай стварыць падмурак для тэорыі вымерных мностваў і злічальна-адытыўных мер. Працы Каратэадоры па вонкавай меры знайшлі нямала прымяненняў у тэорыі вымерных мностваў. Напрыклад, вонкавая мера выкарыстоўваецца ў доказе фундаментальнай тэарэмы Каратэадоры аб працягу меры), таксама яна была выкарыстана Хаусдорфам для вызначэння метрычнага інварыянта, які абагульняе паняцце размернасці, цяпер ён называецца размернасцю Хаусдорфа.

Выпадак лікавай прамой

Для адвольнага падмноства $E$ лікавай прамой можна знайсці неабмежавана многа розных сістэм, які складаюцца з канечнай ці злічальнай колькасці прамежкаў, аб'яднанне якіх утрымлівае мноства $E.$ Назавём такія сістэмы пакрыццямі. А раз для любога пакрыцця сума даўжынь прамежкаў, якія яго ўтвараюць, — велічыня неадмоўная, то яна абмежавана знізу, і таму мноства даўжынь усіх пакрыццяў мае дакладную ніжнюю мяжу. Гэта мяжа, якая залежыць толькі ад мноства $E,$ і называецца вонкаваю мерай:

$m^{*}E=\inf \left\{\sum _i{\mathrm{\Delta }}_i\right\}.$

Іншы раз вонкавую меру абазначаюць як:

$m^{*}E=\phi (E)=|E{|}^{*}.$

Аксіяматычнае азначэнне

Няхай Шаблон:Math — пэўнае ўніверсальнае мноства.

Вонкавая мера на мностве Шаблон:Math — гэта функцыя

${\mu }^{*}:2^X\to [0,+\mathrm{\infty }],$

якая вызначана на ўсіх падмноствах мноства Шаблон:Math і адпавядае наступным умовам:

1. нуль на пустом мностве: пустое мноства мае нулявую вонкавую меру

   ${\mu }^{*}(\varnothing )=0;$

2. манатоннасць: для любых двух падмностваў Шаблон:Math і Шаблон:Math мноства Шаблон:Math

   $A\subseteq B\Rightarrow {\mu }^{*}(A)⩽{\mu }^{*}(B);$

3. злічальная паўадытыўнасць: для любой паслядоўнасці $\{A_n\}$ падмностваў мноства Шаблон:Math справядліва няроўнасць:

   ${\mu }^{*}\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right)⩽\sum _{n=1}^{\mathrm{\infty }}{\mu }^{*}(A_n).$

Пашырэнне мер (канструктыўнае азначэнне)

Няхай $\mu$ — мера, вызначаная на некаторым колцы Шаблон:Math падмностваў мноства Шаблон:Math. Справядліва наступная тэарэма: Шаблон:Тэарэма

Часта гэту тэарэму прымаюць у якасці азначэння вонкавай меры. Пры гэтым аксіёмы вонкавай меры (а іменна, нуль на пустом мностве, манатоннасць і злічальная паўадытыўнасць) выводзяцца з аксіём звычайнай меры як уласцівасці (тэарэмы).

Уласцівасці вонкавай меры

• Для любога падмноства Шаблон:Math і любой паслядоўнасці $\{A_n\}$ падмностваў мноства Шаблон:Math

  $A\subseteq \bigcup _{n=1}^{\mathrm{\infty }}{A}_n\Rightarrow {\mu }^{*}(A)⩽\sum _{n=1}^{\mathrm{\infty }}{\mu }^{*}(A_n).$

Доказ: з аксіём манатоннасці і злічальнай адытыўнасці маем:

$A\subseteq \bigcup _{n=1}^{\mathrm{\infty }}{A}_n\Rightarrow {\mu }^{*}(A)⩽{\mu }^{*}\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right)⩽\sum _{n=1}^{\mathrm{\infty }}{\mu }^{*}(A_n).$

Шаблон:Math-вымерныя мноствы

Дапаўненне мноства Шаблон:Math ў Шаблон:Math абазначым як Шаблон:Math:

$E^{\prime }=X\setminus E.$

Няхай ${\mu }^{*}$ — некаторая вонкавая мера, вызначаная на мностве Шаблон:Math.

Мноства $E\subset X$ называецца ${\mu }^{*}$-вымерным, калі для любога $A\subset X$ справядліва роўнасць:

${\mu }^{*}(A)={\mu }^{*}(A\cap E)+{\mu }^{*}(A\cap E^{\prime }).$

Гл. таксама

• Мера Лебега
• Тэарэма Каратэадоры аб працягу меры

Літаратура

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