Критерий Коши сходимости последовательности

Пусть задана последовательность действительных чисел {xn}, сходящаяся к конечному пределу а: , т.е: ("e>0)($kÎN):"n>k ®|xn-a|<e/2.

Наряду с натуральным числом n>k в неравенство можно подставить и другое mÎN: m>k. Тогда : .

Тем самым доказано утверждение:

Если последовательность {xn} имеет предел, то для неё выполняется условие Коши:

. (1)

Последовательность чисел, удовлетворяющая условию Коши (1), называется фундаментальной последовательностью. Справедливо и обратное утверждение.

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

По теореме Больцано-Вейерштрасса у всякой ограниченной последовательности существует сходящаяся подпоследовательность { }. Пусть . (3)

Докажем, что а является пределом исходной последовательности. Из определения предела (3):

. (4)

последовательность по условию фундаментальна, поэтому .(5)

Пусть N=max(k, k0). Фиксируем в (4) номер nK>N (такой номер найдётся, так как nK®¥ при k®¥). Тогда при m=nK и при всех n>N в силу (5) выполняется неравенство: . (6)

Неравенства (4), (6) выполняются одновременно при всех n>N. Поэтому

£ , т.е. |xn-a|<e ("n>N). Это означает что .

1.8. Число е как предел последовательности

 

1. Методом математической индукции докажем неравенство Бернулли: ("х>-1)("nÎN)®(1+x)n³1+nx. (1)

Неравенство (1) справедливо при n=1.

Пусть при n=k неравенство (1) выполняется, т.е.

(1+x)k³1+kx. (2)

Докажем справедливость (1) при n=k+1. Умножим обе части неравенства (2) на (1+х)>0:

(1+x)k+1³(1+kx)(1+х) = 1+(1+k)x+kx2³ 1+(1+k)x.

Из последнего, по принципу математической индукции, неравенство Бернулли доказывается для любого nÎN.

2. Пусть , . Докажем, что последовательность {yn} монотонно убывает и ограничена снизу. Оценим отношение:

= = × = × = × ³

³ × > × =1.

Значит, ("nÎN)® yn+1 < yn, т.е. {yn}монотонно убывает.

Учитывая неравенство Бернулли (1), имеем: ³ 1+(n+1) =2+ > 2 ("nÎN),

т.е. {yn} ограничена снизу.

3. По теореме о пределе монотонной, ограниченной последовательности можно установить наличие предела для {уn}, т.е. уn=е. Значение предела нам пока неизвестно, но 2<e<3.

4. В произведении , предел которого известен, существует предел второго сомножителя =1. Поэтому можно установить и предел первого сомножителя: xn=е.

Число е является иррациональным и трансцендентным, т.е. нет алгебраического уравнения с целыми коэффициентами, корнем которого было это число. Его значение мы установим во второй главе.