On homotopically dense subspaces of the space of complete linked systems

Введение

Хорошо известно, что многие замечательные топологические пространства возможно охарактеризовать с помощью краткого перечня их топологических свойств [1$–$9]. С начала 70-х годов прошлого века и по настоящее время были доказаны многие знаменитые теоремы о характеристиках многообразий гильбертова пространства и многообразий куба Гильберта. По сути методы доказательства были основаны на полноте рассматриваемых пространств. Доказательства некоторых теорем были реализованы различными методами в работах М. Бествины, Дж. Могильски, Дж. Уэста, Андерсона, Бессаги и Пельчинского [5], они кристаллизовали понятие поглощающего множества в многообразии гильбертова пространства. В недавних исследованиях также отмечается возросший интерес к теории кардинальных инвариантов и их поведению при различных ковариантных функторах.

В данной статье рассматриваются топологические и геометрические свойства множества сцепленных систем $\xi$ и свойства его подпространств, являющихся гомотопически плотными. Введены определения, доказан ряд утверждений и сформулированы результаты в виде теорем для гомотопически плотного множества компакта и условия определения многообразия для конечномерного множества, не содержащего гильбертов куб.

1 Постановка задачи и вводные определения

Пусть $X$ $–$ топологическое пространство. Рассмотрим систему $\xi \mathrm{<mo>=</mo><mo>\{</mo>}{F}_{\alpha }\mathrm{<mo>:</mo>}{F}_{\alpha }\subseteq X\mathrm{,}\overline{F_{\alpha }}\mathrm{<mo>=</mo>}{F}_{\alpha }\mathrm{,}\alpha \in A\mathrm{<mo>\}</mo>}$ замкнутых подмножеств пространства.

Будем использовать ряд предварительных вводных определений, которые представим ниже.

Система $\xi$ называется сцепленной, если любые два ее элемента имеют непустое пересечение.

Сцепленная система $\xi$ замкнутых подмножеств пространства $X$ называется максимальной, если она обладает следующим свойством:

Если замкнутое множество $A\subset X$ пересекается с каждым элементом из $\xi$, то $A\in \xi$ [1].  (*)

Сцепленную систему $\xi$ замкнутых подмножеств назовем полной [3], если для всякого замкнутого множества верно следующее условие:

Любая окрестность $OF$ множества $F$ содержит множество $\Phi \in \xi$ [3].   (**)

Заметим, что для всякой сцепленной системы $\xi$ существует наименьшая полная сцепленная система (коротко, п.с.с.) ${\xi }_f$, содержащая $\xi$. Систему ${\xi }_f$, которую будем называть пополнением $\xi$, которая может быть построена путем присоединения к $\xi$ всех замкнутых подмножеств $F\in X$, удовлетворяющих условию (**).

Пусть $\xi$ $–$ максимальная сцепленная система (м.с.с.) замкнутых подмножеств $X$. Подсистему ${\xi }^{\prime }\subset \xi$ назовем базой $\xi$, если для любого $F\in \xi$ существует такое $\Phi \in {\xi }^{\prime }$, что $\Phi \subset F$.

Нетрудно показать, что система ${\xi }_H$ наименьших (по включению) элементов м.с.с. $\xi$ является наименьшей базой $\xi$. Носителем м.с.с. $\xi$ будем называть множество $H\left(\xi \right)=\text{∪}{\xi }_H$.

Напомним, что суперрасширением топологического пространства $X$ называется множество $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, состоящее из всех максимальных сцепленных систем замкнутых подмножеств пространства $X$, а множество всех полных сцепленных систем (п.с.с.) замкнутых подмножеств пространства обозначается через $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Отметим, что всякая максимальная (по включении) сцепленная система замкнутых подмножеств (м.с.с.) является полной. Отсюда можем писать суперрасширение $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ $—$ это подпространство $N\mathrm{<mo\; stretchy="false">(</mo>}Х\mathrm{<mo\; stretchy="false">)</mo>}$, т. е. $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\in N\mathrm{<mo\; stretchy="false">(</mo>}Х\mathrm{<mo\; stretchy="false">)</mo>}$.

