Научная статья на тему 'О ГОМОТОПИЧЕСКИ ПЛОТНЫХ ПОДПРОСТРАНСТВАХ ПРОСТРАНСТВА ПОЛНЫХ СЦЕПЛЕННЫХ СИСТЕМ'

О ГОМОТОПИЧЕСКИ ПЛОТНЫХ ПОДПРОСТРАНСТВАХ ПРОСТРАНСТВА ПОЛНЫХ СЦЕПЛЕННЫХ СИСТЕМ Текст научной статьи по специальности «Математика»

CC BY
3
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
подпространство / топологические свойства множества / геометрические свойства множества / топологическое многообразие / гомотопически плотное подпространство / метризуемый невырожденный континуум / конечномерное множество / гильбертов куб / subspace / topological properties of a set / geometric properties of a set / topological variety / homotopy dense subspace / metrizable non-degenerate continuum / finite-dimensional set / Hilbert cube

Аннотация научной статьи по математике, автор научной работы — М.В. Долгополов, К.Р. Жувонов

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON HOMOTOPICALLY DENSE SUBSPACES OF THE SPACE OF COMPLETE LINKED SYSTEMS

This message discusses the topological and geometric properties of the set linked systems ξ and the properties of its subspaces, which are homotopy dense. Theorems for a metrizable non-degenerate continuum are presented, conditions for homotopy dense set of a compact set and conditions for the definition of a variety for a finite-dimensional set depending on the fact that it does not contain a Hilbert cube.

Текст научной работы на тему «О ГОМОТОПИЧЕСКИ ПЛОТНЫХ ПОДПРОСТРАНСТВАХ ПРОСТРАНСТВА ПОЛНЫХ СЦЕПЛЕННЫХ СИСТЕМ»

Научная статья DOI: 10.18287/2541-7525-2023-29-3-24-30

УДК 512.6 Дата: поступления статьи: 19.07.2023

после рецензирования: 21.08.2023 принятия статьи: 30.10.2023

М.В. Долгополое

Самарский государственный технический университет, г. Самара, Российская Федерация E-mail: mikhaildolgopolov68@gmail.com. ORCID: https://orcid.org/0000-0002-8725-7831

К.Р. Жуеоное

Национальный исследовательский университет "Ташкентский институт инженеров ирригации

и механизации сельского хозяйства" , г. Ташкент, Узбекистан E-mail: qamariddin.j@mail.ru. ORCID: https://orcid.org/0009-0008-7561-0862

О ГОМОТОПИЧЕСКИ ПЛОТНЫХ ПОДПРОСТРАНСТВАХ ПРОСТРАНСТВА ПОЛНЫХ СЦЕПЛЕННЫХ СИСТЕМ

АННОТАЦИЯ

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

Ключевые слова: подпространство; топологические свойства множества; геометрические свойства множества; топологическое многообразие; гомотопически плотное подпространство; метризуемый невырожденный континуум; конечномерное множество; гильбертов куб.

Цитирование. Долгополов М.В., Жувонов К.Р. О гомотопически плотных подпространствах пространства полных сцепленных систем // Вестник Самарского университета. Естественнонаучная серия / Vestnik of Samara University. Natural Science Series. 2023. Т. 29, № 3. С. 24-30. DOI: http://doi.org/10.18287/2541-7525-2023-29-3-24-30.

Информация о конфликте интересов: авторы и рецензенты заявляют об отсутствии конфликта интересов.

© Долгополов М.В., Жувонов К.Р., 2023 Михаил Вячеславович Долгополов — доцент, кандидат физико-математических наук, кафедра высшей математики, Самарский государственный технический университет, 443100, Российская Федерация, г. Самара, ул. Молодогвардейская, 244.

Камариддин Ризокулович Жувонов — кандидат физико-математических наук, старший преподаватель кафедры высшей математики, Национальный исследовательский университет "Ташкентский институт инженеров ирригации и механизации сельского хозяйства" , 100000, Республика Узбекистан, г. Ташкент, ул. Кары Ниязова, 39.

Введение

Хорошо известно, что многие замечательные топологические пространства возможно охарактеризовать с помощью краткого перечня их топологических свойств [1—9]. С начала 70-х годов прошлого века и по настоящее время были доказаны многие знаменитые теоремы о характеристиках многообразий гильбертова пространства и многообразий куба Гильберта. По сути методы доказательства были основаны на полноте рассматриваемых пространств. Доказательства некоторых теорем были

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

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

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

Пусть X - топологическое пространство. Рассмотрим систему £ = {Га : Га С Х,Еа = Га,а € А} замкнутых подмножеств пространства.

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

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

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

Если замкнутое множество А с X пересекается с каждым элементом из £, то А € £ [1]. (*)

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

Любая окрестность ОГ множества Г содержит множество Ф € £ [3]. (**)

Заметим, что для всякой сцепленной системы £ существует наименьшая полная сцепленная система (коротко, п.с.с.) £f, содержащая £. Систему £f, которую будем называть пополнением £, которая может быть построена путем присоединения к £ всех замкнутых подмножеств Г € X, удовлетворяющих условию (**).

Пусть £ - максимальная сцепленная система (м.с.с.) замкнутых подмножеств X. Подсистему £' с £ назовем базой £, если для любого Г € £ существует такое Ф € £', что Ф с Г.

Нетрудно показать, что система £н наименьших (по включению) элементов м.с.с. £ является наименьшей базой £. Носителем м.с.с. £ будем называть множество Н(£) = У £н.

Напомним, что суперрасширением топологического пространства X называется множество А^), состоящее из всех максимальных сцепленных систем замкнутых подмножеств пространства X, а множество всех полных сцепленных систем (п.с.с.) замкнутых подмножеств пространства обозначается через N(X).

Отметим, что всякая максимальная (по включении) сцепленная система замкнутых подмножеств (м.с.с.) является полной. Отсюда можем писать суперрасширение А^) — это подпространство N(), т. е. А^) € N().

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

АnX = {£ : £ € X \Н(£)| < п}.

Заметим прежде всего, что АlX(отождествляем м.с.с. £ с ее одноточечным носителем) и А2X = = АlX, поскольку не существует м.с.с., носитель которой состоял бы ровно из двух точек. Однако при п ^ 3 все подмножества АnX различны.

В самом деле, для любого п ^ 3 нетрудно построить м.с.с. £ € АX, носитель которой состоит из п точек х1,...,хп. Например, £ можно задать с помощью такой базы:

С = {x2, ■■■,xn}{^[{xi,xk} : k = 2, ...,n}.

Нетрудно показать, что все подмножества АnX, п ^ 3, замкнуты в АX, следовательно, пространства АnX являются компактами.

Множество всех полных сцепленных систем (п.с.с.) замкнутых подмножеств пространства X обозначается через N(X).

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

Через N^1 (X) обозначим множество всех полных К-сцепленных систем (коротко, п^ое) пространства X. Заметим, что пополнение х^ всякой К-сцепленной системы является п^СС и пространство N^1 (X) замкнуто в N(X). Следовательно, N^1 (X) является компактом [3].

В работе [3] показано, что для К-сцепленной системы континуума Пеано X пространства N^1 (X) гомеоморфны гильбертовому кубу Q. Для всякой полной сцепленной системы определим ее носитель как

объединение минимальных по включению элементов. Следовательно, для любого натурального числа п можно определить подпространство Nn(X) пространства N(X), состоящее из всех п.с.с., носитель которых состоит не более чем из п точек, т. е. Nn(X) = {xON(х) : |виррх| 7п}.

Отметим, что всякая максимальная (по включении) сцепленная система замкнутых подмножеств (м.с.с.) является полной. Отсюда, можем писать суперрасширение А(Х) - это подпространство N(X), т. е. А(Х) с N(X).

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

Пример 1 [4]. Пусть X = [—10,10] и £ = {[0, 2], [1, 3]} — сцепленная система. Рассмотрим сцепленную систему т = {Е € ехрX : [0,1] с Е или [1, 3] с Е}. Сцепленная система т является полной, но не является максимальной сцепленной системой.

Из этого примера следует, что разность N(X)\А^) = 0.

Пусть X нормальное ^-пространство. Для множества А пространства X положим А+ = {т € € А(X): для некоторого М € т, М с А}. Обозначим Ь = А+ : А замкнуто в X}. Семейство всех объединений вверх направленных пересекающихся подсемейств в Ь порождает выпуклость в X. Эта выпуклость называется канонической выпуклостью в А^), где X — хаусдорфовое компактное пространство.

Общая выпуклость определяется полутопами и выпуклыми оболочками каждых конечных множеств. Значит, в пространстве А^) выпуклость порождается следующим образом: для м.с.с., т\,т<2, Эта выпуклость в А^), положим т € ео{т\, ...,т^}, если т С т\ У т^ У ...[}тк. Эта выпуклость в А^) удовлетворяет аксиоме отделимости Б4 и для нее верно следующее бинарное свойство: Если Б — конечное семейство попарно пересекающихся выпуклых множеств, то р| Е = 0. Это выпуклое семейство обозначим через KА(X). Очевидно, что KА(X) есть подпространство exp(АX), состоящее из выпуклых подмножеств суперрасширения А^), которое впервые определено Ван де Велом [2]. По определению, К А(X) состоит из точек £+ — {ц € А(X) : £ С ц}, где £ — сцепленная система замкнутых подмножеств X.

В работе [3] А.В. Иванов доказал, что пространства N(X) и КА(X) гомеоморфны. Гомеоморфизм Н : N(X) ^ KА(X) задается формулой Н(£Л) = £+, т. е. N(X) = КА(X).

Пространство X естественно вкладывается в А^): точка х € X отождествляется в м.с.с. £х = {Е С С X : х € Е}.

Как уже отмечалось, множество А^) содержится в N(X). Пусть П1,...,Пк, У1,У2,...,Уп — набор открытых подмножеств X.

Положим 0(иь..,ик )№,..., К) П А^ )= =0(иь..,ик )(УЬ ..., К), где 0(иь ..., Ц^ь ..., К) = {£ € € N(X) : для любого г = 1, к существует Е\ € £ такое, что Е\ С Щ, и для любого ] = 1, к и любого Ф € £ пересечение Фр| V3. непусто}. Совокупность подмножеств N (X) вида 0(и1,...,Пк )(У1, ...,Уп) является открытой базой некоторой топологии на N(X).

Таким образом, суперасширение А^) - это подпространство N(X). Из гомеоморфности N(X) и КА(^) вытекает, что А(^) С КА(X) и КА(X) С ехр А(^).

В работе [2] доказано, что КА(X) - бикомпакт. Следовательно, N(X) тоже бикомпактно. В силу работы Ван де Вела [2] и А.В. Иванова [3] вытекает, что для любого метризуемого континуума X, пространства N(X) и КА(^) гомеоморфны гильбертовому кубу Q. Приведем следующие обозначения [5]: Q = П¿=1 — 1; 1Ь — гильбертов куб, где отрезок ^ = {{9з)} € Q : Яз = ±1} — I грань куба Q; БЗЦ = и¿=1 — псевдограница куба Q; Б = Q\БdQ — псевдовнутренность куба Q; Б = ( — 1,1)ш Б « 12 — сепарабельное гильбертово пространство;

