Претопологическое пространство
В общей топологии претопологическое пространство является обобщением понятия топологического пространства . Претопологическое пространство может быть определено либо с помощью фильтров, либо с помощью оператора презамыкания . Подобное, но более абстрактное понятие претопологии Гротендика используется для формирования топологии Гротендика и рассматривается в статье на эту тему.
Позволять быть набором. Система окрестности для предтопологии на представляет собой набор фильтров по одному на каждый элемент из так, что каждый набор в содержит как член. Каждый элемент называется окрестностью Тогда претопологическое пространство представляет собой множество, оснащенное такой системой окрестностей.
сеть сходится к точке в если в конечном итоге находится в каждом районе
Претопологическое пространство также можно определить как набор с оператором предварительного закрытия ( оператор закрытия Чеха ) Можно показать, что эти два определения эквивалентны следующим образом: определить замыкание множества в быть множеством всех точек такая, что некоторая сеть, сходящаяся к в конце концов в Тогда можно показать, что этот оператор замыкания удовлетворяет аксиомам оператора презамыкания. Обратно, пусть набор быть соседом если не находится в замыкании дополнения Можно показать, что множество всех таких окрестностей представляет собой систему окрестностей предтопологии.
Претопологическое пространство — это топологическое пространство, когда его оператор замыкания идемпотентен .
Карта между двумя претопологическими пространствами является непрерывным , если оно удовлетворяет для всех подмножеств
См. также
[ редактировать ]- Аксиомы замыкания Куратовского - математическая концепция.
- Пространство Коши - Концепция общей топологии и анализа
- Пространство сходимости - обобщение понятия сходимости, которое встречается в общей топологии.
- Пространство близости - структура, описывающая понятие «близости» между подмножествами.
Ссылки
[ редактировать ]- Э. Чех, Топологические пространства , Джон Уайли и сыновья, 1966.
- Д. Дикраньян и В. Толен, Категориальная структура операторов замыкания , Kluwer Academic Publishers, 1995.
- С. Маклейн, И. Мурдейк, Пучки в геометрии и логике , Springer Verlag, 1992.
Внешние ссылки
[ редактировать ]- Рекомбинационные пространства, метрики и претопологии Б.М.Р. Стадлер, П.Ф. Стадлер, М. Шпак и Г.П. Вагнер. (См., в частности, Приложение А.)
- Замкнутые множества и замыкания в претопологии М. Далю-Венсана, М. Брисо и М. Ламюра. 2009 .