Пусть

- измеримая функция,

- сигма-алгебра, порожденная данной функцией. Если

является

-измеримой, то существует Борелевская функция

такая, что

.
Я могу легко показать, что существует просто функция

удовлетворяющая

, а вот как показать, что она Борелевская - не знаю. Подскажите?