this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: 19003842ee7fd574f487ac1f98d277a1b759c63b
deletions | additions
diff --git a/results.tex b/results.tex
index 48d7094..5bce8ea 100644
--- a/results.tex
+++ b/results.tex
...
О_\rho& \text{если $х\neq х_\rho$,}
\end{cases}
\end{equation}
where $х\in Y$. Через $\pi_\gamma$, где $\gamma\leq \alpha$, обозначим проекцию
$D^\alpha$ на $D_\gamma$. Пусть $\widetilde{\pi}_\gamma$ -- продолжение отображения
$\pi_\gamma$ на пространство$Y$, $\widetilde{\pi}_\gamma \colon Y\to D_\gamma$.
Пусть $f$ -- диагональное произведение отображений
$$
\{\widetilde{\pi}_\gamma: \gamma\leq\alpha\} \mbox{ и }
\{f_\rho: \alpha<\rho\leq\beta\},\ f\colon Y\to \prod \{D_\rho: \rho\leq\beta\}.
$$
Легко видеть, что бикомпакт $Х= f(Y)\times \{а_\beta\}$ и ординал $\beta$ таковы, что
$$
\pi w(X)\leq\tau \mbox{ и } D^\alpha\times \{а_\alpha\}\subset
Х\subset D^\beta\times \{a_\beta\}.
$$
Достаточно лишь заметить, что $f$ -- гомеоморфизм между $Y$ и $f(Y)$, так
как система отображений $\{\widetilde{\pi}_\gamma: \gamma\leq\alpha\}\cup \{f_\rho:
\alpha < \rho\leq\beta\}$ разделяет точки в $Y$.
Теорема~6. Пусть $Х$ -- бикомпакт. Тогда для любого $\tau\leq w(Х)$
существует $М_\tau\subset Х$, такое, что $|(М_\tau|=nw(M_\tau)=\tau$.