Том 18. Открытие без границ. Бесконечность в математике | страница 49
Когда мы работаем с дискретными множествами, все изложенное выше практически неприменимо. Рассмотрим последовательность чисел 100, 50, 25, 12, 6, 3, 1 (можно представить эту последовательность как очередь из семи чисел у входа, которым, например, является ноль). Очевидно, что разница между произвольным членом последовательности и нулем постепенно уменьшается, равно как и разница между двумя соседними членами последовательности. Например, между 100 и 50 находится 49 чисел, между 6 и 3 — всего два. Тем не менее нельзя сказать, что члены последовательности скапливаются в окрестности точки 0. Очевидно, что если мы возьмем отрезок длиной 1/2 и поместим один из его концов в точку 0, на этом отрезке не будет находиться ни один член последовательности. А если мы рассмотрим последовательность
то вблизи нуля всегда будет находиться какой-либо ее член, сколь бы малым ни было расстояние до нуля.
На языке математики эти расстояния называются окрестностями. Окрестность подобна скобкам, в которые заключена точка Р. Основная идея заключается в том, что сколь малыми ни были бы эти скобки (то есть радиус окрестности), в них всегда будут находиться элементы последовательности. В языке эпсилон-дельта основную роль играет соотношение между двумя числами: шириной скобок (радиусом окрестности, который обычно обозначают ε — эпсилон) и числом n, определяющим элемент а>n, начиная с которого все элементы последовательности будут располагаться внутри заданной окрестности. На языке математики это звучит так: «Для любого эпсилон существует n, такое что…»
Именно так определяется понятие бесконечного деления, очень близкое к понятию предела. Когда в одном из парадоксов Зенона интервал делится пополам бесконечное число раз, мы формируем последовательность, подобную описанной в предыдущем примере. Теперь мы можем воспользоваться строгим определением перехода к пределу и подтвердить, что последним членом последовательности будет 0. Это не помогает разрешить парадокс, так как ситуация, по сути, не изменилась: точки образуют бесконечную последовательность и скапливаются вблизи нуля, и мы считаем, что существует последняя точка последовательности, 0, но в действительности 0 не является членом этой последовательности. Это утверждение не является оправданным, но четко определено на языке математики. Как говорил Бертран Рассел, «математика может быть определена как доктрина, в которой мы никогда не знаем ни о чем говорим, ни того, верно ли то, что мы говорим».