ФУНКЦИЯ

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

Каждая область знаний: физика, химия, биология, социология, лингвистика и т.д. - имеет свои объекты изучения, устанавливает свойства и, что особенно важно, взаимосвязи этих объектов.

В различных науках и областях человеческой деятельности возникают количественные соотношения, и математика изучает их в виде свойств чисел. Математика рассматривает абстрактные переменные величины и в отвлеченном виде, изучает различные законы их взаимосвязи, которые на математическом языке называются функциональными зависимостями, или функциями.

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

«Поворотный пунктом в математике была Декартова переменная величина. Благодаря этому в математику вошли движение и тем самым диалектика.» Ф. Энгельс

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

Математическое описание понятия функциональной зависимости или функции состоит в следующем.

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

В этом случае множество  называется областью определения функции; символ  его общего элемента - аргументом функции или независимой переменной; соответствующий конкретному значению  аргумента  элемент  называют значением функции на элементе  или значением функции при значении аргумента  и обозначают через . При изменении значений аргумента значения , вообще говоря, меняются (в зависимости от значения ). По этой причине величину  часто называют зависимой переменной.

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

Например, авиапассажиры сидят в креслах салона пассажирского авиалайнера. Пусть  - множество пассажиров, а  - множество кресел салона. Тогда возникает естественное соответствие : каждому пассажиру  сопоставляется то кресло , в котором он сидит. Мы имеем здесь, таким образом, простой пример функции, областью определения которой является множество  пассажиров, а областью значений - множество  занимаемых ими кресел. Если заполнены не все кресла , то множество значений функции будет подмножеством , не совпадающим со всем множеством .

Если в кресле  находятся два пассажира  и  (например, мать и ребенок), то это никак не противоречит определению функции , которая и , и  однозначно ставит в соответствие кресло . Правда, такая функция принимает одно и то же значение  при разных значениях ,  аргумента, подобно тому как числовая функция  принимает одно и то же значение 9 при  и .

«Весь анализ бесконечных вращается вокруг переменных величии и их функций». Л. Эйлер

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

В зависимости от природы множеств ,  термин «функция» в различных отделах математики имеет ряд полезных синонимов: соответствие, отображение, преобразование, оператор, функционал и т.д. Отображение - наиболее распространенный из них.

Для функции (отображения) приняты следующие обозначения:  и . Если из контекста ясно, каковы область определения и область значений функции, то используют также обозначения  или , а иногда обозначают функцию вообще одним лишь символом . Вместо стандартной тройки  для обозначения функции можно, разумеется, использовать и любые иные буквы, например рассматривать отображения,  и т.д.

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

Рассмотрим еще несколько примеров, поясняющих понятие функции. В них употребляются названные синонимы и введенная терминология.

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

Здесь и область определения и область значений функции являются числовыми множествами. Такие функции обычно называют числовыми. Числовые функции являются основным, но далеко не единственным видом функций.

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

ВЛАДИМИР АНДРЕЕВИЧ СТЕКЛОВ (1864-1926) В. Л. Стеклов - русский советский математик, видный организатор советской науки. В трудные для нашей страны годы гражданской войны академик В. А. Стеклов был избран вице-президентом Академии наук (1919). Он взял на себя громадный труд по административно-хозяйственной и организационно-научной деятельности. 26 января 1921 г. В. И. Ленин принял A. M. Горького, В. А. Стеклова и других ученых. Они обсуждали состояние научно-исследовательской работы в РСФСР. После этой беседы В. И. Ленин сказал Горькому: «Вот так, одного за другим мы перетянем всех русских и европейских архимедов, тогда мир, хочет не хочет, а - перевернется». При непосредственном участии Стеклова был разработан и проведен в жизнь ряд решений, способствовавших развитию науки в нашей стране. В 1921 г. по инициативе ученого при Академии наук был организован Физико-математический институт, первым директором которого его и назначили. (После смерти В. А. Стеклова Математическому институту АН СССР было присвоено его имя.) Ученый принимал активное участие в многочисленных комиссиях и комитетах Академии наук, участвовал в работах по изучению Курской магнитной аномалии, входил в Международную комиссию по изданию трудов Л. Эйлера. Но главным делом жизни Стеклова были научные исследования, которые он начал в Харьковском университете под руководством русского математика А. М. Ляпунова. Первоначально Стеклов изучал движение твердого тела в жидкости и некоторые вопросы теории упругости, а затем перешел к изучению общих проблем, связанных с решением уравнений математической физики. Он изучил разложения функций в ряды по многочленам специального вила (этой темой много занимались П. Л. Чебышев и его ученики), дал общее условие разложимости функций в ряд по заданной системе функций, которое, как выяснилось позднее, и является бесконечномерным обобщением теоремы Пифагора, применил полученные результаты к решению различных проблем, в том числе к решению важного для математической физики уравнения Лапласа (этому уравнению удовлетворяет, например, установившееся распределение температуры в теле). Полученные ученым результаты сделали его одним из виднейших специалистов в области математической физики. В 1912 г. он был избран академиком. В. А. Стеклов был представителем петербургской математической школы, которая объединяла замечательных русских ученых, профессоров высших учебных заведений: П. Л. Чебышева, М. В. Остроградского, А. М. Ляпунова. А. А. Маркова и других. К научным работам по математике В. А. Стеклов предъявил требования, характерные для этой школы: единство науки и жизни, выдвижение на первый план проблем, которые непосредственно служат познанию природы. В то же время он считал, что при оценке научных достижений не следует учитывать лишь их прикладную значимость, и подчеркивал, что кажущаяся с первого взгляда отвлеченной научная теория может получить в дальнейшем важные теоретические и практические приложения. В. А. Стеклов известен также как историк математики, философ и писатель. Его перу принадлежат книги о русских и зарубежных ученых, путевые очерки и т.д.

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

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

