Измеримое множество

Измеримое множество — в математике множество, имеющее измеримую характеристическую функцию (т. е. функцию, равную 1 на этом множестве и равную 0 на дополнении этого множества)Шаблон:Sfn.

Множество называется измеримым относительно меры $\mu$, если оно принадлежит σ-алгебре, на которой определена $\mu$. Для подмножеств евклидова пространства, если мера не указывается, предполагается что $\mu$ — это мера Лебега.

Определение через внешнюю меру

Пусть имеется полукольцо S с единицей E и σ-аддитивная мера $\mu$ на нём — это значит, что для любого множества $A\subset S$ можно определить внешнюю меру. Тогда множество A называется измеримым относительно меры $\mu$, если

$\mathrm{\forall }\epsilon >0:\mathrm{\forall }B\subset S:{\mu }^{*}(A\mathrm{△}B)<\epsilon \Rightarrow B\in R(S):,$

где R(S) — минимальное кольцо, содержащее S, а $\mathrm{△}$ — симметрическая разность множеств. При этом множество измеримых множеств будет σ-алгеброй, а ограничение внешней меры на это множество — σ-аддитивной мерой.

Свойства

• Объединение конечной или счётной совокупности измеримых множеств есть измеримое множествоШаблон:Sfn.

Литература

• Шаблон:Книга