Монотонная функция


Моното́нная фу́нкция — функция одной переменной, определённая на некотором подмножестве действительных чисел, которая либо везде (на области своего определения) не убывает, либо везде не возрастает. Более точно, это функция , приращение которой при не меняет знака, то есть либо всегда неотрицательное, либо всегда неположительное[1]. Если в дополнение приращение не равно нулю, то функция называется стро́го моното́нной.

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

Пусть дана функция Тогда

Более естественно, когда под терминами возрастающая (убывающая) функция подразумеваются строго возрастающая (убывающая) функция. Тогда про нестрого возрастающую (убывающую) функцию говорят, неубывающая (невозрастающая)[2]:

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

Аналогично, строго убывает на интервале тогда и только тогда, когда выполнены следующие два условия: