this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: 204afa018483cf5171f5f17de789aba27d423a8c
deletions | additions
diff --git a/results.tex b/results.tex
index f678834..80a2a47 100644
--- a/results.tex
+++ b/results.tex
...
в дальнейшем все представления пространств в виде объединения цепи подпространств
будем считать каноническими.
Лемма~1. Пусть $Х$ -- пространство и $\tau$ -- кардинал, такой, что
$\chi(Х)< \tau$ и $w(Х)\geq\tau$. Тогда существует $М\subset Х$, такое,
что $|М|\leq\tau$ и $w(М)\geq\tau$.
Доказательство. Пусть $\tau$ -- регулярный кардинал. Через $\gamma_х$
oбозначим базу точки $х\in Х$, $|\gamma_х|<\tau$. Точку $х_0\in Х$ выберем произвольно
и положим $М_0=\emptyset$. Пусть определены точка $х_\beta$ и множество $М_\beta$
для всех $\beta<\alpha$, где $\alpha<\tau$, причем $|М_\beta|<\tau$. Положим
$$
A_\alpha =\bigcup \{М_\beta: \beta<\alpha\}\cup \{х_\beta: \beta<\alpha\}
$$
и
$$
\lambda_\alpha = \bigcup\{\gamma_х: х\in А_\alpha\}.
$$