В поисках бесконечности - [25]
и нумеровать по столбцам. При этом 0 получит № 1, -1 — № 2, 1 — № 3, -2 — № 4 и т. д. Иными словами, все положительные числа и нуль нумеруются нечетными числами, а все отрицательные целые числа — четными. Это похоже на то, как директор гостиницы поместил всех филателистов в гостиницу, заполненную космозоологами.
Но если в то, что множество всех целых чисел счетно, легко поверить, то в счетность множества рациональных чисел поверить труднее. Ведь рациональные числа расположены очень густо — между любыми двумя рациональными числами найдется еще бесконечно много рациональных чисел. Поэтому совершенно непонятно, как их нумеровать; кажется, что между любыми двумя числами надо перенумеровать еще бесконечно много чисел и этот процесс никогда не закончится. И действительно, занумеровать рациональные числа в порядке возрастания их величины невозможно.
Однако если отказаться от расположения рациональных чисел в порядке возрастания, то занумеровать их все же удается. Сделаем так: выпишем сначала все положительные дроби со знаменателем 1, потом все положительные дроби со знаменателем 2, потом со знаменателем 3 и т. д. У нас получится таблица следующего вида:
Ясно, что в этой таблице мы встретим любое положительное рациональное число, и притом не один раз. Например, число 3 встретится и в виде дроби >3/>1, и в виде дроби >6/>2, и в виде дроби >9/>3.
Теперь приступим к нумерации. Для этого вспомним последний подвиг директора необыкновенной гостиницы, который расселил в ней жителей из бесконечного множества таких же гостиниц. Он тогда воспользовался нумерацией по квадратам. Точно так же поступим и мы, только с тем осложнением, что некоторые дроби будем пропускать (например, так как >1/>1 получила уже № 1, то дроби >2/>2, >3/>3 и т. д. пропустим: они выражают то же самое число). Получится следующая нумерация положительных рациональных чисел:
Мы занумеровали, таким образом, все положительные рациональные числа. А теперь уже легко понять, как нумеруются все (то есть положительные и отрицательные) рациональные числа. Для этого надо записать их отдельно в виде двух таблиц и числа одной таблицы нумеровать четными номерами, а второй — нечетными (и еще оставить один номер для нуля).
Вообще, складывая счетное множество счетных множеств, мы снова получим счетное множество. Это доказывается тем же самым приемом нумерации по квадратам.
Алгебраические числа.
Нам удалось занумеровать все рациональные числа. Но рациональные числа получаются из натуральных чисел с помощью лишь одной операции — деления (и еще, быть может, изменения знака). А теперь мы добавим еще операцию извлечения корня и будем рассматривать все числа, которые можно получить из натуральных чисел с помощью этой операции и арифметических действий. Среди этих чисел будут такие, как
Возникает вопрос: можно ли занумеровать множество всех таких чисел? Это кажется еще более трудным, чем занумеровать множество рациональных чисел. В самом деле, какому числу надо приписать меньший номер:
Чтобы доказать это утверждение, отметим сначала, что каждое число рассматриваемого вида является корнем алгебраического уравнения вида
где a>0≠0 и a>0 , ..., a>n — целые числа. Например, >3/>7 — корень уравнения 7x — 3 = 0,
Заметим, что далеко не все корни уравнений вида (1), где a>0,..., a>n — целые числа, выражаются через натуральные числа с помощью арифметических действий и операции извлечения корня. Например, корни уравнения
x>5 — 3x + 3 = 0
нельзя выразить в таком виде, оно, как говорят, не решается в радикалах. Все числа, являющиеся корнями уравнений вида (1) с целыми коэффициентами, называют алгебраическими числами. Таким образом, множество алгебраических чисел содержит в себе множество всех чисел, выражаемых через натуральные с помощью арифметических действий и извлечений корней. Поэтому если нам удастся перенумеровать все алгебраические числа, то тем более мы решим задачу, поставленную в начале этого пункта.
Но прежде чем нумеровать алгебраические числа, надо перенумеровать сами алгебраические уравнения вида (1), А тогда задача будет уже решена. Ведь каждое алгебраическое уравнение n-й степени имеет не более n корней. Поэтому после того, как все уравнения с целыми коэффициентами будут перенумерованы, мы составим таблицу, в первой строке которой будут все различные корни первого уравнения, во второй — все различные корни второго уравнения, не попавшие в первую строку, в третьей- все различные корни третьего уравнения, не попавшие в первую или вторую строку, и т. д. Таблица получится такая:
Теперь ясно, как нумеруются все числа этой таблицы (порядок нумерации указан стрелками).
Итак, займемся нумерацией множества алгебраических уравнений с целыми коэффициентами. Для этого применим идею, с помощью которой пробовал решить самую трудную задачу директор гостиницы. Напомним, что он предложил воспользоваться числами вида 2
