Трансфинитная индукция - Википедия - Transfinite induction

Представление порядковых номеров до

{ displaystyle omega ^ { omega}}

. Каждый виток спирали представляет собой одну степень

{ displaystyle omega}

. Трансфинитная индукция требует доказательства базовый вариант (используется для 0), a дело преемника (используется для порядковых номеров, у которых есть предшественник), и предельный случай (используется для порядковых номеров, у которых нет предшественника).

Трансфинитная индукция является продолжением математическая индукция к упорядоченные наборы, например, для наборов порядковые номера или же Количественные числительные.

Индукция по делам

Позволять ${ Displaystyle Р ( альфа)}$ быть свойство определен для всех порядковых номеров ${ displaystyle alpha}$ . Предположим, что всякий раз, когда ${ Displaystyle Р ( бета)}$ верно для всех ${ Displaystyle бета < альфа}$ , тогда ${ Displaystyle Р ( альфа)}$ тоже верно.^[1] Тогда трансфинитная индукция говорит нам, что ${ displaystyle P}$ верно для всех ординалов.

Обычно доказательство разбивается на три случая:

Нулевой случай: Докажи это ${ Displaystyle P (0)}$ правда.
Дело преемника: Докажи это для любого порядковый номер преемника ${ displaystyle alpha +1}$ , ${ Displaystyle P ( альфа +1)}$ следует из ${ Displaystyle Р ( альфа)}$ (и, при необходимости, ${ Displaystyle Р ( бета)}$ для всех ${ Displaystyle бета < альфа}$ ).
Предельный случай: Докажи это для любого предельный порядковый номер ${ displaystyle lambda}$ , ${ Displaystyle Р ( лямбда)}$ следует из ${ Displaystyle Р ( бета)}$ для всех ${ Displaystyle бета < лямбда}$ .

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

Трансфинитная рекурсия

Трансфинитная рекурсия похожа на трансфинитную индукцию; однако вместо того, чтобы доказывать, что что-то верно для всех порядковых чисел, мы строим последовательность объектов, по одному для каждого порядкового номера.

Например, основа для (возможно, бесконечномерного) векторное пространство можно создать, выбрав вектор ${ displaystyle v_ {0}}$ и для каждого ординала α выбирая вектор, не входящий в охватывать векторов ${ Displaystyle {v _ { beta} mid beta < alpha }}$ . Этот процесс останавливается, когда нельзя выбрать вектор.

Более формально мы можем сформулировать теорему о трансфинитной рекурсии следующим образом:

Теорема о трансфинитной рекурсии (версия 1). Учитывая функцию класса^[2] грамм: V → V (куда V это учебный класс всех множеств) существует единственный трансфинитная последовательность F: Ord → V (где Ord - класс всех ординалов) такой, что

F(α) = грамм(F

{ displaystyle upharpoonright}

α) для всех ординалов α, где

{ displaystyle upharpoonright}

обозначает ограничение F 's к ординалам <α.

Как и в случае индукции, мы можем рассматривать разные типы ординалов по отдельности: другая формулировка трансфинитной рекурсии следующая:

Теорема о трансфинитной рекурсии (версия 2). Учитывая набор грамм₁, и функции классов грамм₂, грамм₃, существует единственная функция F: Ord → V такой, что
F(0) = грамм₁,
F(α + 1) = грамм₂(F(α)) для всех α ∈ Ord
F(λ) = грамм₃(F ${ displaystyle upharpoonright}$ λ) для любого предела λ ≠ 0.

Обратите внимание, что нам нужны домены грамм₂, грамм₃ быть достаточно широким, чтобы сделать вышеупомянутые свойства значимыми. Единственность последовательности, удовлетворяющей этим свойствам, можно доказать с помощью трансфинитной индукции.

В более общем смысле, можно определять объекты с помощью трансфинитной рекурсии на любом обоснованные отношения р. (р не обязательно даже быть набором; это может быть правильный класс при условии, что это подобный множеству связь; т.е. для любого Икс, собрание всех у такой, что yRx это набор.)

Отношение к аксиоме выбора

Доказательства или конструкции с использованием индукции и рекурсии часто используют аксиома выбора для создания хорошо упорядоченного отношения, которое можно рассматривать с помощью трансфинитной индукции. Однако, если рассматриваемое отношение уже хорошо упорядочено, часто можно использовать трансфинитную индукцию, не прибегая к аксиоме выбора.^[3] Например, многие результаты о Наборы Бореля доказываются трансфинитной индукцией по порядковому рангу множества; эти ранги уже упорядочены, поэтому аксиома выбора не нужна для их упорядочения.

Следующая конструкция Виталий набор показывает один из способов использования выбранной аксиомы в доказательстве с помощью трансфинитной индукции:

Первый, в порядке то действительные числа (здесь аксиома выбора входит через теорема о хорошем порядке ), давая последовательность

