- •1.4. Введение в математический анализ Для замечаний
- •Кванторы.
- •Отрицание высказываний, содержащих кванторы
- •Операции над множествами Объединение ав множеств а и в
- •Взаимно однозначное соответствие и эквивалентность множеств
- •Прямое произведение двух множеств
- •1.4.1.2.Вещественные числа и их изображение на числовой оси Основные свойства рациональных чисел
- •Измерение отрезков числовой оси
- •1.4.1.3. Ограниченные множества вещественных чисел
- •1.4.1.4. Некоторые конкретные множества вещественных чисел
- •1.4.2. Теория последовательностей
- •1.4.2.1. Понятие числовой последовательности
- •1.4.2.2. Бесконечно большие и бесконечно малые последовательности
- •1.4.2.3. Основные теоремы о бесконечно малых последовательностях
- •1.4.2.4. Сходящиеся последовательности. Основные определения
- •1.4.2.5. Основные свойства сходящихся последовательностей
- •1.4.2.6. Арифметические свойства сходящихся последовательностей
- •1.4.2.7. Монотонные последовательности
- •1.4.2.8. Число е
- •1.4.2.9. Предельный переход в неравенствах
- •1.4.2.10. Подпоследовательности числовых последовательностей
- •1.4.2.11. Предельные точки последовательности
- •1.4.3. Понятие функции. Предел функции. Непрерывность
- •1.4.3.1. Определение функции
- •1.4.3.2. Способы задания функций
- •1.4.3.3. Монотонные функции
- •1.4.3.4. Сложная функция
- •1.4.3.5. Обратная функция
- •1.4.3.6. Допустимые области определения функций
- •1.4.3.7. Определение предела функции в точке
- •1.4.3.8. Односторонние пределы
- •1.4.3.9. Пределы на бесконечности
- •1.4.3.10. Арифметические операции над функциями, имеющими предел
- •1.4.3.11. Бесконечно малые и бесконечно большие функции
- •1.4.3.12. Предельный переход в функциональных неравенствах
- •1.4.3.13. Определение непрерывности функции в точке и на множестве
- •1.4.3.14. Арифметические действия над непрерывными функциями
- •1.4.3.15. Сложная функция и ее непрерывность
- •1.4.3.16. Замечательные пределы Первый замечательный предел
- •Второй замечательный предел
- •1.4.3.17. Точки разрыва функций
- •Разрыв первого рода
- •Разрыв второго рода
- •1.4.3.18. Свойства непрерывных функций Устойчивость знака непрерывной в точке функции
1.4.2.8. Число е
Рассмотрим пример последовательности, для исследования сходимости которой будет использована вышеуказанная теорема (п. 2.7.) о пределе монотонной последовательности.
Пусть дана последовательность , т.е. каждый элемент этой последовательности . Покажем, что эта последовательность возрастает и ограничена сверху.
Используя формулу бинома Ньютона
получим
или
или
. (1)
Аналогично этому
Очевидно, что 1) для любого ;
2) все члены последовательности строго положительны;
3) xn+1 по сравнению с хn содержит лишний положительный член.
Поэтому хn<xn+1 и - возрастающая последовательность. Покажем теперь ограниченность сверху этой последовательности.
Используем неравенство
. (2)
Действительно,
Учитывая, что каждое выражение в круглых скобках формулы (1) строго меньше 1, и заменяя его поэтому единицей, получим, что
Суммируя n-1 член убывающей геометрической прогрессии со знаменателем , получим
Итак, последовательность возрастает и ограничена сверху.
По доказанной теореме (п. 2.7.) эта последовательность имеет предел, который называют числом е.
По определению .
1.4.2.9. Предельный переход в неравенствах
Покажем, что неравенства, которым удовлетворяют элементы сходящихся последовательностей, в пределе переходят в соответствующие неравенства для пределов этих последовательностей.
Теорема 1. Если элементы сходящейся последовательности начиная с некоторого номера удовлетворяют неравенству ( ), то и предел а этой последовательности удовлетворяет неравенству ( )
.
Замечание. Если элементы сходящейся последовательности удовлетворяют строгому неравенству xn>b, то предел а этой последовательности может все же оказаться равным b.
Так, члены последовательности строго положительны , а предел этой последовательности равен нулю.
Следствие 1.
.
Если элементы xn и yn сходящихся последовательностей и начиная с некоторого номера удовлетворяют неравенству ( ), то их пределы удовлетворяют такому же неравенству .
Следствие 2. Если все элементы сходящейся последовательности начиная с некоторого номера находятся на сегменте [a,b], то и ее предел С также находится на этом сегменте.
.
Теорема 2. Пусть последовательности и cходятся и имеют общий предел а. Пусть начиная с некоторого номера элементы последовательности удовлетворяют неравенствам . Тогда последовательность сходится и имеет предел а.
1.4.2.10. Подпоследовательности числовых последовательностей
Пусть x1, x2,.., xk,... некоторая числовая последовательность.
Рассмотрим произвольную возрастающую последовательность целых положительных чисел n1, n2,.., nk,... и выберем из последовательности элементы с номерами n1, n2,.., nk,... . Расположим эти элементы в таком же порядке, как и числа . Полученную таким образом числовую последовательность будем называть подпоследовательностью последовательности . В частности, сама последовательность может рассматриваться как подпоследовательность (в этом случае nk = k).
Замечание. Очевидно, что для любого номера k справедливо неравенство . Это видно из следующего примера:
Если k = 5, то nk = 15 и .
Свойство 1. Если последовательность сходится и имеет своим пределом число а, то и любая подпоследовательность этой последовательности сходится и имеет пределом число а
.
Свойство 2. Если все подпоследовательности данной последовательности сходятся, то пределы всех этих подпоследовательностей равны одному и тому же числу а; в частности, к этому же числу сходится и последовательность
.
Свойство 3. Каждая подпоследовательность бесконечно большой последовательности также будет бесконечно большой
Лемма 1. Из каждой сходящейся последовательности можно выделить монотонную сходящуюся последовательность.
Замечание. Из каждой бесконечно большой последовательности можно выделить монотонную бесконечно большую последовательность.