Изменения
→Некоторые непрерывные отображения
<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, A) + \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>.
