Олег ОдинцовОбыкновенные дифференциальные уравнения
Справочник по элементарным функциям
Методы вычисления неопределенных интегралов

Свойства бесконечно больших последовательностей

Свойства бесконечно больших последовательностей
Приводятся формулировки и доказательства свойств бесконечно больших последовательностей. Часть этих свойств связана с бесконечно малыми последовательностями.

Свойство 1

Если последовательность {βn} является бесконечно большой, то, начиная с некоторого номера N, определена последовательность {1/βn}, которая является бесконечно малой. Если {αn} является бесконечно малой последовательностью, с отличными от нуля членами, то последовательность {1/αn} является бесконечно большой.

Свойство 2

Если последовательность {βn} бесконечно большая, с неравными нулю членами, а последовательность {xn} ограничена, то
.

Свойство 3

Если абсолютные значения элементов последовательности {yn} ограничены снизу положительным числом ( |yn| ≥ K > 0), а {αn} – бесконечно малая с неравными нулю членами, то
.

Свойство 4

Сумма или разность ограниченной последовательности и бесконечно большой является бесконечно большой последовательностью.

Свойство 5

Пусть последовательность бесконечно большая. И пусть элементы последовательности , начиная с некоторого номера, удовлетворяют неравенствам:
.
Тогда последовательность также бесконечно большая.

Доказательства свойств

Свойство 1

Если последовательность является бесконечно большой, то, начиная с некоторого номера N0, определена последовательность , которая является бесконечно малой. Если является бесконечно малой последовательностью, с отличными от нуля членами, то последовательность является бесконечно большой.

Доказательство

Пусть последовательность являются бесконечно большой. Это означает, что имеется некоторая функция , так что для любого положительного числа M выполняется неравенство:
(1.1)    при  .

Подставим сюда :
.
Это означает, что начиная с номера , члены последовательности имеют отличные от нулю значения и поэтому определена последовательность .

Умножим первое неравенство (1.1) на положительное число :
.
Тогда вместо (1.1) имеем:
.
Введем положительное число . Тогда любому положительному значению переменной соответствует положительное значение переменной . И предыдущее неравенство приобретает вид:
 при  .

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

Первая часть свойства доказана.

Докажем вторую часть. Пусть последовательность являются бесконечно малой с отличными от нуля членами, . Это означает, что имеется некоторая функция , так что для любого положительного числа ε выполняется неравенство:
(1.2)    при  .

Умножим первое неравенство (1.2) на положительное число :
.
Тогда вместо (1.2) имеем:
.
Подставим   :
.

Итак, мы нашли такую функцию , при которой для любого положительного числа выполняется неравенство:
 при  .
Это означает, что последовательность является бесконечно большой.

Свойство доказано.

Свойство 2

Если последовательность бесконечно большая, с неравными нулю членами, а последовательность ограничена, то
.

Доказательство

Поскольку последовательность является бесконечно большой, то, согласно свойству 1, последовательность с членами является бесконечно малой. Но произведение ограниченной последовательности на бесконечно малую является бесконечно малой последовательностью (см. свойство 3 на странице “Бесконечно малые последовательности – определение и свойства”). Поэтому
.

Свойство доказано.

Свойство 3

Если абсолютные значения элементов последовательности ограничены снизу положительным числом ( ), а – бесконечно малая с неравными нулю членами, то
.

Доказательство

Поскольку последовательность являются бесконечно малой, то имеется некоторая функция , так что для любого положительного числа ε выполняется неравенство:
(3.1)    при  .

Согласно определению бесконечно большой последовательности, нам нужно найти такую функцию , так что для любого положительного числа M > 0 выполняется неравенство:
(3.2)    при  .

Сделаем оценку для дроби . Подставим и . При имеем:
.
Введем положительное число . Любому положительному M соответствует положительное ε. Подставим :
.

Сравнивая с (3.2) мы видим, что нашли такую функцию , при которой для любого положительного числа выполняется (3.2).

Свойство доказано.

Свойство 4

Сумма или разность ограниченной последовательности и бесконечно большой является бесконечно большой последовательностью.

Доказательство

Пусть члены последовательности ограничены, по абсолютной величине положительным числом:
(4.1)   .

Пусть последовательность являются бесконечно большой. Это означает, что имеется некоторая функция , так что для любого положительного числа M1 выполняется неравенство:
(4.2)    при  .

Нам нужно показать, что имеется некоторая функция , так что для любого положительного числа M выполняется неравенство:
(4.3)    при  .

Подставим в (4.2) :
.
Это означает, что
(4.4)     при   .

Сделаем оценку для . При этом мы воспользуемся свойствами неравенств и применим (4.1), (4.2) и (4.4):
.
Эти неравенства выполняются при   и   . Введем число . Тогда
,
где
.

То есть мы нашли такую функцию , при которой для любого выполняется (4.3).

Свойство доказано.

Свойство 5

Пусть последовательность бесконечно большая. И пусть элементы последовательности , начиная с некоторого номера, удовлетворяют неравенствам:
.
Тогда последовательность также бесконечно большая.

Доказательство

Поскольку последовательность являются бесконечно большой, то имеется некоторая функция , так что для любого положительного числа M выполняется неравенство:
(5.1)    при  .

Пусть при выполняется неравенство . Тогда при  и  имеем:
.

Итак, мы нашли функцию , так что для любого положительного числа M выполняется неравенство:
 при  .
Это означает, что последовательность являются бесконечно большой.

Свойство доказано.

Опубликовано: