Топология Лоусона
В математике и теоретической информатике топология Лоусона , названная в честь Джимми Д. Лоусона, представляет собой топологию используемую частично упорядоченных множеств, при изучении теории предметной области . Нижняя топология на частичном множестве P порождается подбазисом, состоящим из всех дополнений главных фильтров на P . Топология Лоусона на P — это наименьшее общее уточнение нижней топологии и Скотта на P. топологии
Свойства [ править ]
- Если P — полная верхняя полурешетка , топология Лоусона на P всегда полной T1 является топологией .
См. также [ править ]
Ссылки [ править ]
- Г. Гирц, К. Х. Хофманн, К. Кеймель, Дж. Д. Лоусон, М. Мислов, Д. С. Скотт (2003), Непрерывные решетки и области , Энциклопедия математики и ее приложений, издательство Кембриджского университета. ISBN 0-521-80338-1
Внешние ссылки [ править ]
- « Как домены моделируют топологии? », Павел Вашкевич, Электронные заметки по теоретической информатике 83 (2004).
 | Эта , посвященная топологии, статья незавершена . Вы можете помочь Википедии, расширив ее . |