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

Критерий Коши — критерий существования предела. Условие критерия Коши похоже на определение предела, но в отличие от определения критерий в своём условии нигде не использует конкретное значение предела. Это позволяет доказывать существование предела, не зная ничего о его конкретном значении. Существует много различных формулировок критерия Коши для различных объектов анализа: последовательностей, рядов, интегралов, функций и так далее.

Критерий Коши существования предела числовой последовательности

править

Для самого простого случая числовой последовательности критерий Коши формулируется так.

Пусть   — числовая последовательность (последовательность с элементами из  ).

  имеет предел в   тогда и только тогда, когда:

 [1]

Условие, накладываемое на последовательность в критерии Коши, называется условием Коши. На первый взгляд критерий Коши не сильно проще определения предела, однако это совсем не так. Определение предела формулируется для уже известного значения предела. Чтобы доказать существование предела через определение, нужно заранее знать, чему этот предел будет равен. Опровержение же условия в определении предела будет обозначать лишь то, что конкретно это рассмотренное нами значение не является пределом, но совершенно ничего не будет говорить о том, является ли какое-то другое значение пределом или нет. Для доказательства несуществования предела нужно будет проверить все возможные значения пределов. Критерий Коши же имеет похожее условие но без использования значения предела последовательности, что позволяет его использовать без знания какой-либо информации о возможном значении предела.

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

Формулировки критерия Коши для различных объектов анализа

править

Везде далее   можно заменить на  ,   или  .

Критерий Коши существования предела функции

править

Пусть определена функция  ,  база в  .

Предел функции   по базе   существует в   тогда и только тогда, когда

 [2]

Все критерии Коши для вещественных чисел являются так или иначе частным случаем критерия Коши для функции.

Критерий Коши интегрируемости функции по Риману

править

Пусть определена функция  .

Функция   интегрируема по Риману на   тогда и только тогда, когда:

 [3]

Критерий практически без изменений переносится и на кратные интегралы (промежуток заменяется на измеримое по Жордану множество).

Критерий Коши сходимости числового ряда

править

Пусть   — числовой ряд (ряд с элементами из  ).

Ряд   сходится в   тогда и только тогда, когда:

 [4]

Критерий Коши сходимости несобственного интеграла

править

Пусть определена функция   и в точке   она имеет особенность первого или второго рода.

Несобственный интеграл   сходится тогда и только тогда, когда:

 [5]

Критерий можно сформулировать и для случая если особенность в точке  . Тогда несобственный интеграл   сходится тогда и только тогда, когда:

 

Критерий Коши равномерной сходимости функциональной последовательности

править

Пусть   — функциональная последовательность,  .

Последовательность   равномерно сходится по   к некоторой функции   тогда и только тогда, когда:

 [6]

Критерий Коши равномерной сходимости семейства функций

править

Пусть определена функция  ,  база в  .

Функция   равномерно по   сходится к функции   по базе   тогда и только тогда, когда

 [7]

Критерий Коши равномерной сходимости функционального ряда

править

Пусть   — функциональный ряд,  .

Ряд   равномерно сходится по   к некоторой функции   тогда и только тогда, когда:

 [6]

Критерий Коши равномерной сходимости несобственного интеграла с параметром

править

Пусть определена функция   и в точке   она имеет особенность первого или второго рода.

Несобственный интеграл с параметром   равномерно сходится тогда и только тогда, когда:

 [8]

Пусть определена функция   и в точке   она имеет особенность первого или второго рода.

Несобственный интеграл с параметром   равномерно сходится тогда и только тогда, когда:

 

Критерий Коши и определение действительных чисел по Кантору

править

Как уже было сказано ранее, на рациональные числа критерий Коши не переносится. Можно сказать даже большее: выполнение критерия Коши и есть то самое свойство, что отличает действительные числа от рациональных. Это следует понимать в том смысле, что добавление к рациональным числам новых элементов так, чтобы выполнялся критерий Коши, выдаст множество вещественных чисел. На этом факте строится определение Кантора вещественных чисел.

Из вышесказанного следует, что на любое множество, на котором можно рассмотреть такое условие, критерий Коши не переносится. Пусть   — некоторое числовое множество. Последовательность элементов этого множества  , удовлетворяющая условию Коши, называется фундаментальной (или последовательностью Коши). То есть, фундаментальная последовательность — это последовательность, для которой выполняется следующее условие:

 

Любая сходящаяся в   последовательность элементов   является фундаментальной. Но при этом, не любая фундаментальная последовательность из элементов   сходится в  . Примером такой ситуации является множество  . Рассмотрим следующую последовательность из рациональных чисел:

 

Очевидно, что она сходится к иррациональному числу  , а значит, фундаментальна. Но при этом во множестве рациональных чисел у этой последовательности предела нет. Таким образом, критерий Коши утверждает, что в вещественных числах любая фундаментальная последовательность сходится.

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

Критерий Коши в метрическом пространстве

править

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

 

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

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

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

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

Стоит понимать, что критерий Коши имеет смысл только для метрических пространств. К примеру: последовательность натуральных чисел стремится к   в  . Однако при этом она не фундаментальна. Так происходит потому, что   не является метрическим пространством, а значит, для него вообще нельзя определить понятие фундаментальной последовательности. Фундаментальность зависит от метрики, а в   метрики нет. Последовательность натуральных чисел не фундаментальна в метрике  , однако что-то говорить профундаментальность в   не имеет смысла. Несмотря на это, в топологическом пространстве   можно задать метрику. Ограничение её на   конечно не будет совпадать со стандартной метрикой  , но при этом в такой метрике последовательность натуральных чисел уже будет фундаментальной. При этом в обычном определении фундаментальности для числовых последовательностей модуль разности будет заменен на формулу той метрики, которая определена на  .

Критерий Коши существования предела функции, со значениями в полном метрическом пространстве

править

Наиболее общий критерий Коши можно сформулировать для функций, со значениями в полном метрическом пространстве. Все остальные критерии являются частным случаем этого.

Пусть определена функция  ,   — база в  ,   — полное метрическое пространство.

Предел функции   по базе   существует в   тогда и только тогда, когда

 

Этот критерий не следует тривиально из определения полноты. Для произвольного метрического пространства функция, удовлетворяющая этому условию, не обязана сходиться к элементу в нём, однако она будет сходиться к элементу в некотором его пополнении.

Примечания

править

Литература

править
  • Архипов Г. И., Садовничий В. А., Чубариков В.Н. Лекции по математическому анализу / Под ред. В. А. Садовничего. — 1-е изд. — М.: Высшая школа, 1999. — 695 с. — ISBN 5-06-003596-4.
  • Кудрявцев Л. Д. Курс математического анализа. В 3-х томах. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной.. — М.: Дрофа, 2003. — 704 с.