Тема 2. ЕЛЕМЕНТИ ТЕОРІЇ ГРАНИЦЬ

 

2.1. Границя послідовності та границя функції

 

Поставимо у відповідність кожному  деяке дійсне число . В цьому випадку кажуть, що задано числову послідовність (sequence, number sequence) (позначають ).

Наприклад, числовими послідовностями є: числа Фібоначчі


1, 1, 2, 3, 5, 8,…; арифметична та геометрична прогресії.

 

Означення 2.1. Число a називається границею послідовності (limit of sequence) , якщо для будь-якого як завгодно малого додатного числа  існує число  таке, що для всіх  виконується нерівність

 

 

Якщо ввести позначення:  - довільний (будь-який);  - існує, то означення 2.1 можна скорочено записати так:

 

.

 

Те, що число a є границею послідовності , записують так:

 

 або .

 

Послідовність, яка має границю, називається збіжною (convergent sequence), а яка не має границі – розбіжною (divergent sequence).

Будь-який інтервал виду , де , називається -околом точки (neighborhood of point) a на числовій осі.

З геометричної точки зору, якщо число a є границею послідовності , то в довільний -окіл точки a потраплять всі члени послідовності , окрім скінченної їх кількості ( може бути як завгодно малим). Можна сказати, що члени послідовності  групуються навколо точки а.

 

Приклад 2.1. Довести за означенням, що .

Доведення. За означенням 2.1 для кожного  ми повинні вибрати номер  так, щоб при всіх  виконувалась нерівність . В нашому випадку дана нерівність набуває вигляду

.                                           (*)

Оскільки , то нерівність (*) перепишемо так , звідки . Тепер, якщо ми оберемо , то при всіх  нерівність (*) буде виконуватись, а отже число  за означенням є границею даної послідовності.

Наприклад, при вибраному  отримаємо , а це означає, що для всіх  члени  цієї послідовності потраплять в окіл

.

 

Границя функції в точці

Нехай функція  визначена на деякій множині X і точка  або . Візьмемо з X послідовність точок , відмінних від a, яка збігається до цього числа:

 

.                                     (2.1)

 

Значення функції  в точках послідовності (2.1) утворюють в свою чергу числову послідовність :

                             (2.2)

Означення 2.2. (за Гейне). Число b називається границею функції (limit of function)  в точці  (або при ), якщо для будь-якої збіжної до a послідовності (2.1) значень аргументу x, відмінних від a, відповідна послідовність (2.2) значень функції збігається до числа b.

Позначають це так:

 

,                                          (2.3)

або

 

.

Це означення границі функції за Гейне (мовою послідовностей), його можна записати скорочено так:

 

.

 

Приклад 2.2. Довести, що .

Доведення. За означенням 2.2:

 

.

Ця границя не залежить від вибору послідовності , яка збігається до числа 1.

 

Означення 2.3. (за Коші). Число b називається границею функції  в точці  (або при ), якщо для будь-якого як завгодно малого числа  існує таке додатне число , що для всіх , які задовольняють нерівність , виконується нерівність

 

.

 

Скорочено це означення можна записати так:

 

.

 

З геометричної точки зору, якщо число b є границею функції  в точці , то для всіх значень аргументу , які групуються навколо точки , відповідні значення функції групуються навколо точки .

Зауваження. Можна показати, що означення 2.2 та 2.3 є еквівалентними.

 

Приклад 2.3. Довести, що .

Доведення. Застосуємо означення 2.3:

 

 (рис. 2.1).

 

, тобто .

 

Рис. 2.1

Нехай, наприклад, , тоді відповідне  і

 

.

 

Односторонні границі (one-sided limit)

Означення 2.4. Число b називається границею функції  справа (right-handed limit) [зліва (left-handed limit)] в точці , якщо для будь-якого як завгодно малого числа  існує таке додатне число , що для всіх x, які задовольняють нерівність   [], виконується нерівність

 

.

 

Скорочено означення границі справа (зліва) в точці , можна записати так:

 

.

Позначають границю справа  або ;

границю зліва -  або .

 

Для існування границі функції  в точці  необхідно і достатньо, щоб мала місце рівність

 

.

 

Границя функції на нескінченності

Означення 2.5. Число b називається границею функції  при , якщо для будь-якого як завгодно малого числа  існує таке додатне число N, що для всіх x, які задовольняють нерівність , виконується нерівність

 

.

 

Скорочено означення границі при  можна записати так:

 

.

Якщо при цьому елементи  послідовності  додатні (від’ємні), то пишуть так:

 

 

Приклад 2.4. Довести, що .

Доведення. Нехай виконується нерівність

 

,

 

,

 

звідси . І, якщо за  прийняти , то , тобто , а це за означенням 2.5 означає, що  (рис. 2.2).

 

Нехай, наприклад, ; тоді . Отже виконується

.

 

Рис. 2.2