📚 Hub Books: Онлайн-чтение книгДомашняяЭта странная математика. На краю бесконечности и за ним - Дэвид Дарлинг

Эта странная математика. На краю бесконечности и за ним - Дэвид Дарлинг

Шрифт:

-
+

Интервал:

-
+
1 ... 43 44 45 46 47 48 49 50 51 ... 64
Перейти на страницу:

Алеф-ноль ведет себя не так, как привычные нам числа. Если 1 + 1 дает в результате 2, то алеф-ноль + 1 – все равно алеф-ноль. Алеф-ноль плюс любое конечное число или минус любое конечное число остается алеф-нулем. Известная детская песенка при этом приобретает новый, более оптимистичный характер: “Алеф-ноль поросят резвились на просторе, / Алеф-ноль поросят пошли купаться в море. / Один из них утоп, ему сложили гроб, / И вот вам результат: / Эх, алеф-ноль поросят” (повторять бесконечно). Алеф-ноль невозможно изменить вычитанием, сложением или умножением на какое бы то ни было конечное число и даже на само себя. Но Кантору удалось доказать с помощью теоремы, носящей сегодня его имя, что все бесконечности выстраиваются в иерархию и алеф-ноль – самая маленькая из них. Следующее бесконечное кардинальное число, алеф-один, гораздо больше и равно размеру множества всех счетных ординалов, а именно тех, которым соответствует кардинальное число алеф-ноль. Наглядно продемонстрировать ординалы, соответствующие мощности алеф-один, в виде последовательности непросто. В качестве примера можно привести множество {0, 1, 2, …, ω, ω + 1, …, ω × 2, …, ω2, …, ωω, …, ε0, …}, включающее все счетные ординалы (то есть все различные возможные “длины”, которые можно получить путем перестановки натуральных чисел). Ординал такого множества, его порядковое число – омега-один (наименьший ординал, соответствующий алефу-один).

Напомним, что значит “счетный”: это попросту последовательность или множество, элементы которых можно посчитать, пронумеровать. Иными словами, “счетным” мы вправе назвать то, из чего можно составить последовательность, пусть и не обязательно упорядоченную привычным образом. Иногда для этого требуется некоторая перестановка, как в случае с отелем Гильберта. Поскольку все натуральные числа счетные, алеф-ноль, то есть мощность множества натуральных чисел, называют счетно-бесконечным кардинальным числом. Ему соответствует наименьший бесконечный счетный ординал ω, а также бесконечно много других счетно-бесконечных ординалов. Существование этого бесконечного количества счетных ординалов обусловлено тем, что в случае порядковых чисел существенную роль, как подсказывает их название, играет порядок элементов, а потому между ординалами требуется проводить более тонкое различие, чем между кардинальными числами. Несмотря на это, все счетные ординалы, начиная с ω и дальше, включая числа эпсилон и остальные, соответствуют одному и тому же кардинальному числу – алеф-нулю. Но вот с переходом к алефу-один все разительно меняется. Алеф-один не только неописуемо больше, чем алеф-ноль, он еще и несчетный. Ему соответствует наименьший несчетный ординал: омега-один (ω1).

Мы уже говорили, что алеф-один – это размер множества счетных ординалов, но можно ли его описать как-то по-другому? С алефом-ноль все понятно: это мощность множества натуральных чисел. А нельзя ли и алефу-один поставить в соответствие что-нибудь знакомое, доступное для понимания? Кантор считал, что можно. Он утверждал, что алеф-один идентичен общему количеству точек на математической прямой, которое, как он установил, в свою очередь, равно количеству точек на плоскости (как бы невероятно это ни звучало) или в пространстве любой другой размерности. Эта бесконечность пространственных точек, называемая континуумом и обозначаемая буквой c, является также множеством всех действительных чисел (включающим в себя все рациональные числа плюс все иррациональные). Действительные числа, в отличие от натуральных, сосчитать невозможно. Предположим, вас спросили бы, какое число следует в ряду действительных чисел за 357. Как бы вы ни тасовали действительные числа, какими бы способами ни пытались их пронумеровать, все равно останутся те, что вы никогда не сумеете сосчитать, даже если заниматься этим вечно.

