Функция
f (n), определенная на множестве натуральных чисел, образует
последовательность действительных чисел. Значения
an = f (n), которые принимает эта функция, называются
членами последовательности.
Множество значений
an = f (n) обозначается как
{an}.
Числовая последовательность
{an} имеет предел
L, если для каждого
ε > 0 существует натуральное число
N > 0, такое, что при всех
n ≥ N выполняется неравенство
. В этом случае мы записываем
Числовая последовательность
{an} имеет предел ∞, если для любого положительного числа
M существует натуральное число
N > 0, такое, что для всех
n ≥ N справедливо неравенство
an > M. В этом случае используется обозначение
Если предел
существует и
L конечно, то говорят, что числовая последовательность
сходится.
В противном случае последовательность
расходится.
Теорема "о двух милиционерах": Предположим, что
и
{cn} является последовательностью, такой что
для всех
n > N, где
N − натуральное число. Тогда
Последовательность
{an} является
ограниченной, если существует такое число
M > 0, что
|an| ≤ M для любого значения
n.
Если числовая последовательность сходится, то она ограничена. Любая неограниченная последовательность расходится.
Последовательность
{an} называется
монотонно возрастающей, если
an ≤ an+1 для всех
n ≥ 1. Аналогично, последовательность
{an} называется
монотонно убывающей, если
an ≥ an+1 для всех
n ≥ 1. Последовательность
{an} называется
монотонной, если она монотонно возрастает или монотонно убывает.