Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Определение предела последовательности и его единственность



Определение: Пусть даны два множества Х и У. Если каждому элементу хÎХ сопоставлен по определенному правилу некоторый элемент уÎУ, то говорят, что на множестве Х определена функция f и пишут f:Х®У или х® (f(х)| хÎХ).

Определение: Последовательность-это ф-ция определенная на мн-ве N, со значениями во мн-ве R f:N®R. Значение такой ф-ции в (.) nÎN обозначают аN.

Способы задания:

1) Аналитический: Формула общего члена

2) Рекуррентный: (возвратная) формула: Любой член последовательности начиная с некоторого выражаетс через предидущие. При этом способе задани обычно указывают первый член (или нсколько начальных членов) и формулу, позволющкю определить любой член последовательности через предидущие. Пример: а1=а; аN+1N + а

3) Словесный: задание последовательности описанием: Пример: аN = n-ый десятичный знак числа Пи

Определение: Число а называется пределом последовательности аN, если "e>0 $ n0: "n>n0 выполняется неравенство |аN-a|<e. Обозначение Lim aN=a.

Если не существует числа а, являющегося пределом посл-ти, то говорят что последовательность расходится, если существует, то сходится (к числу а).

Геометрически существование предела последовательности означает, что любой интервал вида (а-e,а+e), называемый эпсилон-окрестностью точки а, содержит все члены последовательности аN начиная с некоторого номера, или что то же самое, вне любой эпсилон-окрестности точки а находится ко нечное число членов последовательности аN.

Определение: Число а назывется пределом посл-ти аN если вне всякой окрестности точки а содержится конечное число членов последова тельности.

Теорема: Сходящаяся последовательность имеет только один предел.

Доказательство(от противного):

Пусть последовательность аN имеет предел а и предел с, причем а¹с. Выберем такой эпсилон, чтобы пересечение эпсилон-окрестностей точек а и с бы ло пусто. Очевидно достаточно взять эпсилон меньше | а-с |/2. Вне окрестности точки а содержится конечное число членов последовательности => в ок рестности точки с содержится конечное число членов последовательности - противоречие с условием того, что с - предел последовательности.

Теорема: Сходящаяся последовательность ограничена.

Доказательство:

Пусть последовательность аN сходится к числу а. Возьмем какое-либо эпсилон, вне эпсилон-окрестности точки а лежит конечное число членов последо вательности, значит всегда можно раздвинуть окрестность так, чтобы все члены последовательности в нее попали, а это и означает что последователь ность ограничена.

Замечания: 1) Обратное не верно (аn=(-1)N, ограничена но не сходится)

2) Если существует предел последовательности аN, то при отбрасывании или добавлении конечного числа членов предел не меняется.

Порядковые свойства пределов:

Теорема о предельном переходе: Если Lim xN=x, Lim yN=y, $n0: "n>n0 хN£yN, тогда x£y

Доказательство(от противного):

Пусть х>у => по определению предела $ n0’: "n>n0’ |хN-х|<E(берем Е<|х-у|/2): & $ n0”: "n>n0” |yN-y|<E. "n>max{n0’, n0”}: |хN-х|<|х-у|/2 & |уN-у|<|х-у|/2, т.е. получаем 2 интервала (у-Е,у+Е) & (х-Е,х+Е)], причем (у-Е,у+Е)Ç(х-Е,х+Е)=Æ. "n>max{n0’, n0”} хNÎ(х-Е,х+Е) & уNÎ(у-Е,у+Е) учитывая, что х>у получаем: "n>max{n0’, n0”} хN>yN - противоречие с условием.

Теорема: Если $n0: "n>n0 aN£bN£cN и $ Lim aN=a, $ Lim cN=c, причем a=c, то $ Lim bN=b => a=b=c.

Доказательство: Возьмем произвольно Е>0, тогда $ n’: "n>n’ => cN<(a+E) & $ n”: "n>n” => (a-E)<aN. При n>max{n0,n’,n”} (a-E)<aN£bN£cN<(a+E), т.е. " n>max{n0,n’,n”}=>bNÎ(a-E,a+E)





Дата публикования: 2014-12-08; Прочитано: 411 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...