Пусть $X$ $–$ бесконечный компакт. Положим

                                                        ${\lambda }_{n}X\mathrm{<mo>=</mo><mo>\{</mo>}\xi \mathrm{<mo>:</mo>}\xi \in \lambda X\mathrm{,}\left|H\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{<mo\; stretchy="false">)</mo>}\right|\le n\mathrm{<mo>\}</mo>.}$

Заметим прежде всего, что ${\lambda }_{1}X\sim X$ (отождествляем м.с.с. $\xi$ с ее одноточечным носителем) и ${\lambda }_{2}X\mathrm{<mo>=</mo>}{\lambda }_{1}X$, поскольку не существует м.с.с., носитель которой состоял бы ровно из двух точек. Однако при $n\ge 3$ все подмножества ${\lambda }_{n}X$ различны.

В самом деле, для любого $n\ge 3$ нетрудно построить м.с.с. $\xi \in \lambda X$, носитель которой состоит из $n$ точек $x_1\mathrm{,...,}{x}_n$. Например, $\xi$ можно задать с помощью такой базы:

                                                     ${\xi }^{\prime }\mathrm{<mo>=</mo><mo>\{</mo>}{x}_2\mathrm{,...,}{x}_n\mathrm{<mo>\}</mo>}{\displaystyle \cup }\mathrm{<mo>\{</mo><mo>\{</mo>}{x}_1\mathrm{,}{x}_k\mathrm{<mo>\}</mo><mo>:</mo>}k\mathrm{<mo>=</mo>2,...,}n\mathrm{<mo>\}</mo>.}$

Нетрудно показать, что все подмножества ${\lambda }_{n}X$, $n\ge 3$, замкнуты в $\lambda X$, следовательно, пространства ${\lambda }_{n}X$ являются компактами.

Множество всех полных сцепленных систем (п.с.с.) замкнутых подмножеств пространства $X$ обозначается через $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Систему замкнутых подмножеств $m$ пространства $X$ назовем $K$ -сцепленной, если пересечение любых $K$ элементов системы $m$ непусто.

Через $N_K\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ обозначим множество всех полных $K$ -сцепленных систем (коротко, $n_{k}cc$ ) пространства $X$. Заметим, что пополнение $x_f$ всякой $K$ -сцепленной системы является $n_{k}CC$ и пространство $N_K\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ замкнуто в $N_{\mathrm{<mo\; stretchy="false">(</mo>}}X\mathrm{<mo\; stretchy="false">)</mo>}$. Следовательно, $N_K\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является компактом [3].

В работе [3] показано, что для $K$ -сцепленной системы континуума Пеано $X$ пространства $N_K\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомеоморфны гильбертовому кубу $Q$. Для всякой полной сцепленной системы определим ее носитель как объединение минимальных по включению элементов. Следовательно, для любого натурального числа $n$ можно определить подпространство $N^n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ пространства $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, состоящее из всех п.c.c., носитель которых состоит не более чем из $n$ точек, т. е. $N^n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo><mo>\{</mo>}xON\mathrm{<mo\; stretchy="false">(</mo>}x\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo><mo>|</mo>}suppx\mathrm{<mo>|</mo>}Jn\mathrm{<mo>\}</mo>}$.

Отметим, что всякая максимальная (по включении) сцепленная система замкнутых подмножеств (м.с.с.) является полной. Отсюда, можем писать суперрасширение $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ $–$ это подпространство $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, т. е. $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\subset N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Заметим, что существует полная с.с. $\xi$, которая не является м.с.с.

