Определение бесконечно большой функции. Определение бесконечно большой последовательности Бесконечная функция

Функция y=f(x) называется бесконечно малой при x→a или при x →∞, если или , т.е. бесконечно малая функция – это функция, предел которой в данной точке равен нулю.

Примеры.

1. Функция f(x) =(x -1) 2 является бесконечно малой при x →1, так как (см. рис.).

2. Функция f(x) = tgx – бесконечно малая при x →0.

3. f(x) = ln (1+x )– бесконечно малая при x →0.

4. f(x) = 1/x – бесконечно малая при x →∞.

Установим следующее важное соотношение:

Теорема. Если функция y=f(x) представима при x→a в виде суммы постоянного числа b и бесконечно малой величины α(x): f (x)=b+ α(x) то .

Обратно, если , то f (x)=b+α(x) , где a(x) – бесконечно малая при x→a.

Доказательство .

1. Докажем первую часть утверждения. Из равенства f(x)=b+α(x) следует |f(x) – b|=| α| . Но так как a(x) – бесконечно малая, то при произвольном ε найдется δ – окрестность точки a, при всех x из которой, значения a(x) удовлетворяют соотношению |α(x)|< ε. Тогда |f(x) – b|< ε. А это и значит, что .

2. Если , то при любом ε>0 для всех х из некоторой δ – окрестность точки a будет |f(x) – b|< ε. Но если обозначим f(x) – b= α , то |α(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) есть ограниченная функция. Поэтому дробь есть произведение бесконечно малой функции на функцию ограниченную, т.е. функция бесконечно малая.

БЕСКОНЕЧНО МАЛЫЕ ФУНКЦИИ И ИХ ОСНОВНЫЕ СВОЙСТВА

Примеры.

Установим следующее важное соотношение:

Обратно, если , то f (x)=b+α(x) , где a(x) – бесконечно малая при x→a.

Доказательство .

Рассмотрим основные свойства бесконечно малых функций.

Доказательство . Приведем доказательство для двух слагаемых. Пусть f(x)=α(x)+β(x) , где и . Нам нужно доказать, что при произвольном как угодно малом ε> 0 найдется δ> 0, такое, что для x , удовлетворяющих неравенству |x – a|<δ , выполняется |f(x)|< ε.

|f(x)|=| α(x)+β(x) | ≤ |α(x)| + | β(x)| < ε/2 + ε/2= ε,

т.е. |f(x)|< ε, что и требовалось доказать.

Из доказанной теоремы вытекают:

Следствие 1. Если и , то .

Следствие 2. Если и c= const, то .

СООТНОШЕНИЕ МЕЖДУ БЕСКОНЕЧНО МАЛЫМИ И БЕСКОНЕЧНО БОЛЬШИМИ ФУНКЦИЯМИ

Теорема 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 слева.

Исчисление бесконечно малых и больших

Исчисление бесконечно малых - вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. Исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений , составляющих основу современной высшей математики . Понятие бесконечно малой величины тесно связано с понятием предела .

Бесконечно малая

Последовательность a n называется бесконечно малой , если . Например, последовательность чисел - бесконечно малая.

Функция называется бесконечно малой в окрестности точки x 0 , если .

Функция называется бесконечно малой на бесконечности , если либо .

Также бесконечно малой является функция, представляющая собой разность функции и её предела, то есть если , то f (x ) − a = α(x ) , .

Бесконечно большая величина

Последовательность a n называется бесконечно большой , если .

Функция называется бесконечно большой в окрестности точки x 0 , если .

Функция называется бесконечно большой на бесконечности , если либо .

Во всех случаях бесконечность справа от равенства подразумевается определённого знака (либо «плюс», либо «минус»). То есть, например, функция x sinx не является бесконечно большой при .

Свойства бесконечно малых и бесконечно больших

Сравнение бесконечно малых величин

Как сравнивать бесконечно малые величины?
Отношение бесконечно малых величин образует так называемую неопределённость .

Определения

Допустим, у нас есть бесконечно малые при одном и том же величины α(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 .

Смотреть что такое "Бесконечно большая" в других словарях:

Переменная величина Y, обратная бесконечно малой величине X, то есть Y = 1/X … Большой Энциклопедический словарь

Переменная величина y, обратная бесконечно малой величине x, то есть y = 1/x. * * * БЕСКОНЕЧНО БОЛЬШАЯ БЕСКОНЕЧНО БОЛЬШАЯ, переменная величина Y, обратная бесконечно малой величине X, то есть Y = 1/X … Энциклопедический словарь

В математике, переменная величина, которая в данном процессе изменения становится и остаётся по абсолютной величине больше любого наперёд заданного числа. Изучение Б. б. величин может быть сведено к изучению бесконечно малых (См.… … Большая советская энциклопедия