Непрерывность Скотта
- Непрерывные функции Скотта используются в моделях для лямбда-исчислений и денотационной семантике компьютерных программ.
- Открытые множества Скотта образуют полную решетку, упорядоченную по включению.
- Непрерывные функции Скотта всегда монотонны и подмножества направленного полного частичного порядка замкнуты относительно топологии Скотта.
- Направленный полный частичный порядок с топологией Скотта всегда является пространством Колмогорова.
- Топология Скотта может быть определена для топологических пространств, упорядоченных по включению.
Полный текст статьи: