Mikhail Tkachenko edited results.tex  over 8 years ago

Commit id: 09dcd2d2e995e919601e4d59a6b3f733918e96df

deletions | additions      

       

Если же $|А|>\tau^+$, то, по пункту~(б) теоремы~3, $hL(Х)\leq\tau$,   а потому $|Х|\leq ехр(\tau)$.  Предложение~2. Для любого $Х$, $w(Х)\leq |Х|^{d(Х)}$.  Доказательство. Пусть $\mathcal{F}$ -- система всех замкнутых множеств   в $Х$. Через $S_F$ обозначим всюду плотное множество в$F\in\mathcal{F}$,   причем $|S_F|\leq hd(Х)$. Таким образом, мы получим инъекцию из   $\mathcal{F}$ в  $$   Ехр_{\tau}(Х) = \{М\subset Х: |М|\leq \tau\}.   $$  Поэтому $|\mathcal{F}|\leq |Х|^\tau$ и, тем более, $w(Х)\leq |Х|^\tau$.    Теорема~4. Пусть $\{Х_\alpha: \alpha\in А\}$ -- каноническая цепь в хаусдорфовом  пространстве$Х$, причем $hL(Х_\alpha)\leq\tau$ и $hd(Х_\alpha)<\tau$   для всех $\alpha\in А$. Тогда $w(Х)\leq ехр(\tau)$.  Доказательство. По теореме~3, пункт (а),$hd(Х)\leq\tau$. Из предложения~1   вытекает$|Х|\leq ехр(\tau)$. Предложение~2 дает  $$   w(Х)\leq |Х|^\tau \leq (ехр(\tau))^\tau = ехр(\tau).   $$