Главная страница

МА лекция 2. Лекция Числовая последовательность и ее предел, геометрическая интерпретация предела. Сходящиеся последовательности. Предел постоянной, единственность предела


Скачать 281.27 Kb.
НазваниеЛекция Числовая последовательность и ее предел, геометрическая интерпретация предела. Сходящиеся последовательности. Предел постоянной, единственность предела
Дата10.10.2022
Размер281.27 Kb.
Формат файлаpdf
Имя файлаМА лекция 2.pdf
ТипЛекция
#724696

1
Лекция 2.
Числовая последовательность и ее предел,
геометрическая интерпретация предела.
Сходящиеся последовательности.
Предел постоянной, единственность предела,
необходимое условие сходимости (ограниченность),
достаточное условие сходимости (монотонность и ограниченность,
без док-ва).
Арифметические операции над сходящимися последовательностя-
ми. Число е. Натуральные логарифмы. Гиперболические функции.
Числовая последовательность
Определение. Пусть X – какое-либо множество и N – множество нату- ральных чисел. Всякое отображение
:
f

N
R
называется последова-
тельностью элементов множества X.
Элемент f(n) обозначается через a
n
и называется n-м членом по-
следовательности
:
f

N
R
, а сама эта последовательность обозначает- ся символом {a
n
} или a
n
, n = 1, 2, ....
Каждый элемент a
n
последовательности {a
n
} представляет собой упорядоченную пару, состоящую из числа
n N
и соответствующего ему при отображении
:
f

N
R
элемента a множества X. Второй элемент этой пары называется значением элемента a
n
последовательности
{a
n
}, а первый – его номером.

Множество элементов последовательности всегда бесконечно. Два различных элемента последовательности могут иметь одно и то же зна- чение, но заведомо отличаются номерами, которых бесконечное мно- жество.
Множество значений элементов последовательности (обычно го- ворят короче: множество значений последовательности) может быть конечным.
Иногда в качестве номеров бывает удобно употреблять не все натуральные числа, а лишь некоторые из них. Например, натуральные числа, начиная с некоторого натурального числа n
0
: a
n
, n = n
0
, n
0
+ 1..., или одни четные числа: a
n
, n = 2, 4, ....
Случается, что для нумерации употребляются не только натураль- ные, но и другие числа, например, a
n
, n = 0, 1, 2, ... (здесь в качестве еще одного номера добавлен нуль). Во всех этих случаях можно перенуме- ровать заново a
n
, используя все натуральные числа m и только их. По- этому в подобных случаях также говорят, что a
n
образуют последова- тельность, и, конечно, указывают, какие значения принимают номера n.
Пример 1.
1 1
1
{ } 1, ,..., ,...
2
n
a
n
n
 
=
=  
 
.
Пример 2.
( )
 
{ }
1,1, 1,1,...
1
n
n
a
= −

= −
Пример 3.
 
1 1
{ } 1,10,100,...,10
,...
10
n
n
n
a


=
=
Пример 4.
 
{ }
7, 7,...
7
n
a
=
=

Часто бывает удобно дополнить множество действительных чисел
R элементами, обозначаемыми через +∞ и –∞ и называемыми, соответ- ственно, плюс и минус бесконечностями.
При этом по определению считают:
−  +
,
( )
(
)
+ + + = +
,
( ) ( )
− + − = −
,
( )
+ − − = +
,
(
)
− − + = −
,
( )( ) ( )( )
+ + = − − = +
,
( )( ) ( )( )
+ − = − + = −
Но, например, операция
( ) ( )
+ + −
уже не определена.
Для любого действительного числа a справедливы равенства:
( )
a + + = +
,
( )
a + − = −
Для a > 0:
( )
a + = +
,
( )
a − = −
Для a < 0:
( )
a + = −
,
( )
a − = +
Множество действительных чисел R, дополненное элементами +∞ и –∞, называется расширенным множеством действительных чисел
(или расширенной числовой прямой). Элементы +∞ и –∞ называются иногда бесконечно удаленными точками расширенной числовой пря- мой в противопоставление точкам числовой прямой R, которые назы- ваются конечными точками.

Предел числовой последовательности
Определение. Точка A (конечная или бесконечно удаленная) числовой прямой называется пределом некоторой числовой последовательно-
сти действительных чисел, если, какова бы ни была окрестность точки
A, она содержит все члены рассматриваемой последовательности, начиная с некоторого номера.
Определение.
Конечное
число А называется пределом числовой по-
следовательности
{ }
n
a
, если для любого как угодно малого положи- тельного числа  существует номер
N

такой, что все члены последова- тельности с номерами
n
N


удовлетворяют неравенству:
n
a
A
−  
Сама последовательность
{ }
n
a
(имеющая конечный предел) в этом слу- чае называется сходящейся.
Обозначения: lim
n
n
A
a
→
=
или
n
a
A

при
n → 
То же самое, записанное с помощью логических символов: def lim
0
:
n
n
n
A
a
N
n
N
a
A


→
=
     
−  
N
Замечание. Последовательности из примеров 1 и 4 имеют предел, а из примеров 2 и 3 не имеют предела.
Определение. Последовательность, пределом которой является 0, называется бесконечно малой последовательностью.
Определение. Последовательность, пределом которой является беско- нечность, называется бесконечно большой последовательностью.

Геометрическая интерпретация предела.
Изобразим числовую ось и на ней все члены последовательности, предел А и интервал
(
,
)
A
A
−  + 
Интервал
(
,
)
A
A
−  + 
является ε-окрестностью точки А. Он соответ- ствует неравенству
n
a
A
−  
. Таким образом, число А – предел {a
n
}, ес- ли какова бы ни была -окрестность точки А, найдется такой номер
N

, что все точки a
n
с номерами
n
N


будут содержаться в этой окрестно- сти точки А, т.е. в интервале
(
,
)
A
A
−  + 
Отсюда следует, что указанному интервалу принадлежит беско- нечно много точек a
n
, а вне этого интервала может находиться лишь конечное число точек данной последовательности с номером
n
N


Если уменьшать ε, то неравенство
n
a
A
−  
будет выполняться, начиная со всё больших и больших номеров, т.е. чем большей близости значений a
n
к числу A мы требуем, тем более далекие элементы после- довательности {a
n
} приходится рассматривать.
Из определения предела последовательности вытекает, что предел
постоянной (все члены последовательности {a
n
} равны одному и тому
же числу) равен самой этой постоянной, т.к. неравенство
n
a
A
−  
вы- полняется для любого
0
 
при всех натуральных n.
Теорема о единственности предела последовательности.
По- следовательность {a
n
} может иметь только один предел.
Доказательство (методом от противного). Пусть lim
n
n
a
A
→
=
. Дока- жем, что никакое число BA не может быть пределом {a
n
}. B – произ- вольное вещественное число. Пусть для определенности B > A.
Возьмем -окрестности точек А и В такими малыми, чтобы они не пересекались.
Тогда заключаем: т.к. lim
n
n
a
A
→
=
, то -окрестности точки А принад- лежат все точки последовательности {a
n
}, начиная с некоторого номера
n
N


и их бесконечно много, а вне интервала
(
,
)
A
A
−  + 
и в частности в
-окрестности точки В может располагаться только конечное число то- чек из a
n
Поэтому число В не может быть пределом этой последовательно- сти.
Определение. Последовательность {a
n
} называется ограниченной, ес- ли она ограничена и сверху и снизу, т.е. существуют числа m и M такие, что
,
n
m
a
M
n


  N
Определение. Последовательность {a
n
} называется ограниченной, ес- ли существует число K > 0 такое, что для любого n выполнено неравен- ство:
n
a
K


Последние два определения эквивалентны. Ограниченная после- довательность может быть расходящейся, т.е. не иметь конечного пре- дела (Пример 2).
Теорема (необходимое условие сходимости).
Если последователь- ность {a
n
} имеет предел, т.е. сходящаяся, то она ограничена.
Доказательство. Пусть lim
n
n
a
A
→
=
. Возьмем какой-нибудь интервал
– ε-окрестность точки А, при этом ε > 0 – любое.
Из определения предела в этом интервале лежит бесконечное множество точек {a
n
}, а вне его – только конечное число точек. Поэто- му среди точек, лежащих вне ε -окрестности точки А, есть самая левая
a

и самая правая – a
+
Обозначим: min( ,
)
m
a A

=
− 
, max(
,
)
M
a A
+
=
+ 
Тогда на отрезке [m, M] будут находиться все члены последова- тельности {a
n
}, что и означает ограниченность последовательности.
Определения. Последовательность {a
n
} называется неубывающей, ес- ли
1 2
3 1
n
n
a
a
a
a
a
+






Последовательность {a
n
} называется невозрастающей, если
1 2
3 1
n
n
a
a
a
a
a
+
    

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

Теорема (достаточное условие сходимости).
Всякая монотонная огра- ниченная последовательность сходится, т. е. имеет предел.
Доказательство. Т.к. последовательность {a
n
} ограничена, то она имеет точную верхнюю и точную нижнюю грани. Пусть М – точная верхняя грань последовательности {a
n
}. Покажем, что если {a
n
} – не- убывающая последовательность:
1 2
3 1
n
n
a
a
a
a
a
+
    

, то lim
n
n
a
M
→
=
Согласно свойству точной верхней грани
0
 
можно указать элемент
a
N
такой, что
N
a
M

− 
и
N
a
M

, т.е.
(
,
]
N
a
M
M

− 
. Из этих неравенств сле- дует двойное неравенство
0
N
M
a


 
. Т.к. {a
n
} – неубывающая после- довательност, то
n
N
 
