Теорема Лузина

Теоре́ма Лу́зина утверждает, что любая борелевская функция «почти» непрерывна.

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

Пусть $f:D \subset \mathbb{R} \to \mathbb{R}$ суть борелевская функция, и $m(D) < \infty$, где $m$ - мера Лебега на $\R$. Тогда $\forall \varepsilon > 0,\; \exists D_{\varepsilon} \subset D$, такое что $m(D \setminus D_{\varepsilon}) < \varepsilon$ и $\left.f\right\vert_{D_{\varepsilon}} \in C(D_{\varepsilon})$, то есть сужение функции $f$ на $D_{\varepsilon}$ непрерывно.

Замечание

Доказательство теоремы Лузина проводится с помощью теоремы Егорова.

См. также

• Теорема Егорова;
• Лузин, Николай Николаевич.