Претопологическое пространство - Pretopological space
В общая топология, а претопологическое пространство является обобщением концепции топологического пространства. Претопологическое пространство может быть определено в терминах либо фильтров, либо оператор предварительного закрытия Аналогичное, но более абстрактное понятие Претопология Гротендикаиспользуется для формирования Топология Гротендика, и это описано в статье по этой теме.
Позволять Икс быть набором. А система соседства для претопология на X - это набор фильтры N(Икс), по одному на каждый элемент Икс из Икс так что каждый набор в N(Икс) содержит Икс как член. Каждый элемент N(Икс) называется район из Икс. В этом случае претопологическое пространство - это множество, снабженное такой системой соседства.
А сеть Иксα сходится к точке Икс в Икс если Иксα в конечном итоге в каждом районе Икс.
Претопологическое пространство также можно определить как (Икс, cl ), множество Икс с оператором предварительного закрытия (Čech оператор закрытия ) cl. Можно показать, что эти два определения эквивалентны следующим образом: определить замыкание множества S в Икс быть набором всех точек Икс такая, что некоторая сеть, сходящаяся к Икс в конечном итоге в S. Затем можно показать, что этот оператор замыкания удовлетворяет аксиомам оператора предварительного замыкания. Наоборот, пусть множество S быть рядом с Икс если Икс не в закрытии дополнения S. Можно показать, что множество всех таких окрестностей является системой соседства для претопологии.
Претопологическое пространство - это топологическое пространство, если его оператор замыкания идемпотент.
Карта ж : (Икс, cl ) → (Y, cl ' ) между двумя претопологическими пространствами есть непрерывный если он удовлетворяет для всех подмножеств А из Икс:
- ж (cl (А)) ⊆ cl ' (ж (А)) .
Рекомендации
- Э. Чех, Топологические пространства, Джон Уайли и сыновья, 1966.
- Д. Дикранджан и В. Толен, Категориальная структура операторов замыкания, Kluwer Academic Publishers, 1995.
- С. Маклейн, И. Мурдейк, Пучки в геометрии и логике, Springer Verlag, 1992.
внешняя ссылка
- Рекомбинационные пространства, метрики и претопологии Б.М.Р. Стадлер, П.Ф. Стадлер, М. Шпак, Г. Вагнер. (См., В частности, Приложение A.)
- Замкнутые множества и замыкания в претопологии М. Далуд-Винсент, М. Бриссо и М. Ламюр. 2009 г.