Претопологическое пространство - 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.

внешняя ссылка