Леонард Эйлер во “Введении в анализ бесконечных” (1748) примыкает к определению своего учителя И. Бернулли, несколько уточняя его. Определение Л. Эйлера гласит: “Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этого количества и чисел или постоянных количеств”. Так понимали функцию на протяжении почти всего XVIII в. Даламбер, Лагранж и другие видные математики. Что касается Эйлера, то он не всегда придерживался этого определения; в его работах понятие функции подвергалось дальнейшему развитию в соответствии с запросами математической науки. В некоторых своих произведениях Л. Эйлер придает более широкий смысл функции, понимая ее как кривую, начертанную “свободным влечением руки”. В связи с таким взглядом Л. Эйлера на функцию между ним и его современниками, в первую очередь его постоянным соперником, крупным французским математиком Даламбером, возникла большая полемика вокруг вопроса о возможности аналитического выражения произвольной кривой и о том, какое из двух понятий (кривая или формула) следует считать более широким. Так возник знаменитый спор, связанный с исследованием колебаний струны.

В “Дифференциальном исчислении”, вышедшем в свет в 1755 г, Л. Эйлер дает общее определение функции: “Когда некоторые количества зависят от других таким образом, что при изменении последних и сами они подвергаются изменению, то первые называются функциями вторых”. “Это наименование, - продолжает далее Эйлер, - имеет чрезвычайно широкий характер; оно охватывает все способы, какими одно количество определяется с помощью других”. На основе этого определения Эйлера французский математик С. Ф. Лакруа в своем “Трактате по дифференциальному и интегральному исчислению”, опубликованном в 1797 г., смог записать следующее: “Всякое количество, значение которого зависит от одного или многих других количеств, называется функцией этих последних независимо от того, известно или нет, какие операции нужно применить, чтобы перейти от них к первому”.

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

ОБЩЕЕ ОПРЕДЕЛЕНИЕ ФУНКЦИИ В XIX в.

ДАЛЬНЕЙШЕЕ РАЗВИТИЕ ПОНЯТИЯ ФУНКЦИИ

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

Большой вклад в решение спора Эйлера, Даламбера, Д. Бернулли и других ученых XVIII в. по поводу того, что следует понимать под функцией, внес французский математик Жан Батист Жозеф Фурье (1768-1830), занимавшийся в основном математической физикой. В представленных им в Парижскую Академию наук в 1807 и 1811 гг. по теории распространения тепла в твердом теле Фурье привел и первые примеры функций, которые заданы на различных участках различными аналитическими выражениями.

Из трудов Фурье явствовало, что любая кривая независимо от того, из скольких и каких разнородных частей она составлена, может быть представлена в виде единого аналитического выражения и что имеются также прерывные кривые, изображаемые аналитическим выражением. В своем “Курсе алгебраического анализа”, опубликованном в 1821 г., французский математик О. Коши обосновал выводы Фурье. Таким образом, на известном этапе развития физики и математики стало ясно, что приходится пользоваться и такими функциями, для определения которых очень сложно или даже невозможно ограничиться одним лишь аналитическим аппаратом. Последний стал тормозить требуемое математикой и естествознанием расширение понятия функции.

В 1834 г. в работе “Об исчезании тригонометрических строк” Н. И. Лобачевский, развивая вышеупомянутое эйлеровское определение функции в 1755 г., писал: “Общее понятие требует, чтобы функцией от х называть число, которое дается для каждого х и вместе с х постепенно изменяется. Значение функции может быть дано или аналитическим выражением, или условием, которое подает средство испытывать все числа и выбирать одно из них; или, наконец, зависимость может существовать и оставаться неизвестной . Обширный взгляд теории допускает существование зависимости только в том смысле, чтобы числа, одни с другими в связи, принимать как бы данными вместе”.

Еще до Лобачевского аналогичная точка зрения на понятие функции была высказана чешским математиком Б. Больцано. В 1837 г. немецкий математик П. Лежен-Дирихле так сформулировал общее определение понятия функции: “у есть функция переменной х (на отрезке a £ х £ b), если каждому значению х (на этом отрезке) соответствует совершенно определенное значение у, причем безразлично, каким образом установлено это соответствие - аналитической формулой, графиком, таблицей либо даже просто словами”.

Примером, соответствующим этому общему определению, может служить так называемая “функция Дирихле” j (х):

ì 1 для всех рациональных значений х

j (х) = í

î 0 для всех иррациональных значений х

Эта функция задана двумя формулами и словесно. Она играет известную роль в анализе. Аналитически ее можно определить лишь с помощью довольно сложной формулы, не способствующей успешному изучению ее свойств. Таким образом, примерно в середине XIX в. после длительной борьбы мнений понятие функции освободилось от уз аналитического выражения, от единовластия математической формулы. Главный упор в новом общем определении понятия функции делается на идею соответствия.

Во второй половине XIX в. после создания теории множеств в понятие функции, помимо идеи соответствия, была включена и идея множества. Таким образом, в полном своем объеме общее определение понятия функции формулируется следующим образом: если каждому элементу х множества А поставлен в соответствие некоторый определенный элемент у множества В, то говорят, что на множестве А задана функция у = f (х), или что множество А отображено на множество В. В первом случае элементы х множества А называют значениями аргумента, а элементы у множества В - значениями функции; во втором случае х - прообразы, у - образы. В современном смысле рассматривают функции, определенные для множества значений х, которые, возможно, и не заполняют отрезка a £ x £ b, о котором говорится в определении Дирихле. Достаточно указать, например, на функцию-факториал y = n !, заданную на множестве натуральных чисел. Общее понятие функции применимо, конечно, не только к величинам и числам, но и к другим математическим объектам, например к геометрическим фигурам. При любом геометрическом преобразовании (отображении) мы имеем дело с функцией.

Вот простой пример (рис. 1). Пусть х1х2х3 - треугольник, d - прямая в плоскости треуголь- ника, рассматриваемая как ось симметрии. Каждой точке х (х1, х2, х3, х4, .), лежащей внутри или на сторонах треугольника, ставим в соответствие точку у (у1, у2, у3, у4, .), определенную указанным преобразованием симметрии. Таким образом, множество точек треугольника х1х2х3 отображено на множест- во точек треугольника у1у2у3.