Если на прямой ввести две системы координат , , имеющие одинаковый масштаб (единицу длины), то координаты  и  одной и той же точки прямой в этих системах будут связаны соотношением , где  - координата в системе  начала отсчета системы . Функция  в этом случае обычно называется преобразованием координат. Термин «преобразование» часто встречается в геометрии (см. Геометрические преобразования), а также в физике в связи с разнообразными преобразованиями координат.

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

Пусть  - множество всех числовых функций , определенных на всей числовой прямой . Фиксируем число  и каждой функции  поставим в соответствие функцию , определяемую следующим соотношением: . Функцию  называют сдвигом функции  на величину . Построенное соответствие  порождает функцию , называемую оператором сдвига. Оператор, таким образом, это функция, преобразующая одни функции в другие, так . Операторы мы встречаем на каждом шагу: любой радиоприемник есть оператор, преобразующий электромагнитный сигнал, поступающий на вход приемника, в звуковой сигнал на его выходе; любой из наших органов чувств является оператором (преобразователем) со своими областью определения и областью значений.

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

В теории вероятностей и математической статистике появляются и изучаются еще так называемые случайные функции.

Например, если бросать игральную кость (кубик) и номеру бросания сопоставлять выпавшее при этом бросании число очков, то получится числовая последовательность с целыми значениями в пределах от 1 до 6. Если эту процедуру повторить заново, то получится, вообще говоря, другая последовательность. До проведения опыта мы не знаем точно значения  нашей функции в -м бросании, хотя все-таки знаем, что с вероятностью  это может быть, например, 1. Распределение значений и другие свойства так возникающих функций изучают науки вероятностного цикла.

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

Рассмотрим температуру  в пункте  земной поверхности . Таким образом, возникает температурная функция , аргументом которой является точка  поверхности , а значением  - температура в этой точке. Чтобы привести эту функцию к числовой записи, точку  характеризуют некоторыми числовыми параметрами, например широтой  и долготой . После этого вместо  пишут , где теперь , ,  - числа. Но  оказывается, таким образом, зависящей не от одной, а от двух переменных - , , поэтому такую числовую функцию называют функцией двух (числовых) переменных. В этом же смысле температура атмосферы в целом есть функция  трех числовых переменных: две первые  указывают, над какой точкой земной поверхности проводится измерение температуры, а последняя -  - задает высоту, на которой оно выполняется.

