Шаблон:Доведення/Теорема Кантора — Гейне

Скористаємося доведенням від супротивного. Нехай $f(x)$ — функція, що відповідає умовам теореми (на компакті $A$), але не рівномірно неперервна на ньому. Тоді існує таке $\varepsilon$, що для всіх $\delta >0$ існують такі $x$ та $y$, відстань між якими менше $\delta$, але відстань між їхніми образами не менше $\varepsilon$:

$\exists \epsilon >0\colon \quad \forall \delta >0\ \exists x_{\delta },y_{\delta }\in A\colon \quad d(x,y)<\delta ,$ але $d(f(x),f(y))\geqslant \varepsilon .$

Візьмемо послідовність $\{\delta _{k}\}$, що сходяться до 0, наприклад, $\left\{{\frac {1}{k}}\right\}$. Побудуємо послідовності $x_{k}$ і $y_{k}$ так, щоб

$d(x_{k},y_{k})<{\frac {1}{k}}$, тоді $d(f(x_{k}),f(y_{k}))>\varepsilon$

$A$ — компакт, тому можна виділити збіжні послідовності:

$x_{k_{j}}\to {\bar {x}}\in A,\quad y_{k_{j}}\to {\bar {y}}\in A.$

Але так як відстань між ними прагне до нуля, по лемі про вкладені відрізки вони прагнуть до однієї точки: ${\bar {x}}={\bar {y}}=\zeta$. І, так як $f$ неперервна $f(x_{k_{j}}\to \zeta ),\quad f(y_{k_{j}}\to \zeta )\Rightarrow d(f(x_{k_{j}}),f(y_{k_{j}}))\to 0$, що суперечить припущенню, що $d(f(x_{k}),f(y_{k}))\geqslant \varepsilon$. Тому, функція, неперервна на компакті, дійсно рівномірно неперервна на ньому.