Порядковые номера

Вики

Стационарный набор

Стационарный набор Определение и свойства стационарных множеств Стационарное множество — это множество, которое не изменяется при добавлении элементов.  Стационарные множества […]

Вики

Порядковый номер

Порядковый номер Определение ординалов фон Неймана Ординалы фон Неймана — это упорядоченные множества натуральных чисел, которые не имеют наибольшего элемента. 

Вики

Вычислимый порядковый номер

Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order

Вики

Предельный порядковый номер

Предельный порядковый номер Определение ординалов Ординалы — это упорядоченные множества натуральных чисел.  Порядковый номер — это число, которое указывает на

Вики

Обычный кардинал

Обычный кардинал Определение и свойства кардиналов Кардиналы — это мощности бесконечных множеств.  Алеф-нуль — это первый кардинал, обозначаемый как  ω 

Вики

Число Эпсилон

Эпсилон-число Определение и свойства эпсилон-чисел Эпсилон-числа — это порядковые номера, которые не являются предельными ординалами.  Они представляют собой упорядоченные множества,

Вики

Аддитивно неразложимый ординал

Аддитивно неразложимый порядковый номер Определение аддитивно неразложимых порядковых чисел Аддитивно неразложимое число α — это порядковое число, отличное от 0,

Вики

Нумерация с нуля

Нумерация, основанная на нуле Определение и использование нуля Нуль — это число, которое не имеет значения само по себе, но

Вики

Порядковый номер преемника

Порядковый номер преемника В теории множеств, последовательным порядковым номером α является наименьшее порядковое число, большее, чем α.  Порядковый номер-преемник называется

Вики

Порядковый предел

Предельный порядковый номер Порядковые числа используются для упорядочивания бесконечных множеств.  Порядковые числа имеют свой собственный порядок и могут быть объединены. 

Вики

Число Эпсилон

Эпсилон-число Эпсилон-числа — это порядковые номера, которые не являются строго порядковыми номерами.  Они представляют собой обобщение нормальных форм Кантора для

Вики

Тип заказа

Тип заказа Два упорядоченных множества X и Y имеют одинаковый тип порядка, если они изоморфны по порядку.  Тип упорядоченности хорошо

Вики

Непрерывная функция (теория множеств)

Непрерывная функция (теория множеств) Непрерывная функция в теории множеств представляет собой последовательность ординалов с предельными значениями, являющимися пределами всех значений

Прокрутить вверх