Жар холодных числ и пафос бесстрастной логики - [32]

Эта идейная установка естественным образом вырастала из практики самой теоретической математики того времени. В анализе постоянно встречались множества — множества первообразных, множества решений уравнения, множества интегралов, множества дифференциальных уравнений данного типа, множества самосопряженных операторов, множества квадратичных форм от n переменных и т.д. Этот список можно было бы продолжать сколько угодно долго, и не удивительно, что в сознании математиков оформилась идея множества вообще. Завершающий шаг в сторону математического платонизма состоял в том, что эта идея стала казаться понятием самым ясным и доступным среди всех понятий, которыми оперирует матемагическое мышление.(опечатку исправлять не буду. w_cat)

Но коль скоро возникла «множественная» установка, то должен был прийти человек, который постарался бы связать с идеей множества детально разработанную теоретическую конструкцию. Такой человек в урочный час и появился на математической сцене. Это был Георг Кантор (1845—1916).[14]

Кантор исследовал свойства абстрактных множеств расклассифицировал множества в зависимости не от конкретной природы элементов, их составляющих, а от «количества» элементов множества. Поскольку речь идет в основном о бесконечных множествах, то проблема «величины» множества является далеко не тривиальной. Кантор разработал изящные способы сравнения множеств по величине и упорядочения множеств, введя центральное понятие своей теории — понятие мощности множества, которое есть некий аналог понятия количества элементов конечного множества.

В наши задачи не входит изложение знаменитого Mengenlehre — учения о множествах, или, как принято говорить в русской традиции, теории множеств. Зарождение, расцвет, почти безраздельное господство и начало критики этой конструкции человеческого интеллекта могли бы послужить темой не одной книги. Но один из результатов Кантора понадобится нам в дальнейшем, и поэтому мы именно на его примере продемонстрируем тот тип рассуждений, который в конце концов привел к трудностям, явившись причиной «кризиса оснований математики», разразившегося на пороге нашего столетия.

Рассмотрим множество целых положительных чисел 1, 2, 3, ... Оно, очевидно, бесконечно. Рассмотрим теперь множество (бесконечное) a1, a2, a3,... каких-то элементов неизвестной природы. Интуитивно ясно, что второе множество имеет «столько же» элементов, сколько первое (слова «столько же» мы берем все же в кавычки, поскольку перед нами два бесконечных множества, дальние элементы которых мы никогда не сможем выписать), так как с каждым элементом аi можно взаимно-однозначно сопоставить целое положительное число. Этим числом будет i — его номер. Всякое множество, элементы которого можно мыслить нумеруемыми натуральными числами, носит название счетного множества. Ясно, однако, что процесс этой нумерации (пересчета) не имеет конца.

Поставим теперь проблему: всякое ли бесконечное множество счетно? «Здравый смысл» склоняет к положительному ответу: ведь каким бы ни было бесконечное множество, можно брать его элементы по одному и присваивать каждому из них определенный номер; так мы, как будто, можем дойти, до любого элемента; условие счетности выполняется. Однако Кантор доказал, что - интуиция в этом волосе подводит. Он указал на множество действительных чисел как на пример множества, не являющегося счетным.

Приведем доказательство несчетности множества всех положительных действительных чисел, не превосходящих единицу. Представим каждое из этих чисел в виде правильной бесконечной десятичной дроби, то есть дроби, начинающейся нулем перед запятой и такой, что в ней бесконечно много цифр, отличных от нуля. Тогда между числами рассматриваемого множества и дробями указанного вида установится взаимно однозначное соответствие (см. примечание 3; число 1 представляется как 0.999...).

Доказательство ведется от противного. Предположим, что нам удалось произвести нумерацию всего множества этих чисел буквами с индексами, указывающими их порядковый номер: a1, a2, a3... - Пусть, скажем, начало нумерации имеет вид (десятичные дроби мы записываем одну под другой):

Наше допущение означает, что рассматриваемое множество чисел счетно. Однако легко построить число, принадлежащее рассматриваемому множеству, но никакого номера в нашей системе нумерации не имеющее. Напишем нуль и поставим после него запятую. Для определений первой цифры после запятой поступим следующим образом. Рассмотрим первую после запятой цифру в первой числе а1 и, если эта цифра выражает четное число, то в новое число впишем цифру 5, в противном случае впишет цифру 6. Чтобы определить вторую цифру после запятой нового числа, возьмем вторую цифру после запятой числа a2 и поступим по точно такому же правилу. Продолжая эту процедуру, то есть беря третью цифру после запятой, третьего числа, четвертую цифру после запятой четвертого числа и т. д., мы будем строить по указанному. правилу десятичные знаки некоторого числа A (в нашем примере его «начало» выглядит так: 0,5665 ...). Число a, очевидно, принадлежит к рассматриваемому множеству, ибо оно заключено между нулем и единицей. С другой стороны, оно не охвачено нашей нумерацией, так как отличается от любого из занумерованных чисел хотя бы в одном десятичном знаке, а именно — оно имеет другую цифру в том разряде, который «изготовлялся» по данному числу. Но выше предполагалось, что нашей нумерацией охвачены рее действительные числа. Мы пришли к противоречию. Значит, наше допущение неверно: множество всех положительных действительных чисел, не превосходящих единицу, не является счетным (такое множество называется