Последовательность, у которой существует предел, называется сходящейся.
Последовательность не являющаяся сходящейся называется расходящейся.
Определение: Последовательность {xn} называется сходящейся, если
существует такое число а, что последовательность {xn-а} является
бесконечно малой. При этом число а называется пределом последовательности
{xn}.
В соответствии с этим определением всякая бесконечно малая
последовательность является сходящейся и имеет своим пределом число ноль.
Можно, также, дать еще одно определение сходящейся последовательности:
Последовательность {xn} называется сходящейся, если существует такое число
а, что для любого положительного числа ( можно указать номер N такой, что
при n(N все элементы xn этой последовательности удовлетворяют неравенству:
|xn-a|<(.
При этом число а называется пределом последовательности.
Некоторые свойства сходящихся последовательностей:
ТЕОРЕМА: Сходящаяся последовательность имеет только один предел.
Доказательство: Пусть a и b – пределы сходящейся последовательности
{xn}. Тогда, используя специальное представление для элементов xn
сходящейся последовательности {xn}, получим xn=а+(n, xn=b+(n, где (n и (n –
элементы бесконечно малых последовательностей {(n} и {(n}.
Вычитая данные соотношения, найдем (n-(n=b-a. Так как все элементы
бесконечно малой последовательности {(n-(n} имеют одно и то же постоянное
значение b-a, то (по теореме: Если все элементы бесконечно малой
последовательности {(n} равны одному и тому же числу с, то с=0) b-a=0, т.е.
b=a. Теорема доказана.
ТЕОРЕМА: Сходящаяся последовательность ограничена.
Доказательство: Пусть {xn} — сходящаяся последовательность и а – ее
предел. Представим ее в следующем виде:
xn=а+(n,
где (n- элемент бесконечно малой последовательности. Так как бесконечно
малая последовательность {(n} ограничена (по теореме: Бесконечно малая
последовательность ограничена.), то найдется такое число А, что для всех
номеров n справедливо неравенство |(n|(А. Поэтому | xn | ( |a| + A для всех
номеров n, что и означает ограниченность последовательности {xn}. Теорема
доказана.
Ограниченная последовательность может и не быть сходящейся. Например,
последовательность 1, -1, 1, -1, … — ограничена , но не является
сходящейся. В самом деле, если бы эта последовательность сходилась к
некоторому числу а, то каждая из последовательностей {xn-a} и {xn+1-a}
являлась бы бесконечно малой. Но тогда (по теореме: Разность бесконечно
малых последовательностей есть бесконечно малая последовательность.) {(xn-
a) – (xn+1-a)}={xn– xn+1} была бы бесконечно малой, что невозможно т.к.
|xn– xn+1| = 2 для любого номера n.
ТЕОРЕМА: Сумма сходящихся последовательностей {хn} и {yn} есть
сходящаяся последовательность, предел которой равен сумме пределов
последовательностей {хn} и {yn}.
Доказательство: Пусть а и b – соответственно пределы
последовательностей {хn} и {yn}. Тогда:
xn=а+(n, yn=b+(n,
где {(n} и {(n) – бесконечно малые последовательности. Следовательно, (хn +
yn) — (а + b) =(n+(n.
Таким образом, последовательность {(хn + yn) — (а + b)} бесконечно
малая, и поэтому последователдьность {хn + yn} сходится и имеет своим
пределом число а+b. Теорема доказана.
ТЕОРЕМА: Разность сходящихся последовательностей {хn} и {yn} есть
сходящаяся последовательность, предел которой равен разности пределов
последовательностей {хn} и {yn}.
Доказательство: Пусть а и b – соответственно пределы
последовательностей {хn} и {yn}.Тогда:
xn=а+(n, yn=b+(n,
где {(n} и {(n) – бесконечно малые последовательности. Следовательно, (хn —
yn) — (а — b) =(n-(n.
Таким образом, последовательность {(хn — yn) — (а — b)} бесконечно
малая, и поэтому последователдьность {хn — yn} сходится и имеет своим
пределом число а-b. Теорема доказана.
ТЕОРЕМА: Произведение сходящихся последовательностей {хn} и {yn} есть
сходящаяся последовательность, предел которой равен произведению пределов
последовательностей {хn} и {yn}.
Доказательство: Пусть а и b – соответственно пределы
последовательностей {хn} и {yn}, то xn=а+(n, yn=b+(n и
xn(yn=a(b+a((n+b((n+(n((n. Следовательно,
xn(yn-а(b=a((n+b((n+(n((n.
(в силу теоремы: Произведение ограниченной последовательности на бесконечно
малую есть бесконечно малая последовательность.) последовательность
{a((n+b((n+(n((n} бесконечно малая, и поэтому последовательность {xn(yn-
а(b} тоже бесконечно малая, а значит последовательность {xn(yn} сходится и
имеет своим пределом число а(b. Теорема доказана.
ЛЕММА: Если последовательность {yn} сходится и имеет отличный от ноля
предел b, то, начиная с некоторого номера, определена последовательность
[pic], которая является ограниченной.
Доказательство: Пусть [pic]. Так как b(0, то (>0. Пусть N – номер,
соответствующий этому (, начиная с которого выполняется неравенство:
|yn-b|<( или |yn-b|<[pic]
из этого неравенства следует, что при n(N выполняется неравенство
|yn|>[pic]. Поэтому при n(N имеем [pic]. Следовательно, начиная с этого
номера N, мы можем рассматривать последовательность [pic], и эта
последовательность ограничена. Лемма доказана.
ТЕОРЕМА: Частное двух сходящихся последовательностей {xn} и {yn} при
условии, что предел {yn} отличен от ноля, есть сходящаяся
последовательность, предел которой равен частному пределов
последовательностей {xn} и {yn}.
Доказательство: Из доказанной ранее леммы следует, что, начиная с
некоторого номера N, элементы последовательности {yn} отличны от ноля и
последовательность [pic] ограничена. Начиная с этого номера, мы и будем
рассматривать последовательность [pic]. Пусть а и b – пределы
последовательностей {xn} и {yn}. Докажем, что последовательность [pic]
бесконечно малая. В самом деле, так как xn=а+(n, yn=b+(n, то
[pic][pic].
Так как последовательность [pic] ограничена, а последовательность [pic]
бесконечно мала, то последовательность [pic] бесконечно малая. Теорема
доказана.
Итак, теперь можно сказать, что арифметические операции над сходящимися
последовательностями приводят к таким же арифметическим операциям над их
пределами.
ТЕОРЕМА: Если элементы сходящейся последовательности {xn}, начиная с
некоторого номера, удовлетворяют неравентству xn(b (xn(b), то и предел а
этой последовательности удовлетворяет неравенству а(b (a(b).
Доказательство: Пусть все элементы xn, по крайней мере начиная с
некоторого номера, удовлетворяют неравенству xn(b. Предположим, что а<b.
Поскольку а – предел последовательности {xn}, то для положительного (=b-a
можно указать номер N такой, что при n(N выполняется неравенство
|xn-a|<b-a.
Это неравенство эквивалентно
-(b-a)<xn-a<b-a
Используя правое из этих неравенств мы получим xn<b, а это противоречит
условию теоремы. Случай xn(b рассматривается аналогично. Теорема доказана.
Элементы сходящейся последовательности {xn} могут удовлетворять
строгому неравенству xn>b, однако при этом предел а может оказаться равным
b. Например, если xn=1/n, то xn>0, однако [pic].
Следствие 1: Если элементы xn и уn у сходящихся последовательностей
{xn} и {yn}, начиная с некоторого номера, удовлетворяют неравенству xn (
уn, то их пределы удовлетворяют аналогичному неравенству
[pic].
Элементы последовательности {yn-xn} неотрицательны, а поэтому
неотрицателен и ее предел [pic]. Отсюда следует, что
[pic].
Следствие 2: Если все элементы сходящейся последовательности {xn}
находятся на сегменте [a,b], то и ее предел с также находится на этом
сегменте.
Это выполняется, так как а(xn(b, то a(c(b.
ТЕОРЕМА: Пусть {xn} и {zn}- сходящиеся последовательности, имеющие
общий предел а. Пусть, кроме того, начиная с некоторого номера, элементы
последовательности {yn}удовлетворяют неравенствам xn(yn(zn. Тогда
последовательность {yn} сходится и имеет предел а.
Доказательство: достаточно доказать, что {yn-a} является бесконечно
малой. Обозначим через N’ номер, начиная с которого, выполняются
неравенства, указанные в условии теоремы. Тогда, начиная с этого же номера,
будут выполнятся также неравенства xn-а ( yn-а ( zn-а. Отсюда следует, что
при n(N’ элементы последовательности {yn-a} удовлетворяют неравенству
|yn-a| ( max {|xn-a|, |zn-a|}.
Так как [pic] и [pic], то для любого (>0 можно указать номера N1 и N2
такие, что при n(N1 |xn-a|<(, а при n(N2 |zn-a|<(. Итак
последовательность {yn-a} бесконечно малая. Теорема доказана.
Итак, мы показали неравенства, которым удовлетворяют элементы
сходящихся последовательностей, в пределе переходят в соответствующие
неравенства для пределов этих последовательностей.
ПРИМЕРЫ
1. Последовательность [pic] сходится и имеет своим пределом ноль. Ведь
каково бы ни было (>0, по свойству Архимеда вещественных чисел
существует такое натуральное число n(, что n(>[pic]. Поэтому [pic]
для всех n(n(, а это означает, что [pic].
2. Последовательность [pic] сходится и [pic], что следует из того, что
[pic], и того, что [pic].
ЗАДАЧИ
ЗАДАЧА № 1
Пусть числовая последовательность а1, а2, а3, … удовлетворяет условию
[pic] (m, n = 1, 2, 3, … ),
тогда последовательность
[pic],…
должна либо расходиться к [pic], причем предел этой последовательности
будет равен ее нижней грани.
РЕШЕНИЕ:
Видим частный случай теоремы у M. Fekete. Достаточно рассмотреть случай,
когда нижняя грань ( конечна. Пусть (>0 и [pic](+(. Всякое целое число n
может быть представлено в форме n=qm+r, где r=0 или 1, или 2, …, или m-1.
Полагая единообразие а0=0, имеем:
an=aqm+r(am+am+…+am+ar=qam+ar,
[pic],
[pic]
ЗАДАЧА № 2
Пусть числовая последовательность а1, а2, а3, … удовлетворяет условию
[pic]
тогда существует конечный предел
[pic],
причем
[pic] (n = 1, 2, 3, … ).
РЕШЕНИЕ:
Из неравенств 2am-1<a2m<2am+1 получаем:
[pic] (*)
Ряд
[pic]
сходится, ибо в силу неравенства (*) он мажорируется сходящимся рядом:
|a1|+2-1+2-2+2-3+…
запишем целое число n по двоичной системе:
n=2m+(12m-1+(22m-2+…+(m ((1, (2, …, (m = 0 или 1)
согласно предположению
[pic]
[pic].
Применяя теорему (1) для данных:
s0=0, s1=[pic], sm-1=[pic], sm=[pic], …, pn0=0,
pn1=[pic], …, pn, m-1=[pic],
[pic], pn, m+1=0, …,
заключаем, что [pic]. Наконец, в силу (*) имеем:
[pic].
ЗАДАЧА № 3
Если общий член ряда, не являющегося ни сходящимся, ни расходящимся в
собственном смысле, стремится к нулю, то частичные суммы этого ряда
расположены всюду плотно между их нижним и верхним пределами lim inf и
lim sup.
РЕШЕНИЕ:
Нам достаточно рассмотреть случай, когда частичные суммы s1, s2, …, sn,
… ограничены. Пусть [pic], [pic], l — целое положительное число, l>2 и
[pic].
Разобьем числовую прямую на l интервалов точками
-(, m+(, m+2(, …, M-2(, M-(, +(.
Выберем такое N, чтобы для n>N выполнялось неравенство |sn-sn+1|<(.
Пусть, далее, sn1 (n1>N) лежит в первом интервале и sn2 (n2> n1) – в
последнем. Тогда числа конечной последовательности [pic] не смогут
“перепрыгнуть” ни один из l-2 промежуточных интервалов длиной (.
Аналогично рассуждаем и в том случае, когда последовательность будет не
«медленно восходящей», а «медленно нисхожящей».
ЗАДАЧА № 4
Пусть для последовательности t1, t2, … , tn, … существует такая
последовательность стремящихся к нулю положительных чисел [pic]…, что
для каждого n
[pic].
Тогда числа t1, t2, … , tn, …лежат всюду плотно между их нижним и
верхним пределами.
РЕШЕНИЕ:
Существуют в сколь угодно большом удалении конечные последовательности
[pic], произвольно медленно нисходящие от верхнего предела
последовательности к ее нижнему пределу.
ЗАДАЧА № 5
Пусть v1, v2, … , vn, … — положительные числа, v1 ( v2 ( v3 …
Совокупность предельных точек последовательности
[pic], …
заполняет замкнутый интервал (длина которого равна нулю, если эта
последовательность стремится к пределу).
РЕШЕНИЕ:
[pic]
ЗАДАЧА № 6
Числовая последовательность, стремящаяся к [pic], имеет наименьший член.
РЕШЕНИЕ:
Какое бы число мы ни задали, слева от него будет находиться лишь
конечное число членов последовательности, а среди конечного множества
чисел существует одно или несколько наименьших.
ЗАДАЧА № 7
Сходящаяся последовательность имеет либо наибольший член, либо
наименьший, либо и тот и другой.
РЕШЕНИЕ:
При совпадении верхней и нижней граней рассматриваемой
последовательности теорема тривиальна. Пусть поэтому они различны. Тогда
по крайней мере одна из них отличается от предела последовательности.
Она и будет равна наибольшему, соответственно наименьшему, члену
последовательности.
ЗАДАЧА № 8
Пусть l1, l2, l3, … , lm, … — последовательность положительных чисел и
[pic], тогда существует бесконечно много номеров n, для которых ln
меньше всех предшествующих ему членов последовательности l1, l2, l3, … ,
ln-1.
РЕШЕНИЕ:
Пусть задано целое положительное число m и ( – наименьшее из чисел l1,
l2, l3, … , lm; (>0. Согласно предположению в рассматриваемой
последовательности существуют члены, меньше чем (. Пусть n – наименьший
номер, для которого ln<(. Тогда:
n>m; ln<l1, ln<l2, …, ln<ln-1.
ЗАДАЧА № 9
Пусть l1, l2, l3, … , lm, … — последовательность положительных чисел и
[pic], тогда существует бесконечно много номеров n, для которых ln
превосходит все следующие за ним члены ln+1, ln+2, ln+3,…
ЗАДАЧА № 10
Пусть числовые последовательности
l1, l2, l3, … , lm, … (lm>0),
s1, s 2, s 3, … , s m, … (s1>0, sm+1>sm, m=1, 2, 3, …)
обладают тем свойством, что
[pic], [pic].
Тогда существует бесконечно много номеров n, для которых одновременно
выполняются неравенства
ln>ln+1, ln>ln+2, ln>ln+3, …
lnsn>ln-1sn-1, lnsn>ln-2sn-2, … lnsn>l1s1,
РЕШЕНИЕ:
Будем называть lm «выступающим» членом последовательности, если lm
больше всех последующих членов. Согласно предположению в первой
последовательности содержится бесконечно много выступающих членов; пусть
это будут:
[pic],… [pic]
Каждый невыступающий член lv заключается (для v>n1) между двумя
последовательными выступающими членами, скажем nr-1<v<nr. Имеем
последовательно:
[pic],
значит
[pic] (*)
отсюда заключаем, что
[pic]
Действительно, в противном случае [pic], значит, в силу (*) и вся
последовательность
l1s1, l2s2, … были бы ограничены, что противоречит предположению. Теперь
пусть задано целое положительное число m и ( – наименьшее из чисел
[pic],… ; (>0. Согласно предположению в рассматриваемой
последовательности существуют члены, меньше чем (. Пусть k – наименьший
номер, для которого [pic]<(. Тогда:
k>m; [pic].
ЗАДАЧА № 11
Если числовая последовательность [pic],… стремится к [pic] и А превышает
ее наименьший член, то существует такой номер n (возможно несколько
таких), n(1, что n отношений
[pic]
все не больше А, а бесконечное множество отношений
[pic],…
все не меньше А.
РЕШЕНИЕ:
Имеем [pic]. Пусть минимум последовательности
L0-0, L1-A, L2-2A, L3-3A, …
Будет Ln-nA; тогда
Ln-u-(n-u)A( Ln-nA; Ln+v-(n+v)A( Ln-nA,
u=1, 2, …, n; v=1, 2, 3, …; n=0 исключено в силу предложений
относительно А.
ЗАДАЧА № 12
Пусть относительно числовой последовательности l1, l2, l3, … , lm, …
предполагается лишь, что
[pic].
Пусть, далее, А>l1. Тогда существует такой номер n, n ( 1, что
одновременно выполняются все неравенства
[pic]
[pic].
Если А((, то также n((.
РЕШЕНИЕ:
Пусть
l1+l2+l3+…+lm=Lm, m=1, 2, 3, …; L0=0.
Так как L1-A<0, то L0-0 не является минимумом в предыдущем решении.
ln+1(A; поэтому ln+1, а следовательно и n должны стремиться к
бесконечности одновременно с А.
ЗАДАЧА № 13
Пусть числовая последовательность l1, l2, l3, … , lm, … удовлетворяет
условиям
[pic], [pic]
Пусть, далее, l1>A>0. Тогда существует такой номер n, n ( 1, что
одновременно выполняются все неравенства
[pic]
[pic].
Если А(0, то также n(0.
РЕШЕНИЕ:
Положим
l1+l2+l3+…+lm=Lm, m=1, 2, 3, …; L0=0.
Тогда [pic]. Последовательность
L0-0, L1-A, L2-2A, L3-3A, …, Lm-mA, …
стремится к -(. Пусть ее наибольший член будет Ln-nA. Тогда интересующие
нас неравенства будут выполняться для этого номера n.
В последовательности L0, L1, …, Lm, … содержится бесконечно много
членов, превышающих все предыдущие. Пусть Ls будет один из них. Тогда
числа:
[pic]
все положительны: коль скоро А меньше наименьшего из них,
соответствующий А номер n больше или равен s. Точки (n, Ln) должны быть
обтянуты теперь бесконечным выпуклым сверху полигоном.