Определение. Функция называется бесконечно малой функцией (или бесконечно малой) при , если = 0 т.е. если для >0
Определение. Функция называется бесконечно большой функцией (или бесконечно большой) при , если =¥
Аналогично определяются бесконечно малые функции при ¥, –0, +0.
Например, функция при ¥ является бесконечно малой, поскольку , при — бесконечно большая, т. к. ¥.
Из приведенного примера следует, что функция, имеющая одно и то же аналитическое выражение, при разных значениях может быть и бесконечно малой, и бесконечно большой.
Теорема. Если функция при — бесконечно большая, то функция при — бесконечно малая.
Верно и такое утверждение: если функция при — бесконечно малая, то функция при —бесконечно большая.
Например, функция при является бесконечно малой, то функция при — бесконечно большой, т.е.
, ¥.
Теорема. Конечная сумма бесконечно малых функций в есть функция, бесконечно малая в .
Доказательство. Если , —бесконечно малые функции в , то = 0, .
Так как = 0,
то конечная сумма бесконечно малых функций действительно есть функция бесконечно малая.
⊠
Теорема. Произведение бесконечно малой функции и функции, ограниченной в , есть бесконечно малая функция.
Следствие 1. Произведение некоторого числа и бесконечно малой функции в есть бесконечно малая функция.
Следствие 2. Произведение двух бесконечно малых функций в есть бесконечно малая функция.
Теорема. Частное от деления бесконечно малой функции в на функцию , такую, что , есть бесконечно малая функция.