Кантор выдвинул предположение, получившее известность как “континуум-гипотеза”. Согласно ей, c равно алефу-один, или, другими словами, не существует бесконечного множества с мощностью, занимающей промежуточное положение между мощностями множества натуральных чисел и множества действительных чисел. Однако, несмотря на все старания, Кантору так и не удалось ни доказать, ни опровергнуть свою гипотезу. Сегодня мы уже знаем почему – и ответ на этот вопрос расшатывает самые основы математической науки.

В 1930-х годах ученый-логик австрийского происхождения Курт Гёдель доказал, что континуум-гипотезу невозможно опровергнуть исходя из стандартных аксиом теории множеств. Для этого он построил систему, состоящую из однозначно определенных множеств, – “конструктивный универсум” – и доказал, что все аксиомы внутри нее выполняются, а континуум-гипотеза истинна (хотя из этого и не следует, что конструктивный универсум – единственная такая система). Три десятилетия спустя американский математик Пол Коэн доказал, что и подтвердить истинность континуум-гипотезы в той же системе аксиом тоже невозможно. Иными словами, в рамках привычной для математиков системы эта гипотеза имела неопределенный статус. Возможность возникновения подобной ситуации была предсказана еще в знаменитой теореме Гёделя о неполноте, о которой мы говорили в пятой главе. Она гласит, что в любой достаточно сложной системе аксиом, если она полна, существуют утверждения, которые невозможно ни доказать, ни опровергнуть (мы еще поговорим об этом подробнее, когда вернемся к теореме о неполноте в последней главе). И тем не менее факт независимости континуум-гипотезы заставил математиков понервничать, поскольку то был первый конкретный пример, когда важный для науки вопрос невозможно было разрешить, пользуясь общепринятой системой аксиом, на которой построена вся математика.

Споры о том, верна ли континуум-гипотеза и даже есть ли в ней вообще смысл, не утихают среди математиков и философов до сих пор. Что же касается характера различных видов бесконечности, да и самого существования бесконечных множеств, здесь все зависит от того, какой теорией чисел пользоваться. Разные аксиомы и правила дают разные ответы на вопрос “Что же лежит за пределами всех целых чисел?”. Из-за этого довольно трудно, а то и просто бессмысленно сравнивать различные виды бесконечности и пытаться определить их относительный размер, хотя в пределах конкретной системы чисел бесконечности обычно можно без труда расположить в четком порядке.

За пределами алеф-нуля существует внушительная иерархия кардинальных чисел. Если предположить, что континуум-гипотеза верна (а с этим предположением по умолчанию согласны большинство математиков, поскольку из него можно вывести полезные следствия), то следующим по величине бесконечным кардинальным числом будет алеф-один, равный мощности множества всех действительных чисел, или, иначе говоря, общему количеству возможных способов, какими можно упорядочить элементы множества мощностью алеф-ноль. За ним следует алеф-два (равный числу способов упорядочить элементы множества мощностью алеф-один), затем алеф-три, алеф-четыре и так далее, без конца. Каждому алефу соответствует бесконечное число ординалов, наименьший из которых для алеф-нуля – ω, для алефа-один – ω1, для алефа-два – ω2 и так дальше. Хотя число алефов бесконечно и каждый следующий бесконечно больше предыдущего, это не мешает математикам задумываться о кардинальных числах, величина которых превосходит величину любого мыслимого алефа. Для этого они вынуждены выходить за пределы привычных теоретических основ своей дисциплины и прибегать к так называемым аксиомам форсинга. Метод форсинга (или вынуждения) был впервые применен уже упоминавшимся выше Полом Коэном. Его использование привело к возникновению понятия “больших кардинальных чисел”. Несмотря на скромное название, в реальности они чудовищно велики. Некоторые из них даже имеют собственные имена, такие как кардиналы Мало или сверхкомпактные кардиналы.

1 ... 43 44 45 46 47 48 49 50 51 ... 64
Перейти на страницу:

Комментарии

Обратите внимание, что комментарий должен быть не короче 20 символов. Покажите уважение к себе и другим пользователям!

Никто еще не прокомментировал. Хотите быть первым, кто выскажется?