Пример 1 [4]. Пусть $X\mathrm{<mo>=</mo><mo\; stretchy="false">[</mo>}-\mathrm{10,10<mo\; stretchy="false">]</mo>}$ и $\xi \mathrm{<mo>=</mo><mo>\{</mo><mo\; stretchy="false">[</mo>0,2<mo\; stretchy="false">]</mo>,<mo\; stretchy="false">[</mo>1,3<mo\; stretchy="false">]</mo><mo>\}</mo>}$ $—$ сцепленная система. Рассмотрим сцепленную систему $m\mathrm{<mo>=</mo><mo>\{</mo>}F\in \exp X\mathrm{<mo>:</mo><mo\; stretchy="false">[</mo>0,1<mo\; stretchy="false">]</mo>}\subset F$ или $\mathrm{<mo\; stretchy="false">[</mo>1,3<mo\; stretchy="false">]</mo>}\subset F\mathrm{<mo>\}</mo>}$. Сцепленная система $m$ является полной, но не является максимальной сцепленной системой.

Из этого примера следует, что разность $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\ne \varnothing$.

Пусть $X$ нормальное $T_1$ -пространство. Для множества $A$ пространства $X$ положим $A^{+}\mathrm{<mo>=</mo><mo>\{</mo>}m\in$ $\in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$: для некоторого $M\in m\mathrm{,}M\subset A$ }. Обозначим $L\mathrm{<mo>=</mo>}{A}^{+}\mathrm{<mo>:</mo>}A$ замкнуто в $X$ }. Семейство всех объединений вверх направленных пересекающихся подсемейств в $L$ порождает выпуклость в $X$. Эта выпуклость называется канонической выпуклостью в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, где $X$ $—$ хаусдорфовое компактное пространство.

Общая выпуклость определяется полутопами и выпуклыми оболочками каждых конечных множеств. Значит, в пространстве $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ выпуклость порождается следующим образом: для м.с.с., $m_1\mathrm{,}{m}_2\mathrm{,...,}{m}_k$. Эта выпуклость в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, положим $m\in co\mathrm{<mo>\{</mo>}{m}_1\mathrm{,...,}{m}_k\mathrm{<mo>\}</mo>}$, если $m\subset m_1\cup m_2\cup \mathrm{...}\cup m_k$. Эта выпуклость в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ удовлетворяет аксиоме отделимости $S_4$ и для нее верно следующее бинарное свойство:

Если $D$ $—$ конечное семейство попарно пересекающихся выпуклых множеств, то $\cap D\ne \varnothing$.

Это выпуклое семейство обозначим через $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Очевидно, что $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ есть подпространство $\exp \mathrm{<mo\; stretchy="false">(</mo>}\lambda X\mathrm{<mo\; stretchy="false">)</mo>}$, состоящее из выпуклых подмножеств суперрасширения $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, которое впервые определено Ван де Велом [2]. По определению, $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ состоит из точек ${\xi }^{+}\mathrm{<mo>=</mo><mo>\{</mo>}\eta \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}\xi \subset \eta \mathrm{<mo>\}</mo>}$, где $\xi$ $—$ сцепленная система замкнутых подмножеств $X$.

В работе [3] А.В. Иванов доказал, что пространства $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомеоморфны. Гомеоморфизм $H\mathrm{<mo>:</mo>}N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\to K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ задается формулой $H\mathrm{<mo\; stretchy="false">(</mo>}{\xi }_{\lambda }\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}{\xi }^{+}$, т. е. $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\cong K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Пространство $X$ естественно вкладывается в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$: точка $x\in X$ отождествляется в м.с.с. ${\xi }_x\mathrm{<mo>=</mo><mo>\{</mo>}F\subset$ $\subset X\mathrm{<mo>:</mo>}x\in F\mathrm{<mo>\}</mo>}$.

Как уже отмечалось, множество $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ содержится в $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Пусть $U_1\mathrm{,...,}{U}_k$, $V_1\mathrm{,}{V}_2\mathrm{,...,}{V}_n$ $—$ набор открытых подмножеств $X$.

Положим $O{U}_1\mathrm{,...,}{U}_k{V}_1\mathrm{,...,}{V}_n\text{∩}\lambda X$ = = $O\mathrm{<mo\; stretchy="false">(</mo>}{U}_1\mathrm{,...,}{U}_k\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">(</mo>}{V}_1\mathrm{,...,}{V}_n\mathrm{<mo\; stretchy="false">)</mo>}$, где $O\mathrm{<mo\; stretchy="false">(</mo>}{U}_1\mathrm{,...,}{U}_k\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">(</mo>}{V}_1\mathrm{,...,}{V}_n\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo><mo>\{</mo>}\xi \in$ $\in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}$ для любого $i\mathrm{<mo>=</mo>}\overline{\mathrm{1,}k}$ существует $F_i\in \xi$ такое, что $F_i\subset U_i$, и для любого $j\mathrm{<mo>=</mo>}\overline{\mathrm{1,}k}$ и любого $\Phi \in \xi$ пересечение $\Phi \text{∩}{V}_j$. непусто}. Совокупность подмножеств $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ вида $O\mathrm{<mo\; stretchy="false">(</mo>}{U}_1\mathrm{,...,}{U}_k\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">(</mo>}{V}_1\mathrm{,...,}{V}_n\mathrm{<mo\; stretchy="false">)</mo>}$ является открытой базой некоторой топологии на $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Таким образом, суперасширение $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ $–$ это подпространство $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Из гомеоморфности $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ вытекает, что $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\subset K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\subset \exp \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

В работе [2] доказано, что $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ $–$ бикомпакт. Следовательно, $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ тоже бикомпактно.

В силу работы Ван де Вела [2] и А.В. Иванова [3] вытекает, что для любого метризуемого континуума $X$, пространства $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомеоморфны гильбертовому кубу $Q$.

Приведем следующие обозначения [5]:

$Q\mathrm{<mo>=</mo>}{\displaystyle {\prod }_{i\mathrm{<mo>=</mo>1}}^{\infty }}{\mathrm{<mo\; stretchy="false">[</mo>}-\mathrm{1<mo>;</mo>1<mo\; stretchy="false">]</mo>}}_i$ $—$ гильбертов куб, где отрезок

$W_i^{\pm }\mathrm{<mo>=</mo><mo>\{</mo><mo\; stretchy="false">(</mo>}{g}_j\mathrm{<mo\; stretchy="false">)</mo><mo>\}</mo>}\in Q\mathrm{<mo>:</mo>}{g}_j\mathrm{<mo>=</mo>}\pm \mathrm{1<mo>\}</mo>}$ $—$ I грань куба $Q$;

$BdQ\mathrm{<mo>=</mo>}{\displaystyle {\cup }_{i\mathrm{<mo>=</mo>1}}^{\infty }}{W}_i^{\pm }$ $—$ псевдограница куба $Q$;

$S\mathrm{<mo>=</mo>}Q\backslash BdQ$ $—$ псевдовнутренность куба $Q$; $S\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}-{\mathrm{1,1<mo\; stretchy="false">)</mo>}}^{\omega }$

$S\approx {\mathcal{l}}_2$ $—$ сепарабельное гильбертово пространство;

${\displaystyle \sum }$ $—$ линейная оболочка стандартного кирпича в гильбертовом пространстве ${\mathcal{l}}_2$;

$rintQ\mathrm{<mo>=</mo><mo>\{</mo>}x\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}{x}_n\mathrm{<mo\; stretchy="false">)</mo>}\in Q\mathrm{<mo>:</mo>}\left|x_n\right|\mathrm{<mo><</mo>}t\mathrm{<mo><</mo>1}$ для произвольного $n\simeq \text{∪}\left\{{-1+\frac{1}{n}\mathrm{,}1-\frac{1}{n}}^{\omega }n\in N\right\}\subset S$,

$BdQ\approx {\displaystyle \sum }$ (Андерсон в [5]);

$rintQ\approx BdQ$ (Бессага$–$Пелчинский [5]);

$Q^f$ $–$ подпространство куба $Q$, состоящее из всех точек, лишь конечное число координат которых отлично от нуля.

${\mathcal{l}}_2^f$ $–$ линейное подпространство гильбертова пространства ${\mathcal{l}}_2$ , состоящее из всех точек лишь конечного числа координат, которые отличны от нуля.

Пусть на компакте X имеется метрика р. Тогда топология суперрасширения $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ порождается следующей метрикой $\overline{\rho }$:

