Вопрос 16.1. Числовые функции одного переменного
Общее определение функции определяет последнюю как закон соответствия между множествами X и Y. Если X и Y ‑ числовые множества, то мы получаем числовую функцию одного аргумента.
Функции можно разбить на четыре следующих класса:
1) вещественные функции вещественного аргумента,
2) комплексные функции вещественного аргумента,
3) вещественные функции комплексного аргумента,
4) комплексные функции комплексного аргумента.
Любую функцию второго типа можно представить в виде
, где
и
‑ вещественные функции.
В дальнейшем будем рассматривать только функции первого типа.
Определение 16.1. Графиком функции
называется геометрическое место точек плоскости с координатами.
В некоторых случаях график функции может быть построен путем простых преобразований графика известной функции
:
а) график функции
получается сдвигом вдоль оси X на a единиц влево, если
, и на a единиц вправо, если
, графика
;
б) график
получается растяжением в k раз, если
, и сжатием в k раз, если
, графика функции
вдоль оси X;
в) график
получается растяжением в A раз, если
, и сжатием в A раз, если
, графика функции
вдоль оси Y;
г) график
получается путем последовательного применения преобразований а) ‑ в) с учетом
.
Существует три основных способа задания функции:
1) аналитический (задание формулой),
2) графический,
3) табличный (задание таблицы y и x).
Определение 16.2. Функция
называется
а) монотонно возрастающей, если для всех
выполняется неравенство
,
б) монотонно убывающей, если для всех
выполняется неравенство
,
в) монотонно невозрастающей, если для всех
выполняется неравенство
,
г) монотонно неубывающей, если для всех
выполняется неравенство
.
Определение 16.3. Функция
называется четной, если для всех x из области определения,
.
Определение 16.4. Функция
называется нечетной, если для всех x из области определения,
.
Определение 16.5. Функция
называется периодической, если существует число
такое, что
.
Определение 16.6. Функция
называется взаимно однозначной, если для любых
выполняется неравенство
.
Примеры таких функций:
.
Легко видеть, что любая монотонно возрастающая или монотонно убывающая функция является взаимно однозначной. Если
взаимно однозначна, то каждому значению аргумента x соответствует одно значение y. Это означает, что существует функция
,
называемая обратной к функции
.
Из определения обратной функции следует, что
и 
Пример 16.1. Функция
обратная к функции
, для них справедливы равенства
и
.
График обратной функции
и график функции
симметричны относительно биссектрисы 1-й и 3-й четверти координатной плоскости, так как точке
графика функции
соответствует точка
графика обратной функции (см. рис. 1).

Рис. 1. Построение графика обратной функции.
Определение 16.7. Функция
, у которой аргумент является функцией
, называется сложной, а сама операция получения сложной функции называется композицией.
Пример сложной функции:
.
Определение 16.8. Основными элементарными функциями называются степенная, показательная, логарифмическая, тригонометрические и обратные тригонометрические функции.
Определение 16.9. Элементарной функцией называется всякая функция, построенная из конечного числа основных элементарных функций, связанных между собой четырьмя арифметическими операциями и операцией композиции.
Пример 16.2.
‑ сложная функция.
Определение 16.10. Функция
называется ограниченной на числовом множестве D, если для всех x из этого множества справедливо неравенство
, где
.
Определение 16.11. Функция
называется ограниченной сверху на числовом множестве D, если для всех x из этого множества выполняется неравенство
, где M некоторое число.
Определение 16.12. Наименьшее из чисел M, таких что
для всех x из множества D, называется максимумом функции
на множестве D.
Определение 16.13. Функция
называется ограниченной снизу на числовом множестве D, если для всех x из этого множества выполняется неравенство
, где M некоторое число.
Определение 16.14. Наименьшее из чисел M, таких, что
для всех x из множества D, называется минимумом функции
на множестве D.
Пример 16.3. Функция
ограничена сверху на полуинтервале
, так как
на этом множестве. Максимум функции этом множестве равен 0 и достигается в точке
.