Abstract

О ПОВЕДЕНИИ КАРДИНАЛЬНЫХ ИНВАРИАНТОВ ПРИ ВЗЯТИИ ОБЪЕДИНЕНИЯ ЦЕПИ ПРОСТРАНСТВ

М.Г. Ткаченко

Поступила в редакцию 16.11 1976 г.

Кафедра высшей геометрии и топологии

Пусть \(\{Х_\alpha: \alpha\in А\}\) – каноническая цепь в \(Х\) и \(\Phi(Х_\alpha)<\tau\) для каждого \(\alpha\in А\), где \(\Phi\) – кардинальная функция, определенная на классе топологических пространств. Что тогда можно сказать о значении \(\Phi(Х)\)? Этот вопрос рассматривается в статье.

Через \(w(Х)\), \(nw(Х)\) и \(\pi w(Х)\) обозначены вес, сетевой вес и \(\pi\)-вес пространства \(Х\) соответственно; \(d(Х)\) и \(L(Х)\) – плотность и число Линделефа пространства \(Х\). Через \(t(Х)\), \(ш(Х)\), \(с(Х)\), \(\chi(Х)\) и \(\psi(Х)\) мы обозначаем тесноту, число Шанина, число Суслина, характер и псевдохарактер \(Х\), соответственно.

Пусть \(\Phi\) – какая-то кардинальная функция. Положим по определению \[h\Phi(Х) = \sup\{\Phi(М): М\subset Х\}.\] Кардиналы отождествляем с соответствующими ординалами. Через \(|А|\) обозначаем мощность множества \(А\). Напомним, что пространство \(М\) называется правым (левым), если существует вполне-упорядочение \(<\) на \(М\), такое, это множество \(\{у\in М: у\leq х\}\) (\(\{у\in М: х\leq у\}\)) открыто в \(М\) для каждого \(х\in М\).

В работе [1] показано, что \[hd(Х) = \sup\{|М|: М\subset Х,\ М \mbox{ левое}\}\] и \[hL(Х) = \sup \{|М| : М\subset Х,\ М \mbox{ правое}\}.\]

Следовательно, если \(hd(Х) =\tau\) (или \(hL(Х) =\tau\)), то для каждого \(\lambda<\tau\) найдется левое (правое) \(М\subset Х\), такое, что \(|М|=\lambda\). Это замечание будем использовать в дальнейшем.

Определение 1. Мы говорим, что пространство \(Х\) представлено в виде объединения цепи своих подпространств \(\{Х_\alpha: \alpha\in А\}\), если \((А, <)\) – линейно-упорядоченное множество, \(Х_\alpha\subset Х_\beta\) при \(\alpha<\beta\) и \(Х= \bigcup\{Х_\alpha: \alpha\in А\}\).

Определение 2. Цепь \(\mathcal{С}= \{Х_\alpha: \alpha\in В\}\) подпространств в \(Х\) называется канонической, если выполнены условия:

  1. \((В,<)\) – множество ординалов, меньших \(|В|\);

  2. если \(\alpha,\beta\in B\) и \(\alpha<\beta\), то \(Х_\alpha\subset Х_\beta\) (строгое включение);

  3. \(|В|\) – регулярный кардинал;

  4. \(Х= \bigcup\{Х_\alpha: \alpha\in В\}\).

Заметим теперь, что если \(Х\) представлено в виде объединения цепи подпространств \(\{Х_\alpha: \alpha\in А\}\), то существует \(В\subset А\), такое, что \(\{Х_\alpha: \alpha\in B\}\) – каноническая цепь в \(Х\). Поэтому в дальнейшем все представления пространств в виде объединения цепи подпространств будем считать каноническими.

Лемма 1. Пусть \(Х\) – пространство и \(\tau\) – кардинал, такой, что \(\chi(Х)< \tau\) и \(w(Х)\geq\tau\). Тогда существует \(М\subset Х\), такое, что \(|М|\leq\tau\) и \(w(М)\geq\tau\).

Доказательство. Пусть \(\tau\) – регулярный кардинал. Через \(\gamma_х\) oбозначим базу точки \(х\in Х\), \(|\gamma_х|<\tau\). Точку \(х_0\in Х\) выберем произвольно и положим \(М_0=\emptyset\). Пусть определены точка \(х_\beta\) и множество \(М_\beta\) для всех \(\beta<\alpha\), где \(\alpha<\tau\), причем \(|М_\beta|<\tau\). Положим \[A_\alpha =\bigcup \{М_\beta: \beta<\alpha\}\cup \{х_\beta: \beta<\alpha\}\] и \[\lambda_\alpha = \bigcup\{\gamma_х: х\in А_\alpha\}.\] Очевидно, \(|А_\alpha| < \tau\) и поэтому \(\lambda_\alpha|< \tau\). Отсюда следует, что найдутся точка \(х_\alpha\in Х\) и ее открытая окрестность \(V(х_\alpha)\), такие, что \[О \cap (Х\setminus V(х_\alpha))\neq \emptyset\] для всех \(O\in\lambda(х_\alpha)\). [Пусть \(\theta\) – система множеств в \(Х\) и \(х\in Х\). Через \(\theta(х)\) обозначим подсистему \(\{V\in\theta: х\in V\}\) системы \(\theta\).] Для каждого \(O\in \lambda_\alpha(х_\alpha)\) из множества \(O\cap (Х\setminus V(х_\alpha))\) выберем точку. Полученное множество обозначим через \(М\). Очевидно, \(|M_\alpha| < \tau\). Заметим, что \(х_\alpha\notin cl_X M_\alpha\) и \(O\cap М_\alpha\neq \emptyset\) для всех \(O\in \lambda_\alpha(х_\alpha)\), поэтому \(\lambda_\alpha\restriction (М_\alpha\cup \{х_\alpha\})\) не является базой точки \(х_\alpha\) в пространстве \(М_\alpha \cup \{х_\alpha\}\). [Если \(\theta\) —- система множеств в \(Х\) и \(А\subset Х\), то через \(\theta\restriction А\) обозначим систему \(\{V\cap А: V\in\theta\}\).]

Итак, пусть множества \(\{М_\alpha: \alpha< \tau\}\) и \(\{х_\alpha: \alpha< \tau\}\) построены. Положим \[М= \bigcup \{М_\alpha: \alpha< \tau\} \cup \{х_\alpha: \alpha<\tau\}\] и \[\lambda= \bigcup \{\gamma_х: х\in М\}.\]

Очевидно, \(\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\})\)