Это так называемые трансфинитные числа.
В упорядоченной последовательности трансфинитных чисел содержится любое число, которое может существовать, в том числе такое, которое мы даже не можем себе представить. Если до Кантора считалось, что ничто не может быть больше бесконечности, то благодаря его открытиям мы можем с уверенностью утверждать, что всегда существует другая бесконечность, которая будет больше данной. Кантор превзошел самого Создателя: сколь большое число ни создал бы Бог, всегда будет существовать другое, большее число. И этот научный результат противоречил религиозным взглядам самого Кантора.
* * *
ПОЧТИ БЕСКОНЕЧНОСТЬ
За рамки нашей конечной природы выходят не только бесконечные или трансфинитные числа.
Например, число
которое может быть результатом неких математических расчетов, невероятно велико. Процессор компьютера, выполнив необходимые инструкции, может получить это число за разумное количество шагов. Это возможно потому, что и язык математики, и языки программирования предоставляют все необходимые для этих вычислений инструменты. Но если бы нам потребовалось записать все цифры этого числа на бумаге, мы не смогли бы этого сделать: для такой записи требуется лист бумаги, число частиц в котором превышает число частиц во всей Вселенной. Кроме того, для записи этого числа потребовалось бы время, значительно превышающее возраст Вселенной.
Континуум-гипотеза
Пока что мы говорили о кардинальности применительно к множеству. Мы увидели, что понятие кардинальности обозначает число элементов множества, а также что каждому элементу конечных множеств можно последовательно присвоить натуральное число. С другой стороны, когда речь идет о множествах с бесконечным числом элементов, пронумеровать их составляющие можно с помощью взаимно однозначного соответствия, при котором каждому элементу множества ставится в соответствие натуральное число. Множества, для которых возможно установить такое соответствие, называются счетными. Однако мы также увидели, что существуют множества, которые не являются счетными, и чтобы как-то обозначить количество их элементов, нам пришлось обратиться к понятию кардинальности. Таким образом, кардинальность множества — это не совсем число, а скорее понятие, связанное с числовой величиной. По сути, на этом понятии основан удивительный трюк, позволяющий узнать, насколько велико множество. Заключается он в сравнении множеств по определенным правилам, которые позволяют однозначно сказать, когда множества одинаково велики, а когда — нет. При этом не имеет значения, о конечных или бесконечных множествах идет речь.
* * *
СВОБОДА МАТЕМАТИКИ
Можно сказать, что в настоящее время мечта Кантора о свободной математике полностью сбылась. По меньшей мере, никто и ничто (в так называемых цивилизованных странах) не ставит палки в колеса авторам математических теорий по философским или религиозным причинам.
Сегодня в математике используются так называемые «большие кардиналы», которые столь велики, что рядом с ними трансфинитные числа Кантора кажутся карликами. Их определение очень сложно, хотя они строятся по правилам, схожим с теми, что применяются к алеф-числам: рассматривается последовательность множеств, включенных одно в другое, затем анализируются соответствующие множества их частей.
* * *
Кантор назвал алеф-нулем кардинальное число множества натуральных чисел , а кардинальное число множества вещественных чисел К он обозначил термином «континуум» и символом с. Сделал он так потому, что вещественные числа полностью заполняют вещественную прямую, а так как эта прямая представляет собой непрерывную последовательность чисел (в ней отсутствуют промежутки), ее можно обозначить словом «континуум» (от лат. continuum — «непрерывное»).
В соответствии с этим
Однако числа алеф образуют возрастающую последовательность
Здесь Кантор сформулировал следующий вопрос: существует ли такой кардинал, который заключен между кардинальным числом множества натуральных чисел и континуумом? Каким-то образом ему удалось понять, что выполняется равенство
Иными словами, не существует множества, размер которого заключен между размером множества натуральных и вещественных чисел, — эта гипотеза называется континуум-гипотезой. Чтобы доказать ее, Кантору потребовалось приложить невероятные усилия. Не раз он считал, что континуум-гипотеза доказана, но ему так и не удалось сформулировать доказательство, которое его полностью устраивало бы.
Континуум-гипотезу безуспешно пытались доказать многие современники Кантора, в том числе Гильберт, Рассел и Цермело. Венгерский математик Денеш Кёниг (1849–1913) на конгрессе в Гейдельберге в 1904 году представил доказательство ложности континуум-гипотезы. Но Кантор верил своей интуиции и считал, что доказательство Кёнига не может быть истинным, хотя так и не смог найти в нем ошибку. Обнаружил ее Цермело, таким образом, вопрос доказательства континуум-гипотезы оставался открытым, и Гильберт включил его в свой знаменитый список из 23 наиболее важных нерешенных задач математики.
В 1963 году американский математик Пол Джозеф Коэн (1934–2007), основываясь на результатах о непротиворечивости аксиом, полученных Гёделем, доказал, что континуум-гипотеза может быть истинной или ложной в зависимости от выбранной системы аксиом, использованной для построения теории множеств. Таким образом, сложилась та же ситуация, что и со знаменитым пятым постулатом Евклида о параллельности прямых («в плоскости через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной»): в зависимости от выбранной геометрии этот постулат либо выполняется (в геометрии Евклида), либо нет (в геометрии Лобачевского).
Несмотря на это некоторые до сих пор считают, что вопрос о доказательстве континуум-гипотезы окончательно не решен, так как ситуацию может изменить новая система аксиом, на которой будет выстроена теория множеств. Более того, пока не появится новая система аксиом, мы не можем гарантировать, что ясно представляем себе, что такое вещественное число.
Американский математик Пол Джозеф Коэн в 1963 году доказал, что континуум-гипотеза недоказуема в системе аксиом теории множеств, решив тем самым одну из важнейших открытых задач математики.
Когда люди открывают новые земли, которые предстоит нанести на карты и описать в книгах, они платят за это свою цену, ведь ничего не дается даром. Некоторые благодаря своим открытиям обретают славу и известность, а другие умирают в абсолютном забвении, так и не узнав, какую важную роль они сыграли.
Детство
Георг Кантор родился в Санкт-Петербурге 3 марта 1845 года. Его отец, ГеоргВольдемар Кантор, датчанин по происхождению, переехал в Санкт-Петербург еще ребенком. Во взрослые годы он основал процветающее предприятие по торговле импортными тканями. Несколько лет спустя он оставил дело и стал биржевым маклером. Георг-Вольдемар Кантор, глубоко религиозный человек, заработал значительное состояние благодаря терпению, знаниям и самоотречению. Эти же качества он прививал детям, которых воспитывал в духе лютеранской морали. Его женой стала Марианна Бойм, католичка русского происхождения, дочь дирижера в оркестре Санкт-Петербургской оперы. Георг-Вольдемар Кантор также происходил из семьи с крепкими музыкальными традициями, поэтому неудивительно, что они с женой отводили важное место обучению детей музыке.
Георг Кантор был старшим из четырех детей. В ранние годы он обучался на дому, а в 1856 году поступил в начальную школу в Санкт-Петербурге. Детство в России он всегда называл самым счастливым периодом в жизни.
В 1856 году, после перенесенного воспаления легких, отец Кантора был вынужден оставить Россию с ее суровым климатом и переехать с семьей в Германию.
Ненадолго остановившись в Висбадене, семья в итоге обосновалась во Франкфурте. В 1860 году Георг окончил реальное училище в Дармштадте — небольшом городке близ Франкфурта. В это время он уже проявлял исключительные способности к математике, особенно к тригонометрии. Однако его отец не представлял, какую работу в будущем сможет найти математик, поэтому предложил сыну изучить инженерное дело. Кантор, как всегда, последовал совету отца и в 15 лет поступил в училище в Висбадене.
Георг Кантор, создатель теории множеств, считается одним из наиболее выдающихся математиков в истории.
