Последовательность чисел¶
Последовательность чисел — упорядоченный набор чисел, каждый из которых имеет определённое место (позицию) в этом наборе. Математически последовательность определяется как функция, областью значений которой является множество натуральных чисел (или его отрезок), а множеством значений — произвольное множество, обычно числовое. Элемент последовательности, стоящий на позиции $n$, обозначают $a_n$; вся последовательность записывается как $a_1, a_2, a_3, \dots$ или $\{a_n\}_{n=1}^{\infty}$.
¶Определение
Пусть $N$ — множество натуральных чисел (или его отрезок $\{1, 2, \dots, m\}$), а $M$ — произвольное множество. Тогда функция $f: N \to M$ называется последовательностью элементов множества $M$. Если $M \subseteq \mathbb{R}$ (множество действительных чисел) или $M \subseteq \mathbb{C}$ (множество комплексных чисел), говорят о числовой последовательности.
Ключевое свойство: у каждого элемента последовательности есть однозначно определённый номер. В отличие от множества, где порядок элементов не важен и повторы не допускаются, в последовательности порядок принципиален, а одно и то же число может встречаться многократно. Например, последовательность $1, 0, 1, 0, 1, 0, \dots$ и последовательность $0, 1, 0, 1, \dots$ — разные последовательности, хотя состоят из одних и тех же элементов.
¶Способы задания
Последовательность можно задать несколькими способами:
- Формулой общего члена — выражением, выражающим $a_n$ через номер $n$. Например, $a_n = n^2$ задаёт последовательность квадратов натуральных чисел: $1, 4, 9, 16, \dots$
- Рекуррентной формулой — соотношением, связывающим очередной член с предыдущими. Наиболее известный пример — последовательность Фибоначчи: $F_1 = 1$, $F_2 = 1$, $F_n = F_{n-1} + F_{n-2}$ при $n \geq 3$. Она даёт ряд $1, 1, 2, 3, 5, 8, 13, \dots$
- Перечислением — прямой записью элементов, если последовательность конечна или имеет очевидный паттерн.
- Алгоритмом или программой — на практике, особенно в вычислительной математике и информатике, последовательность часто задаётся процедурой вычисления очередного члена.
¶Основные понятия
¶Конечные и бесконечные последовательности
Конечная последовательность содержит конечное число элементов и полностью задаётся перечислением. Бесконечная последовательность имеет элемент с любым натуральным номером; именно бесконечные последовательности являются основным объектом математического анализа.
¶Сходимость
Центральное понятие теории последовательностей — сходимость. Бесконечная последовательность $\{a_n\}$ сходится к пределу $A$, если для любого $\varepsilon > 0$ существует номер $N$, начиная с которого все элементы последовательности отличаются от $A$ менее чем на $\varepsilon$: $|a_n - A| < \varepsilon$ при $n > N$. Это записывают как $\lim_{n \to \infty} a_n = A$.
Примеры:
- $a_n = \frac{1}{n}$ сходится к нулю: $1, \frac{1}{2}, \frac{1}{3}, \dots \to 0$.
- $a_n = \frac{n+1}{n}$ сходится к единице.
- $a_n = (-1)^n$ не сходится: члены последовательности колеблются между $1$ и $-1$.
- $a_n = n$ расходится: модуль членов неограниченно растёт.
Последовательность, имеющая конечный предел, называется сходящейся; если предела нет — расходящейся. Существуют также предельные точки (значения, к которым подходит бесконечное подмножество членов) и понятие предела по Коши.
¶Монотонность и ограниченность
Последовательность называется возрастающей, если $a_{n+1} \geq a_n$ для всех $n$, и убывающей, если $a_{n+1} \leq a_n$. Строгие неравенства определяют строго монотонные последовательности. Ограниченной называется последовательность, все члены которой по модулю не превышают некоторого числа $M$.
Теорема Вейерштрасса: любая ограниченная и монотонная последовательность действительных чисел сходится. Этот результат лежит в основе доказательства существования предела для многих важных последовательностей.
¶Важные примеры
| Последовательность | Формула | Свойства | ||
|---|---|---|---|---|
| Гармоническая | $a_n = 1/n$ | Сходится к 0 | ||
| Арифметическая прогрессия | $a_n = a_1 + (n-1)d$ | Расходится при $d \neq 0$ | ||
| Геометрическая прогрессия | $a_n = a_1 q^{n-1}$ | Сходится к 0 при $ | q | < 1$ |
| Фибоначчи | $F_n = F_{n-1} + F_{n-2}$ | Расходится, $F_{n+1}/F_n \to \varphi$ | ||
| Простые числа | $p_n$ | Расходится, разрежена |
Отношение соседних членов последовательности Фибоначчи стремится к золотому сечению $\varphi = \frac{1+\sqrt{5}}{2} \approx 1{,}618$.
¶Применение
Последовательности чисел используются во всех разделах математики и смежных дисциплинах:
- Математический анализ — ряды (суммы бесконечных последовательностей), интегральные суммы, приближённые вычисления.
- Численные методы — итерационные процессы, в которых решение уравнения аппроксимируется сходящейся последовательностью приближений.
- Теория чисел — распределение простых чисел, арифметические прогрессии, последовательности вида $n^2 + 1$.
- Комбинаторика и теория вероятностей — случайные последовательности, закон больших чисел.
- Информатика и криптография — генераторы псевдослучайных чисел, хеш-функции, последовательности в кодировании информации.
- Физика и инженерия — дискретизация сигналов, ряды Фурье, модели роста популяций.
¶История
Понятие числовой последовательности сформировалось постепенно. Уже в древности были известны арифметические и геометрические прогрессии — их рассматривали в Вавилоне, Древнем Египте и Индии. Систематическую теорию бесконечных последовательностей создали математики XVII–XVIII веков: Исаак Ньютон и Готфрид Лейбниц использовали ряды в развитии математического анализа, Леонард Эйлер исследовал гармонический ряд и ряды Фибоначчи.
Строгое $\varepsilon$-$N$ определение предела последовательности сформулировал в XIX веке Карл Вейерштрасс, что позволило обосновать понятие предела и построить анализ на строгой основе. Вклад внесли также Бернард Больцано, Огюстен Луи Коши и Рихард Дедекинд.
Источники:
- Кудрявцев Л. Д. Курс математического анализа.
- Фихтенгольц Г. М. Курс математического анализа.
- Зорич В. А. Математический анализ.
- Бородин А. И., Саакян С. М. Справочник по элементарной математике.
- Энциклопедический словарь математических терминов.