Встраивание – Arc.Ask3.Ru
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее […]
Вики
Order theory
Вики
Режиссерский набор
Направленный набор Определение направленного множества Направленное множество — это непустое множество с рефлексивным и транзитивным бинарным отношением ≤. Каждая пара
Вики
Присоединяйтесь и знакомьтесь
Присоединяйтесь и знакомьтесь Определения и свойства Объединение подмножества частично упорядоченного множества является высшей точкой (наименьшей верхней границей) подмножества. Встреча подмножества
Вики
Функция сохранения предела (теория порядка)
Функция сохранения предела (теория порядка) Функции, сохраняющие пределы Функции сопоставляют верхнюю/нижнюю границу множества с верхней/нижней границей изображения множества Функции могут
Вики
Полный частичный заказ
Полный частичный заказ Полные частичные порядки Термин “полный частичный порядок” (cpo) имеет несколько значений в зависимости от контекста. Направленный полный
Вики
Теорема Бурбаки–Витта
Теорема Бурбаки–Витта Теорема Бурбаки–Витта Основная теорема о фиксированной точке для частично упорядоченных множеств Утверждает, что если X является непустой цепочкой
Вики
Встраивание
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее
Вики
Теорема Краскала о дереве
Теорема о дереве Крускала Теорема Крускала о дереве Множество конечных деревьев над хорошо квазиупорядоченным набором меток само по себе хорошо
Вики
Встраивание
Встраивание Определение и примеры вложенных множеств Вложенное множество – это подмножество одного множества, которое является образом другого множества. Примеры включают
Вики
Лемма Цорна
Лемма Цорна Определение и значение леммы Цорна Лемма Цорна утверждает, что в любом частично упорядоченном множестве существует максимальный элемент. Она
Вики
Монотонная функция
Монотонная функция Определение монотонности Монотонная функция – это функция, которая не убывает и не возрастает одновременно. Монотонность является важным свойством
Вики
Псевдоордер
Псевдопорядок Определение и свойства псевдопорядка Псевдопорядок – это отношение, которое удовлетворяет аксиомам линейного порядка, за исключением транзитивности. Псевдопорядок может быть
Вики
Закон трихотомии
Закон трихотомии Основы трихотомии в математике Закон трихотомии утверждает, что каждое действительное число может быть положительным, отрицательным или равным нулю.
Вики
Плотный порядок
Плотный порядок Определение плотного порядка Плотный порядок в математике – это порядок, в котором между любыми двумя элементами существует третий
Вики
Булево дифференциальное исчисление
Булево дифференциальное исчисление Основы булева дифференциального исчисления Булево дифференциальное исчисление (BDC) – это область булевой алгебры, изучающая изменения булевых переменных
Вики
Причинные множества
Причинно-следственные связи Обзор литературы по каузальным множествам Каузальные множества – это математические структуры, описывающие причинно-следственные связи в пространстве-времени. В статье
Вики
Верхняя топология
Верхняя топология Определение верхней топологии Верхняя топология – это топология, в которой замыкание одноэлементного множества является разделом упорядоченного множества. Все
Вики
Дистрибутивность (теория порядка)
Дистрибутивность (теория порядка) Основы дистрибутивности в теории порядка Дистрибутивность – ключевое понятие в теории порядка, определяющее операции объединения и пересечения.
Вики
Интервальный порядок
Порядок интервалов Определение интервального порядка Интервальный порядок – это частично упорядоченное множество, где элементы являются интервалами. Интервальные порядки могут быть
Вики
Теорема Клини о неподвижной точке
Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема утверждает существование восходящей цепочки Клини для монотонных функций на
Вики
Домен Скотт
Домен Скотта Определение и свойства области Скотта Область Скотта – это алгебраический, направленно-полный и ограниченно-полный частичный порядок. Дана Скотт была