$\overline{\rho }\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}n\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\underset{M\in \xi }{{\displaystyle \sup }}\mathrm{<mo>\{</mo>}\underset{N\in \eta }{{\displaystyle \inf }}{\rho }_H\mathrm{<mo\; stretchy="false">(</mo>}M\mathrm{,}N\mathrm{<mo\; stretchy="false">)</mo><mo>\}</mo>}$, где ${\rho }_H$ $–$ расстояние Хаусдорфа в $\exp X$.

Напомним метрику ${\rho }_H$ Хаусдорфа на компакте X: для $F_1\mathrm{,}{F}_2\in \exp X$ положим $\alpha \mathrm{<mo\; stretchy="false">(</mo>}{F}_1\mathrm{,}{F}_2\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\inf \mathrm{<mo>\{</mo>}\epsilon \mathrm{<mo>:</mo>}\epsilon \mathrm{<mo>></mo>0,}{F}_1\subset O_{\epsilon }\mathrm{<mo\; stretchy="false">(</mo>}{F}_2\mathrm{<mo\; stretchy="false">)</mo>}$ или $F_2\subset O_{\epsilon }\mathrm{<mo\; stretchy="false">(</mo>}{F}_1\mathrm{<mo\; stretchy="false">)</mo><mo>\}</mo>}$ ${\rho }_H\mathrm{<mo\; stretchy="false">(</mo>}{F}_1\mathrm{,}{F}_2\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\max \mathrm{<mo>\{</mo>}\alpha \mathrm{<mo\; stretchy="false">(</mo>}{F}_1\mathrm{,}{F}_2\mathrm{<mo\; stretchy="false">)</mo><mo>;</mo>}\alpha \mathrm{<mo\; stretchy="false">(</mo>}{F}_2\mathrm{,}{F}_1\mathrm{<mo\; stretchy="false">)</mo><mo>\}</mo>}$ $—$ метрика Хаусдорфа.

Легко видеть, что $\overline{\rho }\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}\eta \mathrm{<mo\; stretchy="false">)</mo>}\le \epsilon$ тогда и только тогда, когда $B\mathrm{<mo\; stretchy="false">(</mo>}F\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\in \eta$ для любого $F\in \xi$ и $B\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\in \eta$ для любого $\Phi \in \eta$, где $B\mathrm{<mo\; stretchy="false">(</mo>}F\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo><mo>\{</mo>}x\mathrm{<mo>:</mo>}\rho \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}F\mathrm{<mo\; stretchy="false">)</mo>}\le \epsilon \mathrm{<mo>\}</mo>}$ $–$ замкнутая $\epsilon$ -окрестность множества $F$ в пространстве $X$.

Пусть ${\overline{\rho }}_H$ $–$ метрика Хаусдорфа на $\exp \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, и ${\overline{\rho }}_H$ $—$ ограничение ${\overline{\rho }}_H$ на подпространстве $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, которое мы отождествляем по сказанному, гомеоморфизму с N(X).

