Mikhail Tkachenko edited abstract.tex  over 8 years ago

Commit id: ed91343b0746c21106c0e93ee1bdc7c02100ea86

deletions | additions      

       

$$  \chi(р, Х) = \chi(р,S\cup \{р\}) \leq w(S\cup \{р\}) < \lambda  $$  (так как $|S\cup\{p\}\leq\lambda$) для любой точки $р\in Х$. Но $\chi(Х)\geq\lambda$, поэтому $\sup \{\chi(р,Х): р\in Х} Х\}  =\lambda$. Следовательно, существует $Q\subset Х$, такое, что $|Q|\leq\lambda$ и $\sup \{\chi(р,Х): р\in Q\}=\lambda$. Тогда, очевидно, $w(S\cup Q)\geq\lambda$, что противоречит предположению, сделанному в начале доказательства ($|S\cup Q|\leq\lambda$).   Теорема~2. Пусть $Х$ — произвольное пространство. Тогда для любого кардинала   $\lambda w(Х)$ существует $М_\lambda\subset Х$, такое, что $|М_\lambda|\leq \lambda$ и