2. Счетность множества рациональных чисел и несчетность континуума.

Одно из первых открытий Кантора в области анализа бесконечного заключалось в том, что множество рациональных чисел (содержащее в качестве правильного подмножества бесконечное множество натуральных чисел и потому само бесконечное) эквивалентно множеству натуральных чисел. На первый взгляд кажется странным, что всюду плотное множество рациональных чисел не более богато элементами, чем множество натуральных чисел, элементы которого «рассеяны» редко и стоят на значительном расстоянии один от другого. И в самом деле, с сохранением порядка возрастания нельзя расположить положительные рациональные числа так, как это можно сделать с натуральными: самое маленькое число а будет первым, следующее за ним по величине вторым и дело в том, что рациональные числа расположены везде плотно, и потому ни для одного из них нельзя указать «следующего по величине». Но Кантор заметил, что если отказаться от требования «располагать по величине», то тогда оказывается возможным расставить все рациональные числа в ряд подобный ряду натуральных чисел. Такое расположение предметов некоторого множества в виде последовательности часто называют пересчетом («нумерацией») этого множества. Множества, для которых пересчет может быть выполнен, называются счетными или исчислимыми. Указывая один из способов пересчета множества

рациональных чисел и устанавливая, таким образом, его счетность, Кантор тем самым показал, что это множество эквивалентно множеству натуральных чисел, так как схема

создает взаимно однозначное соответствие между двумя множествами. Мы опишем сейчас один из возможных способов пересчета множества рациональных чисел.

Рис. 19. Пересчет рациональных чисел

Каждое рациональное число записывается в виде где а и целые числа; все эти числа могут быть расположены в такой таблице, чтобы число стояло в строчке и в столбце. Например, станет в третьей строчке и в четвертом столбце таблицы. Предположим, что все свободные места, или «клеточки», в таблице заполнены соответствующими числами, и затем мы проведем по таблице непрерывную ломаную линию, которая пройдет через все клеточки. Начиная с 1, мы сделаем сначала один шаг вправо и получим 2 в качестве второго члена последовательности; затем по диагонали налево и вниз — получим третий член следующий шаг прямо вниз даст нам четвертый член потом движемся по диагонали вправо и вверх через к 3; вправо — к 4; по диагонали влево и вниз через и к и т. д., как показано на рис. 19. В результате движение по ломаной линии приводит к

последовательности рациональных чисел

Если мы выбросим теперь все дроби, у которых числитель и знаменатель имеют отличные от 1 общие делители, то останется последовательность, в которой каждое рациональное число встретится один и в точности один раз:

Так устанавливается, что множество всех рациональных чисел является счетным. Принимая во внимание, что рациональные числа взаимно однозначно связаны с рациональными точками числовой прямой, можно также сказать, что множество рациональных точек на числовой прямой счетно.

Упражнения.

1) Покажите, что множество всех целых, положительных и отрицательных, чисел — счетное. Покажите, что множество всех рациональных, положительных и отрицательных, чисел — счетное.

2) Покажите, что если счетные множества, то множество (см. стр. 147) — также счетное. То же покажите для суммы трех, четырех и, вообще, множеств; покажите, наконец, что множество, составленное посредством сложения счетного множества счетных множеств, также счетное.

Раз оказалось, что множество рациональных чисел — счетное, то могло бы возникнуть подозрение, что и всякое бесконечное множество — также счетное, и на этом, естественно, закончился бы весь анализ бесконечного. Но это совсем не так. Тому же Кантору принадлежит открытие исключительной важности: множество всех действительных (рациональных и иррациональных) чисел — несчетное. Другими словами, совокупность всех действительных чисел совершенно иного (так сказать более высокого) «типа бесконечности», чем совокупность одних только целых или одних только рациональных чисел. Принадлежащее Кантору остроумное «косвенное» доказательство этого факта стало моделью для многих иных доказательств в математике. Идея рассуждения такова. Мы исходим из допущения, что все действительные числа удалось перенумеровать, располагая их в виде последовательности, и после этого демонстрируем число, которое никак не может быть числом

