Бесчисленное поддается подсчету. Кантор. Бесконечность в математике
Шрифт:
У покрытий ординалов второго класса более сложная структура, чем у N. Чтобы определить покрытие N, достаточно просто сказать, что оно «начинается с 01 и продолжается, повторяя эти цифры». Эта фраза полностью описывает покрытие 010101..., поскольку, пользуясь этим единственным правилом, мы знаем, какой цифрой — 0 или 1 — покрывать каждое натуральное число.
Но этого определения недостаточно для полного описания покрытия ординальных чисел второго класса, так как они устроены сложнее, чем натуральные числа. Ординалы второго класса начинаются с , + 1, + 2, ..., после бесконечного числа этапов переходят + , + + 1, + + 2,...,
Таким образом, если мы говорим, что покрытие ординалов второго класса «начинается с 01 и состоит из повторения этих цифр», это подскажет нам, какова будет только первая часть последовательности , + 1, + 2,... Перейдя + , мы должны указать способ начать покрытие заново. Оно может быть снова 01 или каким-то другим. И опять, когда мы дойдем до + + , мы должны будем начать все сначала; потом все сначала, дойдя до + + + , и так далее.
Если мы решим начинать каждый раз с 01, то у нас получится «базовое» покрытие N 010101..., которое будет повторяться несчетное количество раз.
Континуум-гипотеза гласит, что 2X0 = X1. Кантор не смог ни доказать, ни опровергнуть это утверждение. Обобщенная континуум-гипотеза была сформулирована Кантором в его «Обоснованиях» и расширяет предыдущую. По ней, не только 2X0 = X1 но и 2X1 = X2, 2X2 = X3, 2X3 = X4 и так далее. При жизни ученый так и не узнал, верные эти гипотезы или ложные.
Членами множества 'P(N) являются все множества, которые можно образовать с помощью членов N. Эту идею, разумеется, можно обобщить. Если А — произвольное множество, то множество, члены которого — все множества, которые можно создать посредством элементов А, будет называться 'P(A) (читается «части А»), Как 'P(N) имеет мощность 2X0 , так же можно доказать, что 'P(N) имеет мощность, равную «2 в степени мощности A». Если бы континуум-гипотеза была верной, то мощность 'P(R) равнялась бы 2X1 .
Мы знаем, что N счетное, a 'P(N) — нет; другими словами, мощность больше, чем . Это тоже можно обобщить. Согласно теореме Кантора, мощность 'P(А) всегда будет больше А. Одним из следствий теоремы Кантора является то, что для любого множества всегда будет существовать большая мощность, но только в тех случаях, когда речь идет о множествах, образованных ординальными числами. Теорема Кантора позволяет распространить это утверждение на все множества, вне зависимости от того, какова природа их членов. Возьмем универсальное множество, то есть содержащее в себе все, абсолютно все возможное. По теореме Кантора, существует множество с большей мощностью. Но может ли быть мощность, превышающая мощность множества, в котором содержится вся Вселенная? Такого большого множества не может существовать, однако теорема Кантора утверждает обратное.
Таким образом, мы оказываемся перед противоречием. В теории множеств обнаруживается еще один парадокс, известный как «парадокс Кантора». В начале XX века был открыт третий парадокс, названный именем Бертрана Рассела. Без преувеличения можно утверждать, что он вызвал настоящий кризис в математике. В следующей главе мы рассмотрим все парадоксы теории Кантора и проанализируем влияние, которое
ГЛАВА 5
Парадоксы бесконечности
В одном письме 1902 года английский логик Бертран Рассел сформулировал очень простой вопрос, спровоцировавший, тем не менее, глубокий «кризис» в математической науке. Он затянулся почти на 30 лет, а его последствия ощутимы и сегодня. Вопрос Рассела был таков: «Является ли это множество, о котором я говорю, частью самого себя?»
В 1883 году, когда Кантор написал статью «Основы общего учения о многообразиях», он уже понимал, что его теория содержит как минимум один парадокс. Но что такое парадокс? На самом деле это слово используется в литературе и разговорном языке в разных значениях, не всегда совпадающих друг с другом. В логике парадокс обнаруживается, когда в рамках одной теории можно одновременно доказать существование и несуществование какого-либо объекта или когда свойства чего-либо противоречат друг другу. Таким образом, парадокс означает, что с точки зрения логики теория несостоятельна. В этом смысле можно утверждать, что Кантор действительно обнаружил в своей теории парадокс, или логическое противоречие, а это всегда плохой признак, поскольку он означает, что в основе теории есть ошибка — лакуна, которую надо обнаружить и устранить.
Иногда же слово «парадокс» используется как синоним «удивительного» или «противоречащего ожиданиям», а никак не «логического противоречия». Например, X0 + 1 = X0 «парадоксально», поскольку мы воспринимаем только конечные количества и думаем, что при добавлении нового элемента к определенному множеству в результате их количество увеличится. С другой стороны, X0 + 1 = X0 свидетельствует о том, что в случае с бесконечностью количество останется прежним.
Хоть это и удивительно, но равенство X0 + 1 = X0 не является парадоксом в смысле логики, поскольку оно не таит в себе никакого логического противоречия. Оно просто подчеркивает, что правила, по которым существуют бесконечные количества, отличаются от конечных.
Мы будем использовать термин «парадокс» в первом значении, имея в виду логическое несоответствие какой-либо теории. Вернемся же к парадоксу, который Кантор обнаружил в 1883 году. Он заключался в том, что последовательность ординальных чисел порождается в соответствии с двумя принципами. Первый гласит, что за каждым ординалом идет непосредственно следующий; по этому принципу сразу за идет ординал + 1.
У бесконечных множеств есть некоторые любопытные свойства, которые иногда назывались парадоксальными. На самом деле они не парадоксальны, а просто немного удивительны, когда сталкиваешься с ними впервые.
Рэймонд Смаллиан, американский логик, «Сатана, Кантор и бесконечность, в также другие головоломки», 1992 год
Второй принцип утверждает, что если дана произвольная бесконечная последовательность ординальных чисел, непосредственно за ней всегда будет идти еще один ординал, который не является членом этой последовательности. Данный принцип гарантирует, что, например, за бесконечной последовательностью 0, 1,2, 3, 4,... идет новый ординал , а за бесконечной последовательностью , + 1, + 2, + 3,... — новый ординал + . Парадокс появляется, когда мы пытаемся применить второй принцип порождения к последовательности, образованной всеми ординалами, назовем ее С. Действительно, согласно второму принципу, если мы возьмем последовательность всех ординалов С, то сразу же за ней будет идти новый ординал, который не является частью С. Обозначим его как О (греческая буква омикрон). Поскольку С содержит все ординалы, то в нем будет и О. Но ведь его там нет. Получается, что О обладает двумя противоречащими друг другу характеристиками: он не является частью С, но одновременно является. Мы обнаружили парадокс (см. рисунок).