Mikhail Tkachenko edited abstract.tex  over 8 years ago

Commit id: 96523128182761788e544b4d68b973c323a1792f

deletions | additions      

       

пространстве $М_\alpha\cup \{х_\alpha\}$, и ввиду того, что $М_\alpha\cup \{х_\alpha\}\subset М$, система $\lambda_\alpha\restriction М$ тем более не является базой точки $х_\alpha$ в $М$. Противоречие.    Итак, $w(М)\geq\tau$. Пусть теперь $\tau$ — сингулярный кардинал. Положим   тогда $\mathcal{P} = \{\lambda: \chi(Х)<\lambda<\tau, \chi(Х)<\lambda<\tau,\  \lambda — \mbox{ регулярный кардинал}\}$. Очевидно, $\mathcal{P}\neq\emptyset$ и $|\mathcal{P}|\leq\tau$. Для каждого $\lambda\in\mathcal{P}$ существует $М_\lambda\subset X$, такое, что $|М_\lambda|\leq\lambda$ и $w (М_\lambda)\geq\lambda$. Положим $М=\bigcup\{М_\lambda: \lambda\in\mathcal{P}\}$. Очевидно, $|М|\leq\tau$ и $w(М)\geq\tau$. Лемма доказана.   Теорема 1. Пусть $Х$ -- регулярное пространство. Тогда для каждого $\lambda\leq w(Х)$ существует $М_\lambda\subset Х$, такое, что $|М_\lambda|\leq\lambda$ и $w(М_\lambda)\geq\lambda$.