Самым общим (и, безусловно, основным) является в математике следующее определение понятия функции. Говорят, что определена некоторая функция, если, во-первых, задано некоторое множество, называемое областью определения функции, во-вторых, задано некоторое множество, называемое областью значений функции, и, в-третьих, указано определенное правило, с помощью которого каждому элементу, взятому из области определения, ставится в соответствие некоторый элемент из области значений.
Приведем несколько примеров, иллюстрирующих это общее определение.
Пример 1. Обозначим через А множество всех треугольников на плоскости, а через В — множество всех окружностей, взятых на этой же плоскости. Множество А будем считать областью определения, а множество В - областью значений (той функции, которую мы определяем). Наконец, каждому треугольнику поставим в соответствие окружность, вписанную в этот треугольник. Это есть вполне определенное правило, которое каждому элементу взятому из области определения (т. е. треугольнику), ставит в соответствие некоторый элемент из области значений (т. е. окружность).
Пример 2. Сохраним те же самые множества А и В, что и в
примере 1, т. е. по-прежнему будем считать областью определения множество всех треугольников на плоскости, а областью значений—множество всех окружностей. Далее, каждому треугольнику поставим в соответствие его описанную окружность. Мы получаем функцию с той же областью определения А и той же областью значений В. Но это уже другая функция, так как окружность сопоставляется треугольнику с помощью другого правила.
Пример 3. Обозначим через К множество всех кругов на плоскости, а через О — множество всех действительных чисел. Далее, выберем единицу измерения площадей и каждому элементу множества К, (т. е. кругу) поставим в соответствие число, равное площади этого круга. Мы получаем функцию с областью определения К и областью значений D.
Пример 4. Обозначим через N множество всех натуральных чисел, а через О—множество всех действительных чисел. Далее, выберем два действительных числа a1 и rи каждому натуральному числу п поставим в соответствие действительное число, равное п-му члену арифметической прогрессии с первым членом а, и разностью r(т. е. натуральному числу п поставим в соответствие действительное число a1+(n-1)r). Мы получаем функцию с областью определения N и областью значений D.
Пример 5. Теперь мы примем и в качестве области определения, и в качестве области значений множество Dвсех действительных чисел. Далее, выберем два действительных числа a1 и r и каждому действительному числу х поставим в соответствие число а1+(х-1)r. Мы получаем функцию с областью определения D и областью значений D.
Заметим, что в примерах 4 и 5 одинакова область значений D и одинаково правило соответствия: формулы a1+(n-1)r и а1+(х-1)r показывают, что в обоих случаях надо над выбранным числом (n или х)проделать одни и те же действия, чтобы узнать, какое число поставлено ему в соответствие. Однако области определения этих двух функций различны, и потому мы имеем в примерах 4 и 5 разные функции. Таким образом, для задания функции мало указать правило соответствия, а надо еще обязательно указать область определения и область значений.
Для обозначения функций обычно пользуются буквами. Одна буква (чаще всего х)используется для обозначения произвольного элемента, взятого из области определения функции. Эта буква называется аргументом. Таким образом, если сказано, что х - аргумент некоторой функции, то вместо х мы можем подставить любой элемент, принадлежащий области определения этой функции. Далее, другая буква (чаще всего у)используется для обозначения произвольного элемента, взятого из области значений. Эта буква называется функцией (и это второе значение слова «функция»). Наконец, третья буква (чаще всего f) используется для обозначения правила соответствия. Это значит, что если а - произвольное значение аргумента (т. е. произвольный элемент, взятый из области определения функции), то элемент, поставленный ему в соответствие, обозначается через f(а). Элемент y = f(а) называется значением рассматриваемой функции при х=а.
Все три буквы х, у, f объединяются одной записью:
y=f(x) (1)
(«игрек равен эф от икс»), которая и означает, что х - аргумент,
у - функция, а f- правило соответствия. Иногда букву f или выражение f(х)также называют функцией (и это - уже третье значение слова «функция»).
Пример 6. Обратимся снова к функции, рассмотренной в примере 4. Аргумент обозначим через п, функцию - через у, а правило соответствия - через f. Таким образом, мы запишем эту функцию в виде у=f(n). Вот несколько значений этой функции:
f(1)=a1, f(2)=a2=a1+r, f(3)=a3=a1+2r и т. д.
Разумеется, вместо букв х, у,f можно использовать и другие буквы. Например, запись s=j(t) означает, что s есть функция аргумента t (или короче: s есть функция от t), причем правило соответствия обозначается буквой j.
Следует подчеркнуть, что область значений функции представляет собой множество элементов (или чисел), среди которых обязательно содержатся все значения рассматриваемой функции. Однако в области значений могут содержаться и «лишние» элементы, не являющиеся значениями функции. Иными словами, множество значений функции обязательно содержится в области значений, но не обязательно совпадает с ней. Так, в примере 3 значениями функции являются лишь положительные числа, тогда как область значений есть множество всех действительных чисел. Несовпадение множества значений функции и области значений можно видеть также в примере 4.
В заключение рассмотрим еще одно (четвертое!) понимание слово «функция», являющееся для школьного курса математики наиболее важным. Именно, функцией называют произвольное выражение, содержащее аргумент х, а также знаки действий и числа. Например, функциями (в этом смысле) являются
y=x2+1, (2)
y=
, (3)y=|x-1|, (4)
y=
, (5)y=
, (6)y=
(7)Почему же такие формулы называют «функциями» и не противоречит ли это понимание функции сказанному выше? Связь со сказанным выше устанавливается следующим соглашением, которого мы всюду в дальнейшем будем придерживаться:
Если функция задана в виде равенства, в левой части которого стоит у (или другая буква, обозначающая функцию), а в правой части стоит некоторое выражение, содержащее аргумент х, а также знаки действия и числа (причем область определения не указана), то принято считать, что
1) за область значений принимается все множество Dдействительных чисел;
2) за область определения принимается множество всех тех действительных чисел, при подстановке которых вместо х выполнимы (в множестве действительных чисел) все действия, указанные в правой части;
3) если число а принадлежит области определения, то значение функции при х=а равно числу, получающемуся, если в правую часть подставить х=а и произвести указанные действия.
Итак, задание функции формулой содержит в себе и указание области определения, и задание правила соответствия.
Пример 7. Найти область определения функций (2) и (3); определить, совпадают ли эти функции.
Решение. Действия, указанные в правой части равенства (2), выполнимы при любом действительном значении х, т. е. областью определения функции (2) является все множество D действительных чисел (или, иначе, бесконечный интервал -¥<х<¥). Функция (3) определена для всех действительных чисел х, кроме х=0, т. е. область определения этой функции получается выбрасыванием (или, как еще говорят, «выкалыванием») из множества D точки х=0. Можно описать область определения функции (3) и иначе: она представляет собой объединение двух бесконечных интервалов (-¥, 0) и (0, ¥).
Заметим, что при любом х¹0значения функций (2) и (3) совпадают. Тем не менее (2) и (3)—различные функции, так как их области определения не совпадают.
Пример 8. Найти области определения функций (5),
Решение. Функция (5) определена для всех значений аргумента, кроме х=-2. Таким образом, область определения этой функции получается выкалыванием из числовой оси точки х=-2; иначе говоря, эта область определения является объединением двух бесконечных интервалов (-¥, -2) и (-2, ¥).
Область определения функции (6) состоит из всех точек, для которых подкоренное выражение неотрицательно, т.е. эта область определения задается неравенством 1+х³0, или х³-1. Иначе говоря, область определения функции (6) представляет собой бесконечный полуинтервал [-1,¥). Концевая точка х=-1 этого полуинтервала принадлежит области определения .
Наконец, область определения функции (7) состоит из всех значений х, для которых подкоренное выражение в правой части равенства (7) неотрицательно. Но если это подкоренное выражение отлично от нуля, то оно непременно отрицательно. Значит, область определения функции (7) состоит лишь из тех точек х, для которых подкоренное выражение обращается в нуль. Это будет при х=-5, х=-1 и х=2. Таким образом, область определения функции (7) состоит лишь из трех точек: -5, -1 и 2.