Mikhail Tkachenko edited results.tex  over 8 years ago

Commit id: 65f4a332e12e28d8756696e41b5a96255ae4cef7

deletions | additions      

       

Существует $Q\subset X$ такое, что $|Q|\leq\lambda$ и $\sup\{\chi(р,Х): р\in Q\} = \lambda$.   Легко видеть, что множество $M_\lambda=Q$ и есть нужное.    Теорема~3. Пусть $\{Х_\alpha: \alpha\in А\}$ -- каноническая цепь в $Х$ и   $\Phi\in \{с, hс, hd, hL \}$. Тогда:  \begin{enumerate}  \item[а)] если $\Phi(Х_\alpha)<\tau$ для всех $\alpha\in А$, то $\Phi(Х)\leq\tau$;  \item[б)] если $|A|>\tau$ и $\Phi(Х_\alpha)<\tau$ для всех $\alpha\in А$, то   $\Phi(Х)\leq \tau$;  \item[в)] если внешний вес $Х_\alpha$ в $Х$ меньше $\tau$ для всех $\alpha\in А$,   то $w(Х)\leq\tau$; если к тому же $|А|>\tau$, то $w(Х)<\tau$.  \end{enumerate}     Д о к а з а т е л ь с т в о. Пусть $\Phi=hL$ (для других кардинальных  функций доказательство пунктов~(а) и~(б) аналогично). Покажем, что  $|М|\leq\tau$ для любого правого $М\subset Х$, если $|А|\leq\tau$. Положим $М_\alpha=  М\cap Х_\alpha$. Тогда $|М_\alpha|<\tau$ для любого $\alpha\in А$, так как   $hL(Х_\alpha)<\tau$. Однако $М=\bigcup\{М_\alpha: \alpha\in А\}$,   поэтому $|М|\leq\tau$. Пусть $|A|>\tau$. Если   $\sup\{|М|: М -- \mbox{ правое, } М\subset Х\}\geq \tau$, то существует семейство   $\mathcal{P}$, состоящее из правых подпространств в$Х$, такое, что   $|\mathcal{P}|\leq\tau$ и $\sup \{|М|: М\in\mathcal{P}\}=\tau$. Положим   $N=\bigcup\mathcal{P}$. Тогда $|N| =\tau$ и $hL(N)\geq\tau$.   Однако существует $\alpha\in А$, такое, что $N\subset Х_\alpha$; поэтому   $hL(Х_\alpha)\geq\tau$. Противоречие. Итак, $hL(Х)<\tau$.   Тем самым пункты~(а) и~(б) доказаны.   Докажем пункт~(в). Пусть $\gamma_\alpha$ — внешняя база $Х_\alpha$ в $Х$   и $|\gamma_\alpha|<\tau$. Тогда $\gamma=\bigcup\{\gamma_\alpha: \alpha\in А\}$ --   база в $Х$. Если $|А|\leq\tau$, то $|\gamma|\leq\tau$. Если же $|А|>\tau$, то   внешний вес любого $М\subset Х$, удовлетворяющего условию $|М|\leq\tau$, меньше   $\tau$. По теореме~2, $w(X)<\tau$.    П р е д л о ж е н и е~1. Пусть $\{Х_\alpha: \alpha\in А\}$ -- каноническая цепь в  хаусдорфовом пространстве $Х$ и $hL(Х_\alpha)\leq\tau$ для каждого   $\alpha\in А$. Тогда $|Х|\leq ехр(\tau)$.    Доказательство. Как показано в работе [1], $|Y|\leq еxp(hL(Y))$   для любого хаусдорфова пространства$Y$. Поэтому $|Х_\alpha|\leq ехр(\tau)$   для всех $\alpha\in А$. Следовательно, если $|А|\leq\tau^+$, то $|Х|\leq ехр(\tau)$.   Если же $|А|>\tau^+$, то, по пункту~(б) теоремы~3, $hL(Х)\leq\tau$,   а потому $|Х|\leq ехр(\tau)$.