Если у Вас определение полунепрерывности сверху и снизу такое же, как у Р. Энгелькинга (Общая топология. Москва, "Мир", 1986. Пункт 1.7.17.), то докажите такую лемму: отображение

на

-пространство

замкнуто (соответственно, открыто) тогда и только тогда, когда многозначное отображение

, определённое формулой

для всех

, является полунепрерывным сверху (соответственно, снизу). И вообще посмотрите, что там есть у Энгелькинга по этому поводу.