Непрерывность Скотта
- Непрерывные функции Скотта используются в моделях для лямбда-исчислений и денотационной семантике компьютерных программ.
- Открытые множества Скотта образуют полную решетку, упорядоченную по включению.
- Непрерывные функции Скотта всегда монотонны и подмножества направленного полного частичного порядка замкнуты относительно топологии Скотта.
- Направленный полный частичный порядок с топологией Скотта всегда является пространством Колмогорова.
- Топология Скотта может быть определена для топологических пространств, упорядоченных по включению.
Полный текст статьи:
Непрерывность Скотта — Википедия
Похожие статьи:
- Домен Скотт Оглавление1 Домен Скотта1.1 Определение и свойства области Скотта1.2 Определение и свойства1.3 Интерпретация и примеры1.4 Рекомендации2 Домен...
- Микрошкалы Колмогорова Оглавление1 Микромасштабы по Колмогорову1.1 Определение микромасштаба Колмогорова1.2 Шкала длин и времен Колмогорова1.3 Альтернативные определения временной шкалы...
- Космос (математика) Оглавление1 Space (mathematics)1.1 Определение пространства1.2 Структура пространства1.3 История1.4 Золотой век геометрии1.5 Современные определения1.6 Классификация пространств1.7 Классификация...
- Полный частичный заказ Оглавление1 Полный частичный заказ1.1 Полные частичные порядки1.2 Примеры и характеристики1.3 Непрерывные функции и фиксированные точки1.4 Теоремы...
- Зельда Фицджеральд Оглавление1 Zelda Fitzgerald1.1 Ранние годы и семья1.2 Карьера и личная жизнь1.3 Психическое здоровье и творчество1.4 Последние...
- Уравнения Колмогорова Оглавление1 Уравнения Колмогорова1.1 Основы теории вероятностей Колмогорова1.2 Диффузионные и скачкообразные процессы1.3 История и современное использование1.4 Формулировка...
- Колмогоровское пространство — Arc.Ask3.Ru Оглавление1 Пространство Колмогорова1.1 Определение пространства T01.2 Примеры и контрпримеры1.3 Пробелы, равные T0, но не T11.4 Работа...
- Информационная система Скотта Оглавление1 Информационная система Scott1.1 Определение информационной системы Скотта1.2 Примеры информационных систем Скотта1.3 Связь информационных систем и...
- Андрей Колмогоров — Википедия Оглавление1 Андрей Колмогоров1.1 Биография Андрея Николаевича Колмогорова1.2 Научная карьера и достижения1.3 Вклад в математику1.4 Память и...
- Топология пространства-времени Оглавление1 Пространственно-временная топология1.1 Определение пространства-времени1.2 Топология пространства-времени1.3 Топология многообразия1.4 Топология Александрова1.5 Плоское пространство-время1.6 Гиперболическое вращение1.7 Ссылки2...
- Роберт Фалькон Скотт Оглавление1 Роберт Фэлкон Скотт1.1 Ранние годы и начало карьеры1.2 Экспедиция «Дискавери»1.3 Экспедиция «Терра Нова»1.4 Личная жизнь...
- Ордер на облигации Оглавление1 Поручительство по облигациям1.1 Определение порядка связей1.2 Примеры порядка связей1.3 Нецелочисленные порядки связей1.4 Порядок связей в...
- Топология «Коробка» Оглавление1 Коробчатая топология1.1 Определение и свойства коробчатой топологии1.2 Примеры и свойства1.3 Сходимость в коробчатой топологии1.4 Сравнение...
- Пространство Рисса Оглавление1 Пространство Рисса1.1 Определение пространств Рисса1.2 Предварительные приготовления1.3 Заранее упорядоченная векторная решетка1.4 Пространство Рисса и векторные...
- Общий порядок Оглавление1 Общий заказ1.1 Определение и примеры упорядоченных множеств1.2 Свойства упорядоченных множеств1.3 Типы упорядоченных множеств1.4 Топология порядка1.5...
- Преобразование Фурье Оглавление1 Преобразование Фурье1.1 Преобразование Фурье1.2 История и применение1.3 Определение и свойства1.4 Интегрируемые функции Лебега1.5 Унитарность и...
- Тривиальная топология Тривиальная топология Тривиальная топология — топология с наименьшим возможным числом открытых множеств, включая пустое множество и...
- Медаль Джона Скотта Оглавление1 Медаль Джона Скотта1.1 История премии Джона Скотта1.2 Первые награды1.3 Известные получатели1.4 Недавние победители1.5 Рекомендации1.6 Полный...
- Медаль Джона Скотта Оглавление1 Медаль Джона Скотта1.1 История премии Джона Скотта1.2 Первые награды1.3 Известные получатели1.4 Недавние победители1.5 Рекомендации1.6 Полный...
- Равномерная непрерывность Равномерная непрерывность Равномерная непрерывность функции требует, чтобы она была непрерывной на интервале и имела определенное свойство...
- Топология продукта Топология продукта Топология продукта — это топология, определенная на декартовом произведении топологических пространств. Сходимость в топологии...
- Иллюзорная непрерывность тонов Оглавление1 Иллюзорная непрерывность звуков1.1 Иллюзорная непрерывность звуков1.2 Механизмы иллюзии1.3 Связь с другими иллюзиями1.4 Требования иллюзии1.5 Мозг...