Для метризуемого континуума X по теореме Ван Милла [6] $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомеоморфно $Q$. Следовательно, $\exp \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ тоже гомеоморфно $Q$. Заметим, что во всяком континууме Пеано существует выпуклая метрика, т. е. для любого замкнутого $F\subset X$ справедливо равенство

                                                      $B\mathrm{<mo\; stretchy="false">(</mo>}B\mathrm{<mo\; stretchy="false">(</mo>}F\mathrm{,}{\epsilon }_1\mathrm{<mo\; stretchy="false">)</mo>,}{\epsilon }_2\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}B\mathrm{<mo\; stretchy="false">(</mo>}F\mathrm{,}{\epsilon }_1+{\epsilon }_2\mathrm{<mo>=</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>.}$

2 Предложение и теоремы

В работе [6] имеется следующее предложение.

Предложение [6]. Пусть $\mu \mathrm{<mo>=</mo><mo>\{</mo>}{\Phi }_1\mathrm{,}{\Phi }_2\mathrm{,...,}{\Phi }_n\mathrm{<mo>\}</mo>}$ $–$ конечная сцепленная система замкнутых множеств компакта X. Тогда система $M\mathrm{<mo>=</mo><mo>\{</mo>}F\in \exp X$: существует ${\Phi }_i\subset \mu$, ${\Phi }_i\subset F\mathrm{<mo>\}</mo>}$ является полной сцепленной системой в X.

Для компакта X через ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ обозначим ответственно подмножества ${\displaystyle {\cup }_{n\mathrm{<mo>=</mo>1}}^{\infty }}{\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Очевидно, что это подмножество $–$ $\sigma$ -компакт и всюду плотно в пространствах $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Для бикомпакта $X$ через ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $N^{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ обозначим соответственно подмножества ${\displaystyle {\cup }_{n\mathrm{<mo>=</mo>1}}^{\infty }}{\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, ${\displaystyle {\cup }_{K\mathrm{<mo>=</mo>1}}^{\infty }}{N}_K\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и ${\displaystyle {\cup }_{n\mathrm{<mo>=</mo>1}}^{\infty }}{N}_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Очевидно, что эти подмножества $\sigma$ -компакты и всюду плотны в пространствах $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ соответственно.

Определение [7; 9]. Множество $B\mathrm{<mo\; stretchy="false">(</mo>}Q\mathrm{<mo\; stretchy="false">)</mo>}$ называется граничным множеством в $Q$, если $Q\backslash B\mathrm{<mo\; stretchy="false">(</mo>}Q\mathrm{<mo\; stretchy="false">)</mo>}\approx {\mathcal{l}}_2$.

Заметим, что псевдограница $BdQ$ гильбертова куба $Q$ является граничным множеством куба $Q$. Используем обозначения, введенные в конце предыдущего п. 1.

Дополнительное определение [10]. Пространство $X$ называется слабосчетномерным, если $X$ является счетным объединением своих замкнутых конечномерных подпространств.

Определение [7]. Топологическое пространство $X$ называется многообразием, моделированным на пространстве $Y$, или $Y$ -многообразием, если всякая точка пространства $X$ имеет окрестность, гомеоморфную открытому подмножеству пространства $Y$.

Заметим, что для любого метризуемого невырожденного компакта $X$ пространства $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомеоморфны гильбертовому кубу $Q$. Для каждого $n\ge 3$ подпространства ${\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ замкнуты в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Пространства $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ ( $n\ge 3$ ) есть открытые подмножества компакта $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

С другой стороны, нами было замечено, что в этих случая компакт $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ есть подмножество компакта $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, т. е. $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ \ $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ открыто в $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Открытые подмножества гильберотова куба $Q$ есть $Q$ -многообразия. Следовательно, имеют место представленные ниже теоремы.

Теорема 1. Для любого метризуемого невырожденного континуума X имеем:

 а) $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является $Q$ -многообразием для любого $n\ge 2$,

 б) $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является $Q$ -многообразием для любого $n\ge 2$.

Теорема 2. Для любого метризуемого невырожденного континуума имеет место:

 а) $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является $Q$ -многообразием;

 б) $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является $Q$ -многообразием.

Напомним, что для компакта $X$ непустой компакт $G\subseteq \exp X$ называется гиперпространством роста, если то, что $A\in G$, $B\in \exp X$, $A\subset B$ и каждая компонента связности множества $B$ пересекается с А, это далее влечет $B\in G$ [7; 8].

Это пространство обозначается через $G\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Если в этом определении опущены требования компоненты связности так, что соответствующее пространство называется гиперпространством вложения и обозначается через $G\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, то имеет место утверждение:

 $G\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\simeq Q\iff X-$ метризуемый континуум.

Пусть ${\xi }_1\mathrm{,}{\xi }_2\in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и ${\xi }_1\ne {\xi }_2$. Тогда без ограничения можно считать, что существует $F\in {\xi }_1$ и окрестность $OF\supset F$ такие, что ни один элемент ${\xi }_2$ не лежит в $OF$, т. е. для любого $\Phi \in {\xi }_2$ имеет место $\Phi \text{∩}X\backslash OF\ne \varnothing$.

Таким образом, система ${{\xi }^{\text{'}}}_2{\xi }_2\text{∪}X\backslash OF$ сцепленная. Пусть $\eta$ $–$ м.с.с., содержащая ${\xi }_2^{\mathrm{<mo>\text{'}</mo>}}$. Имеем $\eta \in {\xi }_1^{+}$ и $\eta \notin {\xi }_2^{+}$, поскольку $F\in {\xi }_1$ и $F\in \eta$. Итог ${\xi }_1^{+}\ne {\xi }_2^{+}$.

Замечание [8]. Для любых точек $\xi \mathrm{,}\eta \in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ эквивалентны условия:

1) ${\rho }_H\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}\eta \mathrm{<mo\; stretchy="false">)</mo>}\le \epsilon$ ;