этой последовательности. Отсюда возникает противоречие: ведь было предположено, что все действительные числа вошли в состав последовательности, и это предположение должно быть признано ложным, если хотя бы одно число оказывается за пределами последовательности. Таким образом обнаруживается несостоятельность утверждения, что все действительные числа поддаются «пересчету», и ничего другого не остается, как только признать вместе с Кантором, что множество действительных чисел несчетно.

Однако проведем это рассуждение фактически. Допусктим, что все действительные числа, представленные в виде бесконечных десятичных дробей, расположены в порядке последовательности, или списка:

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

Построим такое число. Для этого возьмем первую цифру после запятой а, какую угодно, но отличную от а также от 0 и 9 (последнее, чтобы избежать затруднений, возникающих из равенств вроде следующего: затем вторую цифру b возьмем отличной от а также от 0 и 9; третью цифру с — отличной от и т.д. (Для большей определенности можно условиться в следующем: мы берем если только а в случае возьмем и аналогично для всех прочих цифр Теперь рассмотрим число

Это новое число 2 наверное не входит в наш список; действительно, оно не равно первому числу, стоящему в списке, так как от него отличается первой цифрой после запятой, оно не равно второму числу, так как от него отличается второй цифрой после запятой, и вообще отлично от числа по списку, так как от него отличается цифрой после запятой. Итак, в нашем списке, составленном будто бы из всех действительных чисел, нет числа z. Значит, множество всех действительных чисел неисчислимо.

Рис. 20. Взаимно однозначное соответствие между точками согнутого интервала и точками прямой линии

Читателю может прийти в голову мысль, что несчетность континуума обусловливается неограниченной протяженностью прямой линии и что конечный отрезок прямой будет содержать лишь счетное множество точек. Чтобы убедиться в ложности такого предположения, достаточно установить, что весь числовой континуум в целом эквивалентен некоторому конечному интервалу, скажем, единичному интервалу от 0 до 1, за исключением конечных точек. Получить необходимое для этой цели взаимно однозначное соответствие можно, например, сгибая интервал в точках и затем проектируя так, как показано на рис. 20. Отсюда видно, что даже конечный интервал (и, конечно, отрезок) содержит несчетное множество точек.

Упражнение. Показать, что любой отрезок числовой прямой эквивалентен любому другому отрезку (рис. 21).

Рис. 21. Взаимнооднозначное соответствие между точками двух отрезков различной длины

Стоит привести еще другое доказательство несчетности континуума, носящее, пожалуй, более интуитивный характер. Достаточно (принимая во внимание последнее доказанное предложение) сосредоточить внимание на точках единичного отрезка от 0 до 1. Доказательство, впрочем, как и раньше, будет «косвенное». Предположим, что множество всех точек названного отрезка может быть расположено в виде последовательности

Покроем точку интервалом, длина которого пусть будет равна точку интервалом длины и т. д. Если бы все точки единичного отрезка входили в последовательность (1), то весь единичный отрезок

оказался бы покрытым бесконечным множеством таких отрезков (может быть, частью перекрывающихся), длины которых суть

(Беды нет, если некоторые из наложенных отрезков выйдут за пределы основного единичного отрезка.) Сумма всех длин наложенных отрезков равна

Итак, допущение, что последовательность (1) содержит все действительные точки единичного отрезка, приводит к заключению, что весь этот отрезок, длина которого равна 1, можно покрыть множеством промежутков с общей длиной с интуитивной точки зрения это — нелепость. Это рассуждение мы позволим себе рассматривать как доказательство, хотя строго логически тут был бы нужен более глубокий анализ.

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

Упражнение. Доказать аналогичную теорему для счетного множества точек на плоскости, заменяя отрезки площадями квадратов.