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