Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
56
Добавлен:
10.05.2014
Размер:
17.53 Кб
Скачать

Билет 15. Фундаментальные последовательности. Критерий Коши сходимости последовательности.

Последовательность {xn} называется фундаментальной, если >0 n0=n0()N m>n0 |xn-xm|<.

Эквивалентное: {xn} фундаментальна  > n0=n0()N n>n0 pN |xn+p – xn|<

Теорема. Критерий Коши. Для того, чтобы последовательность {xn} сходилась, необходимо и достаточно, чтобы она была фундаментальной.

● Необходимое: пусть  lim(n->)xn=a  >0 n0=n0()N; n>n0 |xn-a|</2 m>n0 |xm-a|</2; |xn-xm| = |xn-a+a-xm|≤|xn-a|+|xm-a|<; n,m {xn} – фундаментальная.

Достаточное. Пусть {xn} – фундаментальная.

  1. Ограниченность. =1 n0 n>n0 m=n0+1 |xn-xn+1|<=1. Тогда |xn|= |xn- xn0+1+ xn0+1| ≤ | xn- xn0+1|+|xn0+1|<1+|xn0+1| n>n0 M=max{x1, x2…x0, 1+xn0+1} => nN |xn|≤M => {xn} – огранич.

  2. Сходимость. {xn} – огранич. => по теореме Больцано-Вейерштрасса из {xn} можно выделить сходящ. послед. {xnk}: lim(n->)xnk=0 => >0 nN k>n0 |xnk-a|</2. {xn} –фунд. => >0 n0 nk>n0 |xnk – xn|</2. Рассмотрим разность |xn-a| = |xn-xnk+xnk-a| ≤ |xn-xnk|+|xnk-a| < /2+/2=.

n>n~=max{nk0, n0} => lim xn = a. ●

Соседние файлы в папке Коллоквиум по матану (Петрова, Бухарова)