). Из Б. т. следует, что полунепрерывные функции входят в первый Бэра класс. Имеет место более сильное утверждение: полунепрерывная сверху (снизу) функция, не принимающая значение [img: http://localhost:8080/file/010220-279.jpg] есть предел монотонно невозрастающей (неубывающей) последовательности непрерывных функций. Лит

http://libmeta.ru/resource/mathenc/publication/p11255