Що таке послідовність у математиці?

У математиці послідовність — це впорядкований список елементів, зазвичай індексованих натуральними числами. Кожен елемент у послідовності називається членом, а послідовності часто представляють як функції від натуральних чисел до заданої множини, наприклад, до дійсних чисел.

Як можна визначити послідовність?

Послідовність може бути визначена явно за допомогою формули, що виражає загальний член aₙ, або рекурсивно шляхом зазначення базового випадку та правила генерації кожного члена з попередніх.

Що означає, що послідовність є монотонною?

Послідовність є монотонною, якщо вона завжди зростає, спадає або є сталою. Зокрема, вона є зростаючою, якщо кожен член більший за попередній, і спадаючою, якщо кожен член менший за попередній.

Послідовності

2025-02-18

Що таке послідовність

Послідовність — це впорядкована множина елементів, кожен з яких присвоєний певній позиції, що індексується натуральним числом. Розглянемо множину дійсних чисел \(\mathbb{R}\). Послідовність зі значеннями в \(\mathbb{R}\) — це функція вигляду \(\mathbb{N} \rightarrow \mathbb{R}\), яка кожному \( n \in \mathbb{N} \) присвоює єдине дійсне число \( a(n) \in \mathbb{R} \).

Послідовність \( a : \mathbb{N} \rightarrow \mathbb{R} \) позначається як \(\lbrace a_n \rbrace_{n \in \mathbb{N}}.\)
Кожен елемент, що породжується послідовністю, називається членом послідовності.
Вираз для \( a_n \) визначає правило, за яким визначається кожен член послідовності.

Часто корисно розглядати послідовності, визначені лише на підмножині натуральних чисел, наприклад, ті, що починаються з певного цілого значення. Це послідовності вигляду:

\[ a : {n \in \mathbb{N} : n \geq n_0} \to \mathbb{R}. \]

Це означає, що послідовність визначена для всіх натуральних чисел, які більші або дорівнюють деякому початковому індексу \( n_0 \).

Розглянемо, наприклад, функцію \( a: \mathbb{N}^+ \to \mathbb{R} \), визначену як \( a(n) := \dfrac{1}{n} \). Це дійснозначна послідовність, визначена для кожного \( n \in \mathbb{N}^+ \), і її члени такі:

\[ a_1 = 1, \quad a_2 = \frac{1}{2}, \quad \dots, \quad a_n = \frac{1}{n} \quad \forall n \in \mathbb{N}^+. \]

Іншим прикладом послідовності є \( a_n = n! \), факторіал числа \( n \), який визначається як добуток усіх додатних цілих чисел від 1 до \( n \). Перші кілька членів послідовності:

\[ a_1 = 1, \quad a_2 = 2, \quad a_3 = 6, \quad a_4 = 24, \quad a_5 = 120, \quad \dots \]

Приклад

Розглянемо, наприклад, формулу:

\[ a_n := \frac{1}{n - 2} \]

визначає дійснозначну послідовність \( a : {3, 4, 5, \dots} \to \mathbb{R} \), де значення \( 3, 4, 5, \dots \) представляють індекси послідовності. Дійсно, оскільки знаменник стає рівним нулю при \( n = 2 \), член \( a_2 \) не визначений. Щоб уникнути цієї особливості, ми обмежуємо область визначення умовою \( n \geq 3 \). У цьому випадку ми записуємо послідовність як:

\[ (a_n)_{n \geq 3} = \left( \frac{1}{n - 2} \right)_{n \geq 3} \]

Перші кілька членів послідовності:

\[ a_3 = 1, \quad a_4 = \frac{1}{2}, \quad a_5 = \frac{1}{3}, \quad a_6 = \frac{1}{4}, \quad a_7 = \frac{1}{5}, \ \dots \]

Як ми бачимо, ця послідовність спадає і збігається до нуля при \( n \to \infty \) (пізніше ми побачимо, що це означає).

Рекурсивно визначені послідовності

Рекурсивна послідовність — це послідовність, у якій кожен член визначений через один або кілька попередніх членів. Для визначення такої послідовності потрібні два компоненти:

Початкове значення.
Рекурентне співвідношення, яке визначає, як обчислити кожен новий член.

Однією з найвідоміших рекурсивних послідовностей є послідовність Фібоначчі, визначена як:

\[ \begin{cases} a_0 = 0, \\[0.5em] a_1 = 1, \\[0.5em] a_n = a_{n-1} + a_{n-2} \quad \text{для всіх } n \geq 2 \end{cases} \]

Це означає, що кожен член є сумою двох попередніх. Перші кілька членів послідовності:

\[ \begin{aligned} a_0 &= 0 \\[0.5em] a_1 &= 1 \\[0.5em] a_2 &= 1 \\[0.5em] a_3 &= 2 \\[0.5em] a_4 &= 3 \\[0.5em] a_5 &= 5 \\[0.5em] a_6 &= 8 \\[0.5em] &\vdots \end{aligned} \]

Рекурсія є поширеною стратегією в програмуванні, яка дозволяє розв'язувати складні завдання шляхом багаторазового застосування одного й того самого правила, доки не буде досягнуто базового випадку. Вона особливо ефективна для генерації послідовностей та розв'язання проблем із самоповторюваною структурою.

Монотонні послідовності

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

Стала: якщо кожен член дорівнює попередньому: \(a_n = a_{n+1} \quad \forall n \in \mathbb{N}\).
Зростаюча: якщо кожен член більший за попередній: \(a_n < a_{n+1} \quad \forall n \in \mathbb{N}\).
Спадаюча: якщо кожен член менший за попередній: \(a_n > a_{n+1} \quad \forall n \in \mathbb{N}\).
Неспадаюча: \(a_n \leq a_{n+1} \quad \forall n \in \mathbb{N}\).
Незростаюча: \(a_n \geq a_{n+1} \quad \forall n \in \mathbb{N}\).

Якщо послідовність \( (a_n)_{n \in \mathbb{N}} \) є монотонною, то вона має границю, і ця границя є скінченною. Більше того, виконується наступне:

\[ \lim_{n \to +\infty} a_n = \begin{cases} \sup { a_n : n \in \mathbb{N} } & \text{якщо } (a_n)_{n \in \mathbb{N}} \text{ зростаюча} \\[0.5em] \inf { a_n : n \in \mathbb{N} } & \text{якщо } (a_n)_{n \in \mathbb{N}} \text{ спадаюча} \end{cases} \]

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

Глосарій

Послідовність: впорядкована сукупність елементів, кожен з яких призначений певній позиції, що індексується натуральним числом.
Член: кожен окремий елемент, що утворює послідовність.
Індекс: натуральне число, яке вказує на позицію члена в послідовності.
Монотонна послідовність: послідовність, яка є або сталою, зростаючою, спадаючою, неспадаючою або незростаючою.
Границя: значення, до якого наближаються члени послідовності, коли індекс \( n \) прямує до нескінченності.
Супремум: найменша верхня межа множини чисел.
Інфімум: найбільша нижня межа множини чисел.