Научная статья на тему 'ПОСТРОЕНИЕ МНОЖЕСТВА ВСЕХ СЧЕТНО ПАРАКОМПАКТНЫХ РАСШИРЕНИЙ'

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

CC BY
3
1
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
счетно паракомпактные расширение / секвенциальная полнота / секвенциальная полнота по Дьедонне / счетная предпаракомпактность / предуниверсальность / countably paracompact extensions / sequentially completeness / Dieudonne sequentially completeness / countably preparacompactness / preuniversality

Аннотация научной статьи по математике, автор научной работы — Канетова Динара Эменовна

Одной из центральных тем в общей топологии является тема, связанная с разного типа расширениями топологических пространств. М. Стоун отмечал, что одной из интересных и трудных проблем общей топологии является изучение всех расширений данного топологического пространства. Исходя из общей проблемы М. Стоуна, Б. Банашевский систематизировал общие задачи теории расширений. П.С. Александровым была поставлена проблема классификации компактных расширений и сформированы различные общие задачи о расширениях топологических пространств. А.А. Борубаевым при помощи равномерности построены множества всех паракомпактных, сильно паракомпактных, линделѐфовых и полные по Дьедонне расширений тихоновских пространств. В настоящей статье при помощи равномерных структур строится множества всех счетно паракомпактных расширений.

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

CONSTRUCTION OF THE SET OF ALL COUNTABLY PARACOMPACT EXTENSIONS

One of the central theme in general topology is the theme related to various types of extensions of topological spaces. M. Stone noted that one of the interesting and difficult problems of general topology is the study of all extensions of a given topological spaces. Based on the general problem of M. Stone, B. Banashevsky systematized the general problems of the theory of extensions. P.S. Aleksandfoff posed the problem of classifying compact extensions and formulated various general problems on extensions of topological spaces. A.A. Borubaev, using uniformity, constructed the sets of all paracompact, strongly paracompact, Lindelof and Dieudonne complete extensions of Tychonoff spaces. In this paper, using uniform structures, we construct the sets of all countably paracompact extensions.

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

ВЕСТНИК ОШСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА МАТЕМАТИКА. ФИЗИКА. ТЕХНИКА. 2024, № 1(4)

УДК 515.12

DOI: https://doi.org/10.52754/16948645 2024 1(4) 19

построение множества всех счетно паракомпактных

расширений

Канетова Динара Эменовна, к.ф.-м.н., Dinara_kg@mail. ru

Научно-исследовательский медико-социальный институт

Жалал-Абад, Кыргызстан

Аннотация. Одной из центральных тем в общей топологии является тема, связанная с разного типа расширениями топологических пространств. М. Стоун отмечал, что одной из интересных и трудных проблем общей топологии является изучение всех расширений данного топологического пространства. Исходя из общей проблемы М. Стоуна, Б. Банашевский систематизировал общие задачи теории расширений. П.С. Александровым была поставлена проблема классификации компактных расширений и сформированы различные общие задачи о расширениях топологических пространств. А.А. Борубаевым при помощи равномерности построены множества всех паракомпактных, сильно паракомпактных, линделёфовых и полные по Дьедонне расширений тихоновских пространств.

В настоящей статье при помощи равномерных структур строится множества всех счетно паракомпактных расширений.

Ключевые слова: счетно паракомпактные расширение, секвенциальная полнота, секвенциальная полнота по Дьедонне, счетная предпаракомпактность, предуниверсальность.

бардык санактуу паракомпактуу кецейуулэрдун

кэптугун тургузуу

Канетова Динара Эменовна, ф.-м.и.к., Dinara_kg@mail. ru Илимий-изилдвв медициналык социалдык-институту

Жалал-Абад, Кыргызстан

Аннотация. Жалпы топологиянын борбордук темаларынын бири болуп топологиялык мейкиндиктердин трдYY типтеги кецейYYлврY менен байланышкан тема саналат. М. Стоун жалпы топологиядагы эц кызыктуу жана оор квйгвйлврдвн болуп берилген топологиялык мейкиндиктеги бардык кецейYYлврдY изилдвв деп белгилеген. М. Стоундун койгон жалпы квйгвйлврYHYн негизинде Б. Банашевский кецейYYлвр теориясынын жалпы маселелерин системалаштырган. П.С. Александров тарабынан компактуу кецейYYлврдYH классификациялоо квйгвйY жана топологиялык мейкиндиктердин кецейYYлврY жвHYндвгY тYрдYY жалпы маселелери коюлган. А.А. БврYбаев тарабынан тихоновдук мейкиндиктердин бир калыптуу структуралардын жардамы менен бардык паракомпактуу, KYчтYY паракомпактуу, линделёфтук жана Дьедонне боюнча толук кецейYYлврYHYH квптYгY тургузулган.

Бул илимий макалада бардык санактуу паракомпактуу кецейYYлврдYH квптYгY тургузулган.

Ачкыч свздвр: санактуу паракомпактуу кецейYY, секвенциалдуу толуктуулук, Дьедонне боюнча секвенциалдуу толуктуулук, санактуу предпаракомпактуулук, предуниверсалдуулук.

CONSTRUCTION OF THE SET OF ALL COUNTABLY PARACOMPACT

EXTENSIONS

KanetovaDinara Emenovna, Cand. Phys.-math. Sc.,

Dinara_kg@mail. ru Scientific-Research Medical-Social Institute

Jalal-Abad, Kyrgyzstan

Abstract: One of the central theme in general topology is the theme related to various types of extensions of topological spaces. M. Stone noted that one of the interesting and difficult problems of general topology is the study of all extensions of a given topological spaces. Based on the general problem of M. Stone, B. Banashevsky systematized the general problems of the theory of extensions. P.S. Aleksandfoff posed the problem of classifying compact extensions and formulated various general problems on extensions of topological spaces. A.A. Borubaev, using uniformity, constructed the sets of all paracompact, strongly paracompact, Lindelof and Dieudonne complete extensions of Tychonoff spaces. In this paper, using uniform structures, we construct the sets of all countably paracompact extensions.

Keywords: countably paracompact extensions, sequentially completeness, Dieudonne sequentially completeness, countably preparacompactness, preuniversality

А.А. Борубаевым [1], [3] при помощи равномерности построены множества всех паракомпактных и близкие к нему расширения тихоновских пространств. В работе [2] построены множества всех ¡1 -полные по Дъедонне расширения. Индекс компактности и суперпаракомпактные расширения изучены в работе [4].

Известно, что на каждом счетно паракомпактном пространстве его универсальная равномерность является секвенциально полной, а система всех счетно открытых покрытий пространства образует базу универсальной равномерностью. Пусть M -всюду плотное подпространство пространства X, V -равномерность на M, порожденная равномерностью U . Тогда равномерное пространство (X,U) является секвенциальным пополнением равномерного пространства (M, V). Следует отметить, что равномерность V , вообще говоря, не является универсальной равномерностью, но обладает специальным свойством - счетно предпаракомпактностью. По счетной предпаракомпактностью пространства M можно построить все его счетно паракомпактные расширения, т.е. получить эти расширения как секвенциальные пополнения пространства M по счетно предпаракомпактности.

Напомним [2], что равномерное пространство (X,U) называется секвенциально полным, если всякий фильтр Коши F , имеющий счетную базу B сходится в нем.

Равномерное пространство (Xs,Us) называется секвенциальным пополнением равномерного пространства (X,U), если: 1) X ^ Xs; 2) (X,TU) всюду плотно в (X s,r~ ) ; 3) (Xs,Us) -секвенциально полное равномерное пространство.

