El teorema de Luzin es un enunciado sobre las condiciones necesarias y suficientes para la mensurabilidad de una función de una variable real o compleja . De acuerdo con este teorema, cada función medible en un segmento no es más que una función continua distorsionada en algún conjunto de medidas arbitrariamente pequeñas . Esta declaración también se conoce como -property .
Para que una función definida en el intervalo sea medible, es necesario y suficiente que tenga la llamada propiedad : para cualquiera hay una función continua en el intervalo tal que la medida del conjunto es menor que .
La prueba en una forma accesible para los principiantes está en el libro [1] . Además, el teorema de Luzin se deriva fácilmente del teorema de Egorov [2] . En este teorema, un número arbitrariamente pequeño no puede ser reemplazado por cero (se viola la necesidad).