Пусть

- компактное подмножество

. Пусть также

- ядро такое, что

для всех

. Пусть задана произвольная непрерывная на

функция

. Какие бы условия наложить на

чтобы

было также непрерывным на

? Что посоветуете? Непрерывность

для каждого борелевского

вроде подходит, но слишком консервативно. Можно использовать непрерывность

для всех открытых

или этого недостаточно?