Пусть (X,U) -равномерное пространство и (s (U) -множество всех минимальных фильтров Коши равномерного пространства (X,U), каждое из которых имеет счетную базу [1], [2].

Пусть U(X) -множество всех равномерностей на множестве X . Две равномерности

U и V будем считать эквивалентными U ~ V, если (s (U) = (s (V). Положим

Es (U) = {V Е U(X) : U ~ V}. Ясно, что Es (U ) является частично упорядоченным отношением.

Нормальную последовательность {&„} покрытий множества X будем называть (s (U) -нормальной, если CLn П F для любых F Е (s (U) и n е N .

Для любой равномерности U на множестве X множество Es (U) имеет

наибольший элемент. Действительно, пусть {@n} и {$n} -(s (U) -нормальные

последовательности покрытий X . Тогда система {ап } является Ра (и) -нормальной последовательностью покрытий множества X . Система ивсех Ра (и) -нормальных последовательностей покрытий множества X является равномерностью на множестве X . Заметим, что ра (и) = ра (ир ) . Докажем, что ир -наибольший элемент Еа (и) . Пусть

V е Еа (и) и Яе V. Тогда существует нормальная последовательность покрытий {Яп} из

V такая, что Я = Я . {Яп} -Ра (и) -нормальная последовательность покрытий, поскольку Р* (и) = Ра ). Следовательно, {/п} с ир , V с и % .

Наибольший элемент частично упорядоченного множества Еа (и) будем

называть -лидером равномерности и . Равномерное пространство (X,и) называется предуниверсальным, если и = и .

Равномерное пространство (X,и) является предуниверсальным тогда и только

тогда, когда секвенциальное пополнение (Xs,иа) равномерного пространства (X,и) является универсальным пространством, в самом деле, пусть V -такая равномерность на X , что ра (иа) = ра V). Поскольку (Xs, иа) секвенциально полное пространство, то ра(иа) есть множество всех фильтров окрестностей точек пространства (Xs,иа), имеющих счетную базу. Ясно, что р.. (и) = р (ия) П X, поэтому Ра (и) = ра (V), где V -равномерность на X, порожденная равномерностью V. Ясно, что Vs с иа. Следовательно, (Xs ,и в) универсальное пространство. Обратно, пусть (Xs ,и в) -универсальное пространство и а е и( . Тогда аа = {Аа : А еа} , где А5 = Х5 \ [X \ А]~ есть покрытие

(Xs,иа). Система {аs : а £ и(} является базой для некоторой равномерности ина Xs. и = иа, поскольку иа -универсальная. Итак, и = и( .

Определение 1 [2]. Топологическое пространство

X называется ¡и -полным по Дьедонне, если на нем существует ¡и -полная равномерность.

К -полное по Дьедонне пространство называется секвенциально полным по Дьедонне пространством [2].

Топологическое пространство

X секвенциально полно по Дьедонне тогда и только тогда, когда универсальная равномерность пространства X секвенциальна полна [2].

В самом деле, пусть топологическое пространство X секвенциально полно по Дьедонне. Тогда найдется равномерность на

X, такая что (X, и) секвенциально полно. Пусть их -универсальная равномерность на X и ¥ -произвольный фильтр Коши равномерного пространства (X,их), имеющий счетную базу. Тогда фильтр Коши ¥ имеющий счетную базу сходится в (X, и) т.е. в (X,их). Значит, (X,их) секвенциально полно.

Пусть 08 (X) -множество всех секвенциально полных по Дьедонне расширений, а иб (X) -множество всех предуниверсальных равномерностей тихоновского пространства X . Множество (X) частично упорядочено относительно порядка " <", а иб (X) частично упорядочено по включению " с".

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

Доказательство. Пусть задано отображение Г8 : и б (X) ^ Б8 (X) , Г8 (и) = , и е иб (X), и расширение SUX пространства X . Ясно, что Г8 (и) е Б8 (X). Пусть и-V е и01 (X) и Г, (V) = 8и (X). Положим Г8 (и) = Г8 (V). Найдется I : 8^ ^ 8^ такое, что 0 % = Sv . Пусть и 8 и V8 -универсальные равномерности пространств 8иX и SVX соответственно. Заметим, что и = [8и1а8 : а8 е и,} и V = ^иР, : Р8 е V,.}. /8 :(sUX) ^ (sVXV) -равномерный изоморфизм, так как /8 : SUX ^ SVX -гомеоморфизм, а и, и V, -универсальные равномерности. Отсюда следует, что и = V . Пришли к противоречию. Итак, Г8 (и) Ф Г8 (V). Докажем сюръективность отображения Г8. Пусть е Б8 (X) и и8 -универсальная равномерность на нем. Положим и = {8 1 а8 : а8 е и8}. Заметим, что и -предуниверсальная равномерность на X . Легко видеть, что (8X,и8) является секвенциальным пополнением равномерного пространства (X,и) . Следовательно, Г8 (и) = SUX . Теперь остается показать, что отображение

Г : (и

б (Xс) ^ (-8(X-) -изоморфизм. Пусть и-У е ип ^) такие, что V с и . Пусть Г(и) = ^, Г8(V) = SvX. Пусть (sUX,и8) -секвенциальное пополнение пространства

(X,и), (8VXV ) -секвенциальное пополнение пространства (X, V) . Очевидно, что тождественное отображение гх : (X, и) ^ (X, V) равномерно непрерывно. Тогда существует такое равномерно непрерывное отображение /8 :(8UX,и8) ^ (8VX,V8), что Л 0 8и = sV . Отсюда следует, что sVX ^ sUX . Обратно, пусть sVX ^ sUX . Тогда существует такое непрерывное отображение /8 : 8иX ^ 8vX , что о 8и = Sv . Если и8 и V8 -универсальные равномерности пространств 8иХ, SvX соответственно, то отображение /8 :(8UX,и8) ^ (8VX,V8) равномерно непрерывно. Так как о 8и = sv и и = {8^ ~8 : ~8 е и8} и V = {яи 08 : Р8 е V8}, то V с и . Следовательно, отображение

Г, : (и

б (Xс) ^ (Б8(^-) является изоморфизмом.

Пусть X -тихоновское пространство. Через Т(X) обозначим множество всех тихоновских расширений, СР (X) -множество всех счетно паракомпактных расширений X . СР(X) с Т(X) и по отношению " <" оно частично упорядочено.

Определение 2. Пусть (X,и) -равномерное пространство. Равномерность и называется счетно предпаракомпактным, если всякое счетное покрытие а множества X , такое что а п ¥ ^ 0 для любого ¥ £ ра (X) содержится в равномерности и .

Пусть иср (X) -множество всех счетно предпаракомпактных равномерностей тихоновского пространства X.

Теорема 2. Для пространства Х , частично упорядоченные множества (СР (X), <) и

(иср (X), с) попарно равномерно изоморфны.

Доказательство. Пусть задано отображение р : иср (X) ^ СР(X), Р(и) = SUX , где

-расширение X . Расширение аиX строится как секвенциальное пополнение X по равномерной структуре и . Покажем справедливости равенства Р(иср (X)) = СР (X).

Пусть и £ Оср (X) и Р(и) = SиX. Пусть а -счетное открытое покрытие пространства , элементы которого состоят из канонически открытых множеств . Пусть и' -универсальная равномерность sUX. Через а обозначим след покрытия а . Тогда для каждого минимального фильтра Коши ¥ £ ра (X) существует фильтр окрестностей В(х) некоторой точки х £ SUX такой, что ¥ = {Ох П X : Ох £ В} . Следовательно, а п ¥ ^0 для любого ¥ £ р$. Так как, равномерность и счетно предпаракомпактна, то а является элементом равномерности и . Ясно, что [а] принадлежит в и , а ([а^ принадлежит в и , где : А £а\, (НН^М^)^ : А £а| Отсюда следует, что а = ([а]), т.е.

а £ и'. Тогда существует локально конечное открытое покрытие р такое, что р ^ а .

Пусть Р £ О' такое покрытие, что Р П X = Р . Легко видеть, что покрытие Р также является локально конечным покрытием, вписанное в счетное открытое покрытие а . Следовательно, Р(иср (X)) с СР (X).

Теперь докажем справедливость обратного включения. Пусть sX -некоторый элемент из СР (X), а и' -универсальная равномерность sX, которая имеет базу, состоящую из локально конечных покрытий В 'с и'. Заметим, что равномерная структура и , порожденная равномерной структурой и', тоже обладает базой, состоящую

из локально конечных покрытий. Покажем, что О £ О ср (X). Выберем такое счетное открытое покрытие а множества X , что а и ¥ имеют общий элемент для всякого ¥ из ¥ £($(и). Для каждого х £ SUX найдется такое открытое множество Ах в , что след множества А х на X содержится в а. Положим а = ^ Ах^ : х £ suX ]. Так как и' -универсальная равномерная структура, то счетное покрытие а является равномерным

покрытием относительно U'. Пусть у = d л {X}. Ясно, что у > а . Тогда согласно определению равномерности имеем, что а е U, т.е. U является счетно предпаракомпактной. Таким образом P(U) = sX . Значит, множество CP(X) содержится в множестве P(Ucp (X)).

Литература

1. Борубаев А.А. Равномерные пространства и равномерно непрерывные отображения. Фрунзе: Илим,

1990.

2. Канетов Б.Э. Некоторые классы равномерных пространств и равномерно непрерывных отображений. Бишкек: КНУ им. Ж. Баласагына, 2013.

3. Borubaev A.A. Uniform topology and its applications. Bishkek, Ilim, 2021.

4. Kanetov B., Kanetova D. Characterization of some types of compactness and a construction of index compactness < T extensions by means of uniform structures. AIP Cof. Proc., Melville. - New York. - 2018. - Vol. 1997. - P. 1-5.

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