Том 18. Открытие без границ. Бесконечность в математике | страница 51



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

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

Возможность представления функции в виде суммы тригонометрических функций синуса и косинуса обладает огромным преимуществом с точки зрения математики, так как для синуса и косинуса легко построить график, вычислить производную и интеграл. Фурье доказал, что любую периодическую функцию f(х) при соблюдении некоторых ограничений можно представить в виде бесконечной суммы функций синуса и косинуса. Тем не менее разложение в ряд Фурье ставит два важных вопроса, на которые непросто дать ответ, так как они затрагивают самые основы математического анализа и касаются теорем о существовании и единственности. Звучат эти вопросы так: во-первых, при каких условиях существует ряд, который действительно сходится к данной функции, и, во-вторых, если такой ряд действительно существует, является ли он единственно возможным?

В 1870 году Кантор сформулировал теорему, содержащую критерий сходимости ряда Фурье, в следующем году — вторую теорему, которая дополняла первую и касалась единственности ряда Фурье для данной функции. При этом Кантор столкнулся с проблемой: эта теорема не имела общего характера, и существовали точки, в которых она не выполнялась, причем таких точек было бесконечно много, и их множества перемежались с множествами точек, в которых теорема была верна. Так Кантор столкнулся с иррациональными числами. Встал вопрос, выходивший далеко за рамки разложения функции в ряд и за рамки понятия бесконечности. Кантор начал серьезно рассматривать взаимоотношения между непрерывным и дискретным на множестве вещественных чисел. С одной стороны, имелась прямая, на которой из чисто геометрических соображений точки распределялись непрерывно, с другой стороны, с арифметической точки зрения распределение этих точек было дискретным. Проблема заключалась в самом определении вещественного числа, точнее в определении иррационального числа (см. приложение «Множества чисел»).