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

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

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

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

Пусть $a_n$$a_n$  — числовая последовательность (последовательность с элементами из $\mathbb{R}$$\mathbb {R}$ ). $a_n$$a_n$  имеет предел в $\mathbb{R}$$\mathbb {R}$  тогда и только тогда, когда: $\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m,n>N\colon |a_{m}-a_{n}|<\varepsilon$

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

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

Доказательство

Необходимость.

Пусть последовательность $a_n\in <!--\; \in \; -->\mathbb{R}$$a_{n}\in \mathbb {R}$  сходится к $a\in <!--\; \in \; -->\mathbb{R}$$a\in {\mathbb {R}}$ . Запишем определение предела.

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall n>N\colon |a_{n}-a|<{\frac {\varepsilon }{2}}$ 

Фиксируем $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$  и берём соответствующее ему $N$$N$ . Возьмём произвольные $m,n>N$$m,n>N$ . Тогда:

$|a_{n}-a_{m}|\leq |a_{n}-a|+|a-a_{m}|<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2}}<\varepsilon$ 

Достаточность.

Доказательство можно поделить на 3 части. В 1-й части доказывается ограниченность последовательности. Во 2-й при помощи теоремы Больцано-Вейерштрасса из неё выделяется сходящаяся подпоследовательность. В 3-й части доказывается, что предел этой подпоследовательности является пределом всей последовательности.

1. Ограниченность последовательности

Запишем условие Коши.

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall n,m>N\colon |a_{n}-a_{m}|<\varepsilon$ 

Фиксируем $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$  и берём соответствующее ему $N$$N$ . Зафиксируем $m>N$$m>N$ . Тогда получается, что начиная с члена последовательности $N+1$$N+1$  вся последовательность лежит в $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$ -окрестности $a_m$$a_m$ , а значит, она ограничена.

2. Теорема Больцано-Вейерштрасса

По теореме Больцано-Вейерштрасса у ограниченной числовой последовательности $a_n$$a_n$  есть сходящаяся подпоследовательность $a_{n_k}$$a_{n_{k}}$ . Обозначим её предел за $a$$a$ .

3. Предел подпоследовательности есть предел всей последовательности

Запишем условие Коши.

$\forall \varepsilon >0\ \exists N_{1}\in \mathbb {N} \ \forall n,m>N_{1}\colon |a_{n}-a_{m}|<{\frac {\varepsilon }{2}}$ 

Запишем определение предела подпоследовательности.

$\forall \varepsilon >0\ \exists N_{2}\in \mathbb {N} \ \forall k>N_{2}\colon |a_{n_{k}}-a|<{\frac {\varepsilon }{2}}$ 

Фиксируем $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$ . Берём соответствующие $N_1$$N_1$  и $N_2$$N_2$ . Возьмём $n>N_1$$n>N_{1}$  и $k>N_2$$k>N_{2}$  такую, что $n_k>N_1$$n_{k}>N_{1}$ . Тогда

$|a_{n}-a|\leq |a_{n}-a_{n_{k}}|+|a_{n_{k}}-a|<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2}}=\varepsilon$ 

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

Везде далее $\mathbb{R}$$\mathbb {R}$  можно заменить на ${\mathbb{R}}^n$$\mathbb {R} ^{n}$ , $\mathbb{C}$$\mathbb {C}$  или ${\mathbb{C}}^n$$\mathbb{C}^n$ .

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

Пусть определена функция $f:<!--\; :\; -->X\to <!--\; \to \; -->\mathbb{R}$$f\colon X\to \mathbb {R}$ , $\mathfrak{B}$${\mathfrak {B}}$  — база в $X$$X$ .

Предел функции $f$$f$  по базе $\mathfrak{B}$${\mathfrak {B}}$  существует в $\mathbb{R}$$\mathbb {R}$  тогда и только тогда, когда

$\forall \varepsilon >0\ \exists b\in {\mathfrak {B}}\forall x_{1},x_{2}\in b\colon |f(x_{1})-f(x_{2})|<\varepsilon$ 

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

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

Пусть определена функция $f:<!--\; :\; -->[a;b]\to <!--\; \to \; -->\mathbb{R}$$f\colon [a;b]\to \mathbb {R}$ .

Функция $f$$f$  интегрируема по Риману на $[a;b]$$[a;b]$  тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists \delta >0\ \forall (\tau ',\xi '),(\tau '',\xi '')\in T'[a;b],d(\tau ')<\delta ,d(\tau '')<\delta :|\sigma (f,\tau ',\xi ')-\sigma (f,\tau '',\xi '')|<\varepsilon$ 

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

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

Пусть $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{a}_n$$\sum _{{n=1}}^{\infty }a_{n}$  — числовой ряд (ряд с элементами из $\mathbb{R}$$\mathbb {R}$ ).

Ряд $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{a}_n$$\sum _{{n=1}}^{\infty }a_{n}$  сходится в $\mathbb{R}$$\mathbb {R}$  тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m>N\ \forall p\in \mathbb {N} \colon \left|\sum _{i=m}^{m+p}a_{i}\right|<\varepsilon$ 

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

Пусть определена функция $f:<!--\; :\; -->[a;b)\to <!--\; \to \; -->\mathbb{R}$$f\colon [a;b)\to \mathbb {R}$  и в точке $b$$b$  она имеет особенность первого или второго рода.

Несобственный интеграл $\underset{a}{\overset{b}{\int <!--\; \int \; -->}}f(x)dx$$\int \limits _{a}^{b}f(x)\,dx$  сходится тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists \delta \in [a;b)\forall x_{1},x_{2}\in (\delta ;b),x_{1}<x_{2}\colon \left|\int \limits _{x_{1}}^{x_{2}}f(x)\,dx\right|<\varepsilon$ 

Критерий можно сформулировать и для случая если особенность в точке $a$$a$ . Тогда несобственный интеграл $\underset{a}{\overset{b}{\int <!--\; \int \; -->}}f(x)dx$$\int \limits _{a}^{b}f(x)\,dx$  сходится тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists \delta \in (a;b]\forall x_{1},x_{2}\in (a;\delta ),x_{1}<x_{2}\colon \left|\int \limits _{x_{1}}^{x_{2}}f(x)\,dx\right|<\varepsilon$ 

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

Пусть $f_n(x)$$f_{n}(x)$  — функциональная последовательность, $f_n:<!--\; :\; -->X\to <!--\; \to \; -->\mathbb{R}$$f_{n}\colon X\to \mathbb {R}$ .

Последовательность $f_n(x)$$f_{n}(x)$  равномерно сходится по $X$$X$  к некоторой функции $f:<!--\; :\; -->X\to <!--\; \to \; -->\mathbb{R}$$f\colon X\to \mathbb {R}$  тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m,n>N\ \forall x\in X\colon \left|f_{m}(x)-f_{n}(x)\right|<\varepsilon$ 

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

Пусть определена функция $f:<!--\; :\; -->X\times <!--\; \times \; -->Y\to <!--\; \to \; -->\mathbb{R}$$f\colon X\times Y\to \mathbb {R}$ , $\mathfrak{B}$${\mathfrak {B}}$  — база в $X$$X$ .

Функция $f(x,y)$$f(x,y)$  равномерно по $Y$$Y$  сходится к функции $f:<!--\; :\; -->Y\to <!--\; \to \; -->\mathbb{R}$$f\colon Y\to \mathbb {R}$  по базе $\mathfrak{B}$${\mathfrak {B}}$  тогда и только тогда, когда

$\forall \varepsilon >0\ \exists b\in {\mathfrak {B}}\forall x_{1},x_{2}\in b\ \forall y\in Y\colon |f(x_{1},y)-f(x_{2},y)|<\varepsilon$ 

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

Пусть $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{f}_n(x)$$\sum _{n=1}^{\infty }f_{n}(x)$  — функциональный ряд, $f_n:<!--\; :\; -->X\to <!--\; \to \; -->\mathbb{R}$$f_{n}\colon X\to \mathbb {R}$ .

Ряд $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{f}_n(x)$$\sum _{n=1}^{\infty }f_{n}(x)$  равномерно сходится по $X$$X$  к некоторой функции $f:<!--\; :\; -->X\to <!--\; \to \; -->\mathbb{R}$$f\colon X\to \mathbb {R}$  тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m>N\ \forall p\in \mathbb {N} \ \forall x\in X\colon \left|\sum _{i=m}^{m+p}f_{i}(x)\right|<\varepsilon$ 

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

Пусть определена функция $f:<!--\; :\; -->[a;b)\times <!--\; \times \; -->Y\to <!--\; \to \; -->\mathbb{R}$$f\colon [a;b)\times Y\to \mathbb {R}$  и в точке $b$$b$  она имеет особенность первого или второго рода.

