Бесконечно малые функции и их основные свойства. Бесконечно малые и бесконечно большие функции Определение бесконечно малой функции на языке последовательности
Функция
называется
бесконечно малой при
или при
,
если
или
.
Например:
функция
бесконечно малая при
;
функция
бесконечно малая при
.
Замечание
1.
Никакую
функцию без указания направления
изменения аргумента бесконечно малой
назвать нельзя. Так, функция
при
является бесконечно малой, а при
она уже не является бесконечно малой
(
).
Замечание
2.
Из
определения предела функции в точке,
для бесконечно малых функций выполняется
неравенство
.Этим
фактом мы в дальнейшем будем неоднократно
пользоваться.
Установим некоторые важные свойства бесконечно малых функций.
Теорема
(о связи
функции, её предела и бесконечно малой):
Если функция
может быть представлена в виде суммы
постоянного числаА
и бесконечно малой функции
при
,
то число
Доказательство:
Из
условия теоремы следует, что функция
.
Выразим
отсюда
:
.
Поскольку функция
бесконечно малая, для неё справедливо
неравенство
,
тогда для выражения (
)
также выполняется неравенство
А
это значит, что
.
Теорема
(обратная):
если
,
то функция
может быть представлена в виде суммы
числаА
и бесконечно малой при
функции
,
т.е.
.
Доказательство:
Так
как
,
то для
выполняется неравенство
(*) Рассмотрим функцию
как единую и неравенство (*) перепишем
в виде
Из
последнего неравенства следует, что
величина (
)
является бесконечно малой при
.
Обозначим её
.
Откуда
.
Теорема доказана.
Теорема 1 . Алгебраическая сумма конечного числа бесконечно малых функций есть бесконечно малая функция.
Доказательство:
Проведём доказательство для двух слагаемых, так как для любого конечного числа слагаемых оно приводится аналогично.
Пусть
и
бесконечно малые при
функции и
– сумма этих функций. Докажем, что для
,
существует такое
,
что для всехх
,
удовлетворяющих неравенству
,
выполняется неравенство
.
Так
как функция 
бесконечно малая функция,
,
что для всех
выполняется неравенство
.
Так
как функция 
бесконечно малая функция,
,
а следовательно существует такое
,
что для всех
выполняется неравенство
.
Возьмём
равным меньшему из чисел
и
,
тогда в
–окрестности
точкиа
будут выполняться неравенства
,
.
Составим
модуль функции
и оценим его значение.
То есть
,
тогда функция бесконечно малая,
что и требовалось доказать.
Теорема
2.
Произведение
бесконечно малой функции
при
на ограниченную функцию
есть бесконечно малая функция.
Доказательство:
Так
как функция
ограниченная, то существует такое
положительное число
,
что для всех
выполняется неравенство
.
Так
как функция
бесконечно малая при
,
то существует такая
–окрестность
точки
,
что для всех
их этой окрестности выполняется
неравенство
.
Рассмотрим
функцию
и оценим её модуль
Итак
,
а тогда
– бесконечно малая.
Теорема доказана.
Теоремы о пределах.
Теорема 1. Предел алгебраической суммы конечного числа функций равен алгебраической сумме пределов этих функций
Доказательство:
Для доказательства достаточно рассмотреть две функции, это не нарушит общности рассуждений.
Пусть
,
.
По
теореме о связи функции, её предела и
бесконечно малой, функции
и
можно представить в виде
где
и
– бесконечно малые при
.
Найдём
сумму функций
и
Величина
есть постоянная величина,
– величина бесконечно малая. Таким
образом, функция
представлена в виде суммы постоянной
величины и бесконечно малой функции.
Тогда
число
является пределом функции
,
т.е.
Теорема доказана.
Теорема 2 . Предел произведения конечного числа функций равен произведению пределов этих функций
Доказательство:
Не
нарушая общности рассуждений, проведём
доказательство для двух функций
и
.
Пусть
,
тогда
,
Найдём
произведение функций
и
Величина
есть постоянная величина,бесконечно малая функция. Следовательно,
число
является пределом функции
,
то есть справедливо равенство
Следствие:
.
Теорема 3. Предел частного двух функций равен частному пределов этих функций, если предел знаменателя отличен от нуля
.
Доказательство:
Пусть
,
Тогда
,
.
Найдём
частное
и проделаем над ним некоторые тождественные
преобразования
Величина
постоянная, дробь
бесконечно малая. Следовательно, функция
представлена в виде суммы постоянного
числа и бесконечно малой функции.
Тогда
.
Замечание.
Теоремы 1–3 доказаны для случая
.
Однако, они могут быть применимы при
,
поскольку доказательство теорем в этом
случае проводится аналогично.
Например. Найти пределы:
Первый и второй замечательные пределы.
Функция
не определена при
.
Однако её значения в окрестности точки
нуль существуют. Поэтому можно
рассматривать предел этой функции при
.
Этот предел носит названиепервого
замечательного
предела
.
Он
имеет вид: 
.
Например
.
Найти пределы: 1.
.
Обозначают
,
если
,
то
.
;
2.
.
Преобразуем данное выражение так, чтобы
предел свёлся к первому замечательному
пределу.
;
3..
Рассмотрим
переменную величину вида
,
в которой
принимает значения натуральных чисел
в порядке их возрастания. Дадим
различные значения: если
Давая
следующие значения из множества
,
нетрудно увидеть, что выражение
при
будет
.
Более того, доказывается, что
имеет предел. Этот предел обозначается
буквой
:
.
Число
иррациональное:
.
Теперь
рассмотрим предел функции
при
.
Этот предел называетсявторым
замечательным пределом
Он
имеет вид
.
Например.
а)
.
Выражение
заменим произведением
одинаковых сомножителей
,
применим теорему о пределе произведения
и второй замечательный предел;
б)
.
Положим
,
тогда
,
.
Второй замечательный предел используется взадаче о непрерывном начислении процентов
При начислении денежных доходов по вкладам часто пользуются формулой сложных процентов, которая имеет вид:
,
где
-
первоначальный вклад,
-
ежегодный банковский процент,
-
число начислений процентов в год,
-
время, в годах.
Однако, в теоретических исследованиях при обосновании инвестиционных решений чаще пользуются формулой экспоненциального (показательного) закона роста
.
Формула показательного закона роста получена как результат применения второго замечательного предела к формуле сложных процентов
Непрерывность функций.
Рассмотрим
функцию
определённую в некоторой точке
и некоторой окрестности точки
.
Пусть в указанной точке функция имеет
значение
.
Определение
1. Функция
называется
непрерывной в точке
,
если она определена в окрестности точки, включая саму точку и
.
Определение непрерывности можно сформулировать иначе.
Пусть
функция
определена при некотором значении
,
.
Если аргументу
дать приращение
,
то функция получит приращение
Пусть
функция в точке
непрерывна (по первому определению
непрерывности функции в точке),
То
есть, если функция непрерывна в точке
,
то бесконечно малому приращению аргумента
в этой точке соответствует бесконечно
малое приращение функции.
Справедливо и обратное предложение: если бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции, то функция непрерывна.
Определение
2. Функция
называется непрерывной при
(в точке
),
если она определена в этой точке и
некоторой её окрестности и если
.
Учитывая первое и второе определение непрерывности функции в точке можно получить следующее утверждение:
или
,
но
,
тогда
.
Следовательно,
для того чтобы найти предел непрерывной
функции при
достаточно в аналитическое выражение
функции вместо аргумента
подставить его значение
.
Определение 3. Функция, непрерывная в каждой точке некоторой области называется непрерывной в этой области.
Например:
Пример
1. Доказать, что функция
непрерывна во всех точках области
определения.
Воспользуемся
вторым определением непрерывности
функции в точке. Для этого возьмём любое
значение аргумента
и дадим ему приращение
.
Найдём соответствующее приращение
функции
Пример
2. Доказать, что функция
непрерывна во всех точках
из
.
Дадим
аргументу
приращение
,
тогда функция получит приращение
Найдём
так как
функция
,
то есть ограничена.
Аналогично можно доказать, что все основные элементарные функции непрерывны во всех точках области их определения, то есть область определения элементарной функции совпадает с областью её непрерывности.
Определение
4. Если функция
непрерывна в каждой точке некоторого
интервала
,
то говорят, что функция непрерывна на
этом интервале.
Приводится определение бесконечно большой последовательности. Рассмотрены понятия окрестностей бесконечно удаленных точек. Дано универсальное определение предела последовательности, которое относится как к конечным, так и к бесконечным пределам. Рассмотрены примеры применения определения бесконечно большой последовательности.
СодержаниеСм. также: Определение предела последовательности
Определение
Последовательность {
β n }
называется бесконечно большой последовательностью
, если для любого, сколь угодно большого числа M
,
существует такое натуральное число N M
,
зависящее от M
,
что для всех натуральных n > N M
выполняется неравенство
|β n | > M
.
В этом случае пишут
.
Или при .
Говорят, что стремится к бесконечности, или сходится к бесконечности
.
Если ,
начиная с некоторого номера N 0
,
то
( сходится к плюс бесконечности
).
Если же ,
то
( сходится к минус бесконечности
).
Запишем эти определения с помощью логических символов существования и всеобщности:
(1)
.
(2)
.
(3)
.
Последовательности с пределами (2) и (3) являются частными случаями бесконечно большой последовательности (1). Из этих определений следует, что если предел последовательности равен плюс или минус бесконечности, то он также равен и бесконечности:
.
Обратное, естественно, не верно. Члены последовательности могут иметь чередующиеся знаки. При этом предел может равняться бесконечности, но без определенного знака.
Заметим также, что если какое-то свойство выполняется для произвольной последовательности с пределом равным бесконечности, то это же свойство выполняется и для последовательности, чей предел равен плюс или минус бесконечности.
Во многих учебниках по математическому анализу, в определении бесконечно большой последовательности указывается, что число M является положительным: M > 0 . Однако это требование является лишним. Если его отменить, то никаких противоречий не возникает. Просто малые или отрицательные значения для нас не представляют никакого интереса. Нас интересует поведение последовательности при сколь угодно больших положительных значениях M . Поэтому, если возникнет необходимость, то M можно ограничить снизу любым, наперед заданным числом a , то есть считать, что M > a .
Когда же мы определяли ε - окрестность конечной точки, то требование ε > 0 является важным. При отрицательных значениях, неравенство вообще не может выполняться.
Окрестности бесконечно удаленных точек
Когда мы рассматривали конечные пределы, то ввели понятие окрестности точки. Напомним, что окрестностью конечной точки является открытый интервал, содержащий эту точку. Также мы можем ввести понятия окрестностей бесконечно удаленных точек.
Пусть M
- произвольное число.
Окрестностью точки "бесконечность"
, ,
называется множество .
Окрестностью точки "плюс бесконечность"
, ,
называется множество .
Окрестностью точки "минус бесконечность"
, ,
называется множество .
Строго говоря, окрестностью точки "бесконечность" является множество
(4)
,
где M 1
и M 2
- произвольные положительные числа. Мы будем использовать первое определение, ,
поскольку оно проще. Хотя, все сказанное ниже, также справедливо и при использовании определения (4).
Теперь мы можем дать единое определение предела последовательности, которое относится как к конечным, так и к бесконечным пределам.
Универсальное определение предела последовательности
.
Точка a
(конечная или бесконечно удаленная) является пределом последовательности ,
если для любой окрестности этой точки существует такое натуральное число N
,
что все элементы последовательности с номерами принадлежат этой окрестности.
Таким образом, если предел существует, то за пределами окрестности точки a может находиться только конечное число членов последовательности, или пустое множество. Это условие является необходимым и достаточным. Доказательство этого свойства, точно такое, как для конечных пределов.
Свойство окрестности сходящейся последовательности
Для того, чтобы точка a
(конечная или бесконечно удаленная) являлась пределом последовательности ,
необходимо и достаточно, чтобы за пределами любой окрестности этой точки находилось конечное число членов последовательности или пустое множество.
Доказательство .
Также иногда вводят понятия ε
- окрестностей бесконечно удаленных точек.
Напомним, что ε
- окрестностью конечной точки a
называется множество .
Введем следующее обозначение. Пусть обозначает ε
- окрестность точки a
.
Тогда для конечной точки,
.
Для бесконечно удаленных точек:
;
;
.
Используя понятия ε
- окрестностей, можно дать еще одно универсальное определение предела последовательности:
Точка a
(конечная или бесконечно удаленная) является пределом последовательности ,
если для любого положительного числа ε > 0
существует такое натуральное число N ε
,
зависящее от ε
,
что для всех номеров n > N ε
члены x n
принадлежат ε
- окрестности точки a
:
.
С помощью логических символов существования и всеобщности, это определение запишется так:
.
Примеры бесконечно больших последовательностей
Пример 1
.
.
Выпишем определение бесконечно большой последовательности:
(1)
.
В нашем случае
.
Вводим числа и ,
связав их неравенствами:
.
По свойствам неравенств , если и ,
то
.
Заметим, что при это неравенство выполняется для любых n
.
Поэтому можно выбрать и так:
при ;
при .
Итак, для любого можно найти натуральное число ,
удовлетворяющее неравенству .
Тогда для всех ,
.
Это означает, что .
То есть последовательность является бесконечно большой.
Пример 2
Пользуясь определением бесконечно большой последовательности показать, что
.
(2)
.
Общий член заданной последовательности имеет вид:
.
Вводим числа и :
.
.
Тогда для любого можно найти натуральное число, удовлетворяющее неравенству ,
так что для всех ,
.
Это означает, что .
.
Пример 3
Пользуясь определением бесконечно большой последовательности показать, что
.
Выпишем определение предела последовательности, равному минус бесконечности:
(3)
.
Общий член заданной последовательности имеет вид:
.
Вводим числа и :
.
Отсюда видно, что если и ,
то
.
Поскольку для любого можно найти натуральное число, удовлетворяющее неравенству ,
то
.
При заданном ,
в качестве N
можно взять любое натуральное число, удовлетворяющее следующему неравенству:
.
Пример 4
Пользуясь определением бесконечно большой последовательности показать, что
.
Выпишем общий член последовательности:
.
Выпишем определение предела последовательности, равному плюс бесконечности:
(2)
.
Поскольку n
есть натуральное число, n = 1, 2, 3, ...
,
то
;
;
.
Вводим числа и M
,
связав их неравенствами:
.
Отсюда видно, что если и ,
то
.
Итак, для любого числа M
можно найти натуральное число, удовлетворяющее неравенству .
Тогда для всех ,
.
Это означает, что .
Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.
Опр.:
Функция называется бесконечно малой
при , если 
.
В записи « » будем предполагать, что x 0 может принимать как конечное значение: x 0 = Сonst , так и бесконечное: x 0 = ∞.
Свойства бесконечно малых функций:
1) Алгебраическая сумма конечного числа бесконечно малых при функций является бесконечно малой при функцией.
2) Произведение конечного числа бесконечно малых при функций является бесконечно малой при функцией.
3) Произведение ограниченной функции на бесконечно малую функцию является бесконечно малой функцией.
4) Частное от деления бесконечно малой при функции на функцию, предел которой отличен от нуля, является бесконечно малой при функцией.
Пример : Функция y = 2 + x является бесконечно малой при , т.к. .
Опр.:
Функция называется бесконечно большой
при , если 
.
Свойства бесконечно больших функций:
1) Сумма бесконечно больших при функций является бесконечно большой при функцией.
2) Произведение бесконечно большой при функции на функцию, предел которой отличен от нуля, является бесконечно большой при функцией.
3) Сумма бесконечно большой при функции и ограниченной функции является бесконечно большой функцией.
4) Частное от деления бесконечно большой при функции на функцию, имеющую конечный предел, является бесконечно большой при функцией.
Пример
:
Функция y
= является бесконечно большой при , т.к. 
.
Теорема. Связь между бесконечно малыми и бесконечно большими величинами . Если функция является бесконечно малой при , то функция является бесконечно большой при . И обратно, если функция является бесконечно большой при , то функция является бесконечно малой при .
Отношение двух бесконечно малых принято обозначать символом , двух бесконечно больших - символом . Оба отношения являются неопределёнными в том смысле, что их предел может как существовать, так и не существовать, быть равным некоторому числу или быть бесконечным в зависимости от вида конкретных функций, входящих в неопределённые выражения.
Кроме неопределённостей вида и неопределёнными являются следующие выражения:
Разность бесконечно больших одного знака;
Произведение бесконечно малой на бесконечно большую;
Показательно-степенная функция, основание которой стремится к 1, а показатель – к ;
Показательно-степенная функция, основание которой является бесконечно малой, а показатель – бесконечно большой;
Показательно-степенная функция, основание и показатель которой являются бесконечно малыми;
Показательно-степенная функция, основание которой является бесконечно большой, а показатель – бесконечно малой.
Говорят, что имеет место неопределенность соответствующего вида. Вычисление предела называют в этих случаях раскрытием неопределенности . Для раскрытия неопределенности выражение, стоящее под знаком предела, преобразуют к виду, не содержащему неопределенности.
При вычислении пределов используют свойства пределов, а также свойства бесконечно малых и бесконечно больших функций.
Рассмотрим примеры вычислений различных пределов.
1) 
. 2) 
.
4) 
, т.к. произведение бесконечно малой функции при на ограниченную функцию 
является бесконечно малой.
5) 
. 6) 
.
7) 
= 
=
. В данном случае имела место неопределенность типа , которую удалось раскрыть с помощью разложения многочленов на множители и сокращения на общий множитель .
= 
.
В данном случае имела место неопределенность типа , которую удалось раскрыть с помощью умножения числителя и знаменателя на выражение , использования формулы , и последующего сокращения дроби на ( +1).
9) 
. В данном примере неопределенность типа была раскрыта почленным делением числителя и знаменателя дроби на старшую степень .
Замечательные пределы
Первый замечательный предел : .
Доказательство. Рассмотрим единичную окружность (рис.3).
Рис.3. Единичная окружность
Пусть х – радианная мера центрального угла МОА (), тогда ОА = R = 1, МК = sin x , AT = tg x . Сравнивая площади треугольников ОМА , ОТА и сектора ОМА , получим:
,
.
Разделим последнее неравенство на sin x , получим:
.
Так как при , то по свойству 5) пределов
Откуда и обратная величина при , что и требовалось доказать.
Замечание:
Если функция является бесконечно малой при , т.е. , то первый замечательный предел имеет вид:
.
Рассмотрим примеры вычислений пределов с использованием первого замечательного предела.
При вычислении этого предела использовали тригонометрическую формулу: 
.
.
Рассмотрим примеры вычислений пределов с использованием второго замечательного предела.
2) 
.
3) 
. Имеет место неопределенность типа . Сделаем замену , тогда ; при .
Исчисление бесконечно малых и больших
Исчисление бесконечно малых - вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. Исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений , составляющих основу современной высшей математики . Понятие бесконечно малой величины тесно связано с понятием предела .
Бесконечно малая
Последовательность a n называется бесконечно малой , если . Например, последовательность чисел - бесконечно малая.
Функция называется бесконечно малой в окрестности точки
x
0
, если 
.
Функция называется бесконечно малой на бесконечности
, если 
либо 
.
Также бесконечно малой является функция, представляющая собой разность функции и её предела, то есть если 
, то f
(x
) − a
= α(x
)
, .
Бесконечно большая величина
Во всех приведённых ниже формулах бесконечность справа от равенства подразумевается определённого знака (либо «плюс», либо «минус»). То есть, например, функция x sinx , неограниченная с обеих сторон, не является бесконечно большой при .
Последовательность a
n
называется бесконечно большой
, если 
.
Функция называется бесконечно большой в окрестности точки
x
0
, если 
.
Функция называется бесконечно большой на бесконечности
, если 
либо 
.
Свойства бесконечно малых и бесконечно больших
Сравнение бесконечно малых величин
Как сравнивать бесконечно малые величины?
Отношение бесконечно малых величин образует так называемую неопределённость .
Определения
Допустим, у нас есть бесконечно малые при одном и том же величины α(x ) и β(x ) (либо, что не суть важно для определения, бесконечно малые последовательности).
Для вычисления подобных пределов удобно использовать правило Лопиталя .
Примеры сравнения
С использованием О -символики полученные результаты могут быть записаны в следующем виде x 5 = o (x 3). В данном случае справедливы записи 2x 2 + 6x = O (x ) и x = O (2x 2 + 6x ).Эквивалентные величины
Определение
Если , то бесконечно малые величины α
и β
называются эквивалентными
().
Очевидно, что эквивалентные величины являются частным случаем бесконечно малых величин одного порядка малости.
При справедливы следующие соотношения эквивалентности (как следствия из т.н. замечательных пределов):
Теорема
Предел частного (отношения) двух бесконечно малых величин не изменится, если одну из них (или обе) заменить эквивалентной величиной .Данная теорема имеет прикладное значение при нахождении пределов (см. пример).
Пример использования
Заменяя s i n 2x эквивалентной величиной 2x , получаем
Исторический очерк
Понятие «бесконечно малое» обсуждалось ещё в античные времена в связи с концепцией неделимых атомов, однако в классическую математику не вошло. Вновь оно возродилось с появлением в XVI веке «метода неделимых» - разбиения исследуемой фигуры на бесконечно малые сечения.
В XVII веке произошла алгебраизация исчисления бесконечно малых. Они стали определяться как числовые величины, которые меньше всякой конечной (ненулевой) величины и всё же не равны нулю. Искусство анализа заключалось в составлении соотношения, содержащего бесконечно малые (дифференциалы), и затем - в его интегрировании .
Математики старой школы подвергли концепцию бесконечно малых резкой критике. Мишель Ролль писал, что новое исчисление есть «набор гениальных ошибок »; Вольтер ядовито заметил, что это исчисление представляет собой искусство вычислять и точно измерять вещи, существование которых не может быть доказано. Даже Гюйгенс признавался, что не понимает смысла дифференциалов высших порядков.
Как иронию судьбы можно рассматривать появление в середине века нестандартного анализа , который доказал, что первоначальная точка зрения - актуальные бесконечно малые - также непротиворечива и могла бы быть положена в основу анализа.
См. также
Wikimedia Foundation . 2010 .
Смотреть что такое "Бесконечно малая величина" в других словарях:
БЕСКОНЕЧНО МАЛАЯ ВЕЛИЧИНА - переменная величина в некотором процессе, если она в этом процессе безгранично приближается (стремится) к нулю … Большая политехническая энциклопедия
Бесконечно малая величина - ■ Нечто неизвестное, но имеет отношение к гомеопатии … Лексикон прописных истин
Определения и свойства бесконечно малых и бесконечно больших функций в точке. Доказательства свойств и теорем. Связь между бесконечно малыми и бесконечно большими функциями.
СодержаниеСм. также:
Бесконечно малые последовательности - определение и свойства
Свойства бесконечно больших последовательностей
Определение бесконечно малой и бесконечно большой функции
Пусть x 0 есть конечная или бесконечно удаленная точка: ∞ , -∞ или +∞ .
Определение бесконечно малой функции
Функция α(x)
называется бесконечно малой
при x
стремящемся к x 0
0
,
и он равен нулю:
.
Определение бесконечно большой функции
Функция f(x)
называется бесконечно большой
при x
стремящемся к x 0
,
если функция имеет предел при x → x 0
,
и он равен бесконечности:
.
Свойства бесконечно малых функций
Свойство суммы, разности и произведения бесконечно малых функций
Сумма, разность и произведение конечного числа бесконечно малых функций при x → x 0 является бесконечно малой функцией при x → x 0 .
Это свойство является прямым следствием арифметических свойств пределов функции .
Теорема о произведении ограниченной функции на бесконечно малую
Произведение функции, ограниченной на некоторой проколотой окрестности точки x 0 , на бесконечно малую, при x → x 0 , является бесконечно малой функцией при x → x 0 .
Свойство о представлении функции в виде суммы постоянной и бесконечно малой функции
Для того, чтобы функция f(x)
имела конечный предел ,
необходимо и достаточно, чтобы
,
где - бесконечно малая функция при x → x 0
.
Свойства бесконечно больших функций
Теорема о сумме ограниченной функции и бесконечно большой
Сумма или разность ограниченной функции, на некоторой проколотой окрестности точки x 0
,
и бесконечно большой функции, при x → x 0
,
является бесконечно большой функцией при x → x 0
.
Теорема о частном от деления ограниченной функции на бесконечно большую
Если функция f(x)
является бесконечно большой при x → x 0
,
а функция g(x)
- ограничена на некоторой проколотой окрестности точки x 0
,
то
.
Теорема о частном от деления ограниченной снизу функции на бесконечно малую
Если функция ,
на некоторой проколотой окрестности точки ,
по абсолютной величине ограничена снизу положительным числом:
,
а функция является бесконечно малой при x → x 0
:
,
и существует проколотая окрестность точки ,
на которой ,
то
.
Свойство неравенств бесконечно больших функций
Если функция является бесконечно большой при :
,
и функции и ,
на некоторой проколотой окрестности точки удовлетворяют неравенству:
,
то функция также бесконечно большая при :
.
Это свойство имеет два частных случая.
Пусть, на некоторой проколотой окрестности точки ,
функции и удовлетворяют неравенству:
.
Тогда если ,
то и .
Если ,
то и .
Связь между бесконечно большими и бесконечно малыми функциями
Из двух предыдущих свойств вытекает связь между бесконечно большими и бесконечно малыми функциями.
Если функция является бесконечно большой при , то функция является бесконечно малой при .
Если функция являются бесконечно малой при , и , то функция является бесконечно большой при .
Связь между бесконечно малой и бесконечно большой функцией можно выразить символическим образом:
,
.
Если бесконечно малая функция имеет определенный знак при ,
то есть положительна (или отрицательна) на некоторой проколотой окрестности точки ,
то можно записать так:
.
Точно также если бесконечно большая функция имеет определенный знак при ,
то пишут:
,
или .
Тогда символическую связь между бесконечно малыми и бесконечно большими функциями можно дополнить следующими соотношениями:
,
,
,
.
Дополнительные формулы, связывающие символы бесконечности, можно найти на странице
«Бесконечно удаленные точки и их свойства ».
Доказательство свойств и теорем
Доказательство теоремы о произведении ограниченной функции на бесконечно малую
Для доказательства этой теоремы, мы воспользуемся . А также используем свойство бесконечно малых последовательностей, согласно которому
Пусть функция является бесконечно малой при ,
а функция ограничена в некоторой проколотой окрестности точки :
при .
Поскольку существует предел , то существует проколотая окрестность точки , на которой определена функция . Пусть есть пересечение окрестностей и . Тогда на ней определены функции и .
.
,
a последовательность является бесконечно малой:
.
Воспользуемся тем, что произведение ограниченной последовательности на бесконечно малую есть бесконечно малая последовательность:
.
.
Теорема доказана.
Доказательство свойства о представлении функции в виде суммы постоянной и бесконечно малой функции
Необходимость
. Пусть функция имеет в точке конечный предел
.
Рассмотрим функцию:
.
Используя свойство предела разности функций , имеем:
.
То есть есть бесконечно малая функция при .
Достаточность
. Пусть и .
Применим свойство предела суммы функций :
.
Свойство доказано.
Доказательство теоремы о сумме ограниченной функции и бесконечно большой
Для доказательства теоремы, мы воспользуемся определением предела функции по Гейне
при .
Поскольку существует предел , то существует проколотая окрестность точки , на которой функция определена. Пусть есть пересечение окрестностей и . Тогда на ней определены функции и .
Пусть есть произвольная последовательность, сходящаяся к ,
элементы которой принадлежат окрестности :
.
Тогда определены последовательности и .
Причем последовательность является ограниченной:
,
a последовательность является бесконечно большой:
.
Поскольку сумма или разность ограниченной последовательности и бесконечно большой
.
Тогда, согласно определению предела последовательности по Гейне,
.
Теорема доказана.
Доказательство теоремы о частном от деления ограниченной функции на бесконечно большую
Для доказательства, мы воспользуемся определением предела функции по Гейне . Также используем свойство бесконечно больших последовательностей, согласно которому является бесконечно малой последовательностью.
Пусть функция является бесконечно большой при ,
а функция ограничена в некоторой проколотой окрестности точки :
при .
Поскольку функция бесконечно большая, то существует проколотая окрестность точки ,
на которой она определена и не обращается в нуль:
при .
Пусть есть пересечение окрестностей и .
Тогда на ней определены функции и .
Пусть есть произвольная последовательность, сходящаяся к ,
элементы которой принадлежат окрестности :
.
Тогда определены последовательности и .
Причем последовательность является ограниченной:
,
a последовательность является бесконечно большой с отличными от нуля членами:
,
.
Поскольку частное от деления ограниченной последовательности на бесконечно большую является бесконечно малой последовательностью, то
.
Тогда, согласно определению предела последовательности по Гейне,
.
Теорема доказана.
Доказательство теоремы о частном от деления ограниченной снизу функции на бесконечно малую
Для доказательства этого свойства, мы воспользуемся определением предела функции по Гейне . Также используем свойство бесконечно больших последовательностей, согласно которому является бесконечно большой последовательностью.
Пусть функция является бесконечно малой при ,
а функция ограничена по абсолютной величине снизу положительным числом, на некоторой проколотой окрестности точки :
при .
По условию существует проколотая окрестность точки ,
на которой функция определена и не обращается в нуль:
при .
Пусть есть пересечение окрестностей и .
Тогда на ней определены функции и .
Причем и .
Пусть есть произвольная последовательность, сходящаяся к ,
элементы которой принадлежат окрестности :
.
Тогда определены последовательности и .
Причем последовательность является ограниченной снизу:
,
а последовательность является бесконечно малой с отличными от нуля членами:
,
.
Поскольку частное от деления ограниченной снизу последовательности на бесконечно малую является бесконечно большой последовательностью, то
.
И пусть имеется проколотая окрестность точки ,
на которой
при .
Возьмем произвольную последовательность ,
сходящуюся к .
Тогда, начиная с некоторого номера N
,
элементы последовательности будут принадлежать этой окрестности:
при .
Тогда
при .
Согласно определению предела функции по Гейне,
.
Тогда по свойству неравенств бесконечно больших последовательностей,
.
Поскольку последовательность произвольная, сходящаяся к ,
то по определению предела функции по Гейне,
.
Свойство доказано.
Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.