Например, если мы сложим первые два члена последовательности Зенона, мы получим 11, сумма первых трех членов равна 11,1, первых четырех — 11,11, первых пяти — 11,111, первых шести 11,1111. А если представить себе сумму всего бесконечного ряда, то мы получим 11,11111111111111111… И так до бесконечности.
А что такое 11,111111111…? Это десятичный эквивалент числа 111/9. Если перевести 111/9 в десятичную дробь, мы получим как раз 11,11111111111111111…
Таким образом, сумма последовательности в задаче Зенона составляет 111/9 секунды. Это то самое время, которое понадобится Ахиллу, чтобы преодолеть все последовательно убывающие расстояния, на которые удаляется от него черепаха. А это значит, во-первых, что Ахилл в конце концов догонит черепаху, во-вторых, что движение возможно, ну а в-третьих, что и мы можем наконец расслабиться.
Последовательности могут стремиться к пределу, который является бесконечной десятичной дробью, причем не повторяющейся. Такие последовательности можно составлять для отображения иррациональных чисел. Прибавляя все новые и новые члены к такой последовательности, мы все ближе подходим к величине иррационального числа, хотя никогда не сможем ее достичь. Такие же сходящиеся последовательности используют для определения иррациональных чисел, например таких, как логарифмы.
Но все ли бесконечности бесконечны одинаково? Можно ли представить себе бесконечную последовательность, которая не была бы счетной бесконечной последовательности целых чисел?
Да, в общем, возможно. Представьте себе линию с делениями через равные интервалы, обозначающими числа, к такой линии мы обращались несколько раз по мере изложения материала в нашей книге. А теперь представьте себе, что все интервалы между числами разбиты на все возможные дроби. То есть интервалы между целыми числами плотно наполнены третьими долями, седьмыми долями, тысячными, миллионными и так далее. Тем не менее на прямой останутся точки, которым не будет соответствовать какая-либо дробь, даже в том случае, если дробей будет бесконечное количество. Вспомните иррациональные числа.
Например, корень квадратный из 2 не имеет точки на линии дробей, потому что его невозможно представить в виде дроби. Тем менее на линии он существует. Представьте себе квадрат со стороной от одного целого числа до другого (как на рисунке).
Диагональ этого квадрата равна корню квадратному из 2, и если отрезок, равный длине этой диагонали отложить на линии от нулевой точки, то он закончится на точке, равной корню квадратному из 2, которой не соответствует ни одна дробь. На этой точке ни одна дробь просто не может находиться. На линии также можно отметить любое другое иррациональное число, и опять-таки этой точке не будет соответствовать ни одна дробь.
Какой же вывод можно сделать из всего сказанного? Если на линии отмечены точками все рациональные числа, останется тем не менее бесконечное число точек, соответствующих иррациональным числам. Более того, две точки, соответствующие рациональным числам, никогда не будут находиться рядом. Математики доказали, что между ними всегда будет по крайней мере точка, соответствующая иррациональному числу. И наоборот, между двумя иррациональными числами всегда будет по крайней мере одно рациональное число. Если же на линии будут нанесены все рациональные и иррациональные числа, это означает, что использованы все точки. Последовательность действительных чисел, куда входят как рациональные, так и иррациональные числа, образует «континуум».
А как обстоит дело с действительными числами? Является ли последовательность действительных чисел счетной с последовательностью целых чисел, как и последовательность всех рациональных чисел? Нет, не является. Было показано, что, как бы мы ни старались расположить действительные числа таким образом, чтобы одному действительному числу соответствовало одно целое, все равно останется бесконечное количество свободных действительных чисел.
Бесконечность действительных чисел обозначают С (от латинского «continuum»). С — это бесконечность более обширная, нежели счетная бесконечность, так как бесконечной последовательности целых чисел недостаточно, чтобы сосчитать бесконечную последовательность действительных чисел.
Можно проверить, являются ли другие виды бесконечных последовательностей счетными по отношению к бесконечной последовательности действительных чисел. Например, последовательность всех комплексных чисел (то есть все точки на плоскости, а не только точки на прямой) является счетной по отношению к последовательности всех действительных чисел. Точно так же и бесконечная последовательность гиперкомплексных чисел (то есть все точки в пространстве Вселенной, которую мы тоже считаем в данном случае бесконечной) является счетной по отношению к последовательности всех действительных чисел.