— линейная оболочка стандартного кирпича в гильбертовом пространстве 12; rintQ = {х = (хп) € Q : 1хп1 <Ь < 1 для произвольного п^У{[—1 + П, 1 — п: п € N} С Б, БdQ ~ ^ (Андерсон в [5]); rintQ « БdQ (Бессага-Пелчинский [5]);

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

¿2 - линейное подпространство гильбертова пространства ¿2 , состоящее из всех точек лишь конечного числа координат, которые отличны от нуля.

Пусть на компакте X имеется метрика р. Тогда топология суперрасширения А^) порождается следующей метрикой р:

р(£, п) = вир{ Ы рн(М, N)}, где рн - расстояние Хаусдорфа в ехрX.

ммеп

Напомним метрику рн Хаусдорфа на компакте X: для Г1, Г2 € ехрX положим а(Г±, Г2) = Ш{е : е > 0, Г1 С Ое(Г2) или Г2 с О£(Г1)} рн(Г1,Г2) = шах{а(Гх,Г2); а(Г2,Г\)} — метрика Хаусдорфа.

Легко видеть, что р(£,п) ^ £ тогда и только тогда, когда В(Г,е) € п для любого Г € £ и B(X,£) € п для любого Ф € п, где В(Г, е) = {х : р(X, Г) ^ е} - замкнутая е-окрестность множества Г в пространстве X.

Пусть рн - метрика Хаусдорфа на ехрА^), и рн — ограничение рн на подпространстве KА(X), которое мы отождествляем по сказанному, гомеоморфизму с М(Х).

Для метризуемого континуума X по теореме Ван Милла [6] А^) гомеоморфно Q. Следовательно, ехр А^) тоже гомеоморфно Q. Заметим, что во всяком континууме Пеано существует выпуклая метрика, т. е. для любого замкнутого Г С X справедливо равенство

В(В(Г,£1),£2) = В(Г,£1 + £2 = е). 2. Предложение и теоремы

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

Предложение [6]. Пусть р = {Ф1, Ф2,..., фп} - конечная сцепленная система замкнутых множеств компакта X. Тогда система М = {Г € ехр X: существует Ф^ С р,Фг С Г} является полной сцепленной системой в X.

Для компакта X через Аш(X) обозначим ответственно подмножества и^=1 Аn(X). Очевидно, что это подмножество - а-компакт и всюду плотно в пространствах А^).

Для бикомпакта X через Аш (X), Nш (X) и Nш (X) обозначим соответственно подмножества и~1 Ап(X), и^=1 Nк(X) и и^=1 ^^). Очевидно, что эти подмножества а-компакты и всюду плотны в пространствах А^) и N(X) соответственно.

Определение [7; 9]. Множество В^) называется граничным множеством в Q, если Q\B(Q) « 12.

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

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

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

Заметим, что для любого метризуемого невырожденного компакта X пространства А^) и N(X) гомеоморфны гильбертовому кубу Q. Для каждого п ^ 3 подпространства Аn(X) замкнуты в А^). Пространства А^^А^г^^) (п ^ 3) есть открытые подмножества компакта А^).

С другой стороны, нами было замечено, что в этих случая компакт А^) есть подмножество компакта N(X), т. е. N(X)\А^) открыто в N(X). Открытые подмножества гильберотова куба Q есть Q-многообразия. Следовательно, имеют место представленные ниже теоремы.

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

а) N(X)\Аn(X) является Q-многообразием для любого п ^ 2,

б) А(X)\Аn(X) является Q-многообразием для любого п ^ 2.

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

а) N(X)\А^) является Q-многообразием;

б) KА(X)\N(X) является Q-многообразием.

Напомним, что для компакта X непустой компакт О С ехр X называется гиперпространством роста, если то, что А € О, В € ехр X, А с В и каждая компонента связности множества В пересекается с А, это далее влечет В € О [7; 8].

Это пространство обозначается через О(X). Если в этом определении опущены требования компоненты связности так, что соответствующее пространство называется гиперпространством вложения и обозначается через О(X), то имеет место утверждение: О(X)—Q ^ X — метризуемый континуум.

Пусть £1, £2 € N(X) и £1 = £2. Тогда без ограничения можно считать, что существует Г € £1 и окрестность ОГ Э Г такие, что ни один элемент £2 не лежит в ОГ, т. е. для любого Ф € £2 имеет место Фр| X\ОГ = 0.

Таким образом, система £2 = £2 и(X\ОГ) сцепленная. Пусть п - м.с.с., содержащая £2. Имеем п € £+ и п € £+, поскольку Г € £1 и Г € п. Итог £+ = £+.

Замечание [8]. Для любых точек £,п € N(X) эквивалентны условия:

1) рн (£,п) < £ ;

2) В(Г,е) € п для любого Г € £ и В(Ф,е) € £ для любого Ф € п.

Пусть X — метризуемый континуум. A С X, intA = 0, A = A. Тогда A+ = {£ G A(X) : A G £} есть Z-множество в A(X) [5], т. е. Уе > 0 3 f : A(X) ^ A(X)\A+ такое, что р(£, f (£)) < е для любого £ G A(X).

Множество A С X называется гомотопически плотным в X [9], если существует гомотопия h(x,t) : X х [0,1] ^ X такая, что h(x, 0) = idX и h(X, (0,1]) С A.

Теорема 3. Для любого пеановского континуума X подпространство N(X)\AU (X) гомотопически плотно в N(X ).

Доказательство. Пусть £ G A(X). Для числа t G [0,1] и замкнутого множества A G exp X положим D(A,t) = {x G X : p(x,A) ^ t}. Мы будем считать, что diampX ^ 1. Очевидно, что для любого t G [0,1] множество D(A,t) G exp X.

Известно, что £ есть м.с.с., состоящих из замкнутых множеств, т. е. £ = {Aa : Aa G expX, a— индекс}. Для £ положим £(t) = {D(Aa,t) : Aa G £}. Теперь построим гомотопию h(£,t) : N(X) х [0,1] ^ N(X), полагая h(£,t) = £(t). Заметим, что:

а) если £ G N(X), то £(t) G N(X);

б) если £ G A(X), £(t) G N(X) и £(t)GAu(X);

в) если £ G a(x), то £(0) G A(X).

Значит, подмножество (X) С N(X) гомотопически плотно в N(X). Теорема 3 доказана. Используя результаты работ [7-9], доказываются следующие теоремы 4 и 5.

Теорема 4. Для любого метризуемого невырожденного компакта X подпространство Аш (X) является граничным множеством компакта A(X).

Теорема 5. Для любого метризуемого невырожденного компакта X подпространство A(X)\АШ (X) является полным сепарабельным бесконечной размерности метрическим AÄ-пространством.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

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

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

а) Аш (X) является гомотопически плотным множеством компакта A(X);

б) Nu (X) является гомотопически плотным множеством компакта N(X);

в) Nu (X) является гомотопически плотным множеством компакта KA(X).

Для любого слабосчетномерного компакта X пространств Аш (X) слабосчетномерно. Пространства ¿2 и Qf слабосчетномерны [5].

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

а) N(X)\Nn(X) — гомотопически плотное подмножество для любого n ^ 2;

б) A(X)\An(X) является гомотопически плотным подмножеством для любого n ^ 2;

в) N(X)\Nn(X) является гомотопически плотным подмножеством для любого n ^ 2. Теорема 8. Для любого метризуемого невырожденного континуума X имеет место:

а) пространство Nu (X) является ^-многообразием;

б) пространство Nu (X ) является ^-многообразием, если Nu (X ) содержит гильбертов куб Q;

в) пространство Аш(X) является ^-многообразием, если Аш(X) содержит гильбертов куб Q. Для любого метризуемого невырожденного континуума X имеет место:

а) пространство Nu (X) является - (или Qf-) многообразием, если X конечномерно;

б) пространство Аш (X) является ¿2- (или Qf-) многообразием, если X конечномерно;

в) пространство Аш (X) является - (или Qf-) многообразием, если Аш (X) не содержит гильбертов куб Q;

