Mikhail Tkachenko edited results.tex  over 8 years ago

Commit id: e0f9987c362722a964bd85968f723ba7d1fed20a

deletions | additions      

       

$М_\alpha\cup \{х_\alpha\}\subset М$, система $\lambda_\alpha\restriction M$   тем более не является базой точки $х_\alpha$ в $M$. Противоречие.   Итак, $w(М)\geq\tau$. Пусть теперь $\tau$ -- сингулярный кардинал.   Положим тогда   $$  \mathcal{P} = \{\lambda: \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$. Лемма доказана.