У меня возникла следующая задача:
Определение:
является топологическим пространством. Для
называется
антиокрестностью
, если
так, что
и
. Система антиокрестностей
состоит из всех антиокрестностей
. Характеризовать систему антиокрестностей аналогично системе окрестностей.
Не совсем понятно, как её решать... В первую очередь не понятно, как понимать слово "охарактеризовать". После некоторых размышлений в голову пришла следующая мысль: из всех возможных окрестностей к каким-то определённым топологическим базам рассмотреть те, которые не содержут точку
. Здесь есть подсказка: антиокресности должны быть
дополнением к окресностям.. Но для ответа это выглядит весьма простовато... В литереатуре ничего найти не удалось.
Просьба, всех кто сталкивался с такими задачами, намекнуть, в чём там дело (ну или оценить направление, в котором двигаюсь). Принимается любая помощь!