Именно так определяется понятие бесконечного деления, очень близкое к понятию предела. Когда в одном из парадоксов Зенона интервал делится пополам бесконечное число раз, мы формируем последовательность, подобную описанной в предыдущем примере. Теперь мы можем воспользоваться строгим определением перехода к пределу и подтвердить, что последним членом последовательности будет 0. Это не помогает разрешить парадокс, так как ситуация, по сути, не изменилась: точки образуют бесконечную последовательность и скапливаются вблизи нуля, и мы считаем, что существует последняя точка последовательности, 0, но в действительности 0 не является членом этой последовательности. Это утверждение не является оправданным, но чётко определено на языке математики. Как говорил Бертран Рассел, «математика может быть определена как доктрина, в которой мы никогда не знаем ни о чём говорим, ни того, верно ли то, что мы говорим».
В действительности Коши в своём определении предела использовал не точки, которые скапливаются вокруг некоторой данной точки, а точки, которые скапливаются рядом друг с другом. Иными словами, скопление точек, которое рассматривал Коши, подобно скоплениям автомобилей на разных участках дороги, вызванным множеством аварий в разных местах. Ситуация значительно осложняется тем, что если мы рассматриваем исключительно рациональные числа, то прямая, на которой они располагаются, не будет заполнена — на ней останутся промежутки. Например: дана последовательность точек (теперь мы связываем точки на прямой с рациональными числами), которые скапливаются всё плотнее и плотнее. Эту ситуацию можно чётко определить на языке математики, что сделал Коши. Однако проблема заключается в том, что эти точки могут скапливаться вокруг пустого места на прямой, точнее вокруг точки, которой не соответствует никакое рациональное число.
Так происходит, например, в случае с последовательностью
о которой мы говорили в главе 2 и которая сходится к числу √2, а оно не является рациональным. Разумеется, мы можем построить прямоугольный треугольник, гипотенуза которого будет равна √2, но так мы определим это число геометрически, а во времена Коши математики пытались дать определение числам чисто арифметическими или аналитическими методами. Рациональные числа, по сути, вообще не были определены как числа, пока Дедекинд и, позднее, Кантор не сформулировали для них точной дефиниции. Последний сделал не только это, но и устранил промежутки на числовой прямой, которых в действительности существует бесконечное множество, так как иррациональных чисел, равно как и рациональных, бесконечно много.
Однако Кантор заслуживает отдельной главы, ведь он не только заполнил числовую прямую, устранив эти промежутки, но и первый встретился с бесконечностью лицом к лицу.
Глава 5. Рай Кантора
Возможно, было бы небольшим преувеличением заявить, что открытия Кантора стали поворотным моментом в истории всей математики, хотя есть и те, кто придерживается именно этой точки зрения. Однако, без сомнений, его достижения ознаменовали поворотный момент в изучении бесконечности.
Ряды Фурье
Жан-Батист Жозеф Фурье (1768–1830) был математиком-провидцем, он вошёл в число пионеров нового раздела математики — математического анализа, и создал одну из наиболее широко используемых теорий в истории прикладной математики.
Среди его работ особенно выделяется «Аналитическая теория тепла» (возможно, важнейшая из опубликованных им работ), в которой основное внимание уделялось теплопроводности. Этот труд не только имеет исключительную научную ценность, но и стал первым в истории трудом по математической физике.
Разложение функции в ряд заключается в представлении произвольной функции в виде бесконечной суммы других функций. Преимущество этого приёма в том, что с функциями, составляющими бесконечную сумму, работать проще, чем с исходной функцией. Ряды Фурье не были первым примером разложения функции в ряд — в то время уже достаточно часто использовалось разложение в степенной ряд Тейлора. Основное требование при разложении в ряд Тейлора звучало так: поведение рассматриваемой функции должно быть полностью определено на небольшом интервале.
Разложение в ряд Тейлора возможно для множества функций, но имеет один недостаток: оно может применяться исключительно локально, то есть позволяет узнать поведение функции в небольшой окрестности, но никак не определить её поведение в целом. Для решения этой задачи Фурье рассмотрел разложение функции на простые составляющие, как правило, синусоидальные функции. Волны, на которые раскладывались функции при преобразованиях Фурье, получили название гармонических колебаний, а изучавший их новый раздел математики был назван гармоническим анализом.
Возможность представления функции в виде суммы тригонометрических функций синуса и косинуса обладает огромным преимуществом с точки зрения математики, так как для синуса и косинуса легко построить график, вычислить производную и интеграл. Фурье доказал, что любую периодическую функцию f(х) при соблюдении некоторых ограничений можно представить в виде бесконечной суммы функций синуса и косинуса. Тем не менее разложение в ряд Фурье ставит два важных вопроса, на которые непросто дать ответ, так как они затрагивают самые основы математического анализа и касаются теорем о существовании и единственности. Звучат эти вопросы так: во-первых, при каких условиях существует ряд, который действительно сходится к данной функции, и, во-вторых, если такой ряд действительно существует, является ли он единственно возможным?
В 1870 году Кантор сформулировал теорему, содержащую критерий сходимости ряда Фурье, в следующем году — вторую теорему, которая дополняла первую и касалась единственности ряда Фурье для данной функции. При этом Кантор столкнулся с проблемой: эта теорема не имела общего характера, и существовали точки, в которых она не выполнялась, причём таких точек было бесконечно много, и их множества перемежались с множествами точек, в которых теорема была верна. Так Кантор столкнулся с иррациональными числами. Встал вопрос, выходивший далеко за рамки разложения функции в ряд и за рамки понятия бесконечности. Кантор начал серьёзно рассматривать взаимоотношения между непрерывным и дискретным на множестве вещественных чисел. С одной стороны, имелась прямая, на которой из чисто геометрических соображений точки распределялись непрерывно, с другой стороны, с арифметической точки зрения распределение этих точек было дискретным. Проблема заключалась в самом определении вещественного числа, точнее в определении иррационального числа (см. приложение «Множества чисел»).
Жан-Батист Жозеф Фурье.
Фундаментальные последовательности
Кантор разрабатывал свою теорию вещественных чисел в два этапа. В 1872 году в работе «О расширении теоремы, относящейся к теории тригонометрических рядов» он сформулировал задачу о существовании иррациональных чисел, но ему не удалось разработать полную и согласованную теорию. Чёткое математическое определение вещественным числам учёный дал значительно позже, в своих «Основаниях общей теории множеств». По словам самого Кантора, он пришёл к этому определению после глубоких философских размышлений о бесконечности и непрерывности. Математику были знакомы работы Коши и Вейерштрасса, и он знал, что на множестве рациональных чисел