{ Displaystyle langle г _ { альфа} | альфа < бета rangle}

, где β - ординал с мощность континуума. Позволять v₀ равный р₀. Тогда пусть v₁ равный р_α₁, где α₁ наименее так, что р_α₁ − v₀ это не Рациональное число. Продолжать; на каждом этапе используйте наименее реальное из р последовательность, которая не имеет рациональной разницы ни с одним элементом, построенным до сих пор в v последовательность. Продолжайте, пока все реалы в р последовательность исчерпаны. Финал v последовательность будет перечислять множество Витали.

В приведенном выше аргументе аксиома выбора существенно используется в самом начале, чтобы правильно упорядочить числа. После этого шага аксиома выбора больше не используется.

Другие варианты использования аксиомы выбора более тонкие. Например, конструкция с помощью трансфинитной рекурсии часто не определяет уникальный ценность для А_{α + 1}, учитывая последовательность до α, но будет указывать только условие который А_{α + 1} должен удовлетворять и утверждать, что существует по крайней мере один набор, удовлетворяющий этому условию. Если невозможно определить уникальный пример такого набора на каждом этапе, тогда может возникнуть необходимость задействовать (в некоторой форме) аксиому выбора, чтобы выбрать один такой на каждом этапе. Для индукции и рекурсии счетный длина, тем слабее аксиома зависимого выбора достаточно. Потому что есть модели Теория множеств Цермело – Френкеля Для теоретиков множеств, которые удовлетворяют аксиоме зависимого выбора, но не полной аксиоме выбора, может оказаться полезным знание того, что конкретное доказательство требует только зависимого выбора.

Смотрите также

Примечания

^ Здесь не нужно отдельно предполагать, что ${ Displaystyle P (0)}$ правда. Поскольку нет ${ displaystyle beta}$ меньше 0, это пусто правда это для всех ${ Displaystyle бета <0}$ , ${ Displaystyle Р ( бета)}$ правда.
^ Функция класса - это правило (в частности, логическая формула), назначающее каждый элемент в левом классе элементу в правом классе. Это не функция потому что его домен и кодомен не установлены.
^ Фактически, область отношения даже не обязательно должна быть набором. Это может быть правильный класс при условии, что отношение р установленный: для любого Икс, собрание всех у такой, что у р Икс должен быть набор.

внешняя ссылка

Эмерсон, Джонатан; Лезама, Марк & Вайсштейн, Эрик В. «Трансфинитная индукция». MathWorld.

[1] Здесь не нужно отдельно предполагать, что ${ Displaystyle P (0)}$ правда. Поскольку нет ${ displaystyle beta}$ меньше 0, это пусто правда это для всех ${ Displaystyle бета <0}$ , ${ Displaystyle Р ( бета)}$ правда.

[2] Функция класса - это правило (в частности, логическая формула), назначающее каждый элемент в левом классе элементу в правом классе. Это не функция потому что его домен и кодомен не установлены.

[3] Фактически, область отношения даже не обязательно должна быть набором. Это может быть правильный класс при условии, что отношение р установленный: для любого Икс, собрание всех у такой, что у р Икс должен быть набор.

[1]

[2]

[3]

Теория множеств
Обзор	Набор (математика)
Аксиомы	Пристройка Выбор счетный зависимый Глобальный Конструктивность (V = L) Решительность Расширяемость бесконечность Ограничение размера Сопряжение Набор мощности Регулярность Союз Аксиома мартина Схема аксиомы замена Технические характеристики
Операции	Декартово произведение Дополнение Законы де Моргана Несвязный союз Пересечение Набор мощности Установить разницу Симметричная разница Союз
Концепции Методы	Мощность количественное числительное (большой ) Учебный класс Конструируемая вселенная Гипотеза континуума Диагональный аргумент Элемент упорядоченная пара кортеж Семья Принуждение Индивидуальная переписка Порядковый номер Трансфинитная индукция Диаграмма Венна
Набор типы	Счетный Пустой Конечный (по наследству ) Нечеткое Бесконечный (Дедекинд-бесконечный ) Рекурсивный Подмножество· Суперсет Переходный Бесчисленное множество Универсальный
Теории	Альтернатива Аксиоматика Наивный Теорема кантора Цермело Общий Principia Mathematica Новые основы Цермело – Френкель фон Нейман – Бернейс – Гёдель Морс – Келли Крипке – Платек Тарский – Гротендик
Парадоксы Проблемы	Парадокс Рассела Проблема суслина Парадокс Бурали-Форти
Теоретики множеств	Авраам Френкель Бертран Рассел Эрнст Цермело Георг Кантор Джон фон Нейман Курт Гёдель Пол Бернейс Пол Коэн Ричард Дедекинд Томас Джеч Торальф Сколем Уиллард Куайн