Открытие без границ

В предыдущих примерах речь шла о дискретных множествах. Рассмотрим непрерывные величины, так как они допускают возможность бесконечного деления. Оставим скопления людей и автомашин и рассмотрим возможные множества точек на прямой. Допустим, что дана последовательность точек а₁, a₂, а₃… а_n, …, которые обладают одним свойством: соседние члены последовательности располагаются все ближе и ближе друг к другу. Очевидно, что они скапливаются вокруг некоторой точки — обозначим ее Р. Допустим, что выбранной нами основной мерой длины является отрезок длиной d. Если мы поместим один конец этого отрезка в точку Р, то увидим, что некоторые точки последовательности окажутся внутри этого отрезка длиной d.

Более того, мы сможем найти точку а_n, после которой все точки будут располагаться внутри отрезка d. Если мы уменьшим длину отрезка и сделаем ее равной d' < d, то все точки, начиная с более удаленной, а_m, будут располагаться внутри этого нового отрезка. Именно такое значение имеет эпсилон в математическом анализе. Мы можем гарантировать, что для любой величины d всегда найдется такое n, начиная с которого все элементы последовательности будут находиться внутри отрезка d. В этом случае говорят, что последовательность сходится в точке Р. Это означает следующее: во-первых, эта последовательность бесконечна, во-вторых, расстояние между точкой Р и произвольным членом последовательности может быть сколь угодно малым.

Когда мы работаем с дискретными множествами, все изложенное выше практически неприменимо. Рассмотрим последовательность чисел 100, 50, 25, 12, 6, 3, 1 (можно представить эту последовательность как очередь из семи чисел у входа, которым, например, является ноль). Очевидно, что разница между произвольным членом последовательности и нулем постепенно уменьшается, равно как и разница между двумя соседними членами последовательности. Например, между 100 и 50 находится 49 чисел, между 6 и 3 — всего два. Тем не менее нельзя сказать, что члены последовательности скапливаются в окрестности точки 0. Очевидно, что если мы возьмем отрезок длиной 1/2 и поместим один из его концов в точку 0, на этом отрезке не будет находиться ни один член последовательности. А если мы рассмотрим последовательность

  

то вблизи нуля всегда будет находиться какой-либо ее член, сколь бы малым ни было расстояние до нуля.

На языке математики эти расстояния называются окрестностями. Окрестность подобна скобкам, в которые заключена точка Р. Основная идея заключается в том, что сколь малыми ни были бы эти скобки (то есть радиус окрестности), в них всегда будут находиться элементы последовательности. В языке эпсилон-дельта основную роль играет соотношение между двумя числами: шириной скобок (радиусом окрестности, который обычно обозначают ε — эпсилон) и числом n, определяющим элемент а_n, начиная с которого все элементы последовательности будут располагаться внутри заданной окрестности. На языке математики это звучит так: «Для любого эпсилон существует n, такое что…»

Именно так определяется понятие бесконечного деления, очень близкое к понятию предела. Когда в одном из парадоксов Зенона интервал делится пополам бесконечное число раз, мы формируем последовательность, подобную описанной в предыдущем примере. Теперь мы можем воспользоваться строгим определением перехода к пределу и подтвердить, что последним членом последовательности будет 0. Это не помогает разрешить парадокс, так как ситуация, по сути, не изменилась: точки образуют бесконечную последовательность и скапливаются вблизи нуля, и мы считаем, что существует последняя точка последовательности, 0, но в действительности 0 не является членом этой последовательности. Это утверждение не является оправданным, но четко определено на языке математики. Как говорил Бертран Рассел, «математика может быть определена как доктрина, в которой мы никогда не знаем ни о чем говорим, ни того, верно ли то, что мы говорим».

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

Так происходит, например, в случае с последовательностью