Трансфинитная индукция

Оказывается, что принцип математической индукции, в которой аргумент пробегал множество натуральных чисел, может быть существенно обобщен с натуральных чисел на ординальные. Этот обобщённый принцип называется трансфинитной индукцией. Дадим точные формулировки.

Принцип трансфинитной индукции. Пусть– некоторое свойство ординальных чисел. Предположим, что наименьший ординал 0обладает свойствоми для каждого ординалаесли всеобладают свойствомтообладает свойствомТогда свойствомобладают все ординальные числа.

Доказательство. Пустьверно не для всех ординаловТогда существует наименьший ординалдля которогоневерно. Так как– наименьший, то всеобладают свойствомНо тогда иобладает свойствомчто противоречит выбору

Кардинальные числа (мощности)

Определение.Кардинальным числом(иликардиналом) называется наименьший ординал заданной мощности.

Заметим, что по теореме 1 в любой совокупности ординалов есть наименьший, поэтому наше определение корректно.

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

Некоторые из ординальных чисел являются мощностями, некоторые – нет. Например, все натуральные числа 0, 1, 2, ... – мощности, – мощность. Однако,не являются мощностями. Нетрудно видеть, чтовсякая бесконечная мощность является предельным ординалом. Действительно, пусть– бесконечный непредельный ординал. Тогдадля некоторогоТак какбесконечен, тоЗначит,не может быть мощностью.

Пусть и– ординальные числа. Определим с помощью трансфинитной индукции числоА именно, положимдля предельного ординалаТаким образом мы можем построить ординалыи т.д.

Теорема 5. В любой совокупности каких-либо множеств есть множество, наименьшее по мощности.

Доказательство. Пусть– совокупность множестви– их мощности. Тогда по теореме 1 средиесть наименьшее. Соответствующее множествобудет иметь наименьшую мощность.

Ранее мы видели, что Оказывается, что аналогичное равенство справедливо для любой бесконечной мощности.

Теорема 6. Если– бесконечная мощность, то

Доказательство. Нам надо фактически доказать, чтодля любого бесконечного множестваПредположим, что это не так. Тогда по теореме 5 существует множествонаименьшей мощности такое, чтоВвиду теоремы Цермело мы можем считать, что множествовполне упорядочено. Рассмотрим начальные отрезкимножестваудовлетворяющие условиюТакие отрезки существуют – например, отрезок, изоморфный натуральному рядуN. Для каждого такого начального отрезкаесть взаимно однозначное отображениеРассмотрим множество пари введём на нём отношение порядка, полагаяеслииПроверим, что множествоудовлетворяет условиям леммы Цорна. Действительно, пусть– цепь вПоложим(отображениемы рассматриваем здесь как подмножество множестваТогдавзаимно однозначно и– мажоранта цепиИтак, множествоудовлетворяет условиям леммы Цорна. Следовательно, в множествесуществует максимальный элементЗдесь– взаимно однозначное отображение.

Так как топоэтомуОчевидно,– вполне упорядоченное множество, большее по мощности, чемпоэтомуимеет начальный отрезокПустьТогдаВвиду наличия взаимно однозначного отображениявсе 4 скобки равномощны множествуСледовательно, существует взаимно однозначное отображениеЭто означает, что– взаимно однозначное отображение, продолжающееНо– максимальный элемент, аМы получили противоречие. Тем самым установлено, что

Следствие. Если– бесконечные мощности, то

Доказательство. ПустьТогдаЗначит,

Определим теперь для каждого порядкового числа мощностьВоспользуемся трансфинитной индукцией. Положим(это известно из предыдущего),а если– предельный ординал, то

Вопрос о том, верно ли равенство является достаточно тонким. Предположение о том, чтоназывается гипотезой континуума(comninuum hypothesa). Часто эту гипотезу формулируют немного иначе:

(СН) Континуум-гипотеза: не существует мощностиудовлетворяющей условию

Следующее утверждение является усилением континуум-гипотезы:

(GCH) Обобщённая континуум-гипотеза: каково бы ни было ординальное числоне существует мощностиудовлетворяющей неравенству

Гипотеза континуума была сформулирована ещё в XIXвеке Г.Кантором. Многие математикиXIX-XX веков пытались её решить, но попытки оказывались неудачными. Лишь в 1964 году американскому математику Дж. Коэну удалось решить эту проблему. Ответ оказался неожиданным:гипотезу континуума невозможно ни доказать, ни опровергнуть. Точнее говоря, из аксиом теории множеств (аксиом Цермело – Френкеля) не следует ни утверждение СН, ни его отрицаниеСН. Таким образом, не боясь получить противоречие, можно развивать любую из“двух теорий множеств”: ту, в которой СН принимается, или ту, в которой принимаетсяСН. Ситуация здесь в точности такова, как ранее складывалась в геометрии: геометрия Евклида постулирует единственность параллельной прямой, а геометрия Лобачевского требует наличия по крайней мере двух прямых, проходящих через данную точку и параллельных данной прямой. Обе геометрии непротиворечивы. Аналогичное утверждение справедливо и для обобщённой гипотезы континуума.