403
правки
Изменения
м
Нет описания правки
<tex>\rho(\overline x, \overline y) = \sum\limits_{n=1}^{\infty} {1 \over 2^n} {|x_n - y_n| \over 1 + |x_n - y_n|}</tex>, где <tex>{|x_n - y_n| \over 1 + |x_n - y_n|} \le 1</tex>, также <tex>\forall \varepsilon > 0 \exists n_0: \sum\limits_{n = n_0 + 1}^{\infty} {1 \over 2^n} < \varepsilon</tex>. Таким образом, для каждого <tex>\varepsilon</tex> можно выбрать номер координаты <tex>n_0</tex>, такой, что все координаты с большими <tex>n_0</tex> номерами суммарно влияют на метрику не больше, чем на <tex>\varepsilon</tex>.
Расмотрим <tex>\Pi_{n_0} = [a_1, b_1] \times \dots \times [a_na_{n_0}, b_nb_{n_0}] \subset R^{n_0}</tex> — для него можно составить конечную <tex>\varepsilon</tex>-сеть <tex>A</tex> (понятно, что по каждой координате это сделать легко, а дальше возьмем декартово произведение). Сделаем сеть <tex>A'</tex> для <tex>\Pi</tex> следующим образом: к каждой <tex>n_0</tex>-мерной точке из <tex>A</tex> допишем произвольные координаты <tex>x_{n_0 + 1}, x_{n_0 + 2} \dots</tex>.
* По выбору <tex>\varepsilon</tex>: <tex>\forall x' \in \Pi\ \exists x \in \Pi_{n_0}: \rho (x', x) < \varepsilon</tex>.
* По определению <tex>\varepsilon</tex>-сети для <tex>A</tex>: <tex>\forall \varepsilon > 0\ \forall x \in \Pi_{n_0} \exists a \in A: \rho(x, a) < \varepsilon</tex>.
