7Вокруг бесконечных пределов

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

7.1Арифметика пределов и бесконечности

7.1.1Ошибочное и верное применение арифметики пределов

Для начала я приведу пример неверного применения арифметики пределов.

Пример 1. Пусть мы хотим вычислить предел

lim n \to \infty \frac{n^{2} + 2 n}{2 n^{2} + 3} .

Следующая цепочка равенств содержит ошибку. Попробуйте найти её, не заглядывая ниже.

lim n \to \infty \frac{n^{2} + 2 n}{2 n^{2} + 3} = \frac{{lim}_{n \to \infty} (n^{2} + 2 n)}{{lim}_{n \to \infty} (2 n^{2} + 3)} = \frac{\infty}{\infty} = 1.

Собственно, неверны все равенства. В первом равенстве, применяя теорему о пределе частного, мы предполагаем, что пределы числителя и знаменателя существуют. Однако, как мы выясняем в дальнейшем, они оба равны бесконечности, то есть не существуют. Это означает, что первый переход сделать нельзя. Второй и третий переходы просто не имеют смысла, поскольку $\frac{\infty}{\infty}$ — не является нормальным арифметическим выражением, и обычные правила арифметики здесь не работают — нельзя дробь «сократить на бесконечность».

Как следовало решать этот номер? Нужно было преобразовать дробь таким образом, чтобы пределы числителя и знаменателя существовали. Это можно сделать, разделив числитель и знаменатель на $n^{2}$ (значение дроби от этого не поменяется, и $n^{2}$ никогда не равно нулю, так что можно смело делить). Имеем:

lim n \to \infty \frac{n^{2} + 2 n}{2 n^{2} + 3} = lim n \to \infty \frac{\frac{n^{2} + 2 n}{n^{2}}}{\frac{2 n^{2} + 3}{n^{2}}} = lim n \to \infty \frac{1 + \frac{2}{n}}{2 + \frac{3}{n^{2}}} .

И вот теперь можно применить к этой дроби теорему о пределе частного:

lim n \to \infty \frac{1 + \frac{2}{n}}{2 + \frac{3}{n^{2}}} = \frac{{lim}_{n \to \infty} (1 + \frac{2}{n})}{{lim}_{n \to \infty} (2 + \frac{3}{n^{3}})} .

К пределам в числителе и знаменателе можно применить теорему о пределе суммы: первое слагаемое является константой и сходится само к себе, второе (в обоих случаях) стремится к нулю, как мы уже доказывали на семинарах. Значит числитель сходится к

1

, знаменатель — к

2

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

lim n \to \infty \frac{n^{2} + 2 n}{2 n^{2} + 3} = \frac{1}{2} .

7.1.2Неопределенности

Допустим, мы хотели бы сформулировать какую-нибудь теорему вида «если

a_{n} \to \infty

b_{n} \to \infty

, то

a_{n} / b_{n}

стремится туда-то». Покажем, что никакую теорему такого типа сформулировать нельзя: предел

a_{n} / b_{n}

может быть любым. А именно:

Он может быть любым вещественным ненулевым числом. Можно выбрать последовательности $a_{n} = n$ и $b_{n} = A n$ , где $A$ — это число.
Он может быть равен нулю. Предыдущий пример не работает (почему?), но работает такой: $a_{n} = n$ , $b_{n} = n^{2}$ .
Он может равняться бесконечности и плюс бесконечности: положим $a_{n} = n^{2}$ и $b_{n} = n$ .
Минус бесконечности тоже может быть равен (придумайте пример самостоятельно).
Может не иметь ни конечного, ни бесконечного предела (придумайте пример самостоятельно).

Краткое выражение этой мысли звучит так: «

\frac{\infty}{\infty}

является неопределенностью». Здесь под

\frac{\infty}{\infty}

подразумевается не арифметическое выражение, а символическая запись, которая означает предел последовательности вида

{a_{n} / b_{n}}

, где пределы числителя и знаменателя равны бесконечностям.

Замечание 1. Утверждение «

\frac{\infty}{\infty}

— неопределенность» не означает, что любой предел такого вида не определен. Скажем, в примере 1 рассматривался предел именно такого вида, однако мы его в конечном итоге нашли и выяснили, что он равен вполне определенному числу:

1 / 2

. Утверждение, «

\frac{\infty}{\infty}

