Последовательность Коши

Последовательность Коши — это последовательность элементов метрического пространства, в которой элементы с ростом номера становятся сколь угодно близкими друг к другу. Понятие названо в честь французского математика Огюстена Луи Коши и является фундаментальным в математическом анализе, топологии и теории метрических пространств. Последовательности Коши играют ключевую роль в определении полноты пространства: пространство называется полным, если в нём любая последовательность Коши сходится к некоторому элементу этого пространства.

Определение

Формально, пусть \((X, d)\) — метрическое пространство. Последовательность \(\{x_n\}_{n=1}^\infty\) элементов из \(X\) называется последовательностью Коши (или фундаментальной последовательностью), если для любого положительного числа \(\varepsilon > 0\) существует такой номер \(N \in \mathbb{N}\), что для всех натуральных чисел \(m, n > N\) выполняется неравенство:

\[ d(x_m, x_n) < \varepsilon. \]

Иными словами, начиная с некоторого номера, все члены последовательности находятся друг от друга на расстоянии, не превышающем заданную сколь угодно малую величину.

Свойства определения

• Определение не требует существования предела последовательности; оно лишь утверждает, что члены последовательности сближаются друг с другом.
• В определении используется произвольная пара индексов \(m\) и \(n\), а не только соседние члены. Это отличает последовательность Коши от последовательности, у которой расстояние между соседними членами стремится к нулю (например, \(x_n = \sqrt{n}\) не является последовательностью Коши, хотя \(x_{n+1} - x_n \to 0\)).
• Последовательность Коши ограничена: существует такое число \(M > 0\), что для всех \(n\) выполняется \(d(x_n, x_0) < M\) для некоторого фиксированного \(x_0\).

Связь со сходимостью

В любом метрическом пространстве сходящаяся последовательность является последовательностью Коши. Обратное утверждение, вообще говоря, неверно: существуют метрические пространства, в которых не каждая последовательность Коши сходится. Пространства, в которых любая последовательность Коши имеет предел, называются полными.

Примеры

• В пространстве действительных чисел \(\mathbb{R}\) с обычной метрикой всякая последовательность Коши сходится. Это свойство эквивалентно аксиоме полноты действительных чисел (принципу вложенных отрезков или существованию точной верхней грани).
• В пространстве рациональных чисел \(\mathbb{Q}\) с той же метрикой последовательность десятичных приближений числа \(\sqrt{2}\) (например, 1; 1,4; 1,41; 1,414; ...) является последовательностью Коши, но не сходится к рациональному числу. Таким образом, \(\mathbb{Q}\) не является полным метрическим пространством.
• В пространстве непрерывных функций на отрезке \([0,1]\) с равномерной метрикой последовательность Коши сходится к непрерывной функции (полнота по Бэру). Однако в пространстве интегрируемых по Риману функций с интегральной метрикой последовательность Коши может сходиться к разрывной функции, что привело к созданию интеграла Лебега.

Критерий Коши

Для числовых последовательностей (действительных или комплексных чисел) справедлив критерий Коши сходимости: последовательность сходится тогда и только тогда, когда она является последовательностью Коши. Этот критерий является прямым следствием полноты пространства \(\mathbb{R}\) (или \(\mathbb{C}\)). Он позволяет устанавливать сходимость последовательности без знания её предела, что часто бывает удобнее.

Формулировка для числовых рядов

Для рядов критерий Коши формулируется следующим образом: ряд \(\sum_{k=1}^\infty a_k\) сходится тогда и только тогда, когда для любого \(\varepsilon > 0\) существует такой номер \(N\), что для всех \(n > m > N\) выполняется неравенство:

\[ \left| \sum_{k=m+1}^n a_k \right| < \varepsilon. \]

Это условие эквивалентно тому, что последовательность частичных сумм ряда является последовательностью Коши.

Полнота и пополнение

Понятие последовательности Коши лежит в основе процедуры пополнения метрического пространства. Для любого метрического пространства \(X\) существует полное метрическое пространство \(\tilde{X}\), называемое его пополнением, такое, что \(X\) изометрично плотному подмножеству \(\tilde{X}\). Пополнение строится как множество классов эквивалентности последовательностей Коши из \(X\) (две последовательности считаются эквивалентными, если расстояние между их соответствующими членами стремится к нулю). Например, действительные числа \(\mathbb{R}\) являются пополнением рациональных чисел \(\mathbb{Q}\).

Примеры полных и неполных пространств

Применение в анализе

Последовательности Коши широко используются в различных разделах математики:

• Функциональный анализ: понятие полноты является основой для теории банаховых и гильбертовых пространств. Теорема о сжимающих отображениях (принцип сжимающих отображений) требует полноты метрического пространства.
• Дифференциальные уравнения: доказательство существования и единственности решения задачи Коши для обыкновенных дифференциальных уравнений часто опирается на метод последовательных приближений, который использует последовательности Коши.
• Теория меры и интеграла: построение интеграла Лебега включает пополнение пространства простых функций по метрике сходимости по мере.
• Теория чисел: p-адические числа строятся как пополнение рациональных чисел относительно p-адической метрики, где последовательности Коши играют центральную роль.

История

Понятие последовательности Коши впервые было явно сформулировано Огюстеном Луи Коши в его учебнике «Cours d’analyse» (1821 год) для случая действительных чисел. Коши использовал это понятие для доказательства сходимости рядов и функций, не прибегая к нахождению предела. Впоследствии, в конце XIX века, с развитием общей топологии и теории метрических пространств (работы Мориса Фреше, Феликса Хаусдорфа), понятие было обобщено на произвольные метрические пространства. В 1906 году Фреше ввёл термин «фундаментальная последовательность», который до сих пор используется как синоним «последовательности Коши».

Интересные факты

• В полных метрических пространствах последовательность Коши может быть охарактеризована как последовательность, имеющая предел. Это свойство часто используется в доказательствах, где требуется установить сходимость, не зная предела.
• В нормированных пространствах последовательность Коши можно определить через норму: \(\|x_m - x_n\| \to 0\) при \(m,n \to \infty\).
• Понятие последовательности Коши естественным образом обобщается на равномерные пространства, где вместо метрики используется система окружений.
• В неархимедовом анализе (например, в p-адических числах) последовательности Коши ведут себя иначе, чем в действительном анализе: например, ряд \(\sum_{n=0}^\infty p^n\) сходится в p-адических числах, хотя в действительных числах расходится.

Источники

• Коши, О. Л. «Курс анализа» (Cours d’analyse), 1821.
• Фреше, М. «Обобщение некоторых понятий математического анализа» (Sur quelques points du calcul fonctionnel), 1906.
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа», 1976.
• Рудин У. «Основы математического анализа», 1976.
• Кудрявцев Л. Д. «Курс математического анализа», 1981.