this is for holding javascript data
Mikhail Tkachenko edited abstract.tex
over 8 years ago
Commit id: 23156335f97b99c110cad5447210b6702e2eeb8a
deletions | additions
diff --git a/abstract.tex b/abstract.tex
index 614023f..030c2a3 100644
--- a/abstract.tex
+++ b/abstract.tex
...
$$
О \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 \overline{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\}$.]
Итак, пусть множества $\{М_\alpha: \alpha< \tau\}$ и $\{х_\alpha: \alpha< \tau\}$ построены. Положим
$$
М= \bigcup \{М_\alpha: \alpha< \tau\} \cup \{х_\alpha:
\alpha<\tau},\hskip \alpha<\tau\},\hskip 5pt
\lambda= \bigcup \{\gamma_х: х\in
М}. М\}.
$$
Очевидно, $\lambda\restriction М$ — база пространства $М$. Утверждаем, что
...