Колмогоров, Фомин. Элементы теории функций и функционального анализа. 7-е изд. стр. 96 писал(а):
Теорема 3. Для того чтобы система
была базой данной топологии
, необходимо и достаточно следующее условие:
3) для каждого открытого множества
и каждой точки
существует такое
, что
.
Что значит
?
В моем понимании:
- множество множеств, замкнутое относительно объединения и пересечения своих элементов(
), но не пустое: должно содержать пустое и еще какое-нибудь множество.
- подмножество
, объединяя его элементы можно получить любой элемент
Получается, что можно написать