МИХАИЛ АЛЕКСЕЕВИЧ ЛАВРЕНТЬЕВ (1900-1980) М. А. Лаврентьев - советский ученый и организатор науки, Герой Социалистического Труда (1967), лауреат Ленинской (1958) и Государственных (1946, 1949) премий, академик (1946), вице-президент Академии наук СССР (1957-1975). М. А. Лаврентьев родился в Казани, в семье учителя математики Казанского технического училища. В 1918 г. он поступил в Казанский университет, на последнем курсе перевелся в Московский университет и тогда, еще студентом, начал свою педагогическую деятельность в Московском Высшем техническом училище им. Н.Э. Баумана и в МГУ. Как математик М. А. Лаврентьев сформировался в научной школе русского математика Н. Н. Лузина, из которой вышли такие известные советские ученые, как П. С. Александров, А. Н. Колмогоров и другие. М. А. Лаврентьев вспоминал, что «это была особая школа - школа обмена идеями, проблемами, путями поиска их решений, школа творчества, которая связывает людей общими интересами и методами исследований». М. А. Лаврентьеву принадлежат основополагающие работы по математическому анализу, теории дифференциальных уравнений и современной теории функций, он создал несколько новых теорий в механике непрерывных сред и газовой динамике. Когда в конце 50-х гг. Коммунистическая партия и Советское правительство поставили задачу скорейшего развития Сибири и Дальнего Востока, М. А. Лаврентьев возглавил уникальный эксперимент по созданию крупнейшего комплексного научного центра - Сибирского отделения Академии наук СССР. Когда он приехал в Новосибирск, на месте будущего Академгородка на берегу Новосибирского водохранилища стояло лишь несколько бараков. Его талант организатора, огромная зажигающая энергия и научный авторитет в значительной степени обеспечили успех этого эксперимента. Ныне в Академгородке около 50 научно-исследовательских учреждений. Кузницей молодых научных кадров Сибирского отделения АН СССР стал созданный М. А. Лаврентьевым в 1959 г. Новосибирский государственный университет, в котором преподают ведущие ученые Сибирского отделения и обучение проводится так, что уже студенты II-III курсов начинают заниматься научной работой. По инициативе М. А. Лаврентьева в Академгородке организована физико-математическая школа-интернат, куда принимают наиболее талантливых ребят, победителей всесибирских олимпиад школьников. При своей огромной занятости Михаил Алексеевич всегда находил время для учеников школы-интерната, вникал в их дела и заботы, беседовал с ними. Он неоднократно говорил, что ученому необходимы трудолюбие, энтузиазм, оптимизм, но главное - это требовательность к себе и абсолютная честность. Он считал, что ребятам для развития творческого мышления полезно задавать нестандартные задачи, особенно практического содержания. Многие теоретические исследования ученого были направлены на решение проблем народного хозяйства. М. А. Лаврентьев - создатель теории направленного взрыва. И на основе математических расчетов ученого направленным взрывом была создана плотина, которая спасла столицу Казахстана Алма-Ату от разрушительных грязевых потоков-селей.

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

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

Понятие «функция» претерпело длительную и довольно сложную эволюцию. Термин «функция» впервые появился в 1692 г. у Г. В. Лейбница, правда, в некотором более узком смысле. В смысле, близком к современному, этот термин употребил в письме к Г. Лейбницу от 1698 г. швейцарский ученый И. Бернулли. В формировании современного понимания функциональной зависимости приняли участие многие крупные математики. Описание функции, почти совпадающее с современным, встречается уже в учебниках математики начала XIX в. Активным сторонником такого понимания функции был Н. И. Лобачевский.

Мы обсудили понятие функции. Остановимся в заключение на одном общем и важном принципе синтеза и анализа функций.

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

Отражением этого принципа в математике является операция композиции функций.

Если функции  и  таковы, что одна из них (в нашем случае ) определена на множестве значений другой , то можно построить новую функцию , значения которой на элементах множества  определяются формулой . Построенная «сложная» функция  называется композицией функций  и  (в таком порядке!).

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

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

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

Если в композиции  все члены одинаковы и равны , то часто ее обозначают коротко через .

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

,

начиная с любого начального приближения . Это не что иное, как последовательное вычисление , где

.

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

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

Возьмем, например, двухэлементное множество  и постоянные функции , . Тогда , в то время как .

Отображение , сопоставляющее каждому элементу множества  его самого (т.е. ), называется тождественным отображением множества .

Отображения (функции)  и  называются взаимно-обратными, если  и .

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

Обратное к  отображение  обычно обозначают символом . Таким образом, если  и  взаимно-обратные отображения, то можно записать, что  и .

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

 при  и  при ;

 при  и  при ;

 при  и

 при .

О наиболее часто встречающихся функциях вы прочитаете в статьях Элементарные функции, Линейная функция, Квадратный трехчлен, Степенная функция, Дробно-линейная функция, Показательная функция, Логарифмическая функция, Тригонометрические функции, Гиперболические функции.