Рассмотрим последовательность an = a, где a — некоторое фиксированное число. Наша задача состоит в доказательстве, что предел этой последовательности равен a.
Для доказательства этого факта воспользуемся определением предела последовательности: для любого положительного числа ε существует такое натуральное число N, что для всех n больше N выполняется неравенство |an — a| < ε.
Доказательство существования предела
Для доказательства существования предела последовательности an = a необходимо показать, что для любого положительного числа ε существует номер элемента N, начиная с которого все члены последовательности an находятся на расстоянии меньше ε от предельного значения a.
То есть, для любого ε > 0 найдется такое число N, что для всех n ≥ N выполняется |an — a| < ε.
Для доказательства этого факта можно использовать определение предела последовательности и свойства неравенств.
Пусть ε > 0 произвольно. Рассмотрим неравенство |an — a| < ε. Так как an = a, неравенство можно переписать как |a — a| < ε.
Так как любое число минус само себя равно нулю, мы получаем неравенство 0 < ε, которое всегда верно при положительном ε.
Таким образом, выбрав N = 1, мы можем утверждать, что для всех n ≥ N выполняется |an — a| < ε.
Это означает, что в определенном смысле все члены последовательности an находятся на расстоянии меньше ε от предельного значения a.
Таким образом, доказано существование предела последовательности an = a.
Монотонность последовательности
Существуют два типа монотонности: возрастающая и убывающая.
Последовательность a_n = a_n+1 является возрастающей, если каждый следующий элемент больше предыдущего:
a_n < a_n+1 для всех натуральных n.
Аналогично, последовательность a_n = a_n+1 является убывающей, если каждый следующий элемент меньше предыдущего:
a_n > a_n+1 для всех натуральных n.
Однако не все последовательности обладают монотонностью. Некоторые могут быть неупорядоченными или содержать подпоследовательности, которые не обладают этим свойством. В таких случаях другие методы, такие как применение формул или использование других свойств последовательности, могут использоваться для доказательства предела.
Ограниченность последовательности
Существует несколько способов доказательства ограниченности последовательности:
- Метод сжатой последовательности: если существуют две другие последовательности bn и cn, такие что для всех n, bn ≤ an ≤ cn, и обе эти последовательности имеют пределы, тогда an также будет иметь предел. Кроме того, если bn сходится к некоторому числу L, а cn сходится к некоторому числу M, и L = M, то an также сходится к числу L (= M).
- Метод перехода к подпоследовательности: если существует подпоследовательность dn последовательности an, которая ограничена, то и сама последовательность an будет ограничена.
- Метод доказательства ограниченности непосредственно: если существует число M, такое что для всех n, |an| ≤ M, то последовательность an ограничена.