точки a ) ни взять, все точки xn B, Bначиная с некоторого xn0 , должны попасть внутрь этого промежутка, так что вне его может остаться разве лишь конечное число этих точек. Сама точка, изображающая предел a , является как бы средоточием сгустка точек, изображающих значения варианты. По определению несущественно, лежат ли значения варианты по одну сторону или по разные стороны от точки a , приближаются ли они с каждым большим номером к своему пределу или нет, достигают ли своего предела. Существенно лишь то, что члены последовательности должны отличаться от предела сколь угодно мало для достаточно больших номеров n.
Пример 5.9. Доказать, что
lim xn
n→∞
По определению
|
|
|
xn −1 |
|
<ε |
|
n |
− |
1 |
|
<ε |
|
−1 |
|
<ε |
1 |
|
<ε n > |
|
1 |
−1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n +1 |
|
n +1 |
n +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε |
|
где |
|
1 |
|
- целая часть числа |
|
1 |
. Следовательно, если взять n |
= |
|
1 |
|
−1, то, начиная с этого |
|
|
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
0 |
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
номера, для всех |
n > n0 B B |
будет выполняться |
неравенство |
|
xn −1 |
|
< ε , и , согласно |
|
|
определению: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
n |
=1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ n +1 |
|
|
|
|
|
Очевидно, что номер |
n0 зависит от выбора ε , чем меньшее ε |
задаем, тем больший номер |
потребуется, чтобы выполнялось неравенство определения. Например: |
ε = 0,01, тогда |
n |
= |
|
1 |
−1 = 99, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0.01 |
|
|
|
|
|
|
|
|
|
ε = 0,01, тогда |
n |
= |
|
1 |
−1 = 999, и т.д. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0.01 |
|
|
|
|
|
|
|
|
|
TЗамечание 5.2.T Находить пределы по определению сложно, неудобно, для
этого применяют различные приемы, основанные на свойствах пределов.
Согласно определениям (5.15)-(5.17) БМП имеет пределом число 0, а ББП имеет бесконечный предел (+∞, − ∞ или ∞) .
Используя понятие БМП, можно сформулировать следующее утверждение: чтобы последовательность (xn ) имела своим пределом число a , необходимо и достаточно, чтобы разность αn = xn − a между членами последовательности xn B Bи
числом a была бесконечно малой.
Таким образом, если варианта xn B Bимеет пределом число а, то она может быть представлена в виде xn = a +αn , где αn B Bесть бесконечно малая, и обратно,
если xn B Bдопускает такое представление, то xn → a . Это свойство часто используют на практике для установления предела переменной.
Укажем некоторые свойства сходящихся последовательностей. TТеорема 5.2. TСходящаяся последовательность имеет только один
предел.
Доказательство. Предположим, что последовательность (xn ) сходится и имеет два различных предела а и b. Тогда элементы последовательности можно представить xn = a +αn B Bи xn = b + βn ,B Bгде αn ,B B βn – элементы бесконечно малых последовательностей (αn ) иB B (βn ).
Вычитая представления xn B, Bполучим xn - xn = (a +αn )−(b + βn ) = 0 αn − βn = b − a , т.е.
все элементы бесконечно малой последовательности αn − βn имеют одно и то же постоянное значение b − a , следовательно b − a = 0, b = a .
TТеорема 5.3.T Сходящаяся последовательность ограничена.
Доказательство. Пусть (xn ) - сходящаяся последовательность и lim xn = a . Тогда для
n→∞
любого ε > 0 |
существует |
номер nB0 |
Bпоследовательности такой, |
|
что |
для любого n > n0 B |
Bвыполняется неравенство |
|
xn − a |
|
<ε . |
Отсюда B |
|
x |
|
= |
|
x |
− a + a |
|
≤ |
|
x − a |
|
+ |
|
a |
|
< |
|
a |
|
+ε ,B |
т.е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
|
< |
|
a |
|
+ε при n > n0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выберем |
M = max ( |
|
a |
|
+ε, x1, x2 ,...xn0 ), |
|
тогда |
|
|
xn |
|
< M |
|
при |
|
всех n N , |
т.е. |
|
|
|
|
|
|
|
|
|
|
|
|
последовательность (xn ) ограничена.
Ограниченность последовательности является необходимым, но не достаточным признаком её сходимости. Например, последовательность
((−1)n )= (−1,1,−1,1,...) ограничена, но не имеет предела. Достаточным признаком
сходимости последовательности является следующее утверждение:
TТеорема 5.4. TВсякая ограниченная монотонная последовательность сходится.
Монотонность ограниченной последовательности является только достаточным, но не необходимым условием её сходимости, существуют ограниченные немонотонные сходящиеся последовательности. Например,
|
(−1)n |
|
|
− |
1 |
, |
1 |
,− |
1 |
|
сходится к нулю, хотя и не |
последовательность |
n +1 |
|
= |
2 |
3 |
4 |
,... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
монотонна.
Неограниченная возрастающая последовательность стремится к + ∞, а убывающая стремится к - ∞.
Укажем теперь общий признак существования конечного предела последовательности (xn ). Само определение предела для этой цели служить не может, так как в нём фигурирует уже тот предел, о существовании которого идёт речь. Этот признак сформулирован в следующей теореме, которую называют критерием или принципом сходимости числовой последовательности.
TТеорема 5.5. TДля того, чтобы последовательность (xn ) вообще имела конечный предел необходимо и достаточно, чтобы для любого ε > 0 существовал
такой номер n0 |
(ε ), чтобы неравенство |
|
xn |
− xn |
|
<ε выполнялось, лишь только |
|
|
|
|
|
2 |
1 |
|
|
n2 > n0 , n1 > n0 . |
|
|
|
|
|
|
Суть дела в этом утверждении в том, что для сходимости последовательности необходимо и достаточно, чтобы элементы последовательности безгранично сближались между собой по мере возрастания их номеров.
(xn ).
(xn )
Последовательность, удовлетворяющая условиям критерия сходимости, называется фундаментальной по Коши.
Введём ещё понятие подпоследовательности числовой последовательности.
Пусть некоторая последовательность, рассмотрим произвольную
возрастающую последовательность натуральных чисел n1,n2...nk ,... , и запишем соответствующие элементы из последовательности (xn ) : (xnk )= xn1 , xn2 ,..., xnk ,....
Полученную последовательность называют частичной последовательностью или
подпоследовательностью последовательности Здесь номером,
принимающем последовательно все натуральные значения, является число k, а nBkB представляет собой варианту, принимающую натуральные значения и стремящуюся к +∞ при возрастании k.
Из всякой последовательности можно извлечь монотонную подпоследовательность, а из всякой ограниченной последовательности можно извлечь сходящуюся подпоследовательность. B B
§ 4. Предел функции
Пусть функция y = f (x) определена на некотором множестве Х и точка хB0 PB Pпринадлежит или не принадлежит этому множеству, но в любой окрестностиP Pэтой точки содержатся точки множества Х, отличные от хB0B. Выражение “функция fP Pопределена на множестве Х” не означает, что указанное множество является областью определения функции, а лишь, что это множество принадлежит области определения ( X D( f ) ) и что в данном случае функция f рассматривается только на указанном множестве Х, т.е. по существу рассматривается лишь сужение функции f на множестве Х. Естественно, что для числовой функции одной действительной переменной множество Х есть некоторый промежуток на числовой прямой.
Для определения предела функции наряду с понятием окрестности (δ -
окрестности) точки |
x0 Oδ (x0 ) ={x |
|
|
|
x − x0 |
|
<δ} определим |
проколотую |
|
|
|
окрестность точки хB0B. |
|
|
|
|
|
|
|
|
|
|
TОпределение 5.19.T Проколотой окрестностью (δ-окрестностью) Oδ (x0 ) |
точки x0 B Bназывается |
окрестность |
Oδ (x0 ), |
из которой удалена |
точка x0 т.е. |
Oδ (x0 ) ={x |
|
0 < |
|
x − x0 |
|
<δ}. |
y = f (x) |
|
|
|
|
|
|
|
|
|
|
|
В точке x0 значение функции |
может быть не определено. Точка |
x0 , обладающая указанным выше свойством, называется точкой сгущения или точкой прикосновения множества Х.
TОпределение 5.20.T Точка x0 R называется точкой |
сгущения |
(прикосновения) множества Х, если в каждой ее окрестности |
содержатся |
отличные от хB0B значения x X . |
|
Точка сгущения хB0B, вообще говоря, может и не принадлежать множеству Х. Например, на интервале (a, b) любая внутренняя точка является точкой сгущения, в то же время точки a и b, не принадлежащие (a, b), также являются точками сгущения данного промежутка.
Приведем теперь определения конечного предела функции y = f (x) при x → x0 . Первое определение, называемое “на языке последовательностей” или “по Гейне”, основано на уже установленном понятии предела последовательности.
TОпределение 5.21. TЧисло yB0B |
называется пределом функции y = f (x) в |
точке хB0B |
(при x → x0 ), если |
для |
любой последовательности точек |
xn Oδ (x0 ), |
n =1,2,..., сходящейся к хB0B, |
последовательность соответствующих |
значений функции f (xn ) |
сходится к yB0 B( f (x)→ y0 при x → x0 ): |
y0 = lim f (x) xn Oδ (x0 ), |
n =1,2,.... : lim xn |
= x0 lim f (xn ) = y0 . |
x→x0 |
n→∞ |
n→∞ |
Так как последовательность ( f (xn )) |
может иметь только один предел, то и |
функция y = f (x) может иметь в точке хB0B только одно предельное значение.
Другое определение (по Коши) называется “на языке ε – δ “.
TОпределение 5.22. TЧисло yB0B |
называется пределом функции y = f (x) в |
точке хB0B (или при x → x0 ), если для любого ε > 0 существует такое число δ(ε) |
(зависящее от ε), что при всех x |
, удовлетворяющих условию 0 < |
|
x − x0 |
|
<δ |
|
|
выполняется неравенство |
|
f (x)− y0 |
|
|
< ε , т.е. |
|
|
y0 = limx x f (x) ε > 0 δ(ε) > 0 : x | 0 <| x − x0 | < δ | f (x) − y0 | < ε
→ 0
или
y0 = lim f (x) ε > 0 δ(ε) > 0 : x Oδ (x0 ) f (x) Oε ( y0 ) . |
x→x0 |
|
Согласно определению, любому x из проколотой |
δ - окрестности точки хB0B |
соответствует значение f (x), попадающее в ε -окрестность точки yB0B. |
Определения предела функции в точке хB0B |
по Гейне и по Коши |
эквивалентны. В определениях предела предполагается, что точка x, приближаясь
к хB0B , может оставаться как слева, так и справа от хB0B. |
|
|
Если приходится рассматривать предел функции y = f (x) |
при условии, что |
точка x, приближаясь к точке хB0B, остается |
либо только левее, либо только правее |
ее, то говорят об односторонних пределах функции в точке x0 |
(соответственно, |
предел слева, предел справа). |
|
|
|
|
|
|
|
TОпределение 5.23.T Левой (правой) |
δ-окрестностью точки |
x0 B B Oδ (x0 −0) |
(Oδ (x0 +0)) называется множество всех x, удовлетворяющих неравенству: |
0 ≤ x0 − x <δ , |
(0 ≤ x − x0 <δ ). |
|
|
|
|
|
|
|
Проколотые |
левая и правая |
|
|
|
δ-окрестности точки |
хB0 |
Bполучаются |
“выкалыванием” из соответствующих δ - окрестностей точки хB0B, т.е. |
|
Oδ (x0 −0)={x |
|
|
|
0 < x0 − x <δ}, |
|
|
|
|
|
|
|
Oδ (x0 +0)={x |
|
0 < x − x0 <δ}. |
|
|
|
|
|
|
TОпределение 5.24.T Число yB0B называется левосторонним (правосторонним) |
пределом или пределом слева (справа) |
|
|
функции y = f (x) в точке хB0B, если для |
любого ε > 0 существует δ (ε ) > 0 , такое, что при всех x, принадлежащих проколотой левой (правой) δ - окрестности точки хB0B, соответствующие значения функции попадают в ε - окрестность точки yB0B.
Пределы слева и справа соответственно обозначаются
lim f (x) = y0 , |
lim f (x) = y0 или f (x0 − 0), f (x0 + 0). |
x→x0 −0 |
x→x0 +0 |
Если в точке хB0B существуют конечные левосторонний и правосторонний |
пределы функции y = f (x), |
равные одному и тому же числу, то это число |
является пределом функции y = f (x). |
В точке x0 функция y = f (x) может иметь и бесконечный предел.
TОпределение 5.25.T (на языке ε - δ). Предел функции y = f (x) при x → x0
называется бесконечным, если для любого положительного числа М существует
|
|
|
|
|
|
|
|
|
|
|
|
число δ > 0, |
такое, |
что для всех значений x, |
удовлетворяющих неравенству |
0 < |
|
x − x0 |
|
<δ , |
выполняется неравенство |
|
f (x) |
|
> M . Функцию f (x) называют |
|
|
|
|
|
|
бесконечно большой: |
lim f (x) = ∞. |
|
|
|
|
|
|
|
x→x0 |
|
|
|
Если f (x) стремится к бесконечности при |
x → x0 и при этом принимает |
только положительные или только отрицательные значения , то это обозначают
так : |
lim f (x) = +∞, |
lim f (x) = −∞. |
|
|
|
|
x→x0 |
x→x0 |
|
|
|
|
|
TОпределение |
5.26. T(на языке последовательностей). |
Функция y = f (x) |
имеет |
бесконечный |
предел |
lim f (x) = ∞, |
если для |
любой |
сходящейся к хB0B |
|
|
|
x→x0 |
|
|
|
последовательности |
(xn ) |
значений |
аргумента |
x |
соответствующая |
последовательность ( f (xn )) |
значений функции является бесконечно большой. |
Аналогично определяются B Bодносторонние бесконечные пределы.
При исследовании функции также рассматривают ее поведение при x → +∞ и x → −∞, где функция может иметь как конечный, так и бесконечный предел.
( f (xn ))
TОпределение 5.27. T(на языке последовательностей). Число yB0B называется
пределом функции |
y = f (x) |
при x → ∞, если для любой бесконечно большой |
последовательности |
(xn ) |
значений |
аргумента, |
соответствующая |
последовательность ( f (xn )) значений функции сходится к yB0B , обозначается |
|
|
y0 = lim f (x) . |
|
|
|
|
|
x→∞ |
|
|
|
TОпределение 5.28.T (на языке последовательностей). Число y0 |
называется |
пределом функции |
y = f (x) |
при x → +∞ ( x → −∞), если для любой бесконечно |
большой последовательности (xn ) значений |
аргумента, |
элементы |
которой |
положительны (отрицательны), соответствующая последовательность значений функции сходится к y0 , обозначается
|
|
|
|
|
y0 = lim f (x) и |
y0 = lim f (x) . |
|
|
|
|
|
|
|
|
|
|
x→+∞ |
|
x→−∞ |
|
|
|
TОпределение 5.29.T ( на языке ε–δ). Число y0 |
называется пределом функции |
y = f (x), при |
x → +∞ |
( x → −∞), |
если |
для |
любого |
ε > 0 |
существует |
положительное число |
|
M R , такое, что для |
всех x > M (x < −M ) |
выполняется |
неравенство : |
|
f (x)− y0 |
|
< ε . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Множество |
Oδ (x)= {x |
|
x > M} называют δ |
- окрестностью |
бесконечно |
|
удаленной точки. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
TОпределение 5.30.T Предел функции |
y = f (x) при |
x → +∞ ( x → −∞), |
называется бесконечным, |
если для любого сколь угодно большого числа M R |
найдется число K > 0 |
такое, что для любого |
|
x |
|
> K выполняется неравенство: |
|
|
f(x) > M .
§5. Вычисление пределов
Вычисление пределов последовательностей и функций. Неопределенности, приемы раскрытия неопределённостей
Вычисление пределов числовых последовательностей и функций основано на их свойствах, а так же правилах предельного перехода при выполнении операций над ними в равенствах и неравенствах, их связывающих.
Принимая во внимание, что действия над двумя переменными легко распространить на любое конечное число переменных, ограничимся случаем двух последовательностей или двух функций.
Рассмотрим вначале последовательности. Заметим сразу, что из определения предела последовательности следует, что конечное число элементов последовательности не влияет на её сходимость и на величину её предела. Равенства, неравенства, которым удовлетворяют элементы сходящихся последовательностей, в пределе переходят в соответствующие равенства и неравенства для пределов этих последовательностей, действия над сходящимися последовательностями приводят к таким же действиям над их пределами. Сформулируем эти свойства сходящихся последовательностей в виде теорем. TТеорема 5.6. TЕсли элементы xn B Bи yn B Bсходящихся последовательностей (xn ) и
(yn ), начиная с некоторого номера, равны: xn = yn , причем каждая из них имеет
конечный предел lim x |
n |
= a, |
lim y |
n |
= b , то равны и эти пределы: |
a = b . |
n→∞ |
|
n→∞ |
|
|
TТеорема 5.7.T Если элементы сходящейся последовательности (xn ), начиная с |
некоторого номера, удовлетворяют неравенству xn ≥ b (xn ≤ b), а |
limxn = a , |
|
|
|
|
|
|
n→∞ |
то и предел этой последовательности удовлетворяет неравенству a ≥ b (a ≤ b). TТеорема 5.8.T Если элементы xn B Bи yn ,B Bсходящихся последовательностей (xn ) B Bи (yn ), начиная с некоторого номера, удовлетворяют неравенству xn ≤ yn B, Bи
limxn |
= a , lim yn = b , то их пределы удовлетворяют такому же |
n→∞ |
n→∞ |
неравенствуa ≤ b .
Следует заметить, что из строгого неравенства xn < yn , вообще говоря, не вытекает строгое же неравенство a < b , а по-прежнему a ≤ b , например,
1 |
|
1 |
|
1 |
|
|
1 |
|
n |
> − |
n |
при всех n и тем не менее lim |
|
= lim |
− |
|
|
= 0 . |
|
|
|
n→∞ n |
n→∞ |
|
n |
|
TТеорема 5.9. TПусть (xn ) и (zn ) - сходящиеся последовательности, имеющие
общий предел а: limxn = lim zn = a . Пусть, кроме того, начиная с некоторого |
n→∞ |
n→∞ |
|
номера, элементы последовательность (yn ) |
удовлетворяют неравенствам |
xn ≤ yn ≤ zn B. BТогда последовательность (yn ) |
сходится и lim yn = a . |
n→∞
TТеорема 5.10.T Если последовательности (xn ) и (yn ) сходятся и limxn = a ,
n→∞
lim yn = b ,то
n→∞
204
1) |
lim(xn ± yn)= limxn |
±lim yn = a ±b; |
|
|
|
|
n→∞ |
(cx |
n |
|
n→∞ |
|
n→∞ |
|
|
|
|
|
|
|
2) |
lim |
|
n→∞ |
n |
= ca ; |
|
|
|
|
|
|
|
n→∞ |
|
)= c lim x |
|
|
|
|
|
|
|
|
3) |
lim(xn yn)= limxn lim yn = ab ; |
|
|
|
|
|
|
n→∞ |
|
|
|
n→∞ |
|
n→∞ |
|
lim |
|
|
|
|
|
4) если lim yn |
|
|
|
|
xn |
|
|
xn |
|
a |
|
≠ 0 , |
то |
lim |
= |
n→∞ |
|
= |
. |
|
lim yn |
|
|
|
n→∞ |
|
|
|
n→∞ yn |
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
Сформулируем теперь утверждения о пределах функций.
TТеорема 5.11.T Если в Oδ (x0 ) точки x0 для функций ϕ(x), f (x), g (x)
выполняются неравенства ϕ(x)≤ f (x)≤ g (x) и существуют конечные пределы |
limϕ(x)= lim g(x)= a , то существует lim f (x)= a . |
x→x0 |
x→x0 |
х→х0 |
TТеорема 5.12.T Если в Oδ (x0 ) точки хB0 Bзадана сложная функция y = f (z (x)) и
существуют конечные пределы lim z(x)= a, (z(x)≠ 0, x Oδ (x0 )), lim f (z)= b , |
|
х→х0 |
z→a |
то существует предел сложной функции |
y = f (z (x)) в точке хB0 B и |
lim f (z(x))= lim f (z)= b . |
|
х→х0 |
z→a |
|
TТеорема 5.13.T Если функции f (x) и g (x) в точке хB0B имеют конечные пределы |
lim f (x)= a , |
lim g(x)= b , то |
|
|
|
|
|
|
|
|
x→x0 |
х→x0 |
|
|
|
|
|
|
|
|
|
|
|
1) |
lim(f (x)± g(x))= lim f (x)± lim g(x)= a ± b ; |
|
х→х0 |
x→x0 |
|
x→x0 |
|
|
|
|
|
|
|
|
2) |
limcf (x)= c lim f (x)= ca ; |
|
|
|
|
|
|
|
|
|
x→x0 |
x→x0 |
(x)lim g(x)= ab ; |
|
|
|
3) |
lim(f (x)g(x))= lim f |
|
|
|
|
х→х0 |
x→x0 |
x→x0 |
|
lim |
|
|
|
|
|
|
|
f (x) |
|
|
|
a |
|
4) если lim g(x)≠ 0 , то |
lim |
|
= |
x→x0 |
|
f (x) |
|
= |
. |
|
lim g(x) |
|
|
х→х0 |
|
x→x0 g(x) |
|
|
b |
|
|
|
|
|
|
|
x→x0 |
|
|
|
Приведенные свойства пределов используют при вычислении пределов последовательностей и функций. В результате выполнения необходимых действий по вычислению предела общего члена последовательности или предела функции находим конечный или бесконечный предел или устанавливаем, что предел не существует. При этом во многих случаях приходится сталкиваться с выражениями, которые называют неопределенностями. К неопределенностям
относят выражения вида 00 , ∞∞ , 0 ∞ , ∞ − ∞, 00 , 0∞ , ∞0 , 1∞ . Они возникают при выполнении, например, действий вычитания, умножения, деления, возведения