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