1.3. Классическое понятие функции и его трансформация (19 - 20 века)

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

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

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

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

«Во второй половине 19 века после создания теории множеств в понятие функции, помимо идеи соответствия была включена и идея множества. Таким образом, в полном своем объеме общее определение понятия функции формулируется следующим образом: если каждому элементу x множества А поставлен в соответствие некоторый определенный элемент y из множества В, то говорят, что на множестве А задана функция y = f(x), или что множество А отображено на множество В. В первом случае элементы x множества А называют значениями аргумента, а элементы их множества В — значениями функции; во втором случае x — прообразы, y — образы. В современном смысле рассматривают функции, определенные для множества значений x, которые, возможно, и не заполняют отрезка a < x < b, о котором говорится в определении Дирихле. Общее понятие функции применимо, конечно, не только к величинам и числам, но и к другим математическим объектам. Например, к геометрическим фигурам. При любом геометрическом преобразовании мы имеем дело с функцией. Другими синонимами термина "функция" в различных отделах математики являются: соответствие, отображение, оператор, функционал и др»³.

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

Уже с самого начала 20 века определение Дирихле стало вызывать некоторые сомнения среди части математиков. Еще важнее была критика физиков, натолкнувшихся на явления, которые потребовали более широкого взгляда на физику. Необходимость дальнейшего расширения понятия функции стала особенно острой после выхода в свет в 1930 году книги "Основы квантовой механики" Поля Дирака, крупнейшего английского физика, одного из основателей квантовой механики. Дирак ввел так называемую дельта-функцию, которая выходила далеко за рамки классического определения функции. В связи с этим советский математик Н. М. Гюнтер и другие ученые опубликовали в 30 – 40-х годах нашего столетия работы, в которых неизвестными являются не функции точки, а "функции области", что лучше соответствует физической сущности явлений. Так, например, температуру тела в точке практически определить нельзя, в то время как температура в некоторой области тела имеет конкретный физический смысл.

В общем виде понятие обобщенной функции было введено французом Лораном Шварцем. В 1936 году 28-летний советский математик и механик С. Л. Соболев первым рассмотрел частный случай обобщенной функции, включающей и дельта-функцию, и применил созданную теорию к решению ряда задач математической физики. Важный вклад в развитие теории обобщенной функции внести ученики и последователи Шварца — И. М. Гельфант, Г. Е. Шилов и др.