|
| ||
|
|
Пример 2.12 Приведём пример, показывающий, что обратное к теореме 2.6 утверждение неверно, то есть что существуют функции, локально ограниченные при некоторой базе, однако не имеющие предела при этой базе. Рассмотрим функциюи базу
. Локальная ограниченность функции очевидна: можно взять постоянную
и окончание базы
, тогда
при всех
. Однако
не имеет предела при
: какое бы окончание
ни взять, при
значения
многократно изменяются от
до 1 и назад и не приближаются ни к какому постоянному значению. (В качестве упражнения проведите строгое доказательство того, что предел
не существует: докажите, что при
нельзя указать окончания базы
, при всех
из которого при некотором
выполнялось бы неравенство
. Такое окончание
должно было бы существовать по определению предела, если бы предел существовал.)
Поскольку пределапри
не существует, то если сделать замену
, получится, что предел
также не существует. График функции
представлен на следующем рисунке.
Рис.2.18.График![]()
График совершает бесконечно много колебаний при подходек 0. Размах каждого колебания остаётся один и тот же, от
до 1. Значения, равные 1, функция принимает в точках вида
,
, значения, равные
,-- в точках вида
,
, а значения, равные 0,-- в точках вида
,
.
Докажем теперь теорему о взаимосвязи локально ограниченных и бесконечно малых величин.
Теорема 2.7 Пусть-- база, функция
локально ограничена, а функция
бесконечно мала при этой базе. Тогда их произведение
-- бесконечно малая при базе
.
Доказательство. Так как
локально ограничена при базе
, то
при некотором
и всех
из некоторого окончания
базы
. Фиксируем произвольное число
и рассмотрим положительное число
. Так как
-- бесконечно малая при базе
, то найдётся такое окончание
, что при всех
выполняется неравенство
. Рассмотрим теперь некоторое окончание
. (Такое окончание существует по определению базы.) Так как
-- часть как
, так и
, то при
выполняются одновременно неравенства
и
, из которых следует, что
при всех
. Так как число
было выбрано произвольно, это означает, что функция
является бесконечно малой при базе
.
Пример 2.13 Пустьи
. Так как
бесконечно мала, а
локально ограничена при базе
, то их произведение
-- бесконечно малая при
, а также при
и при
(см.упражнение 2.4).
Рис.2.19.График![]()
Пример 2.14 В предыдущем примере сделаем замену. Тогда, очевидно, функция
перейдёт в функцию
, а базы
,
и
, соответственно, в базы
,
и
. Значение предела
при замене не изменится, так что
![]()
Рис.2.20.График функции![]()
Следствие 2.2 Пусть-- постоянная и
-- бесконечно малая при базе
. Тогда
-- тоже бесконечно малая при базе
.
Доказательство. Достаточно заметить, что
локально ограничена при базе
и сослаться на предыдущую теорему.
является бесконечно малой при базе.
Доказательство. Чтобы доказать это следствие, достаточно заметить, что все слагаемые являются бесконечно малыми, согласно предыдущему следствию, а затем применить утверждение следствия 2.1.
Замечание 2.1 Утверждение доказанного следствия, с алгебраической точки зрения, означает, что множествовсех функций, определённых на некотором фиксированном окончании
базы
и бесконечно малых при этой базе
, имеет структуру линейного пространства: любые элементы этого пространства можно умножать на постоянные и складывать, не выходя за рамки этого пространства.