Пример
2.34 Поскольку, как мы
видели в примерах выше,

и

,
то

--
величина большего порядка малости, чем

.
Определение 2.17
Пусть

и

--
бесконечно малые при базе

и
Тогда бесконечно малая

называется
эквивалентной бесконечно малой

при базе

.
Это обозначается следующим образом:
Очевидно,
что если величина

эквивалентна величине

,
то они имеют один и тот же порядок малости (так как при этом

).
Кроме того, свойство двух бесконечно малых величин быть эквивалентными, то есть
отношение

,
(так же, как и отношение

)
рефлексивно, транзитивно и симметрично. А именно, имеет место
 | (S ) |
 | (T ) |
Кроме того, величина
эквивалентна себе самой:
 | (R ) |
Доказательствоповторяет
доказательство предложения 2.2.Нужно только учесть, что

.
Итак, отношение эквивалентности

обладает свойствами симметричности (S

),
транзитивности (T

)
и рефлексивности (R

)
и, следовательно, разбивает множество всех бесконечно малых при данной базе

величин на классы эквивалентных между собой бесконечно малых. Эти классы более
мелкие, чем классы бесконечно малых величин одного порядка малости, на которые
то же самое множество бесконечно малых разбивается отношением

.
Пример
2.35 Согласно первому
замечательному пределу,

Это означает, что
Кроме того, в примере 2.20
мы показали, что

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

и

,

и

означает, что первый и последний пределы в правой части этой формулы равны1.
Совершенно так же доказывается уточнение доказанного только
что предложения. Это уточнение означает, что заменять эквивалентными можно не
только числитель или знаменатель целиком, но и любой бесконечно малый множитель
в числителе или знаменателе:
Предложение 2.6
Пусть
,
и существует предел Тогда
и
можно заменить на эквивалентные, и значение предела не изменится, то есть
Доказательство.
Согласно предложению 2.5, достаточно доказать, что если

,
то

.
Но это следует из такой цепочки равенств: