Изменения
→Окрестность точки в метрическом пространстве
{{Определение
|definition =
Пусть <tex>x \in A</tex>. Тогда <tex>A</tex> {{---}} '''окрестность''' точки <tex>x</tex>, если существует открытый шар <tex>V: x \in V \subset A </tex>. При этом <tex>A \backslash \{x\}</tex> называется '''проколотой окрестностью''' точки <tex>x</tex>.
}}
Тогда утверждается, что <tex> \lim\limits_{x \rightarrow a} z(x) = d </tex>. Если вы дочитали условие до этого места, возьмите с полки пирожок. _о_
|proof=
: <tex>\forall \varepsilon > 0 \, \exists \delta_1 > 0 : 0 < \bar \rho (y, b) < \delta_1 \Rightarrow \bar{\bar \rho}(g / (y), d) < \varepsilon \\
\forall \delta_1 > 0 \, \exists \delta > 0 : 0 < \rho (x, a) < \delta \Rightarrow \bar \rho (f(x), b) < \delta_1 </tex>
:<tex>f(x) \ne b \Rightarrow 0 < \bar \rho (f(x), b) < \delta_1 </tex>, а тогда <tex>y = f(x) </tex>
<tex> \forall x_0\ f(x_0) = \rho(x_0, A) </tex> - непрерывна.
|proof=
<tex> f(x_1) \le \rho(x_1, a) \le \rho(x_2, Aa) + \rho(x_2, x_1) </tex>
По определению нижней грани, <tex>\forall \varepsilon > 0\ \exists a^* \in A: \rho(x, a^*) < \rho(x, A) + \varepsilon</tex>, значит, <tex>f(x_1) \le \rho(x_2, A) + \varepsilon + \rho(x_2, x_1) </tex>.
{{Теорема
|id=
weirstrass
|author=
Вейерштрасс