2) $B\mathrm{<mo\; stretchy="false">(</mo>}F\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\in \eta$ для любого $F\in \xi$ и $B\mathrm{<mo\; stretchy="false">(</mo>}\Phi \mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\in \xi$ для любого $\Phi \in \eta$.

Пусть $X$ $—$ метризуемый континуум. $A\subset X$, $intA\ne \varnothing$, $\overline{A}\mathrm{<mo>=</mo>}A$. Тогда $A^{+}\mathrm{<mo>=</mo><mo>\{</mo>}\xi \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}A\in \xi \mathrm{<mo>\}</mo>}$ есть $Z$ -множество в $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ [5], т. е. $\forall \epsilon \mathrm{<mo>></mo>0}$ $\exists f\mathrm{<mo>:</mo>}\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\to \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash A^{+}$ такое, что $\rho \mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}f\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo><mo><</mo>}\epsilon$ для любого $\xi \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Множество $A\subset X$ называется гомотопически плотным в $X$ [9], если существует гомотопия $h\mathrm{<mo\; stretchy="false">(</mo>}x\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}X\times \mathrm{<mo\; stretchy="false">[</mo>0,1<mo\; stretchy="false">]</mo>}\to X$ такая, что $h\mathrm{<mo\; stretchy="false">(</mo>}x\mathrm{,0<mo\; stretchy="false">)</mo><mo>=</mo>}i{d}_X$ и $h\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,<mo\; stretchy="false">(</mo>0,1<mo\; stretchy="false">]</mo><mo\; stretchy="false">)</mo>}\subset A$.

Теорема 3. Для любого пеановского континуума $X$ подпространство $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомотопически плотно в $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Доказательство. Пусть $\xi \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Для числа $t\in \mathrm{<mo\; stretchy="false">[</mo>0,1<mo\; stretchy="false">]</mo>}$ и замкнутого множества $A\in \exp X$ положим $D\mathrm{<mo\; stretchy="false">(</mo>}A\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo><mo>\{</mo>}x\in X\mathrm{<mo>:</mo>}\rho \mathrm{<mo\; stretchy="false">(</mo>}x\mathrm{,}A\mathrm{<mo\; stretchy="false">)</mo>}\le t\mathrm{<mo>\}</mo>}$. Мы будем считать, что $dia{m}_{\rho }X\le 1$. Очевидно, что для любого $t\in \mathrm{<mo\; stretchy="false">[</mo>0,1<mo\; stretchy="false">]</mo>}$ множество $D\mathrm{<mo\; stretchy="false">(</mo>}A\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}\in \exp X$.

Известно, что $\xi$ есть м.с.с., состоящих из замкнутых множеств, т. е. $\xi \mathrm{<mo>=</mo><mo>\{</mo>}{A}_{\alpha }\mathrm{<mo>:</mo>}{A}_{\alpha }\in \exp X\mathrm{,}\alpha -$ индекс}. Для $\xi$ положим $\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo><mo>\{</mo>}D\mathrm{<mo\; stretchy="false">(</mo>}{A}_{\alpha }\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}{A}_{\alpha }\in \xi \mathrm{<mo>\}</mo>}$. Теперь построим гомотопию $h\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo>:</mo>}N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\times \mathrm{<mo\; stretchy="false">[</mo>0,1<mo\; stretchy="false">]</mo>}\to N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, полагая $h\mathrm{<mo\; stretchy="false">(</mo>}\xi \mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}$.