— неопределенность» означает, что если мы знаем про числитель и знаменатель только то, что они стремятся к бесконечности, мы не можем на основе только этой информации найти предел дроби. Ситуация, при которой мы находим этот предел (пользуясь явным выражением для числителя и знаменателя или какой-то другой дополнительной информацией о них) называется раскрытием неопределенности.

Приведём пример ещё одной неопределенности: $(\infty) + (\infty)$ . (Я взял каждую из бесконечностей в скобки, чтобы подчеркнуть, что это «бесконечности без знака».) Действительно, пусть мы знаем, что $a_{n} \to \infty$ и $b_{n} \to \infty$ . Что можно сказать про ${lim}_{n \to \infty} (a_{n} + b_{n})$ ? Он может равняться чему угодно:

Любому вещественному числу $A$ : возьмём $a_{n} = n$ , $b_{n} = - n + A$ . (Напомним, что мы требуем, чтобы оба слагаемых стремились к бесконечности без знака, и значит ${- n + A}$ подходит: по модулю эта последовательность становится сколь угодно большой.)
Плюс бесконечности: возьмём $a_{n} = n$ , $b_{n} = n$ .
Минус бесконечности: возьмём $a_{n} = - n$ , $b_{n} = - n$ .
Не иметь ни конечного, ни бесконечного предела: возьмём $a_{n} = n$ , $b_{n} = (- 1)^{n} \cdot n$ .
Бесконечности без знака, которая не является ни плюс, ни минус бесконечностью (придумайте пример).

Есть и другие примеры неопределенностей:

0 / 0

0 \cdot \infty

1^{\infty}

и др.

Упражнение 1. Докажите, что

0 / 0

0 \cdot \infty

тоже неопределенности, то есть могут принимать любые вещественные значения, а также стремиться к бесконечности.

С $1^{\infty}$ мы разберёмся позже, когда обсудим логарифмы.

7.2«Арифметика бесконечностей»

Не все арифметические выражения с последовательностями, стремящимися к бесконечностям (или иначе нарушающими правила арифметики пределов), обязательно являются неопределенностями.

7.2.1Сумма плюс бесконечностей

Утверждение 1. Пусть

a_{n} \to + \infty

b_{n} \to + \infty

. Тогда

(a_{n} + b_{n}) \to + \infty

. Неформально это утверждение можно записать так:

(+ \infty) + (+ \infty) = + \infty

Доказательство. Как обычно в таких доказательствах, начнём с формализации:

Нам дано.

\begin{matrix} \forall C_{1} & \exists N = N_{1} (C_{1}) \forall n > N : a_{n} > C_{1}; \forall C_{2} & \exists N = N_{2} (C_{2}) \forall n > N : b_{n} > C_{2} . \\ (7.1) (7.2) \end{matrix}

\begin{matrix} \forall C_{1} & \exists N = N_{1} (C_{1}) \forall n > N : a_{n} > C_{1}; \forall C_{2} & \exists N = N_{2} (C_{2}) \forall n > N : b_{n} > C_{2} . \\ (7.1) (7.2) \end{matrix}

Хотим получить.

\forall C \exists N = N (C) \forall n > N : a_{n} + b_{n} > C .

Возьмём

C_{1} = C_{2} = C / 2

. Тогда гарантированно

C_{1} + C_{2} = C

. Пусть

N = max (N_{1} (C / 2), N_{2} (C / 2))

. Тогда для всех

n > N

выполняются неравенства в конце (7.1) и (7.2). Их можно сложить и получить:

a_{n} + b_{n} > C_{1} + C_{2} = C .

Что и требовалось.∎

Конечно, можно было догадаться до ответа, и не записывая всё это рассуждение. Можно было думать так: нам сказано, что $a_{n}$ и $b_{n}$ с течением времени становятся о-о-очень большими, причём не по модулю большими, а на самом деле большими (положительными и большими). Значит, их сумма тоже будет очень большой.

Заметим, что это рассуждение не работает в том случае, когда $a_{n}$ или $b_{n}$ стремятся не к плюс бесконечности, а к бесконечности без знака: если два числа велики по модулю, мы не можем сказать, что их сумма большая по модулю: они могут оказаться разных знаков и «сократить» друг друга.

Замечание 2. По аналогии с доказанным утверждением, легко придумать и доказать несколько новых. Например,

(+ \infty) - (- \infty) = + \infty

или

(- \infty) + (- \infty) = - \infty

. Докажите их!

