Внутренняя мера - Inner measure

В математика, в частности в теория меры, внутренняя мера это функция на набор мощности данного набор, со значениями в расширенные действительные числа, удовлетворяющие техническим условиям. Интуитивно внутренняя мера набора - это нижняя граница размера этого набора.

Определение

Внутренняя мера - это функция

${displaystyle varphi :2^{X}ightarrow [0,infty ],}$

определены на всех подмножества набора Икс, который удовлетворяет следующим условиям:

• Нулевой пустой набор: пустой набор имеет нулевую внутреннюю меру (смотрите также: измерять ноль ).

${displaystyle varphi (varnothing )=0}$

• Супераддитив: Для любого непересекающийся наборы А и B,

${displaystyle varphi (Acup B)geq varphi (A)+varphi (B).}$

• Пределы уменьшения башен: Для любых последовательность {А_j} наборов таких, что ${displaystyle A_{j}supseteq A_{j+1}}$ для каждого j и ${displaystyle varphi (A_{1})<infty }$

${displaystyle varphi left(igcap _{j=1}^{infty }A_{j}ight)=lim _{j o infty }varphi (A_{j})}$

• К бесконечности нужно приближаться: Если ${displaystyle varphi (A)=infty }$ для набора А затем за каждый положительный настоящий номер c, Существует B ⊆ А так что,

${displaystyle cleq varphi (B)<infty }$

Внутренняя мера, индуцированная мерой

Пусть Σ - σ-алгебра над множеством Икс и μ быть мера на Σ. Тогда внутренняя мера μ_* индуцированный μ определяется

${displaystyle mu _{*}(T)=sup{mu (S):Sin Sigma { ext{ and }}Ssubseteq T}.}$

По сути μ_* дает нижнюю границу размера любого набора, гарантируя, что он не меньше размера μ-мера любого из его Σ-измеримых подмножеств. Хотя установленная функция μ_* обычно не мера, μ_* разделяет следующие свойства с мерами:

1. μ_*(∅) = 0,
2. μ_* неотрицательно,
3. Если E ⊆ F тогда μ_*(E) ≤ μ_*(F).

Завершение измерения

Основная статья: Полная мера

Индуцированные внутренние меры часто используются в сочетании с внешние меры распространить меру на большую σ-алгебру. Если μ конечная мера, определенная на σ-алгебра Σ над Икс и μ^* и μ_* - соответствующие индуцированные внешняя и внутренняя меры, то множества Т ∈ 2^Икс такой, что μ_*(Т) = μ^* (Т) образуют σ-алгебру ${displaystyle {hat {Sigma }}}$ с ${displaystyle Sigma subseteq {hat {Sigma }}}$.^[1] Заданная функция μ̂ определяется

${displaystyle {hat {mu }}(T)=mu ^{*}(T)=mu _{*}(T)}$

для всех ${displaystyle Tin {hat {Sigma }}}$ это мера на ${displaystyle {hat {Sigma }}}$ известный как завершение μ.

Рекомендации

1. Халмос 1950, § 14, теорема F

• Халмос, Пол Р., Теория измерения, D. Van Nostrand Company, Inc., 1950, стр. 58.
• А. Н. Колмогоров, С. В. Фомин, перевод Ричарда А. Сильвермана, Вводный реальный анализ, Dover Publications, Нью-Йорк, 1970, ISBN  0-486-61226-0 (Глава 7)