Заметим, что:

 а) если $\xi \in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, то $\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$;

 б) если $\xi \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, $\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\in N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ и $\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\overline{\in }{\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$;

 в) если $\xi \in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$, то $\xi \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}\in \lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

 Значит, подмножество ${\lambda }_{\nabla \omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\subset N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ гомотопически плотно в $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$. Теорема 3 доказана.

Используя результаты работ [7$–$9], доказываются следующие теоремы 4 и 5.

Теорема 4. Для любого метризуемого невырожденного компакта $X$ подпространство ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является граничным множеством компакта $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Теорема 5. Для любого метризуемого невырожденного компакта $X$ подпространство $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является полным сепарабельным бесконечной размерности метрическим $AR$ -пространством.

3 Результаты для метризуемого невырожденного континуума

В результате для метризуемого невырожденного континуума сформулированы следующие теоремы.

Теорема 6. Для любого метризуемого невырожденного континуума $X$ имеет место:

а) ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является гомотопически плотным множеством компакта $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$;

б) $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является гомотопически плотным множеством компакта $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$;

в) $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является гомотопически плотным множеством компакта $K\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$.

Для любого слабосчетномерного компакта $X$ пространств ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ слабосчетномерно. Пространства ${\mathcal{l}}_2^f$ и $Q^f$ слабосчетномерны [5].

Теорема 7. Для любого метризуемого невырожденного континуума $X$ имеем:

а) $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash N_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ $—$ гомотопически плотное подмножество для любого $n\ge 2$;

б) $\lambda \mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash {\lambda }_n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является гомотопически плотным подмножеством для любого $n\ge 2$;

в) $N\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}\backslash N^n\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является гомотопически плотным подмножеством для любого $n\ge 2$.

Теорема 8. Для любого метризуемого невырожденного континуума $X$ имеет место:

а) пространство $N^{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\displaystyle \sum }$ -многообразием;

б) пространство $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\displaystyle \sum }$ -многообразием, если $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ содержит гильбертов куб $Q$;

в) пространство ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\displaystyle \sum }$ -многообразием, если ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ содержит гильбертов куб $Q$.

Для любого метризуемого невырожденного континуума $X$ имеет место:

а) пространство $N^{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\mathcal{l}}_2^f$ - (или $Q^f$ -) многообразием, если $X$ конечномерно;

б) пространство ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\mathcal{l}}_2^f$ - (или $Q^f$ -) многообразием, если $X$ конечномерно;

в) пространство ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\mathcal{l}}_2^f$ - (или $Q^f$ -) многообразием, если ${\lambda }_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ не содержит гильбертов куб $Q$;

г) пространство $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ является ${\mathcal{l}}_2^f$ - (или $Q^f$ -) многообразием, если $N_{\omega }\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{<mo\; stretchy="false">)</mo>}$ не содержит гильбертов куб $Q$.

Заключение

В заключение подведем итог, что на основе доказательства свойств топологических и геометрических подпространств множеств сцепленных систем, являющихся гомотопически плотными, сформулированы теоремы для метризуемого невырожденного континуума, определены условия для гомотопически плотного множества компакта и условия определения многообразия для конечномерного множества в зависимости от того, что оно не содержит гильбертов куб.

В доказательствах и теоремах использованы следующие утверждения. Для любого метризуемого невырожденного континуума подпространства полных сцепленных систем гомеоморфны гильбертову кубу. При этом открытые подмножества гильбетрова куба есть $Q$ -многообразия. Следовательно, определяются теоремы о соответствии подмножеств подпространств полных сцепленных систем $Q$ -многообразию для любого количества точек носителя от двух.

Для любого пеановского континуума подпространство полных сцепленных систем гомотопически плотно во введенном классе множества всех полных сцепленных систем замкнутых подмножеств топологического пространства. Определены теоремами подпространство $–$ граничное множество компакта и подпространство $–$ полное сепарабельное бесконечной размерности метрическое пространство.