Mikhail Tkachenko edited results.tex  over 8 years ago

Commit id: e6fcc827f95c7cdf3a64cc0c7973a67770091b2d

deletions | additions      

       

поэтому $d(Х)\geq\lambda$ (здесь $Х_\alpha =D_\alpha \times \{а_\alpha\}\cong D^\alpha$).    Заметим, что $Х$ -- вполне регулярное пространство. Отметим также   следующее свойство этого пространства: в$Х$ в $Х$  существует каноническая цепь $\{Х_\alpha: \alpha<\lambda\}$, такая, что $Х_\alpha$ -- бикомпакт   и $\pi w(Х_\alpha) \leq\tau$ для каждого $\alpha<\lambda$. Чтобы построить   нужную цепь $\{Х_\alpha: \alpha<\lambda\}$, очевидно, достаточно показать,  

\end{equation}   where $х\in Y$. Через $\pi_\gamma$, где $\gamma\leq \alpha$, обозначим проекцию   $D^\alpha$ на $D_\gamma$. Пусть $\widetilde{\pi}_\gamma$ -- продолжение отображения   $\pi_\gamma$ на пространство$Y$, пространство $Y$,  $\widetilde{\pi}_\gamma \colon Y\to D_\gamma$. Пусть $f$ -- диагональное произведение отображений   $$  \{\widetilde{\pi}_\gamma: \gamma\leq\alpha\}\, \mbox{ и }\,