Наум Виленкин - В поисках бесконечности

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

Это доказательство существования трансцендентных чисел, полученное Кантором в 1873 г., отличалось от доказательства Лиувилля тем, что опиралось лишь на общие соображения о счетности и несчетности множеств, а не на специальные свойства алгебраических чисел. Из теорем Лиувилля вытекает, например, что число 0,1010010000001..., в десятичной записи которого после n-й единицы стоит n! нулей, трансцендентно. А для того чтобы получить пример трансцендентного числа исходя из доказательства Кантора, придется пройти гораздо более длинный путь: сначала занумеровать все алгебраические числа, потом записать их в виде десятичных дробей и, наконец, строить диагональным процессом искомое число. Вряд ли за обозримый промежуток времени удастся ответить, чему равен, например, десятичный знак этого числа с номером 10 100. А метод Лиувилля позволяет строить трансцендентные числа, для которых, хотя и с трудом, ответить на такие вопросы можно. Таким образом, общность метода доказательства оборачивается его слабостью при переходе к конкретным вопросам.

Рис. 8

До тех пор пока читатель не познакомился с удивительными свойствами бесконечных множеств, ответ на вопрос: "Где больше точек, на отрезке длиной в 1 мм или на отрезке длиной в 1 м? " — вряд ли вызвал бы у него хоть тень сомнения. Ясно, что на отрезке в 1 м куда больше точек, он ведь в 1000 раз длиннее. Но теперь, вероятно, читатель поостережется делать столь безапелляционные заявления — уж слишком непохожи свойства бесконечных множеств на то, чему учит обыденная жизнь. И действительно, на очень коротком и очень длинном отрезках точек поровну! Иными словами, всегда можно установить взаимно однозначное соответствие между точками этих отрезков. Как это сделать, лучше всего видно из рис. 8. Центральная проекция из точки O ставит в соответствие точке A точку C, точке B — точку Д и т. д. В результате каждой точке отрезка АВ соответствует одна и только одна точка отрезка CD.

Трудно примириться с мыслью, что дорога длиной в миллион световых лет имеет столько же точек, сколько и радиус атомного ядра!

Но еще неожиданнее оказалось то, что даже на всей бесконечной прямой не больше точек, чем на отрезке, то есть что между множеством точек на прямой и множеством точек на отрезке можно установить взаимно однозначное соответствие.

Рис. 9

Мы возьмем даже не весь отрезок, а выбросим из него концы (как говорят, возьмем не отрезок, а промежуток). Как установить взаимно однозначное соответствие между промежутком и прямой, видно из рис. 9. Сначала точки промежутка отображают на полуокружность, а потом проектируют полуокружность на прямую. Ясно, что при этом каждой точке промежутка соответствует одна и только одна точка прямой, причем ни одна точка на прямой не пропущена.

Впрочем, это соответствие можно установить и по другому, с помощью кривой — тангенсоиды, графика функции y = tg x (рис. 10).

Рис. 10

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

На протяжении трех лет (с 1871 по 1874 г.) Кантор искал доказательство того, что взаимно однозначное соответствие между точками отрезка и точками квадрата невозможно.

Шли годы, а желанный результат не получался. И вдруг совершенно неожиданно ему удалось построить соответствие, которое он считал невозможным! Сначала он сам не поверил себе. Своему другу и единомышленнику Дедекинду он писал: "Я вижу это, но не верю".

Но все же пришлось смириться с тем, что интуиция подвела и здесь — в квадрате оказалось ровно столько же точек, сколько и на отрезке. Строгое доказательство этого утверждения несколько осложняется из-за неоднозначности десятичной записи чисел. Поэтому мы дадим лишь эскиз доказательства Кантора.

Рис. 11

Возьмем отрезок [0, 1] и квадрат со стороной 1. Этот квадрат можно считать расположенным так, как на рис. 11. Нам надо установить взаимно однозначное соответствие между точками отрезка и квадрата. Проектирование точек квадрата на отрезок АВ здесь не помогает, ведь при проектировании в одну точку отрезка перейдет бесконечное множество точек квадрата (например, в точку А — все точки отрезка DA).

Решение получается следующим образом. Каждую точку T квадрата ABCD можно задать двумя числами — ее координатами x и y (или попросту ее расстояниями до сторон АВ и AD). Эти числа можно записать как бесконечные десятичные дроби. Так как x и y не больше 1, то эти дроби имеют вид

x = 0, α 1 α 2 ... ,α n ...,(1)

y = 0, β 1 β 2 ... β n ...(2)

(для простоты мы не берем точки квадрата, лежащие на его сторонах, а берем лишь внутренние точки). Здесь α nи β n— десятичные знаки чисел x и y, например, если x = 0,63205... и y = 0,21357..., то α 1= 6, α 2= 3, α 3= 2 и т. д., а β 1= 2, β 2= 1, β 3= 3 и т. д.

Нам надо теперь найти точку Q отрезка АВ, соответствующего точке Т. Достаточно указать длину отрезка AQ. Мы выберем эту длину равной числу z, десятичные знаки которого получаются путем "перетасовывания" десятичных знаков чисел хну. Иными словами, сделаем из двух записей (1) и (2) третью, написав их десятичные знаки через один: