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