Монотонная последовательность

Монотонная последовательность — это последовательность, элементы которой с увеличением номера не возрастают, или, наоборот, не убывают. Подобные последовательности часто встречаются при исследованиях и имеют ряд отличительных особенностей и дополнительных свойств. Последовательность из одного числа не может считаться возрастающей или убывающей.

Определения

Пусть имеется множество $X$, на котором введено отношение порядка.

Последовательность $\{x_n\}$ элементов множества $X$ называется неубывающей, если каждый элемент этой последовательности не превосходит следующего за ним.

$\{x_n\}$ — неубывающая $\iff \mathrm{\forall }n\in \mathbb{N}:x_n⩽x_{n+1}$

Последовательность $\{x_n\}$ элементов множества $X$ называется невозрастающей, если каждый следующий элемент этой последовательности не превосходит предыдущего.

$\{x_n\}$ — невозрастающая $\iff \mathrm{\forall }n\in \mathbb{N}:x_n⩾x_{n+1}$

Последовательность $\{x_n\}$ элементов множества $X$ называется возрастающей, если каждый следующий элемент этой последовательности превышает предыдущий.

$\{x_n\}$ — возрастающая $\iff \mathrm{\forall }n\in \mathbb{N}:x_n<x_{n+1}$

Последовательность $\{x_n\}$ элементов множества $X$ называется убывающей, если каждый элемент этой последовательности превышает следующий за ним.

$\{x_n\}$ — убывающая $\iff \mathrm{\forall }n\in \mathbb{N}:x_n>x_{n+1}$

Последовательность называется монотонной, если она является неубывающей, либо невозрастающей.

Последовательность называется строго монотонной, если она является возрастающей, либо убывающей.

Очевидно, что строго монотонная последовательность является монотонной.

Иногда используется вариант терминологии, в котором термин «возрастающая последовательность» рассматривается в качестве синонима термина «неубывающая последовательность», а термин «убывающая последовательность» — в качестве синонима термина «невозрастающая последовательность». В таком случае возрастающие и убывающие последовательности из вышеприведённого определения называются «строго возрастающими» и «строго убывающими», соответственно.

Промежутки монотонности

Может оказаться, что вышеуказанные условия выполняются не для всех номеров $n\in \mathbb{N}$, а лишь для номеров из некоторого диапазона

$I=\{n\in \mathbb{N}\mid N_{-}⩽n<N_{+}\}$

(здесь допускается обращение правой границы $N_{+}$ в бесконечность). В этом случае последовательность называется монотонной на промежутке $I$, а сам диапазон $I$ называется промежутком монотонности последовательности.

Примеры

• Последовательность натуральных чисел.
  • $\mathrm{\forall }n\in \mathbb{N}:x_n=n$.
  • Начальные отрезки: $(1,2,3,4,5,6,7,8,\cdots )$.
  • Возрастающая последовательность.
  • Состоит из натуральных чисел.
  • Ограничена снизу, сверху не ограничена.

• Последовательность Фибоначчи.
  • $x_n=\{\begin{array}{cc}1,& n=1\vee n=2\\ x_{n-1}+x_{n-2},& n⩾3\end{array}$
  • Начальные отрезки: $(1,1,2,3,5,8,13,21,\cdots )$.
  • Неубывающая последовательность.
  • Состоит из натуральных чисел.
  • Ограничена снизу, сверху не ограничена.

• Геометрическая прогрессия с основанием $1/2$.
  • $\mathrm{\forall }n\in \mathbb{N}:x_n=\frac{1}{2^{n-1}}$.
  • Начальные отрезки: $(1,1/2,1/4,1/8,1/16,\cdots )$.
  • Убывающая последовательность.
  • Состоит из рациональных чисел.
  • Ограничена с обеих сторон.

• Последовательность, сходящаяся к числу e.
  • $\mathrm{\forall }n\in \mathbb{N}:x_n={(1+\frac{1}{n})}^n$.
  • Начальные отрезки: $(2,9/4,64/27,625/256,\cdots )$.
  • Возрастающая последовательность.
  • Состоит из рациональных чисел, но сходится к трансцендентному числу.
  • Ограничена с обеих сторон.

• Последовательность рациональных чисел вида $x_n=(n-5{)}^2$ не является монотонной. Тем не менее, она (строго) убывает на отрезке $\{1,2,3,4\}$ и (строго) возрастает на промежутке $\{n\in \mathbb{N}\mid n⩾5\}$.

Свойства

• Ограниченность.
  • Всякая неубывающая последовательность ограничена снизу.
  • Всякая невозрастающая последовательность ограничена сверху.
  • Всякая монотонная последовательность ограничена по крайней мере с одной стороны.

• Монотонная последовательность сходится тогда и только тогда, когда она ограничена с обеих сторон.(Теорема Вейерштрасса об ограниченных монотонных последовательностях)
  • Сходящаяся неубывающая последовательность ограничена сверху своим пределом.
  • Сходящаяся невозрастающая последовательность ограничена снизу своим пределом.

См. также

• Монотонная функция