this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: a1fe640e8b55a93ecbdeb27f9f49e612abe6bc7e
deletions | additions
diff --git a/results.tex b/results.tex
index cd33637..7f97543 100644
--- a/results.tex
+++ b/results.tex
...
Очевидно, $\lambda\restriction M$ — база пространства $M$. Утверждаем, что
$w(М)\geq\tau$. Предположим обратное, то есть пусть $w(М)<\tau$. Тогда существует
$\mu\subset\lambda$, $|\mu|<\tau$ такое, что $\mu\restriction M$
— -- база в $М$.
Однако существует $\alpha<\tau$ для которого $\mu\subset\lambda_\alpha$. Но
$\lambda_\alpha\restriction (М_\alpha \cup \{х_\alpha\})$ не база для точки
$х_\alpha$ в пространстве $М_\alpha\cup \{х_\alpha\}$, и ввиду того, что
$М_\alpha\cup \{х_\alpha\}\subset М$, система $\lambda_\alpha\restriction M$
тем более не является базой точки $х_\alpha$ в $M$. Противоречие.
Итак, $w(М)\geq\tau$. Пусть теперь $\tau$ -- сингулярный кардинал.
Положим тогда
$$
\mathcal{P} = \{\lambda: \chi(Х)<\lambda<\tau,\
...