Существование односторонних пределов у монотонной функции.
Теорема:
Если функция f определена и является монотонной на отрезке [a;b], то в каждой точке из интервала (a;b) функция имеет конечные пределы слева и справа, а в точках a и b соответственно правый и левый пределы.
Доказательство:
Пусть функция f(x) возрастает на отрезке [a;b]. Зафиксируем точку , принадлежащую (a;b]. Тогда:
Множество значений функции f(x) на промежутке [a;) ограничено сверху, по теореме о точной верхней грани существует:
, где
Согласно определению точной верхней грани, выполняются следующие условия:
1)
2)
Обозначим .
Имеем:
:
Аналогично доказывается наличие предела справа.