Аналитическое определение функции (17 - начало 19 века)

Само слово “функция” (от латинского functio - совершение, выполнение) впервые было употреблено немецким математиком Лейбницем в 1673 г. в письме к Гюйгенсу (под функцией он понимал отрезок, длина которого меняется по какому-нибудь определенному закону), в печати ввел с 1694 года. Начиная с 1698 года, Лейбниц ввел также термины “переменная” и “константа”. В 18 веке появляется новый взгляд на функцию как на формулу, связывающую одну переменную с другой. Это так называемая аналитическая точка зрения на понятие функции. Подход к такому определению впервые сделал швейцарский математик Иоганн Бернулли (1667-1748), который в 1718 году определил функцию следующим образом: “функцией переменной величины называют количество, образованное каким угодно способ из этой переменной величины и постоянных”, для обозначения произвольной функции от х Бернулли применил знак φ(х), называя характеристикой функции, а также буквы х или ε; Лейбниц употреблял х1, х2 вместо современных f1(х), f2(х). Эйлер обозначил через f: у, f: (х + у) то, что мы ныне обозначаем через f(x), f(х+у).

Наряду с ε Эйлер предлагает использовать буквы Φ, Ψ и другие. Даламбер сделал шаг вперед на пути к современным обозначениям, отбрасывая двоеточие Эйлера; он пишет, например, φt, φ(t+s).

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

В «Дифференциальном исчислении», вышедшем в свет в 1755 году, Эйлер дает общее определение функции: «Когда некоторые количества зависят друг от друга таким образом, что при изменении последних и сами они подвергаются изменению, то первые называют функцией вторых». «Это наименование, - продолжает далее Эйлер - имеет чрезвычайно широкий характер; оно охватывает все способы, какими одно количество определяется с помощью других».

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

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

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

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