г) пространство Nu (X) является - (или Qf-) многообразием, если Nu (X) не содержит гильбертов куб Q.

Заключение

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

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

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

Литература

[1] Van Mill J. Superextensions of metrizable continua are Hilbert cubes // Fundamenta Mathematicae. 1980. Vol. 107, Number 3. Pp. 201-224. Available at: https://bibliotekanauki.pl/articles/1363946.

[2] Van de Vel M. Convex Hilbert cubes in superextensions // Topology and its Applications. 1986. Vol. 22, Issue 3, pp. 255-266. DOI: https://doi.org/10.1016/0166-8641(86)90024-6.

[3] Иванов А.В. О пространстве полных сцепленных систем // Сибирский математический журнал. 1986, Т. 27, № 6, С. 95-110. URL: https://www.mathnet.ru/rus/smj7212.

[4] Beshimov R.B., Mukhammadiyev F.G. Some cardinal properties of complete linked systems with compact elements and absolute regular spaces // Mathematica Aeterna. 2013. Vol. 3, No. 8. Рр. 625-633. URL: https://www.longdom.org/articles/some-cardinal-properties-of-complete-linked-systems-with-compact-elements-and-absolute-regular-spaces.pdf.

[5] Bessaga C., Pelczynski A. Selected Topics in Infinite-dimensional Topology. Monografie matematyczne. Warsaw: PWN-Polish Scientific Publisher, 1975, Vol. 58, 353 p. URL: https://onlybooks.org/selected-topics-in-infinite-dimensional-topology-monografie-matematyczne-no-58.

[6] Makhmud T. Cardinal-valued invariants of spaces of linked systems. Candidate thesis in Physics and Mathematics. Moscow State University, Moscow, 1993, 87 p.

[7] Богатый С.А., Федорчук В.В. Теория ретрактов и бесконечномерные многообразия // Итоги науки и техники. Сер.: Алгебра. Топология. Геометрия. 1986. Т. 24. С. 195-270. URL: https://www.mathnet.ru/rus/inta115.

[8] Жураев Т.Ф. Геометрические и топологические свойства пространств, являющихся значениями некоторых ковариантных функторов: дис. ... д-ра физ-мат. наук. Ташкент: Институт математики АН Республики Узбекистан, 2022. 198 с.

[9] Banakh T., Radul T., Zarichny M. Absorbing sets in infinite-dimensional manifolds. Mathematical Studies Monograph Series 1. L'viv: VNTL Publishers, 1996, 232 p.

[10] Федорчук В.В. Слабо бесконечномерные пространства // Успехи математических наук. 2007, Т. 62, Вып. 2 (374). С. 109-164. DOI: https://doi.org/10.4213/rm6212.

Scientific article

DOI: 10.18287/2541-7525-2023-29-3-24-30

Submited Revised Accepted

19.07.2023 21.08.2023 30.10.2023

M.V. Dolgopolov

Samara State Technical University , Samara, Russian Federation E-mail: mikhaildolgopolov68@gmail.com. ORCID: https://orcid.org/0000-0002-8725-7831

K.R. Zhuvonov

Tashkent National Research University "Tashkent Institute of Irrigation and Agricultural

Mechanization Engineers", Tashkent, Uzbekistan E-mail: qamariddin.j@mail.ru. ORCID: https://orcid.org/0009-0008-7561-0862

ON HOMOTOPICALLY DENSE SUBSPACES OF THE SPACE OF COMPLETE LINKED SYSTEMS

ABSTRACT

This message discusses the topological and geometric properties of the set linked systems £ and the properties of its subspaces, which are homotopy dense. Theorems for a metrizable non-degenerate continuum are presented, conditions for homotopy dense set of a compact set and conditions for the definition of a variety for a finite-dimensional set depending on the fact that it does not contain a Hilbert cube.