Несобственный интеграл с параметром $\underset{a}{\overset{b}{\int <!--\; \int \; -->}}f(x,y)dx$$\int \limits _{a}^{b}f(x,y)\,dx$  равномерно сходится тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists \delta \in [a;b)\forall x_{1},x_{2}\in (\delta ;b),x_{1}<x_{2}\ \forall y\in Y\colon \left|\int \limits _{x_{1}}^{x_{2}}f(x,y)\,dx\right|<\varepsilon$ 

Пусть определена функция $f:<!--\; :\; -->(a;b]\times <!--\; \times \; -->Y\to <!--\; \to \; -->\mathbb{R}$$f\colon (a;b]\times Y\to \mathbb {R}$  и в точке $a$$a$  она имеет особенность первого или второго рода.

Несобственный интеграл с параметром $\underset{a}{\overset{b}{\int <!--\; \int \; -->}}f(x,y)dx$$\int \limits _{a}^{b}f(x,y)\,dx$  равномерно сходится тогда и только тогда, когда:

$\forall \varepsilon >0\ \exists \delta \in (a;b]\ \forall x_{1},x_{2}\in (a;\delta ),x_{1}<x_{2}\ \forall y\in Y\colon \left|\int \limits _{x_{1}}^{x_{2}}f(x,y)\,dx\right|<\varepsilon$ 

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

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

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

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m,n>N\colon |a_{m}-a_{n}|<\varepsilon$ 

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

$0,1;0,101;0,101001;0,1010010001;\dots <!--\; \dots \; -->$$0,1;0,101;0,101001;0,1010010001;\ldots$ 

Очевидно, что она сходится к иррациональному числу $0,101001000100001\dots <!--\; \dots \; -->$$0,101001000100001\ldots$ , а значит, фундаментальна. Но при этом во множестве рациональных чисел у этой последовательности предела нет. Таким образом, критерий Коши утверждает, что в вещественных числах любая фундаментальная последовательность сходится.

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

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

Понятие фундаментальной последовательности можно обобщить для любого метрического пространства. Пусть $(X,\mathrm{\rho <!--\; \rho \; -->})$$(X,\rho)$  — метрическое пространство. Последовательность $a_n$$a_n$  элементов $X$$X$  называется фундаментальной, если для неё выполняется следующее условие:

$\forall \varepsilon >0\ \exists N\in \mathbb {N} \ \forall m,n>N\colon \rho (a_{m},a_{n})<\varepsilon$ 

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

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

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

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

Стоит понимать, что критерий Коши имеет смысл только для метрических пространств. К примеру: последовательность натуральных чисел стремится к $+\mathrm{\infty <!--\; \infty \; -->}$$+\infty$  в $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$ . Однако при этом она не фундаментальна. Так происходит потому, что $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$  не является метрическим пространством, а значит, для него вообще нельзя определить понятие фундаментальной последовательности. Фундаментальность зависит от метрики, а в $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$  метрики нет. Последовательность натуральных чисел не фундаментальна в метрике $\mathbb{R}$$\mathbb {R}$ , однако что-то говорить профундаментальность в $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$  не имеет смысла. Несмотря на это, в топологическом пространстве $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$  можно задать метрику. Ограничение её на $\mathbb{R}$$\mathbb {R}$  конечно не будет совпадать со стандартной метрикой $\mathbb{R}$$\mathbb {R}$ , но при этом в такой метрике последовательность натуральных чисел уже будет фундаментальной. При этом в обычном определении фундаментальности для числовых последовательностей модуль разности будет заменен на формулу той метрики, которая определена на $\stackrel{¯<!--\; ¯\; -->}{R}$${\overline {R}}$ .

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

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

Пусть определена функция $f:<!--\; :\; -->X\to <!--\; \to \; -->Y$$f\colon X\to Y$ , $\mathfrak{B}$${\mathfrak {B}}$  — база в $X$$X$ , $Y$$Y$  — полное метрическое пространство.

Предел функции $f$$f$  по базе $\mathfrak{B}$${\mathfrak {B}}$  существует в $Y$$Y$  тогда и только тогда, когда

$\forall \varepsilon >0\ \exists b\in {\mathfrak {B}}\forall x_{1},x_{2}\in b\colon \rho (f(x_{1}),f(x_{2}))<\varepsilon$ 

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

Доказательство

Пусть задано метрическое пространство $(Y,\mathrm{\rho <!--\; \rho \; -->})$$(Y,\rho )$ 

Необходимость.

Необходимость не требует даже полноты метрического пространства $Y$$Y$ . Пусть функция $f(x):<!--\; :\; -->X\to <!--\; \to \; -->Y$$f(x)\colon X\to Y$  сходится к $a\in <!--\; \in \; -->Y$$a\in Y$ . Запишем определение предела.

