Монотонность функции¶
Монотонность функции — свойство функции, заключающееся в том, что с увеличением аргумента значения функции либо не убывают (или не возрастают), либо строго возрастают (или строго убывают). Монотонность — одно из фундаментальных понятий математического анализа, тесно связанное с понятием производной и имеющее прикладное значение в теории оптимизации, численных методах и экономике.
¶Определение
Пусть функция $f$ определена на промежутке $I$ действительной оси. Функция называется возрастающей на $I$, если для любых $x_1, x_2 \in I$ из $x_1 < x_2$ следует $f(x_1) \leq f(x_2)$. Если при этом строгое неравенство $f(x_1) < f(x_2)$ выполняется всегда, функция называется строго возрастающей.
Аналогично, функция убывает на $I$, если из $x_1 < x_2$ следует $f(x_1) \geq f(x_2)$, и строго убывает, если $f(x_1) > f(x_2)$ при любых $x_1 < x_2$.
Функция, которая на всём своём определённости является возрастающей или убывающей, называется монотонной. Если строго возрастающей или строго убывающей — строго монотонной.
¶Критерий монотонности через производную
Основной инструмент проверки монотонности на интервалах дифференцируемых функций — связь с производной. Пусть функция $f$ непрерывна на отрезке $[a, b]$ и дифференцируема на интервале $(a, b)$. Тогда:
- если $f'(x) > 0$ для всех $x \in (a, b)$, то $f$ строго возрастает на $[a, b]$;
- если $f'(x) < 0$ для всех $x \in (a, b)$, то $f$ строго убывает на $[a, b]$;
- если $f'(x) \geq 0$ (соответственно $\leq 0$) на всём интервале и производная не обращается в нуль на какой-либо подинтервале, то $f$ возрастает (убывает).
Обратное утверждение верно с оговорками: если функция возрастает и дифференцируема, то её производная неотрицательна; однако производная может равняться нулю в отдельных точках, не разрушая монотонности. Классический пример — функция $f(x) = x^3$, для которой $f'(0) = 0$, но функция строго возрастает на всей числовой оси.
Точки, в которых производная меняет знак, называются точками перегиба (в контексте изменения направления монотонности — точками экстремума). Знание таких точек позволяет разбить область определения на интервалы монотонности.
¶Свойства монотонных функций
- Инъективность. Строго монотонная функция обязательно инъективна: различные значения аргумента дают различные значения функции. Следовательно, она обратима на своём множестве значений.
- Обратная функция. Строго монотонная непрерывная функция на отрезке имеет непрерывную обратную функцию, которая также строго монотонна (в том же направлении).
- Сумма и композиция. Сумма двух возрастающих функций возрастает; сумма возрастающей и убывающей — не обязательно монотонна. Композиция двух возрастающих (или двух убывающих) функций возрастает; композиция возрастающей и убывающей — убывает.
- Частичный порядок. Монотонные функции образуют естественный порядок: если $f \leq g$ точечно и $g$ возрастает, то $f$ не обязательно монотонна, но отношение «$f$ возрастает и $f \leq g$» транзитивно.
¶Классификация монотонности
| Тип | Условие |
|---|---|
| Строго возрастающая | $x_1 < x_2 \Rightarrow f(x_1) < f(x_2)$ |
| Возрастающая (нисходящая в широком смысле) | $x_1 < x_2 \Rightarrow f(x_1) \leq f(x_2)$ |
| Строго убывающая | $x_1 < x_2 \Rightarrow f(x_1) > f(x_2)$ |
| Убывающая | $x_1 < x_2 \Rightarrow f(x_1) \geq f(x_2)$ |
| Немонотонная | направление изменения меняется |
В теории функций реального переменного встречается более тонкая классификация: например, строго убывающая по Нёманну функция, для которой из $x_1 < x_2$ следует $f(x_1) > f(x_2)$, и понятие одномонотонной функции, сохраняющей монотонность на заданном семействе подмножеств.
¶Примеры
- Линейная функция $f(x) = kx + b$ возрастает при $k > 0$ и убывает при $k < 0$.
- Показательная функция $a^x$ строго возрастает при $a > 1$ и строго убывает при $0 < a < 1$.
- Логарифмическая функция $\log_a x$ строго возрастает при $a > 1$ и строго убывает при $0 < a < 1$.
- Синус на отрезке $[-\pi/2, \pi/2]$ строго возрастает, на $[\pi/2, 3\pi/2]$ — строго убывает; на всей числовой оси функция немонотонна.
- Степенная функция $x^n$ при чётном $n$ убывает на $(-\infty, 0]$ и возрастает на $[0, +\infty)$; при нечётном $n$ строго возрастает везде.
¶Применение
Монотонность лежит в основе метода деления отрезка для решения уравнений $f(x) = 0$: если $f$ непрерывна и меняет знак на концах отрезка, а монотонна внутри, корень единственный.
В математическом анализе монотонные последовательности играют ключевую роль: монотонно возрастающая последовательность, ограниченная сверху, имеет предел — одно из важнейших свойств действительных чисел (свойство полноты), лежащее в основе доказательства существования предела многих последовательностей.
В теории оптимизации монотонность функции цели упрощает поиск минимума или максимума: на отрезке строго монотонная функция достигает экстремума только на границе.
В экономике и теории игр мононимность (в смысле сохранения порядка) полезных функций и функций спроса — стандартное предположение, отражающее «разумность» агентов: предпочтения не меняются от переупорядочивания альтернатив.
¶История
Понятие монотонности в современном виде сформировалось в XIX веке в связи с развитием строгого определения предела и непрерывности. Ключевые результаты о монотонных последовательностях связаны с работами Бернард Больцано, Огюстена Луи Коши и Карла Вейерштрасса по обоснованию анализа. Термин «монотонная функция» вошёл в употребление в трудах немецкой и французской математических школ того периода.
¶Источники
- Кудрявцев Л. Д. Курс математического анализа.
- Фихтенгольц Г. М. Курс математического анализа.
- Зорич В. А. Математический анализ.
- Бурнашев Ю. В. Математический анализ.