Топология Лоусона - Lawson topology

В математике и теоретической информатике Топология Лоусона, названный в честь Джимми Д. Лоусона, топология на частично упорядоченные наборы используется при изучении теория предметной области. В нижняя топология на посеть п порождается подбазисом, состоящим из всех дополнений к главному фильтры на п. Топология Лоусона на п это наименьшее общее уточнение нижней топологии и Топология Скотта нап.

Характеристики

• Если п это полный верх полурешетка топология Лоусона на п всегда полный Т₁ топология.

Смотрите также

• Формальный бал

Рекомендации

• Г. Гирц, К. Х. Хофманн, К. Кеймель, Дж. Д. Лоусон, М. Мислав, Д. С. Скотт (2003), Непрерывные решетки и домены, Энциклопедия математики и ее приложений, Cambridge University Press. ISBN  0-521-80338-1

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

• "Как домены моделируют топологии?, "Павел Вашкевич, Электронные заметки по теоретической информатике 83 (2004)