9
правок
Изменения
Нет описания правки
Пусть даны МП <tex> (X, \rho), (Y, \rho)</tex>, <tex> K \subset X</tex> - компакт, <tex> f: K \rightarrow Y </tex> - непрерывное отображение. Тогда <tex> f </tex> также и равномерно непрерывное на <tex> K </tex>.
|proof=
Допустим, что это не так. Тогда, по логическому отрицанию: <tex>\exists \varepsilon_0 > 0~ \, \forall \delta > 0~ \exists {x'}_\delta, {x''}_\delta \in K: \rho({x'}_\delta, {x''}_\delta) < \delta ; \rho(f({x'}_\delta), f({x''}_\delta)) \ge \varepsilon_0 ; </tex> Рассмотрим:<tex> \partial_{n}=\frac{1}{n}: {x}'_{n}={x}'_{\partial_{n}}, {x}''_{n}={x}''_{\partial_{n}}</tex> <tex> \rho({x}''_{n},{x}'_{n})< \frac{1}{n}; \rho(f({x}''_{n}),f({x}'_{n}))\geq \varepsilon _{0}</tex>
}}
