Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Теорема. Пусть возрастающая последовательность lsc функций сходится поточечно на компакте к функции upper semicontinuous Тогда -- непрерывна, а сходимость равномерна
можно обобщить на случай произвольного компактного топологического пространства -- доказательство sup работает. Ну и заменить возрастающую последовательность функций просто на цепь, что мелочиться:)