верны неравенства
0
n
N
M
a
M
a




0
n
M
a



 
или
n
a
M

 
,
n
N
 
. Это означает, что число М – предел последова- тельности {a
n
}. Аналогично доказывается, что если {a
n
} – невозраста- ющая последовательность и m – точная нижняя грань, то lim
n
n
a
m
→
=
Теорема.
Последовательность
1 1
n
n
a
n


= +




сходится.
Доказательство. Покажем сначала, что эта последовательность моно- тонна.
С использованием формулы бинома Ньютона имеем
2 3
1 1
(
1) 1
(
1)(
3) 1 1
1 1 2 1 2 3
n
n
n n
n n
n
a
n
n
n
n
n





= +
= +  +

+

+



 


(
1)...(
1) 1
(
1)...1 1 1 2 ...
1 2 ...
k
n
n n
n k
n n
k
n
n
n

− +

+

+ +

=
 
 
1 1
1 1
2 1 1 1
1 1
2!
3!
n
n
n





= + +

+


+ +











1 1
2 1
1 1
1 1
1
... 1 1
... 1
!
!
k
n
k
n
n
n
n
n
n




 


 

+



+




 


 



 


 

(1)
При переходе от n к n + 1 в сумме, стоящей в правой части равенства
(1), число слагаемых, которые все положительны, возрастает и, кроме того, каждое слагаемое, начиная с третьего, увеличивается, так как
1 1
1
s
s
n
n
−  −
+
, s = l, 2, ..., n – 1, n = 2,3, ..., поэтому
a
n
< a
n + 1
, n = 1, 2,…
Теперь покажем, что эта последовательность ограничена
Заметим, что в (1) каждая из скобок вида
1
s
n







меньше единицы и что
1 2
1 2 2 .... 2 1 2 3 ...
!
n
n
n

=          =
Следовательно,
1 1
1
!
2
n
n


, для всех n = 1, 2, 3, ... , имеем:
2 1
1 1
1 1
1 1
1 1
2 2
2 1 3
2! 3!
!
2 2
2 2
n
n
n
a
n


 + + + +  + +
+ +
= + −
.
Т.к.
1 2
a =
, то окончательно получаем:
1 2
3
n
n
a
a
+



Число e.
Предел последовательности
1 1
n
n
a
n


= +




обозначают буквой e
(константа Эйлера). Более точные оценки показывают:
2, 718281828459045
e

Это число играет в математике очень важную роль. Показатель- ную функцию a
x
с основанием a = e называют экспоненциальной функ- цией и записывают e
x
или exp(x). Логарифм по основанию e называют натуральным и обозначают ln x.
Гиперболические функции.
По определению гиперболическими называют функции: ch
2
x
x
e
e
x

+
=
– гиперболический косинус; sh
2
x
x
e
e
x


=
– гиперболический синус; sh th ch
x
x
x
=
– гиперболический тангенс; ch cth sh
x
x
x
=
– гиперболический котангенс.
Подробнее, http://mathworld.wolfram.com/HyperbolicFunctions.html
Арифметические операции над сходящимися
последовательностями
Теорема 1. Если последовательности {a
n
} и {b
n
} сходятся, то сходится и последовательность {a
n
+ b
n
}, причем
(
)
lim lim lim
n
n
n
n
n
n
n
a
b
a
b
→
→
→
+
=
+
Доказательство. Т.к. {a
n
} и {b
n
} сходятся, т.е. существует lim
n
n
a
a
→
=
и lim
n
n
b
b
→
=

Следовательно,
1 1
2 2
0
:
;
0
:
2 2
n
n
n
n
n
a
a
n
n
n
b
b


 
  
− 
 
  
−  .
Пусть


1 2
max
,
:
;
2 2
n
n
N
n n
n
N
a
a
b
b


=
  
− 
− 
Рассмотрим разность
(
) (
) (
) (
)
2 2
n
n
n
n
n
n
a
b
a b
a
a
b
b
a
a
b
b
 
+
− +
=
− +


− + −  + = 
(
)
lim
n
n
n
a
b
a b
→

+
= +
Как следствие теоремы 1, получаем:
Теорема 2. Если последовательности {a
n
} и {b
n
} сходятся, то сходится и последовательность {a
n
b
n
}, причем
(
)
lim lim lim
n
n
n
n
n
n
n
a
b
a
b
→
→
→

=

Теорема 3. Если последовательности {a
n
} и {b
n
} сходятся, то сходится и последовательность {a
n
b
n
}, причем
(
)
lim lim lim
n
n
n
n
n
n
n
a b
a
b
→
→
→
=

Теорема 4. Если последовательности {a
n
} и {b
n
} сходятся,
0
n
b
, lim
0
n
n
b
→

, то сходится и последовательность {a
n
/b
n
}, причем lim lim lim
n
n
n
n
n
n
n
a
a
b
b
→
→
→


=






написать администратору сайта