Замечание 3. Число вариантов выражений с последовательностями, в которых нарушаются условия арифметики пределов, выглядит необъятным: просто рассмотрев три вида бесконечностей и две похожие арифметические операции — сложение и вычитание — легко получить больше десятка разных случаев. А ещё можно комбинировать: например, одна из последовательностей может иметь конечный предел, а другая стремиться к бесконечности. В общем, если у вас возникла идея сделать табличку со всеми возможными случаями, запомнить их и дальше применять без особых размышлений, я сразу скажу, что дело это гиблое. Гораздо лучше и правильнее потренироваться в доказательствах таких утверждений и наработать интуицию, чтобы быстро понимать, чему может равняться то или иное выражение.

7.2.2Деление на ноль и на бесконечность

Рассмотрим ещё пару примеров, связанных с делением.

Утверждение 2. Пусть

a_{n} \to \infty

. Тогда

\frac{1}{a_{n}} \to 0

. Неформально можно записать так:

\frac{1}{\infty} = 0

Доказательство. Ну, как обычно.

Имеем.

\forall C \exists N = N_{1} (C) \forall n > N : | a_{n} | > C .

Хотим доказать.

\forall ε > 0 \exists N = N (ε) \forall n > N : | 1 / a_{n} | < ε .

Теперь можно доказывать. Для всякого

ε > 0

положим

C := 1 / ε

. Возьмём

N := N_{1} (1 / ε)

. Тогда для всех

n > N

| a_{n} | > C = \frac{1}{ε} .

Умножим на

ε

и разделим на

| a_{n} |

(поскольку

| a_{n} | > C > 0

, на него можно делить):

∣ ∣ ∣ \frac{1}{a_{n}} ∣ ∣ ∣ = \frac{1}{| a_{n} |} < ε .

Что и требовалось.∎

Утверждение 3. Пусть

a_{n} \to 0

и для всех

n

a_{n} \neq 0

. Тогда

1 / a_{n} \to \infty

. Неформально можно записать так:

1 / 0 = \infty

. (Ура! Нам разрешили делить на ноль! Хоть и только неформально.)

Доказательство. Нужно повторить предыдущее доказательство «наоборот».

Имеем.

\forall ε > 0 \exists N = N_{1} (ε) \forall n > N : | a_{n} | < ε .

Хотим доказать.

\forall C \exists N = N (C) \forall n > N : ∣ ∣ ∣ \frac{1}{a_{n}} ∣ ∣ ∣ > C .

Докажем. Если

C \leq 0

, то подойдёт любое

N

, потому что

| a_{n} | \geq 0

всегда. Пусть теперь

C > 0

. Положим

ε = 1 / C

(это можно сделать, потому что

C > 0

и тогда обязательно получится

ε > 0

) и возмём

N := N_{1} (1 / C)

. Тогда для всех

n > N

| a_{n} | < ε .

Поделим всё на

| a_{n} | ε

(имеем право, потому что

a_{n} \neq 0

и значит

| a_{n} | ε > 0

). Тогда для всех

n > N

∣ ∣ ∣ \frac{1}{a_{n}} ∣ ∣ ∣ = \frac{1}{| a_{n} |} > \frac{1}{ε} = C .

Что и требовалось.∎

7.3Заключение

Мир последовательностей за пределами «арифметики пределов» выглядит непривычно: например, похожие выражения могут приводить к очень разным результатам (сравните

(\infty) + (\infty)

(+ \infty) + (+ \infty)

). Нам нужно приобрести интуицию, чтобы научиться делать выводы о последовательностях, анализируя формулы для их общего члена, не занимаясь каждый раз утомительным доказательством через определения. В каких-то случаях мы сможем свести всё к конечным пределам и воспользоваться арифметикой пределов. В каких-то нам придётся разбираться с бесконечностями. Иногда нас будет интересовать не предел, а более грубые свойства последовательности — например, ограниченность. Невозможно запастись теоремами на все случаи жизни — именно поэтому мы изучаем, как они доказываются, чтобы при необходимости уметь доказывать похожие утверждения — ровно те, которые нам нужны для конкретного случая. Как обычно, ключ к успеху — самостоятельное решение задач.

← Предыдущая глава Следующая глава →

Математический анализ Записки лекций

7Вокруг бесконечных пределов

7.1Арифметика пределов и бесконечности

7.1.1Ошибочное и верное применение арифметики пределов

7.1.2Неопределенности

7.2«Арифметика бесконечностей»

7.2.1Сумма плюс бесконечностей

7.2.2Деление на ноль и на бесконечность

7.3Заключение

Математический анализ
Записки лекций