Математический анализ
.pdfТак как {αn} и {βn} являются б.м.п. (см. (1.13)), то, согласно теореме 1.1., последо- |
|
вательность {βn-αn} также является б.м.п. То есть lim |
(βn − αn ) = lim(a − b) = 0 . Но с дру- |
n→∞ |
n→∞ |
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ |
гой стороны a-b является постоянным числом и lim(a − b)=a-b. Таким образом получаем,
n→∞
что а-b=0 и a=b, что и требовалось доказать.
Теорема 1.9. Сходящаяся последовательность является ограниченной.
Заметим, что теорема 1.9 легко доказывается, если пользоваться теоремами о необходимом условии сходимости числовой последовательности и об ограниченности б.м.п.
Отметим, что обратное утверждение не имеет места. Ограниченная последовательность необязательно является сходящейся. Хорошим примером этому может служить последовательность xn=1+(1-)n, которая ограничена, но не сходится.
Теорема 1.10. Если числовые последовательности {xn} и {yn} сходятся к а и b, то их сумма (разность), произведение и частное (при условии b≠0) сходятся соответственно к
a+b, a-b,ab, a . |
|
|
|
b |
|
|
|
Приведем доказательство для суммы(разности). |
|
||
Дано: lim xn =а и |
lim yn =b. |
(1.14) |
|
n→∞ |
|
n→∞ |
|
Доказать: lim |
(xn |
± yn ) = a ± b . |
|
n→∞ |
|
|
|
Из (1.14), опираясь на необходимом условии сходимости последовательности, имеем:
lim xn =a (xn = a+αn) (αn – б.м.п.),
n→∞
lim yn =b (yn = b+βn) (βn – б.м.п.).
n→∞
Отсюда
xn±yn = a ± b + (αn ± βn), где {αn ± βn} является б.м.п. Тогда, согласно достаточному усло-
вию сходимости последовательности (теорема 1.6), получим, что lim(xn ± yn ) = a ± b .
n→∞
Аналогично можно доказать и остальные части теоремы.
22
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
1.8. Монотонные числовые последовательности
Определение 1.11. Числовая последовательность {xn} называется монотонной (неубывающей или невозрастающей), если для любого n N справедливо xn+1≤xn или xn+1≥xn..
Определение 1.12. Числовая последовательность {xn} называется строго монотонной (убывающей или возрастающей), если для любого n N справедливо xn+1<xn или
xn+1>xn..
Теорема 1.11. (необходимое и достаточное условие сходимости монотонной числовой последовательности).
Неубывающая (невозрастающая) числовая последовательность {xn} сходится тогда и только тогда, когда последовательность {xn} ограничена сверху (снизу).
Необходимость:
Дано: {xn} – неубывающая (невозрастающая).
lim xn =а. (1.15)
n→∞
Доказать: {xn} – ограничена сверху (снизу).
Доказательство необходимого условия следует из теоремы 1.9 о том, что сходящаяся последовательность является ограниченной.
Достаточность (для случая неубывающей последовательности). |
|
Дано: {xn} – неубывающая, |
(1.16) |
{xn} – ограничена сверху. |
(1.17) |
Доказать: lim xn = a . |
|
n→∞ |
|
Рассматриваемая последовательность является ограниченной сверху. |
Значит она |
имеет точную верхнюю грань. Пусть sup{xn}=а. Докажем, что число а и есть предел этой последовательности.
По определению точной верхней грани имеем:
(a = sup{x n |
def ( ε > |
0) |
|
: |
(a - |
ε |
|
≤ |
a). |
})≡ |
( |
x n ) |
|
|
< x n |
|
|||
|
R |
{x n } |
|
|
|
|
|
|
Пусть n0 – номер этого элемента xn*. Из условия (1.16) следует, что при n>n0 x ≥ xn*, а из условия (1.17) следует, что xn ≤ a. То есть имеем, что при n>n0 a-ε< xn* ≤ xn ≤ a или |xn-a|<ε. Другими словами, все члены последовательности с номерами, большими n0 могут быть только “ближе” к точке а, оставаясь “слева” от нее или совпадать с ней.
Итак получаем, что
( ε > 0) |
|
|
( n): |
|
|
|
|
|
def |
|
|
|
( n |
0 |
) |
|
(n ≥ n |
0 |
|
xn − a |
|
< ε)≡ lim xn |
= a |
. |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
||
R N N |
|
|
|
|
|
n→∞ |
|
|||||
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x* |
0 −ε |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
Аналогично доказывается теорема для случая невозрастающей последовательно-
сти.
23
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
1.9. Число е
Рассмотрим применение теоремы 1.11 для обоснования результата, который имеет
|
|
1 |
n |
в математике фундаментальное значение. Докажем, что последовательность xn= 1 |
+ |
|
|
|
|||
|
|
n |
имеет предел при n→∞ (этот предел называется числом е≈2,7). Доказательство этого утверждения сводится к доказательству двух фактов:
а) последовательность |
|
|
|
|
|
|
1 |
n |
является возрастающей. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
б) последовательность |
|
|
|
|
|
|
1 |
|
n |
ограниченна сверху. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Для доказательства утверждения а) |
|
разложим |
|
|
|
|
+ |
1 |
n |
|
по известной формуле би- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
n |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
нома Ньютона. Имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
n |
n −1 |
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
xn = 1 |
+ |
|
|
|
|
|
=1 |
+ n |
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
n |
|
|
|
|
n |
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1.18) |
|||||||||||||||||
|
n |
( |
)( |
|
|
|
|
) 1 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
n − |
|
)( |
n |
|
|
) |
|
|
1 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
+ |
|
n −1 n − 2 |
|
|
|
|
|
|
|
+...+ |
|
n |
1 |
|
− 2 |
...1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
3! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n ! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
или |
|
|
|
n(n −1) |
|
|
1 |
|
|
|
|
n(n −1)(n − 2) |
|
|
|
1 |
|
|
|
|
|
|
|
n(n −1)...[n − (n −1)] |
|
|
1 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
x n |
|
= 2 + |
|
|
|
|
|
+ |
|
|
+ |
... + |
|
|
= |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
3! |
|
|
|
|
|
|
|
|
|
|
n! |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
n n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n n n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n n n ... n |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
n −1 |
|
1 |
|
|
||||||||||||||||||||||||||||||||||
= 2 +1 1− |
|
|
|
|
|
|
|
|
+ |
1 1 |
− |
|
|
|
|
|
1− |
|
|
|
|
|
|
|
+... +1 1− |
|
1− |
|
|
... 1 |
− |
|
|
|
|
|
|
|
|
|
. |
||||||||||||||||||||||||||||||||||||||||||||||
|
n |
|
2! |
|
|
|
|
|
n |
3! |
n |
|
|
|
n |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n! |
|
||||||||||||||||||||||||||||||||||||||
Заметим, что последняя сумма содержит n положительных слагаемых. Запишем |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
следующий n+1 член рассматриваемой последовательности: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
− |
|
2 |
|
|
1 |
|
+... |
|||||||||||||||||||||||||||||
x n+1 |
= 2 +1 1 − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
1 1 |
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
... +1 1 − |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
n +1 |
2! |
|
n +1 |
3! |
|
n +1 |
n + |
|
3! |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
(1.19) |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
... +1 1 |
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− |
|
|
|
|
|
|
|
|
... 1 − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n +1 |
|
n |
|
+1 |
|
n |
|
|
|
|
|
(n +1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сумма (1.19) содержит n+1 положительный член. Каждый член в сумме (1.19), на-
чиная со второго, больше соответствующего члена в сумме (1.18), так как 1- nk <1- n k+1
для любого k [1;n]. Отсюда следует, что xn+1>xn. Итак утверждение а) о том, что последо-
|
|
1 |
n |
|
вательность xn= 1 |
+ |
|
|
возрастающая, доказано. |
|
||||
|
|
n |
|
24
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Для доказательства утверждения б) воспользуемся очевидным неравенством:
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
− |
2 |
|
− |
3 |
|
|
||||||||||||
x n |
= 2 +1 |
1 |
− |
|
|
|
|
|
|
+ |
1 1 − |
|
|
|
1 |
− |
|
|
|
|
|
|
+... +1 1 |
− |
|
|
1 |
|
|
1 |
|
... |
|
|||||||||||||||||||||||||||||||||||
|
n |
2! |
|
n |
n |
3! |
|
n |
|
n |
n |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1.20) |
||||||||||||||||||||
|
|
|
n −1 |
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
||||||||||||||
|
|
|
< |
|
|
+ |
|
|
|
+ |
|
+... |
|
+ |
|
< 2 |
+ |
|
+ |
|
+ |
|
+... + |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
... 1 − |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||||||||||||||||||||||||||
|
n |
|
|
|
|
|
2! |
3! |
|
n! |
|
2 |
22 |
|
2 |
3 |
|
2n−1 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
В (1.20) сумму членов, начиная со второго, вычислим по формуле убывающей гео- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
метрической прогрессии. Имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
1 + |
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
− |
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
+... + |
|
|
|
= |
|
|
2 |
|
|
|
|
|
|
=1 − |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
2n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
2 |
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 − |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Итак, имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x < 2 +1 − |
|
1 |
|
|
|
= |
3 |
− |
|
|
|
|
1 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
2n −1 |
|
|
|
2n −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Следовательно |
последовательность |
|
xn= 1 |
+ |
|
|
|
|
|
ограничена |
сверху (одна из ее |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
n |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
верхних граний есть число 3).
Таким образом, утверждения а) и б) доказаны и на основании теоремы 1.11 число-
|
|
|
|
|
|
1 n |
||
вая последовательность xn= 1 |
+ |
|
|
имеет предел, т.е. |
||||
|
||||||||
|
|
|
|
|
|
n |
|
|
|
+ |
1 |
n |
|
|
|
|
|
lim 1 |
|
|
= e. |
|
|
|
|
|
n |
|
|
|
|
||||
n→∞ |
|
|
|
|
|
|
|
1.10. Предельный переход в неравенствах
Теорема 1.12. Если, начиная с некоторого номера n*, все члены последовательности {xn} удовлетворяют неравенству xn ≥ 0 (xn ≤ 0), и последовательность {xn} сходится к а, то а ≥ 0 (а≤ 0).
Теорема 1.13. Если начиная с некоторого номера n*, члены последовательностей
{xn} и {yn} связаны неравенством xn ≤ yn, и lim xn =a, |
lim yn =b, то a≤b. |
n→∞ |
n→∞ |
Теорема 1.14. Если, начиная с некоторого номера, члены последовательностей
{xn}, {yn}, {zn} удовлетворяют неравенствам xn≤yn≤zn, и lim xn = lim zn =a, то тогда
n→∞ n→∞
lim yn =а.
n→∞
Приведем доказательство этой теоремы. |
|
|
Дано: n ≥ n* xn ≤ yn ≤ zn, |
(1.21) |
|
lim xn |
= lim zn =a. |
(1.22) |
n→∞ |
n→∞ |
|
25
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Доказать: lim yn =а.
n→∞
Из условия (1.22) следует, что
( ε > 0)( n' (ε)): ( n)(n ≥ n' (ε) xn − a < ε)
R N N
и
( ε > 0)( n'' (ε)): ( n)(n ≥ n'' (ε) zn − a < ε).
R N N
Но в силу условия (1.21) начиная с номера N0=max{n′, n′′, n*}, т.е. при n ≥ N будет
иметь место и неравенство |yn – a|<ε. А это и означает, что lim yn =а.
n→∞
Доказательства теорем 1.13 и 1.14 оставляем читателю.
1.11. Подпоследовательности числовых последовательностей
Пусть имеем числовую последовательность {xn}=x1, х2, х3,...,хn,... Рассмотрим последовательность возрастающих натуральных чисел n1, n2,...,nk,... и соответствующие им
члены последовательности {xn} xn1 , xn2 , ..., xn k ,... = x1, x2,...,xk,...={xk}. (1.23)
Определение 1.13. Полученная описанным выше образом числовая последовательность (1.23) называется подпоследовательностью последовательности {xn}.
Ниже сформулируем основные свойства подпоследовательностей числовой после-
довательности. |
|
|
|
|
n k } |
|
|
1. |
Если |
lim x |
n |
=а и |
x |
является подпоследовательностью последовательности |
|
|
|
n→∞ |
|
{ |
|
||
{xn}, то |
lim xn k |
=а. |
|
|
|
|
|
n k →∞ |
|
|
|
|
|
|
|
2. |
Если последовательность {xn} ББП, то любая ее подпоследовательность {xn k } |
также ББП.
3.Если последовательность {xn} сходится к а, то из нее можно выделить подпоследовательность {xn k } монотонно сходящуюся к а.
4.Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.
Свойство 4 известно как теорема Больцано-Вейерштрасса.
1.12. Функция одной переменной
Определение 1.14. Пусть даны два подмножества {x} и {y} множества вещественных чисел R. Если каждому x {x} по определенному правилу, или закону ставится в соответствие один элемент y {y}, то у называется функцией аргумента х. Множество {x} называется областью определения D(y), а множество {y} – областью значений Е(у) функции у.
Известна символическая запись этого факта: у=f(x) или y=y(x).
Аргумент х называют независимой, а у – зависимой переменной, а соответствие между ними функциональной зависимостью.
Частым значением функции y=f(x) при х=а, называется значение у, соответствующее данному значению х. Оно обозначается как у(а), или f(a), или y|x=a.
26
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Закон или правило, по которому значению аргумента x ставится в соответствие значение функции у, может быть описано аналитически (математической формулой у=f(x)), графически или таблицей.
Приведем некоторые примеры аналитического задания функции.
Пример 1. Показательная и логарифмическая функции с основанием е аналитически задаются следующим образом:
y=ex, x R; y=lnx, x>0. (1.24)
Пример 2. Функция Дирехле задается следующим образом:
1приx Q,
D(x) = (рациональное число) (1.25)
0 приx Q.
Пример 3. Знаковая функция (signum) от х имеет вид:
1 |
при x >0, |
|
|
при х= 0, |
(1.26) |
sgnx = 0 |
||
|
|
|
-1 при x <0. |
|
Зависимость функции у от аргумента х можно задать в форме таблицы, в которой рядом со значением аргумента х0 записывается соответствующее значение функции у(х0). Неудобство этой формы заключается в том, что таблица может содержать только определенные значения аргумента и функции.
Наглядным представлением функциональной зависимости являются график функции в той или иной системе координат.
Определение 1.15. Графиком функции у=f(x) в выбранной системе координат называется множество точек с координатами (x,f(x)). Читатель хорошо знаком с графиком различных, изучаемых в школе, функций. Ниже приведем еще график упомянутой выше функции 1.26 (y=sgn x).
Рис. 1.8.
В некоторых случаях мы имеем дело с так называемой суперпозицией двух или нескольких функций или со сложной функцией.
Пусть y=y(x) с областью определения {x}, а переменная х, в свою очередь, есть функция аргумента t, т.е. х=х(t) с областью определения {t}. В этом случае говорят о сложной функции y=y(x(t)). Областью определения этой функции являются те элементы множества {t} при которых x(t) {x}.
27
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Итак функциональная зависимость связывает две переменные, одна из которых является аргументом, а другая – функцией.
Пусть у=у(х) с областью определения {x} и областью значений {y}. Если каждому значению y {y} соответствует только одно значение x {x}, то можно говорить об обратной функции х=х(у) с областью определения {y} и областью значений {x}.
1.13. Предел функции
Трудно переоценить значение понятия предела функции в математическом анализе. Читатель не раз убедится, что это понятие используется во многих определениях, теоремах, доказательствах и является одним из основных.
Наиболее часто упоминаются два подхода к определению этого понятия, которое связывают с именами двух математиков Гейне и Коши.
Определение 1.16 (определение предела функции по Гейне).
Число b называется пределом функции y=f(x) (область определения {x}) в точке a {x} (при х, стремящемся к а), если для любой последовательности {xn} (xn {x}), сходящейся к а, соответствующая последовательность {f(xn)} сходится к b. В символической
форме это определение можно записать в виде: |
|
n |
{ n } |
) |
|
||||||
(x→a |
) |
def |
( |
n )( n |
n ) n |
( |
|
|
|||
lim f(x) = b |
|
≡ {x |
} x |
{x } (x |
≠ a): |
{x |
|
}→ a f(x ) |
→ b . |
(1.27) |
Приведенное определение в некоторых случаях позволяет доказать отсутствие предела функции.
Пример 1. Докажем, что функция y = sin 1x при х→0 не имеет предела.
Рассмотрим две последовательности x(n1) = |
|
1 |
и x(n2) = |
1 |
|
, элементы кото- |
||
π |
+2πn |
2πn |
||||||
|
|
|
|
|||||
|
2 |
|
|
|
1 |
|
||
рых принадлежат области определения рассматриваемой функции |
sin |
. Хотя обе эти |
||||||
x |
||||||||
|
|
|
|
|
|
|
последовательности стремятся к нулю при n→∞, т.е. б.м.п., соответствующие последова-
|
|
|
|
|
π |
|
|
|
|
|
|
|
1 |
|
|
||||||
тельности |
sin |
|
|
= sin |
2 |
+2πn |
|
и |
sin |
|
|
||||||||||
|
|
(1) |
|
|
|
|
|
|
||
|
|
xn |
|
|
|
|
|
|
лам. А именно: |
|
|
|
|
|
π |
|
=1 и |
lim sin 2πn = 0 . |
lim sin |
+2πn |
|||
n→∞ |
2 |
|
|
n→∞ |
Таким образом, получим, что
1( ) = {sin 2πn} стремятся к разным преде- x 2
n
|
|
{xn(1)}→0, |
|
sin |
|
|
|
|
|
|
|
{xn(2)}→0, |
|
sin |
|
|
|
|
|
1
x(n1)
1
x(n2)
→1,
→ 0 .
28
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Отсюда на основании определения 1.16 следует, что рассматриваемая функция sin 1x не имеет предела при x→0.
Определение 1.17 (определение предела функции по Коши).
Число b называется пределом функции y=f(x) при х→а, если для любого положительного вещественного числа ε (сколь угодно малого) существует такое положительное вещественное число δ, зависящего от ε, что из неравенства 0<|x-a|<δ следует неравенство |f(x)- b|<ε.
В символической форме определение 1.17 записывается в виде:
(lim f (x)= b)def≡ ( ε > |
0)( δ(ε ) > 0)( x): (0 < |
|
x − a |
|
< δ(ε ) |
|
f (x)−b |
|
< ε) |
. |
(1.28) |
|
|
|
|
|
|||||||||
x→a |
R |
R {x} |
||||||||||
|
|
|
Условие 0<|x-a|<δ(ε) означает, что точка х принадлежит δ(ε) окрестности точки а и х≠а, а условие |f(x)-b|<ε означает, что значение функции принадлежит ε окрестности точки b (или значение “отличается от b” менее, чем на b). Поэтому определение 1.17 можно сформулировать и так:
Число b называется пределом f(x) при х→а, если, каково бы ни было вещественное число ε>0, существует вещественное число δ>0, зависящее от ε, такое, что для всех х из δ(ε) окрестности точки а, соответствующие значения функции принадлежат ε окрестности точки b.
Воспользуемся определением 1.17 для доказательства следующего утверждения
lim cos x = cos x0
x→x0
Очевидно, что
|cos x – cos x0|<ε 2sin x +2x0 sin x0 2− x < ε.
Для решения последнего неравенства воспользуемся очевидным неравенствами |sin α|≤1 и |sin α|<|α| и свойством транзитивности неравенств. Имеем
|cos x – cos x0|<2 1 x0 2− x < ε .
То есть, если удовлетворяется неравенство |x0 – x|<ε, то удовлетворяется и неравенство |cos x – cos x0|<ε. Итак, мы убедились в существовании такого числа δ(ε) (в данном случае δ(ε)=ε), что из |x0-x|<δ(ε)=ε |cos x- cos x0|<ε. А это, на основании определения 1.17 означает, что = cosx0 .
В математике, в том случае, когда одному понятию дается два определения, обязательно доказывается их эквивалентность. В данном случае справедлива следующая теорема (приводится без доказательства).
29
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Теорема 1.15. Определения предела функции 1.16 (по Гейне) и 1.17 (по Коши) эквивалентны.
Заметим далее, что существуют понятия пределов функции y=f(x) при х стремятся к а справа (правосторонний предел) и при х стремящемся к а слева (левосторонний предел). Эти односторонние пределы обозначаются так:
lim f(x) или f(a+0) – правосторонний предел,
x→a +0
lim f(x) или f(a-0) – левосторонний предел.
x→a −0
Теорема 1.16. Предел функции y=f(x) при х→а равен b тогда и только тогда, если
существует пределы этой функции справа и слева при х→а и равны b. |
|
||||||||||
В символической форме теорема 1.16 записывается так: |
|
||||||||||
(limx→a f(x) = b) (xlim→a +0 f(x) = b) (xlim→a −0 f(x) = b). |
(1.29) |
||||||||||
Ниже приведем определение предела функции y=f(x) при х→∞ в символической |
|||||||||||
форме. |
|
|
|
|
|
|
|
|
|
|
|
Определение 1.19. |
|
|
|
|
|
|
|
|
|
|
|
(lim f (x)= b)def≡ ( ε > 0)( B(ε)> 0): ( |
|
x |
|
> B(ε) |
|
f (x)− b |
|
< ε). |
(1.30) |
||
|
|
|
|
||||||||
x→∞ |
R |
R |
|||||||||
|
|
В частных случаях, когда х→+∞ и х→-∞, имеем:
Определение 1.20. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(lim f (x)= b)def≡ ( ε > 0)( B(ε)> 0): ( |
|
|
|
x |
|
|
|
> B(ε) |
|
f (x)− b |
|
< ε). |
(1.31) |
||||||
|
|
|
|
|
|
||||||||||||||
x→+∞ |
R |
R |
|||||||||||||||||
|
|
||||||||||||||||||
Определение 1.21. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(lim f (x)= b)def≡ ( ε > 0)( B(ε)> 0): ( |
|
x |
|
< −B(ε) |
|
f (x)− b |
|
< ε). |
(1.32) |
||||||||||
|
|
|
|
||||||||||||||||
x→−∞ |
R |
R |
|||||||||||||||||
|
|
1.14. Бесконечно большие и бесконечно малые функции
Определение 1.22. Функция y=f(x) называется бесконечно большой функцией (ББФ) при х→а, если для любого вещественного числа В>0 (сколь бы большим оно ни было) существует вещественное число δ>0, зависящее от В такое, что если 0<|x-a|<δ, то выполняется |f(x)|>B.
Это определение (по Коши) в символической форме имеет вид:
(lim f (x)= ∞)def≡ |
( B > 0)( δ(B)> 0): (0 < |
|
x - a |
|
< δ |
|
f (x) |
|
> B). |
(1.33) |
|
|
|
|
|
||||||||
x→a |
R |
R |
|||||||||
|
|
Определение этого же понятия на языке последовательностей (по Гейне) имеет
вид:
(lim f (x)= ∞)def≡ |
( {x n }→ a): ({f (x n )}− з.з.п.). |
(1.34) |
x→a |
x {x} |
|
|
|
30
1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
Теорема 1.17. Если функции f(x) и ϕ(x) являются ББФ при х→а и имеют один знак в некоторой окрестности точки а, то их сумма f(x)+ϕ(x) также является ББФ.
Определение 1.23. Функция α(х) называется бесконечно малой функцией (б.м.ф.) |
||||||||||||||||||
при х→а (при х→∞), если lim α(x) = 0 ( limα(x) = 0 ). |
|
|||||||||||||||||
x→a |
x→∞ |
|
||||||||||||||||
Эти определения в символической форме имеют вид: |
|
|||||||||||||||||
(α(x)- бм.ф. прих → а)def≡ ( ε > 0)( δ(ε)> 0): (0 < |
|
x − a |
|
< δ(ε) |
|
α(x) |
|
< ε), |
|
|||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||||
R |
R |
|
||||||||||||||||
(α(x)- бм.ф. прих → ∞)def≡ ( ε > 0)( β(ε)> 0): ( |
|
x |
|
> β(ε) |
|
α(x) |
|
< ε). |
(1.35) |
|||||||||
|
|
|
|
|||||||||||||||
|
|
|
|
|||||||||||||||
R |
R |
|
Бесконечно большие и бесконечно малые функции обладают свойствами, аналогичными свойствам бесконечно больших и бесконечно малых числовых последовательностей. Относительно этих свойств справедливы следующие теоремы.
Теорема 1.19. Если α(х) является б.м.ф. при х→а (х→∞) и α(х)≠0 в окрестности точки а, то функция α1(x) является Б.Б.Ф. при х→а (х→∞).
Теорема 1.20. Если f(x) является Б.Б.Ф. при х→а (х→∞), то функция α1(x) является б.м.ф. при х→а (х→∞).
Теорема 1.21. Если α(х) и β(х) являются б.м.ф. при х→а (х→∞), то функции α(х) ± β(х) также являются б.м.ф.
Отметим здесь, что использование класса бесконечно малых функций позволяет сформулировать необходимое и достаточное условие существования предела функции.
Теорема 1.22. Функция f(x) имеет предел b при х→а (х→∞) тогда и только тогда, когда f(x)=b+α(x), где α(х) является б.м.ф. при х→а (х→∞).
Теорема 1.22. В символической форме записывается так:
|
|
|
|
|
|
|
α(x)- δ.м.ф. |
limx→a |
f (x)= b |
(f (x)= b + α(x)) |
|
|
|
|
x→a |
x→∞ |
|
x→∞ |
⎟.
31