Key words: subspace; topological properties of a set; geometric properties of a set; topological variety; homotopy dense subspace; metrizable non-degenerate continuum; finite-dimensional set; Hilbert cube.

Citation. Zhuvonov K.R., Dolgopolov M.V. On homotopically dense subspaces of the space of complete linked systems. Vestnik Samarskogo universiteta. Estestvennonauchnaya seriya / Vestnik of Samara University. Natural Science Series, 2023, vol. 29, no. 3, pp. 24-30. DOI: http://doi.org/10.18287/2541-7525-2023-29-3-24-30. (In Russ.)

Information about the conflict of interests: authors and reviewers declare no conflict of interests.

© Dolgopolov M.V., Zhuvonov Q.R., 2023 Mikhail V. Dolgopolov — Candidate of Physical and Mathematical Sciences, associate professor, Department of Higher Mathematics, Samara State Technical University, 244, Molodogvardeyskaya Street, Samara, 443100, Russian Federation.

Qamariddin R. Zhuvonov — senior lecturer of the Department of Higher Mathematics, Tashkent National Research University "Tashkent Institute of Irrigation and Agricultural Mechanization Engineers", 39, Kari Niyazov Street, Tashkent, 100000, Republic of Uzbekistan.

References

[1] Van Mill J. Superextensions of metrizable continua are Hilbert cubes. Fundamenta Mathematicae, 1980, vol. 107, no. 3, pp. 201-224. Available at: https://bibliotekanauki.pl/articles/1363946.

[2] Van de Vel M. Convex Hilbert cubes in superextensions. Topology and its Applications, 1986, vol. 22, issue 3, pp. 255-266. DOI: https://doi.org/10.1016/0166-8641(86)90024-6.

[3] Ivanov A.V. A space of complete linked systems. Siberian Mathematical Journal, 1986, vol. 27, issue 6, pp. 863-875. DOI: https://doi.org/10.1007/BF00970004. (In English; original in Russian)

[4] Beshimov R.B., Mukhammadiyev F.G. Some cardinal properties of complete linked systems with compact elements and absolute regular spaces. Mathematica Aeterna, 2013, vol. 3, no. 8, pp. 625-633. Available at: https://www.longdom.org/articles/some-cardinal-properties-of-complete-linked-systems-with-compact-elements-and-absolute-regular-spaces.pdf.

[5] Bessaga C., Pelczynski A. Selected Topics in Infinite-dimensional Topology. Monografie matematyczne. Warsaw: PWN-Polish Scientific Publisher, 1975, Vol. 58, 353 p. URL: https://onlybooks.org/selected-topics-in-infinite-dimensional-topology-monografie-matematyczne-no-58.

[6] Makhmud T. Cardinal-valued invariants of spaces of linked systems. Candidate thesis in Physics and Mathematics. Moscow State University, Moscow, 1993, 87 p.

[7] Bogatyi S.A., Fedorchuk V.V. Theory of retracts and infinite-dimensional manifolds. Journal of Soviet Mathematics, vol. 44, issue 3, pp. 372-423. DOI: https://doi.org/10.1007/BF01676870. (In English; original in Russian)

[8] Zhuraev T.F. Geometric and topological properties spaces which value some covariant functors: Doctoral of Physical and Mathematical Sciences thesis. Tashkent: Institut matematiki imeni V.I. Romanovskogo AN Respubliki Uzbekistan, 198 p. (In Russ.)

[9] Banakh T., Radul T., Zarichny M. Absorbing sets in infinite-dimensional manifolds. Mathematical Studies Monograph Series 1. L'viv: VNTL Publishers, 1996, 232 p.

[10] Fedorchuk V.V. Weakly infinite-dimensional spaces. Russian Mathematical Surveys, 2007, vol. 62, issue 2, pp. 109-164. DOI: https://doi.org/10.1070/RM2007v062n02ABEH004397. (In English; original in Russian)

i Надоели баннеры? Вы всегда можете отключить рекламу.