this is for holding javascript data
Mikhail Tkachenko edited results.tex
over 8 years ago
Commit id: 6bc80136b90908291529bdb20f7234e0507c92de
deletions | additions
diff --git a/results.tex b/results.tex
index 9728b27..eee86ea 100644
--- a/results.tex
+++ b/results.tex
...
Определение~1. Мы говорим, что пространство $Х$ представлено в виде
объединения цепи своих подпространств $\{Х_\alpha: \alpha\in А\}$, если
$(А, <)$ -- линейно-упорядоченное множество,
$Х_\аlpha\subset $Х_\alpha\subset Х_\beta$ при
$\аlpha<\beta$ $\alpha<\beta$ и $Х=
\bigcup\{Х_\аlpha: \аlpha\in \bigcup\{Х_\alpha: \alpha\in А\}$.
Определение~2. Цепь $\mathcal{С}=
\{Х_\аlpha: \аlpha\in \{Х_\alpha: \alpha\in В\}$ подпространств
в $Х$ называется канонической, если выполнены условия:
\begin{enumerate}
\item[а)] $(В,<)$ —- множество ординалов, меньших $|В|$;
\item[б)] если
$\аlpha,\beta\in $\alpha,\beta\in B$ и
$\аlpha<\beta$, $\alpha<\beta$, то
$Х_\аlpha\subset $Х_\alpha\subset Х_\beta$
(строгое включение);
\item[в)] $|В|$ — регулярный кардинал;
\item[г)] $Х=
\bigcup\{Х_\аlpha: \bigcup\{Х_\alpha: \аlpha\in В\}$.
\end{enumerate}
Заметим теперь, что если $Х$ представлено в виде объединения цепи
подпространств
$\{Х_\аlpha: \аlpha\in $\{Х_\alpha: \alpha\in А\}$, то существует $В\subset А$,
такое, что
$\{Х_\аlpha: \аlpha\in $\{Х_\alpha: \alpha\in B\}$ -- каноническая цепь в $Х$. Поэтому
в дальнейшем все представления пространств в виде объединения цепи подпространств
будем считать каноническими.
...