Русская Википедия:Теорема Лузина

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Теоре́ма Лу́зина — утверждение о необходимых и достаточных условиях измеримости функции одной вещественной или комплексной переменной. Согласно этой теореме, каждая измеримая на отрезке <math>\left [ a, b \right ]</math> функция есть не что иное, как непрерывная функция, искажённая на некотором множестве сколь угодно малой меры. Это утверждение также часто называют <math>C</math>-свойством.

Формулировка

Для того, чтобы функция <math>f(x)</math>, заданная на отрезке <math>\left [ a, b \right ]</math>, была измерима, необходимо и достаточно, чтобы она обладала так называемым <math>C</math>-свойством: для любого <math>\varepsilon > 0</math> найдётся такая функция <math>\varphi(x)</math>, непрерывная на отрезке <math>\left [ a, b \right ]</math>, что мера множества <math>\{ x \in [a,b] : f(x) \neq \varphi(x)\}</math> меньше <math>\varepsilon</math>.

Доказательство

Доказательство в доступной для начинающих форме есть в книге [1]. Кроме того, теорема Лузина несложно выводится из теоремы Егорова[2]. В этой теореме произвольно малое число <math>\varepsilon > 0</math> нельзя заменить нулём (нарушится необходимость).

История открытия

Шаблон:В планах

Примечания

Шаблон:Примечания

Литература

Шаблон:Rq

  1. Соболев В. И., Лекции по дополнительным главам математического анализа. — М.: Наука, 1968 — стр. 135.
  2. Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа. — гл. V, пар 4.7.