Историческое определение функции

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

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

Те вавилонские ученые, которые 4–5 тысяч лет назад нашли для площади S круга радиусом r формулу S=3r2 (грубо приближенную), тем самым установили, пусть и не сознательно, что площадь круга является функцией от его радиуса. Таблицы квадратов и кубов чисел, также применявшиеся вавилонянами, представляют собой задания функции.

Однако явное и вполне сознательное применение понятия функции и систематическое изучение функциональной зависимости берут свое начало в XVII в. в связи с проникновением в математику идеи переменных. В «Геометрии» Декарта и в работах Ферма, Ньютона и Лейбница понятие функции носило по существу интуитивный характер и было связано либо с геометрическими, либо с механическими представлениями: ординаты точек кривых (функции от абсцисс (х); путь и скорость (функции от времени (t) и тому подобное.

Четкого представления понятия функции в XVII в. еще не было, путь к первому такому определению проложил Декарт, который систематически рассматривал в своей «Геометрии» лишь те кривые, которые можно точно представить с помощью уравнений, притом преимущественно алгебраических.

Постепенно понятие функции стало отождествляться таким образом с понятием аналитического выражения формулы.

Слово «функция» (от латинского functio – совершение, выполнение)

Лейбниц употреблял с 1673 г. в смысле роли (величина, выполняющая ту или иную функцию). Как термин в нашем смысле выражение «функция от х» стало употребляться Лейбницем и И. Бернулли; начиная с 1698 г. Лейбниц ввел также термины «переменная» и «константа» (постоянная).

Для обозначения произвольной функции от х Иоганн Бернулли применял знак х, называя характеристикой функции, а также букву х Лейбниц употреблял х1, х2 вместо современных .

Эйлер обозначал через то, что мы ныне обозначаем через .

Явное определение функции было впервые дано в 1718 г. одним из учеников и сотрудников Лейбница, выдающимся швейцарским математиком Иоганном Бернулли:

«Функцией переменной величины называют количество, образованное каким угодно способом из этой переменной величины и постоянных».

Леонард Эйлер во «Введении в анализ бесконечных» (1748) примыкает к определению своего учителя И. Бернулли, несколько уточняя его.

Определение Л. Эйлера гласит: «Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этого количества и чисел или постоянных количеств».

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

В некоторых своих произведениях Л. Эйлер придает более широкий смысл функции, понимая ее как кривую, начертанную «свободным влечением руки». В связи с таким взглядом Л. Эйлера на функцию между ним и его современниками, в первую очередь его постоянным соперником, крупным французским математиком Даламбером, возникла большая полемика вокруг вопроса о возможности аналитического выражения произвольной кривой и о том, какое из двух понятий (кривая или формула) следует считать более широким. Так возник знаменитый спор, связанный с исследованием колебаний струны.

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

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

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