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

Монотонно спадною (зростаючою, неспадною, незростаючою) називають послідовність в якій кожен член ${\displaystyle x_{n}}$ є меншим (більшим, не меншим, не більшим) за член послідовності ${\displaystyle x_{n-1}}$.

Нехай є множина ${\displaystyle X}$, на якій введено відношення порядку. Послідовність ${\displaystyle \{x_{n}\}}$ елементів множини ${\displaystyle X}$ називається неспадною, якщо кожен елемент цієї послідовності не перевищує наступного за ним.

${\displaystyle \{x_{n}\}}$ — неспадна ${\displaystyle \Leftrightarrow ~\forall n\in \mathbb {N} \colon x_{n}\leqslant x_{n+1}}$

Послідовність ${\displaystyle \{x_{n}\}}$ елементів множини ${\displaystyle X}$ називається незростаючою, якщо кожен наступний елемент цієї послідовності не перевищує попереднього.

${\displaystyle \{x_{n}\}}$ — незростаюча ${\displaystyle \Leftrightarrow ~\forall n\in \mathbb {N} \colon x_{n}\geqslant x_{n+1}}$

Послідовність ${\displaystyle \{x_{n}\}}$ елементів множини ${\displaystyle X}$ називається зростаючою , якщо кожен наступний елемент цієї послідовності перевищує попередній.

${\displaystyle \{x_{n}\}}$ — зростаюча ${\displaystyle \Leftrightarrow ~\forall n\in \mathbb {N} \colon x_{n}<x_{n+1}}$

Послідовність ${\displaystyle \{x_{n}\}}$ елементів множини ${\displaystyle X}$ називається спадною, якщо кожен елемент цієї послідовності перевищує наступний за ним.

${\displaystyle \{x_{n}\}}$ — спадною ${\displaystyle \Leftrightarrow ~\forall n\in \mathbb {N} \colon x_{n}>x_{n+1}}$

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

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

Очевидно, що строго монотонна послідовність є монотонною.

Іноді використовується варіант термінології, в якому термін «зростаюча послідовність» розглядається як синонім терміну «неспадна послідовність», а термін «спадна послідовність» - як синонім терміну «незростаюча послідовність». У такому випадку зростаючі і спадні послідовності з вищенаведеного визначення називаються «строго зростаючими» і «строго спадними», відповідно.

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

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

Тут допускається звернення правої межі ${\displaystyle N_{+}}$ у нескінченність. У цьому випадку послідовність називається монотонною на проміжку I, а сам діапазон I є проміжком монотонності послідовності.

• Послідовність натуральних чисел.
  • ${\displaystyle \forall n\in \mathbb {N} \colon x_{n}=n}$.
  • Початкові відрізки:${\displaystyle (1,2,3,4,5,6,7,8,\cdots )}$.
  • Зростаюча послідовність.
  • Складається з натуральних чисел.
  • Обмежена знизу, зверху не обмежена.
• Послідовність Фібоначчі
  • ${\displaystyle x_{n}={\begin{cases}1,&n=1\lor n=2\\x_{n-1}+x_{n-2},&n\geqslant 3\end{cases}}}$
  • Початкові відрізки: ${\displaystyle (1,1,2,3,5,8,13,21,\cdots )}$.
  • Не спадна послідовність.
  • Складається з натуральних чисел.
  • Обмежена знизу, зверху не обмежена.
• Геометрична прогресія з основою ${\displaystyle 1/2}$.
  • ${\displaystyle \forall n\in \mathbb {N} \colon x_{n}={\frac {1}{2^{n-1}}}}$.
  • Початкові відрізки: ${\displaystyle (1,1/2,1/4,1/8,1/16,\cdots )}$.
  • Зростаюча послідовність.
  • Складається з раціональних чисел.
  • Обмежена з обох сторін.

• Послідовність, що сходиться до числа e.
  • ${\displaystyle \forall n\in \mathbb {N} \colon x_{n}=\left(1+{\frac {1}{n}}\right)^{n}}$.
  • Початкові відрізки:${\displaystyle (2,9/4,64/27,625/256,\cdots )}$.
  • Зростаюча послідовність.
  • Складається з раціональних чисел, але сходиться до трансцендентного числа.
  • Обмежена з обох сторін.
• Послідовність раціональних чисел виду ${\displaystyle x_{n}=\,\!(n-5)^{2}}$ не є монотонною. Тим не менш, вона (строго) спадає на відрізку ${\displaystyle \{1,\,\!2,3,4\}}$ і (строго) зростає на проміжку ${\displaystyle \{n\in \mathbb {N} \mid n\geqslant 5\}}$.

• Обмеженість.
  • Будь-яка неспадна послідовність обмежена знизу.
  • Будь-яка незростаюча послідовність обмежена зверху.
  • Будь-яка монотонна послідовність обмежена принаймні з одного боку.
• Монотонна послідовність сходиться тоді і тільки тоді, коли вона обмежена з обох сторін. (Теорема Вейєрштрасса про обмежені монотонних послідовностей)
  • Збіжна неспадна послідовність обмежена зверху своєю межею.
  • Збіжна незростаюча послідовність обмежена знизу своєю межею.

• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2025. — 2391 с.(укр.)
• Банах С. Курс функціонального аналізу (лінійні операції). — К. : Радянська школа, 1948. — 216 с.(укр.)
• Банах С. Диференціальне та інтегральне числення = Rachunek różniczkowy i całkowy. — 2-е. — М. : Наука, 1966. — 436 с.(рос.)
• Ляшко І.І., Ємельянов В.Ф., Боярчук О.К. Математичний аналіз. Частина 1. — К. : Вища школа, 1992. — 496 с. — ISBN 5-11-003757-4.(укр.)
• Березанський Ю. М., Ус Г. Ф., Шефтель З. Г. Функціональний аналіз : [укр.] = Functional Analysis, Vol. I, Kyiv : Institute of Mathematics, 2010. : [пер. з англ.] : підручник. — Л. : Видавець Чижиков І. Е., 2014. — С. 559. — (Університетська бібліотека). — ISBN 978-966-2645-12-5.
• Заблоцький М., Сторож О., Тарасюк С,. Монотонні послідовністі // Математичний аналіз. — Львів : «Знання», 2008. — С. 47. — ISBN 978-966-346-323-0.

Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її.