Числа: от арифметики до высшей математики

А теперь рассмотрим подробно задачу Зенона. Где ошибка в его рассуждениях? Предположим, Ахилл бежит со скоростью 10 ярдов в секунду, а черепаха движется со скоростью 1 ярд в секунду. Ахилл пробегает первые 100 ярдов за 10 секунд. За это время черепаха проходит 10 ярдов. Ахилл преодолевает 10 ярдов за одну секунду, а черепаха за это время проходит 1 ярд. Ахилл преодолеет этот ярд за 0,1 секунды, а черепаха удалится от него на 0,1 ярда.

Иными словами, время, которое нужно Ахиллу для того, чтобы догнать черепаху, представляет собой убывающую последовательность 100, 10, 1, 0,1, 0,01, 0,001, 0,0001, 0,00001…

Сколько времени понадобится Ахиллу для того, чтобы преодолеть бесконечную последовательность уменьшающихся расстояний? Зенон считал, что раз число членов в последовательности бесконечно, то и сумма должна быть бесконечной. Он не мог себе представить, что последовательность бесконечного количества чисел может быть сходящейся и иметь конечную сумму.

Например, если мы сложим первые два члена последовательности Зенона, мы получим 11, сумма первых трех членов равна 11,1, первых четырех — 11,11, первых пяти — 11,111, первых шести 11,1111. А если представить себе сумму всего бесконечного ряда, то мы получим 11,11111111111111111… И так до бесконечности.

А что такое 11,111111111…? Это десятичный эквивалент числа 11¹/₉. Если перевести 11¹/₉ в десятичную дробь, мы получим как раз 11,11111111111111111…

Таким образом, сумма последовательности в задаче Зенона составляет 11¹/₉ секунды. Это то самое время, которое понадобится Ахиллу, чтобы преодолеть все последовательно убывающие расстояния, на которые удаляется от него черепаха. А это значит, во-первых, что Ахилл в конце концов догонит черепаху, во-вторых, что движение возможно, ну а в-третьих, что и мы можем наконец расслабиться.

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

Больший, чем бесконечный

Но все ли бесконечности бесконечны одинаково? Можно ли представить себе бесконечную последовательность, которая не была бы счетной бесконечной последовательности целых чисел?

Да, в общем, возможно. Представьте себе линию с делениями через равные интервалы, обозначающими числа, к такой линии мы обращались несколько раз по мере изложения материала в нашей книге. А теперь представьте себе, что все интервалы между числами разбиты на все возможные дроби. То есть интервалы между целыми числами плотно наполнены третьими долями, седьмыми долями, тысячными, миллионными и так далее. Тем не менее на прямой останутся точки, которым не будет соответствовать какая-либо дробь, даже в том случае, если дробей будет бесконечное количество. Вспомните иррациональные числа.

Например, корень квадратный из 2 не имеет точки на линии дробей, потому что его невозможно представить в виде дроби. Тем менее на линии он существует. Представьте себе квадрат со стороной от одного целого числа до другого (как на рисунке).

Диагональ этого квадрата равна корню квадратному из 2, и если отрезок, равный длине этой диагонали отложить на линии от нулевой точки, то он закончится на точке, равной корню квадратному из 2, которой не соответствует ни одна дробь. На этой точке ни одна дробь просто не может находиться. На линии также можно отметить любое другое иррациональное число, и опять-таки этой точке не будет соответствовать ни одна дробь.

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

А как обстоит дело с действительными числами? Является ли последовательность действительных чисел счетной с последовательностью целых чисел, как и последовательность всех рациональных чисел? Нет, не является. Было показано, что, как бы мы ни старались расположить действительные числа таким образом, чтобы одному действительному числу соответствовало одно целое, все равно останется бесконечное количество свободных действительных чисел.