Mikhail Tkachenko edited results.tex  over 8 years ago

Commit id: 4778bd91d3ac89613bfd649322cd03a0c167e71e

deletions | additions      

       

все следует из леммы~1. Пусть $\chi(Х)\geq\lambda$. Можно считать, что   $\chi(р,Х)<\lambda$, для любой $р\in Х$. Тогда $\sup\{\chi(р,Х): р\in Х\}= \lambda$.   Существует $Q\subset X$ такое, что $|Q|\leq\lambda$ и $\sup\{\chi(р,Х): р\in Q\} = \lambda$.   Легко видеть, что множество $Q$ $M_\lambda=Q$  и есть нужное.