В поисках бесконечности - [35]

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

После длительного обсуждения, в котором приняли участие многие выдающиеся ученые (в том числе Н. И. Лобачевский), стало общепринятым следующее определение функции: "Переменная величина y называется функцией переменной величины x, если каждому значению величины x соответствует единственное определенное значение величины y".

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

Создание во второй половине XIX в. теории действительных чисел и построение теории множеств позволили арифметизировать и расплывчатое понятие переменной величины. Оказалось, что под переменной следует понимать букву, вместо которой можно подставлять числа, принадлежащие некоторому числовому множеству X. Разумеется, такой подход к понятию переменной был более статичным, чем принятый у ученых начала XIX в., в нем не было чувства движения, изменения. Но зато он позволил дать определение функции, свободное от лежащих вне математики понятий: "Функцией f, заданной на числовом множестве X, называется соответствие (правило), которое каждому числу x из этого множества сопоставляет число f(x)"

Столь общее определение позволило связать понятие функции с понятиями отображения, преобразования, оператора и т. д. Например, с этой точки зрения, сопоставляя каждому треугольнику его площадь, мы получаем функцию, заданную на множестве треугольников и принимающую значения в множестве положительных чисел. А сопоставляя треугольнику вписанную в него окружность, мы получаем функцию, заданную на том же множестве треугольников, но принимающую значения в множестве окружностей. Поскольку на координатной плоскости и треугольники, и окружности задаются некоторыми наборами чисел, то эти функции можно свести к некоторым числовым функциям. Вообще, числовые функции — один из важнейших видов функций, и потому в дальнейшем изложении мы ограничимся рассмотрением лишь таких функций, да к тому же заданных лишь на числовых множествах.

Под микроскопом.

Уточнение математических понятий — дело обоюдоострое. При этом, конечно, устраняются многие неясности, повышается четкость математической речи, становятся более убедительными доказательства теорем. Но такие достижения влекут за собой и определенные потери. То, что выигрывает наука в строгости, она часто теряет в наглядности. Кроме того, всегда возникает вопрос, соответствуют ли понятия, получившие строгие определения, тем грубым, наглядным образам, которые они призваны моделировать в математике. Тем самым камни преткновения, убранные с поля математики, обычно не исчезают, а лишь оказываются перенесенными на границу между этой наукой и ее приложениями.

Но для математической науки точные определения являются насущной необходимостью. Изучая свойства определяемых ими понятий, ученые узнают свойства тех математических моделей, с помощью которых они пытаются описывать реальный мир. И если эти свойства оказываются непохожими на ожидаемые, то это значит лишь, что модель не вполне удачна, что при ее построении были пропущены какие-то важные стороны объектов, для описания которых она была предназначена.

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

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

не слишком точно определено вблизи точки x = 0 — небольшая ошибка в измерении может превратить отрицательный ответ в положительный, резко изменив значение функции. По математики XVIII в. знали, что такие функции, как sgn x, являются лишь идеализированным представлением непрерывной функции, круто поднимающейся вверх на участке вблизи точки x = 0. Функция же Дирихле не годилась для самого идеализированного описания какого-либо реального процесса.