this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: 00fd1807f2808746464434c69b8bafb1339fe024
deletions | additions
diff --git a/results.tex b/results.tex
index 80a2a47..503afa8 100644
--- a/results.tex
+++ b/results.tex
...
$$
\lambda_\alpha = \bigcup\{\gamma_х: х\in А_\alpha\}.
$$
Очевидно, $|А_\alpha| < \tau$ и поэтому $\lambda_\alpha|< \tau$. Отсюда следует,
что найдутся точка $х_\alpha\in Х$ и ее открытая окрестность $V(х_\alpha)$, такие, что
$$
О \cap (Х\setminus V(х_\alpha))\neq \emptyset
$$
для всех $O\in\lambda(х_\alpha)$. [Пусть $\theta$ -- система множеств в $Х$ и $х\in Х$.
Через $\theta(х)$ обозначим подсистему $\{V\in\theta: х\in V\}$ системы $\theta$.]
Для каждого $O\in \lambda_\alpha(х_\alpha)$ из множества $O\cap (Х\setminus V(х_\alpha))$
выберем точку. Полученное множество обозначим через $М$. Очевидно,
$|M_\alpha| < \tau$. Заметим, что $х_\alpha\notin cl_X M_\alpha$ и
$O\cap М_\alpha\neq \emptyset$ для всех $O\in \lambda_\alpha(х_\alpha)$,
поэтому $\lambda_\alpha\restriction (М_\alpha\cup \{х_\alpha\})$ не является
базой точки $х_\alpha$ в пространстве $М_\alpha \cup \{х_\alpha\}$.
[Если $\theta$ —- система множеств в $Х$ и $А\subset Х$, то через
$\theta\restriction А$ обозначим систему $\{V\cap А: V\in\theta\}$.]