$\forall \varepsilon >0\ \exists b\in {\mathfrak {B}}\ \forall x\in B\colon \rho (f(x),a)<{\frac {\varepsilon }{2}}$ 

Фиксируем $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$  и берём соответствующее ему $b$$b$ . Возьмём произвольные $x_1,x_2\in <!--\; \in \; -->b$$x_{1},x_{2}\in b$ . Тогда:

$\rho (f(x_{1}),f(x_{2}))\leq \rho (f(x_{1}),a)+\rho (a,f(x_{2}))<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2}}<\varepsilon$ 

Достаточность.

На этот раз полнота пространства $Y$$Y$  существенна. Доказательство такое же, как и в случае числовой последовательности делится на части. В первой части находится сходящаяся последовательность, а во второй доказывается, что предел этой последовательности есть предел всей функции по базе.

1. Выделение последовательности

1-я часть доказательства основана на аксиоме счётного выбора). Запишем условие Коши.

$\forall \varepsilon >0\ \exists b\in {\mathfrak {B}}\ \forall x_{1},x_{2}\in b\colon \rho (f(x_{1}),f(x_{2}))<\varepsilon$ 

Возьмём произвольное $n\in <!--\; \in \; -->\mathbb{N}$$n\in {\mathbb {N}}$  и зафиксируем его. Возьмём $b_n\in <!--\; \in \; -->\mathfrak{B}$$b_{n}\in {\mathfrak {B}}$ , соответствующее $\mathrm{ϵ<!--\; ϵ\; -->}=\frac{1}{n}$$\epsilon ={\frac {1}{n}}$ . Обозначим за $b_n^{\prime }\subset <!--\; \subset \; -->b_1\cap <!--\; \cap \; -->\dots <!--\; \dots \; -->\cup <!--\; \cup \; -->b_n$$b_{n}'\subset b_{1}\cap \ldots \cup b_{n}$ . В $b_n^{\prime }$$b_{n}'$  выберем произвольную точку $a_n$$a_n$ . Таким образом, для каждого $n$$n$  мы выбрали точку $a_n$$a_n$ .

Рассмотрим $a_n$$a_n$  как последовательность. Начиная с элемента $n$$n$  члены последовательности лежат в $b_n$$b_n$ , то есть $\mathrm{\forall <!--\; \forall \; -->}m>=n:<!--\; :\; -->a_m\in <!--\; \in \; -->b_n$$\forall m>=n\colon a_{m}\in b_{n}$ , а значит, $\forall k,m>=n\colon \rho (f(a_{k}),f(a_{m}))<{\frac {1}{n}}$ . Таким образом, последовательность $f(a_n)$$f(a_{n})$  — фундаментальна, а значит, она сходится.

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

Последовательность $f(a_n)$$f(a_{n})$  — сходится к некоторому элементу $c\in <!--\; \in \; -->Y$$c\in Y$ . Запишем определение предела, взяв $\mathrm{\epsilon <!--\; \epsilon \; -->}=\frac{1}{2n}$$\varepsilon ={\frac {1}{2n}}$ :

$\forall n\in \mathbb {N} \ \exists N\in \mathbb {N} \ \forall m>N\colon \rho (f(a_{m}),c)<{\frac {1}{2n}}$ 

Фиксируем $n\in <!--\; \in \; -->\mathbb{N}$$n\in \mathbb {N}$ . Берём для него соответствующий $N$$N$  и произвольный $m>N$$m>N$  такой, чтобы $m>2n$$m>2n$ . Тогда:

$\rho (f(a_{m}),c)<{\frac {1}{n}}$ 

Берём $b_m$$b_{m}$  так, как он определялся в 1-й части. Тогда, для любого $x\in <!--\; \in \; -->b_m$$x\in b_{m}$ 

$\rho (f(x),f(a_{m}))<{\frac {1}{m}}<{\frac {1}{2n}}$ 

Окончательно получаем:

$\rho (f(x),c)\leq \rho (f(x),f(a_{m}))+\rho (f(a_{m}),c)<{\frac {1}{2n}}+{\frac {1}{2n}}={\frac {1}{n}}$ 

На самом деле доказательство критерия Коши для числовых последовательностей тоже использует аксиому счётного выбора, только неявно. В его доказательстве использована теорема Больцано-Вейерштрасса, которая зависит от аксиомы счётного выбора, а если точнее, то от аксиомы счётного выбора для подмножеств $\mathbb{R}$$\mathbb {R}$ .

ЛитератураПравить

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