борелевские функции

[moscwicz]

Правильно ли я понял? В одной книжке (не хочу называть для чистоты эксперимента) несколько смазано формулируется следующее.
Пусть $X,Y$ --хаусдорфовы топ. пространства, $Y$ -- сепарабельно. $f:X\to Y$ -- борелевское отображение. Тогда найдется множество первой категории $U$ такое, что $f\mid_{X\backslash U}$ непрерывно.

[moscwicz]

ну а всетаки?