Исчисление бесконечно малых - вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. Исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений , составляющих основу современной высшей математики . Понятие бесконечно малой величины тесно связано с понятием предела .
Последовательность a n называется бесконечно малой , если . Например, последовательность чисел - бесконечно малая.
Функция называется бесконечно малой в окрестности точки x 0 , если .
Функция называется бесконечно малой на бесконечности , если либо .
Также бесконечно малой является функция, представляющая собой разность функции и её предела, то есть если , то f (x ) − a = α(x ) , .
Во всех приведённых ниже формулах бесконечность справа от равенства подразумевается определённого знака (либо «плюс», либо «минус»). То есть, например, функция x sinx , неограниченная с обеих сторон, не является бесконечно большой при .
Последовательность a n называется бесконечно большой , если .
Функция называется бесконечно большой в окрестности точки x 0 , если .
Функция называется бесконечно большой на бесконечности , если либо .
Как сравнивать бесконечно малые величины?
Отношение бесконечно малых величин образует так называемую неопределённость .
Допустим, у нас есть бесконечно малые при одном и том же величины α(x ) и β(x ) (либо, что не суть важно для определения, бесконечно малые последовательности).
Для вычисления подобных пределов удобно использовать правило Лопиталя .
Если , то бесконечно малые величины α
и β
называются эквивалентными
().
Очевидно, что эквивалентные величины являются частным случаем бесконечно малых величин одного порядка малости.
При справедливы следующие соотношения эквивалентности (как следствия из т.н. замечательных пределов):
Данная теорема имеет прикладное значение при нахождении пределов (см. пример).
Понятие «бесконечно малое» обсуждалось ещё в античные времена в связи с концепцией неделимых атомов, однако в классическую математику не вошло. Вновь оно возродилось с появлением в 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.
Функция
называется
бесконечно малой при
или при
,
если
или
.
Например:
функция
бесконечно малая при
;
функция
бесконечно малая при
.
Замечание
1.
Никакую
функцию без указания направления
изменения аргумента бесконечно малой
назвать нельзя. Так, функция
при
является бесконечно малой, а при
она уже не является бесконечно малой
(
).
Замечание
2.
Из
определения предела функции в точке,
для бесконечно малых функций выполняется
неравенство
.Этим
фактом мы в дальнейшем будем неоднократно
пользоваться.
Установим некоторые важные свойства бесконечно малых функций.
Теорема
(о связи
функции, её предела и бесконечно малой):
Если функция
может быть представлена в виде суммы
постоянного числаА
и бесконечно малой функции
при
,
то число
Доказательство:
Из
условия теоремы следует, что функция
.
Выразим
отсюда
:
.
Поскольку функция
бесконечно малая, для неё справедливо
неравенство
,
тогда для выражения (
)
также выполняется неравенство
А
это значит, что
.
Теорема
(обратная):
если
,
то функция
может быть представлена в виде суммы
числаА
и бесконечно малой при
функции
,
т.е.
.
Доказательство:
Так
как
,
то для
выполняется неравенство
(*) Рассмотрим функцию
как единую и неравенство (*) перепишем
в виде
Из
последнего неравенства следует, что
величина (
)
является бесконечно малой при
.
Обозначим её
.
Откуда
.
Теорема доказана.
Теорема 1 . Алгебраическая сумма конечного числа бесконечно малых функций есть бесконечно малая функция.
Доказательство:
Проведём доказательство для двух слагаемых, так как для любого конечного числа слагаемых оно приводится аналогично.
Пусть
и
бесконечно малые при
функции и
– сумма этих функций. Докажем, что для
,
существует такое
,
что для всехх
,
удовлетворяющих неравенству
,
выполняется неравенство
.
Так
как функция
бесконечно малая функция,
,
что для всех
выполняется неравенство
.
Так
как функция
бесконечно малая функция,
,
а следовательно существует такое,
что для всех
выполняется неравенство
.
Возьмём
равным меньшему из чисели,
тогда в–окрестности
точкиа
будут выполняться неравенства
,
.
Составим
модуль функции
и оценим его значение.
То есть
,
тогда функция бесконечно малая,
что и требовалось доказать.
Теорема
2.
Произведение
бесконечно малой функции
при
на ограниченную функцию
есть бесконечно малая функция.
Доказательство:
Так
как функция
ограниченная, то существует такое
положительное число
,
что для всехвыполняется неравенство
.
Так
как функция
бесконечно малая при
,
то существует такая–окрестность
точки,
что для всехих этой окрестности выполняется
неравенство
.
Рассмотрим
функцию
и оценим её модуль
Итак
,
а тогда
– бесконечно малая.
Теорема доказана.
Теоремы о пределах.
Теорема 1. Предел алгебраической суммы конечного числа функций равен алгебраической сумме пределов этих функций
Доказательство:
Для доказательства достаточно рассмотреть две функции, это не нарушит общности рассуждений.
Пусть
,
.
По
теореме о связи функции, её предела и
бесконечно малой, функции
и
можно представить в виде
где
и
– бесконечно малые при
.
Найдём
сумму функций
и
Величина
есть постоянная величина,
– величина бесконечно малая. Таким
образом, функция
представлена в виде суммы постоянной
величины и бесконечно малой функции.
Тогда
число
является пределом функции
,
т.е.
Теорема доказана.
Теорема 2 . Предел произведения конечного числа функций равен произведению пределов этих функций
Доказательство:
Не
нарушая общности рассуждений, проведём
доказательство для двух функций
и
.
Пусть
,
тогда
,
Найдём
произведение функций
и
Величина
есть постоянная величина,бесконечно малая функция. Следовательно,
число
является пределом функции
,
то есть справедливо равенство
Следствие:
.
Теорема 3. Предел частного двух функций равен частному пределов этих функций, если предел знаменателя отличен от нуля
.
Доказательство:
Пусть
,
Тогда
,
.
Найдём частное и проделаем над ним некоторые тождественные преобразования
Величина
постоянная, дробь
бесконечно малая. Следовательно, функцияпредставлена в виде суммы постоянного
числа и бесконечно малой функции.
Тогда
.
Замечание.
Теоремы 1–3 доказаны для случая
.
Однако, они могут быть применимы при
,
поскольку доказательство теорем в этом
случае проводится аналогично.
Например. Найти пределы:
Первый и второй замечательные пределы.
Функция
не определена при
.
Однако её значения в окрестности точки
нуль существуют. Поэтому можно
рассматривать предел этой функции при
.
Этот предел носит названиепервого
замечательного
предела
.
Он
имеет вид:
.
Например
.
Найти пределы: 1.
.
Обозначают
,
если
,
то
.
;
2.
.
Преобразуем данное выражение так, чтобы
предел свёлся к первому замечательному
пределу.
;
3..
Рассмотрим
переменную величину вида
,
в которойпринимает значения натуральных чисел
в порядке их возрастания. Дадимразличные значения: если
Давая
следующие значения из множества
,
нетрудно увидеть, что выражение
при
будет
.
Более того, доказывается, что
имеет предел. Этот предел обозначается
буквой:
.
Число
иррациональное:
.
Теперь
рассмотрим предел функции
при
.
Этот предел называетсявторым
замечательным пределом
Он
имеет вид
.
Например.
а)
.
Выражение
заменим произведениемодинаковых сомножителей
,
применим теорему о пределе произведения
и второй замечательный предел;
б)
.
Положим
,
тогда
,
.
Второй замечательный предел используется взадаче о непрерывном начислении процентов
При начислении денежных доходов по вкладам часто пользуются формулой сложных процентов, которая имеет вид:
,
где - первоначальный вклад,
- ежегодный банковский процент,
- число начислений процентов в год,
- время, в годах.
Однако, в теоретических исследованиях при обосновании инвестиционных решений чаще пользуются формулой экспоненциального (показательного) закона роста
.
Формула показательного закона роста получена как результат применения второго замечательного предела к формуле сложных процентов
Непрерывность функций.
Рассмотрим
функцию
определённую в некоторой точкеи некоторой окрестности точки.
Пусть в указанной точке функция имеет
значение
.
Определение
1. Функция
называется
непрерывной в точке
,
если она определена в окрестности точки, включая саму точку и
.
Определение непрерывности можно сформулировать иначе.
Пусть
функция
определена при некотором значении,
.
Если аргументудать приращение
,
то функция получит приращение
Пусть функция в точке непрерывна (по первому определению непрерывности функции в точке),
То
есть, если функция непрерывна в точке
,
то бесконечно малому приращению аргумента
в этой точке соответствует бесконечно
малое приращение функции.
Справедливо и обратное предложение: если бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции, то функция непрерывна.
Определение
2. Функция
называется непрерывной при
(в точке),
если она определена в этой точке и
некоторой её окрестности и если
.
Учитывая первое и второе определение непрерывности функции в точке можно получить следующее утверждение:
или
,
но
,
тогда
.
Следовательно,
для того чтобы найти предел непрерывной
функции при
достаточно в аналитическое выражение
функции вместо аргументаподставить его значение.
Определение 3. Функция, непрерывная в каждой точке некоторой области называется непрерывной в этой области.
Например:
Пример
1. Доказать, что функция
непрерывна во всех точках области
определения.
Воспользуемся
вторым определением непрерывности
функции в точке. Для этого возьмём любое
значение аргумента
и дадим ему приращение
.
Найдём соответствующее приращение
функции
Пример
2. Доказать, что функция
непрерывна во всех точкахиз
.
Дадим
аргументу
приращение
,
тогда функция получит приращение
Найдём
так как
функция
,
то есть ограничена.
Аналогично можно доказать, что все основные элементарные функции непрерывны во всех точках области их определения, то есть область определения элементарной функции совпадает с областью её непрерывности.
Определение
4. Если функция
непрерывна в каждой точке некоторого
интервала
,
то говорят, что функция непрерывна на
этом интервале.
БЕСКОНЕЧНО МАЛЫЕ ФУНКЦИИ И ИХ ОСНОВНЫЕ СВОЙСТВА
Функция y=f(x) называется бесконечно малой при x→a или при x →∞, если или , т.е. бесконечно малая функция – это функция, предел которой в данной точке равен нулю.
Примеры.
Установим следующее важное соотношение:
Теорема. Если функция y=f(x) представима при x→a в виде суммы постоянного числа b и бесконечно малой величины α(x): f (x)=b+ α(x) то .
Обратно, если , то f (x)=b+α(x) , где a(x) – бесконечно малая при x→a.
Доказательство .
Рассмотрим основные свойства бесконечно малых функций.
Теорема 1. Алгебраическая сумма двух, трех и вообще любого конечного числа бесконечно малых есть функция бесконечно малая.
Доказательство . Приведем доказательство для двух слагаемых. Пусть f(x)=α(x)+β(x) , где и . Нам нужно доказать, что при произвольном как угодно малом ε> 0 найдется δ> 0, такое, что для x , удовлетворяющих неравенству |x – a|<δ , выполняется |f(x)|< ε.
Итак, зафиксируем произвольное число ε> 0. Так как по условию теоремы α(x) – бесконечно малая функция, то найдется такое δ 1 > 0, что при |x – a|< δ 1 имеем |α(x)|< ε/ 2. Аналогично, так как β(x) – бесконечно малая, то найдется такое δ 2 > 0, что при |x – a|< δ 2 имеем | β(x)|< ε/ 2.
Возьмем δ=min{ δ 1 , δ 2 } .Тогда в окрестности точки a радиуса δ будет выполняться каждое из неравенств |α(x)|< ε/ 2 и | β(x)|< ε/ 2. Следовательно, в этой окрестности будет
|f(x)|=| α(x)+β(x) | ≤ |α(x)| + | β(x)| < ε/2 + ε/2= ε,
т.е. |f(x)|< ε, что и требовалось доказать.
Теорема 2. Произведение бесконечно малой функции a(x) на ограниченную функцию f(x) при x→a (или при x→∞ ) есть бесконечно малая функция.
Доказательство . Так как функция f(x) ограничена, то существует число М такое, что при всех значениях x из некоторой окрестности точки a|f(x)|≤M. Кроме того, так как a(x) – бесконечно малая функция при x→a , то для произвольного ε> 0 найдется окрестность точки a , в которой будет выполняться неравенство |α(x)|< ε/M . Тогда в меньшей из этих окрестностей имеем | αf|< ε/M = ε. А это и значит, что af – бесконечно малая. Для случая x→∞ доказательство проводится аналогично.
Из доказанной теоремы вытекают:
Следствие 1. Если и , то .
Следствие 2. Если и c= const, то .
Теорема 3. Отношение бесконечно малой функции α(x) на функцию f(x) , предел которой отличен от нуля, есть бесконечно малая функция.
Доказательство . Пусть . Тогда 1/f(x) есть ограниченная функция. Поэтому дробь есть произведение бесконечно малой функции на функцию ограниченную, т.е. функция бесконечно малая.
СООТНОШЕНИЕ МЕЖДУ БЕСКОНЕЧНО МАЛЫМИ И БЕСКОНЕЧНО БОЛЬШИМИ ФУНКЦИЯМИ
Теорема 1. Если функция f(x) является бесконечно большой при x→a , то функция 1/f(x) является бесконечно малой при x→a .
Доказательство. Возьмем произвольное число ε>0 и покажем, что при некотором δ>0 (зависящим от ε) при всех x , для которых |x – a|<δ , выполняется неравенство , а это и будет означать, что 1/f(x) – бесконечно малая функция. Действительно, так как f(x) – бесконечно большая функция при x→a , то найдется δ>0 такое, что как только |x – a|<δ , так |f(x)|> 1/ ε. Но тогда для тех же x .
Примеры.
Можно доказать и обратную теорему.
Теорема 2. Если функция f(x) - бесконечно малая при x→a (или x→∞) и не обращается в нуль, то y= 1/f(x) является бесконечно большой функцией.
Доказательство теоремы проведите самостоятельно.
Примеры.
Таким образом, простейшие свойства бесконечно малых и бесконечно больших функций можно записать с помощью следующих условных соотношений: A ≠ 0
ТЕОРЕМЫ О ПРЕДЕЛАХ
Теорема 1. Предел алгебраической суммы двух, трех и вообще определенного числа функций равен алгебраической сумме пределов этих функций, т.е.
Доказательство . Проведем доказательство для двух слагаемых, так как для любого числа слагаемых оно проводится так же. Пусть .Тогда f(x)=b+α(x) и g(x)=c+β(x) , где α и β – бесконечно малые функции. Следовательно,
f(x) + g(x)=(b + c) + (α(x) + β(x)) .
Так как b + c есть постоянная величина, а α(x) + β(x) – функция бесконечно малая, то
Пример. .
Теорема 2. Предел произведения двух, трех и вообще конечного числа функций равен произведению пределов этих функций:
Доказательство . Пусть . Следовательно, f(x)=b+α(x) и g(x)=c+β(x) и
fg = (b + α)(c + β) = bc + (bβ + cα + αβ).
Произведение bc есть величина постоянная. Функция bβ + c α + αβ на основании свойств бесконечно малых функций есть величина бесконечно малая. Поэтому .
Следствие 1. Постоянный множитель можно выносить за знак предела:
.
Следствие 2. Предел степени равен степени предела:
.
Пример. .
Теорема 3. Предел частного двух функций равен частному пределов этих функций, если предел знаменателя отличен от нуля, т.е.
.
Доказательство . Пусть . Следовательно, f(x)=b+α(x) и g(x)=c+β(x) , где α, β – бесконечно малые. Рассмотрим частное
Дробь является бесконечно малой функцией, так как числитель есть бесконечно малая функция, а знаменатель имеет предел c 2 ≠0.
Примеры.
Теорема 4. Пусть даны три функции f(x), u(x) и v(x) , удовлетворяющие неравенствам u(x)≤f(x)≤ v(x) . Если функции u(x) и v(x) имеют один и тот же предел при x→a (или x→∞ ), то и функция f(x) стремится к тому же пределу, т.е. если
, то .
Смысл этой теоремы понятен из рисунка.
Доказательство теоремы 4 можно найти, например, в учебнике: Пискунов Н. С. Дифференциальное и интегральное исчисления, т. 1 – М.: Наука, 1985.
Теорема 5. Если при x→a (или x→∞ ) функция y=f(x) принимает неотрицательные значения y≥0 и при этом стремится к пределу b , то этот предел не может быть отрицательным: b≥0 .
Доказательство . Доказательство проведем методом от противного. Предположим, что b<0 , тогда |y – b|≥|b| и, следовательно, модуль разности не стремится к нулю при x→a . Но тогда y не стремится к пределу b при x→a , что противоречит условию теоремы.
Теорема 6. Если две функции f(x) и g(x) при всех значениях аргумента x удовлетворяют неравенству f(x)≥ g(x) и имеют пределы , то имеет место неравенство b≥c .
Доказательство. По условию теоремы f(x)-g(x) ≥0 , следовательно, по теореме 5 , или .
ОДНОСТОРОННИЕ ПРЕДЕЛЫ
До сих пор мы рассматривали определение предела функции, когда x→a произвольным образом, т.е. предел функции не зависел от того, как располагалось x по отношению к a , слева или справа от a . Однако, довольно часто можно встретить функции, которые не имеют предела при этом условии, но они имеют предел, если x→a , оставаясь с одной стороны от а , слева или справа (см. рис.). Поэтому вводят понятия односторонних пределов.
Если f(x) стремится к пределу b при x стремящемся к некоторому числу a так, что x принимает только значения, меньшие a , то пишут и называют bпределом функции f(x) в точке a слева.