1679
правок
Изменения
понятность
Вспомним определение нигде не плотности: <tex>A</tex> нигде не плотно, если <tex>\forall V \exists U \subset V: A \cap U = \emptyset</tex>. Раз <tex>X_{n_0}</tex> '''не''' является нигде не плотным, то <tex>\exists V \forall U \subset V: X_{n_0} \cap U \ne \emptyset</tex>, то есть <tex>X_{n_0}</tex> всюду плотно в каком-то открытом шаре. Теперь возьмем замкнутый шар <tex>\overline V_r(a)</tex>, лежащий в этом открытом шаре, причем такой, что <tex>a \in X_{n_0}</tex>.
Заметим, что множество <tex>X_{n_0}</tex> также всюду плотно в кольце <tex>R = \{z \mid \frac r2 \le \| z - a \| \le r \}</tex>. Сдвинем и множество <tex>X_{n_0}</tex>, и кольцо на <tex>a</tex>, то есть центр кольца окажется в точке <tex>0</tex>. Сдвинутое <tex>X_{n_0}</tex> будет также всюду плотно в сдвинутом кольце. Теперь покажем, что найдется такое множество <tex>X_m</tex>, что пересечение сдвинутого <tex>R</tex> и сдвинутого <tex>X_{n_0}</tex> лежит в <tex>X_m</tex>, то есть <tex>X_m</tex> будет всюду плотно в сдвинутом кольце.
Рассмотрим кольцо: <tex> \{z \mid \frac r2 \le \| z - a \| \le r \} </tex>. Обозначим <tex> y = z - a </tex>, тогда кольцо имеет следующий вид: <tex> \{\frac r2 \le \| y \| \le r \} </tex> {{---}} кольцо с центром в <tex> 0 </tex>.
<tex> \| Ay \| = \frac {\| A(z - a) \|}{\| y \|} \| y \| \le \frac 2r (\| Az \| + \| Aa \|) \| y \| </tex>, так как <tex> \| y \| \ge \frac r2 </tex>.
