1. Основні теореми про границю числових послідовностей

Для числових послідовностей справедливі наступні твердження.

Теорема 1. Якщо послідовність має границю, то вона обмежена.

Теорема 2. Кожна послідовність має не більш як одну границю.

Означення. Послідовність називають нескінченно малою, якщо її границя дорівнює нулю.

Теорема 3. Сума двох нескінченно малих послідовностей є нескінченно мала послідовність.

Доведення.

Нехай {an} і{bn}- нескінченно малі послідовності. Тоді для довільного e>0 існують N1, N2, такі, що

                          "n>N1: | an |<e/2                                                          (1)

                          "n>N2: | bn |<e/2                                                          (2)

взявши N=max{ N1, N2}маємо, що  "n>N виконуються нерівності (1) і (2) одночасно. Тому | an+ bn |<e/2+e/2=e. Отже, lim (an+ bn)=0.

Теорему доведено.

Теорема 4. Добуток нескінченно малої послідовності на обмежену послідовність є нескінченно мала послідовність.

Теорема 5. Нехай задано послідовність {an}. тоді, якщо  =a, то an=a+ an, де  =0. І навпаки, якщо an=a+ an, то=a.

Теорема 6. Якщо послідовності {an} і{bn}- збіжні, то їх сума{an+bn}- також збіжна послідовність і + =.

Теорема 7. Якщо послідовності {an} і{bn}- збіжні, то їх добуток{anbn}- також збіжна послідовність і =.

Наслідок 1. Сталий множник можна винести за знак границі: c=.

Наслідок 2. Якщо послідовності {an} і{bn}- збіжні, то їх різниця{an-bn}- також збіжна послідовність і -=.

Теорема 8. Якщо послідовності {an} і{bn}, де bn№0 для всіх n, збіжні і №0, то їх частка{an/bn}- також збіжна послідовність і  / =.

Означення. Послідовність називається нескінченно великою, якщо для кожного додатнього A знайдеться таке N, що для всіх n>N виконується нерівність  | an |>A. Границю такої послідовності вважають рівною нескінченності.

Надалі при формулюванні та доведенні теорем будемо застосовувати спеціальні позначення, які називають кванторами. Так, символ " позначає поняття «для всіх», його ще називають квантором загальності, а символ  $ позначає поняття «знайдеться», і його називають квантором існування. Символ  $! позначає поняття «існує, причому єдине».

Теорема 9. Якщо послідовність {an}, де an№0 для всіх n- нескінченно велика, то послідовність {1/an}- нескінченно мала і навпаки.

Доведення.

Нехай {an}- нескінченно велика послідовність. Тоді ("A>0) $N("n>N): | an |>A.          (1)

Приймемо e=1/A, тоді з (1) випливає, що 1/ | an |<1/A=e. Отже, =0 і послідовність є нескінченно малою.

Доведення другої частини проводиться в зворотному порядку. (Проведіть його).

Теорема (Вейєрштраса). Якщо числова послідовність зростає (спадає) і обмежена зверху (знизу) то вона має скінченну границю.Попередній