Предел монотонной ограниченной функции
РАЗДЕЛ 2. ПРЕДЕЛ И НЕПРЕРЫВНОСТЬ ФУНКЦИЙ И ОТОБРАЖЕНИЙ
· Рассматриваются важные для дальнейшего погятия предельного перехода и непрерывности
· Рассматриваются понятия предела последовательности, предела функции, отображения, непрерывности функции. отображения. Описываются необхъодимые свойства этих понятий
ПРЕДЕЛ ПОСЛЕДОВАТЕЛЬНОСТИ. ПРЕДЕЛ ФУНКЦИИ. БЕСКОНЕЧНО МАЛЫЕ ВЕЛИЧИНЫ. АРИФМЕТИЧЕСКИЕ СВОЙСТВА ПРЕДЕЛА
Определение.Если каждому сопоставлено число
, то говорят, чтозадана последовательность
Некоторые последовательности обладают очень важным свойством – они имеют предел.
Определение.Последовательность имеет предел, равный числу A тогда и только тогда, когда для любого
существует число
такое, что для всех
, удовлетворяющих неравенству
, выполняется неравенство
.
Удобно записывать это определение с помощью логических символов:
.
Для обозначения предела последовательности используется символ: .
Пусть определена в некоторой проколотой окрестности
точки а.
Определение.Функция имеет при
предел, равный числу А тогда и только тогда, когда для любой окрестности
точки А существует проколотая окрестность
точки а
такая, что
, или, равносильно, такая, что для любого
. С помощью логических символов это определение записывается так:
Данное определение называется определением предела по Коши.
В этом определении можно вместо произвольной рассматривать
при произвольном
и, соответственно, вместо
- проколотую окрестность
. Тогда оно примет вид:
.
Вспоминая, что условие равносильно неравенствам
, а условие
равносильно условию
, получаем равносильную запись определения предела на "языке
":
Теорема.
1) Если предел последовательности существует, то он единственен, т.е. если
и если
, то
2) Если предел функции имеет при
существует, то он единственен, т.е.
,
, то
Определение.Последовательность называется бесконечно малой, если
. Аналогично, функция
- бесконечно малая при
, если
.
Теорема.Предел последовательности существует и равен А тогда и только тогда, когда
можно представить в виде
, где
- бесконечно малая последовательность.
Аналогично, тогда и только тогда, когда
, где
- бесконечно малая при
функция.
Определение.Функция называется ограниченной при
, если она ограничена в некоторой
, т.е. если
:
.
Теорема. (Свойства бесконечно малых)
- Если
и
- бесконечно малые при
, то алгебраическая сумма -
тоже бесконечно малая при
;
- Если
- бесконечно малая и
- ограниченная при
, то произведение
есть бесконечно малая при
;
- Если
и
- бесконечно малые при
, то произведение
- тоже бесконечно малая при
.
Бесконечно малые последовательности обладают вполне аналогичными свойствами:
- Если
и
- бесконечно малые последовательности, то алгебраическая сумма -
тоже бесконечно малая последовательность;
- Если
- бесконечно малая последовательность, а
- ограниченная последовательность (т.е.
:
), то
- бесконечно малая последовательность;
- Если
и
- бесконечно малые последовательности, то произведение
- бесконечно малая последовательность.
Теорема(Арифметические свойства предела)
Пусть две функции и
, имеют пределы
и
, соответственно, при
. Тогда предел суммы, разности, произведения, и, если
, частного этих функций равны соответственно сумме, разности, произведению и частному значения этих пределов, т.е.
, если
, то
.
Аналогично теорема верна и для последовательностей. Если , то
, то
, а если
, то и
.
ПРЕДЕЛЬНЫЙ ПЕРЕХОД В НЕРАВЕНСТВАХ
Теорема .Если функция имеет предел при , равный А и в некоторой проколотой окрестности
точки a принимает неотрицательные значения, то
.
Теорема.Если для двух функций и
, имеющих пределы, соответственно,
и
, в некоторой проколотой окрестности
выполняется неравенство
, то
.
Замечание:Эти две теоремы означают, что при переходе к пределу сохраняется нестрогое неравенство.
Замечание: строгое неравенство между функциями может не сохраниться для пределов.
Например, для функций ,
в любой
выполняется неравенство
, т.е.
. Однако,
Теорема.(Теорема о “зажатой” переменной). Если выполняется неравенство
, и если
, то
Определение.Если
, то говорят, что существует предел функции
при стремлении х к а справа и обозначают это так:
. Аналогично, если
, то говорят, что существует предел функции
при стремлении х к а слева и обозначают это так:
.
Теорема.Функция имеет при
предел, равный а, тогда и только тогда, когда он имеет пределы при стремлении х к а справа и слева, причем оба эти пределы равна А.
Замечание.Разумеется, для пределов справа и слева верны все теоремы об арифметических свойствах предела и о предельном переходе в неравенствах.
Ниже приводятся определения бесконечных пределов.
.
.
.
.
.
ПРЕДЕЛ МОНОТОННОЙ ОГРАНИЧЕННОЙ ФУНКЦИИ
Определение.Последовательность называется неубывающей , если для всех n выполняется неравенство
. Она называется возрастающей, если выполняется неравенство
. Последовательность
называется невозрастающей , если для всех n выполняется неравенство
. Она называется убывающей, если выполняется неравенство
.Общее название всех таких последовательностей – монотонные последовательности.
Определение.Функция , определенная на промежутке
называется: неубывающей(возрастающей) на Х, если для всех
из неравенства
следует неравенство
(
). Она называется невозрастающей(убывающей) на Х, если из
следует
(
). Общее название для этих случаев – монотонные на Х функции.
Теорема . (К. Вейерштрасс)
- Если последовательность
не убывает и ограничена сверху, то существует
.
- Если последовательность
не возрастает и ограничена снизу, то существует
.
Теорема . (К. Вейерштрасс)
1) Если не убывает на
и ограничена сверху на
, то существует
.
2) Если не убывает на
и ограничена снизу на
, то существует
.
3) Если не возрастает на
и ограничена сверху, то существует
.
4) Если не возрастает на
и ограничена снизу, то существует
.
Следствие. Если - монотонная на
функция, то для любого
существуют
и
.