CC BY
50
УЧЕНЫЕ ЗАПИСКИ ПЕТРОЗАВОДСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Декабрь, № 8. Т. 2 Физико-математические науки 2014
УДК 515.1
ЕЛЕНА ВИКТОРОВНА КАШУБА
кандидат физико-математических наук, доцент кафедры теории и методики обучения математике и ИКТ в образовании математического факультета, Петрозаводский государственный университет (Петрозаводск, Российская Федерация) finder_@bk.ru
ЕЛЕНА НИКОЛАЕВНА СТЕПАНОВА
кандидат физико-математических наук, доцент кафедры геометрии и топологии математического факультета, Петрозаводский государственный университет (Петрозаводск, Российская Федерация) elena_stepanova@mail. ru
О ПОЛУНОРМАЛЬНЫХ ФУНКТОРАХ, ОБЛАДАЮЩИХ ИНВАРИАНТНЫМ ПРОДОЛЖЕНИЕМ НА КАТЕГОРИЮ TYCH
Следуя конструкции Чигогидзе, строится продолжение полунормального функтора F с категории Comp на категорию Tych. При изучении свойств продолжения функтора важную роль играет наличие гомеоморфного отображения F(f) Ц(X) между пространствами Fp(X) и Fb(X), где Fp(X) - это
множество всех точек £еF(PX), носитель которых лежит в X ; аналогично определяется Fb (X) как подпространство пространства F(bX); f: fiX ^ bX - естественное отображение стоун-чехов-ского расширения fiX на компактное расширение bX . Поэтому будем говорить, что функтор F обладает инвариантным продолжением на категорию Tych, если для любого тихоновского пространства X и любого его компактного расширения bX отображение F(f) | (X) является гомеоморфизмом. Получен критерий инвариантности продолжения для полунормальных функторов конечной степени. Кроме того, доказано, что при n г 4 полунормальный функтор со степенным спектром spF = {1; п} не обладает инвариантным продолжением. В заключении статьи приведены примеры функторов А3 и ц таких, что spX3 = spp = {1;3}, но при этом Х3 обладает инвариантным продолжением, а ц не обладает.
Ключевые слова: компактное расширение, продолжение по Чигогидзе, функтор, обладающий инвариантным продолжением
В статье А. Ч. Чигогидзе [6] предложена конструкция продолжения нормального функтора с категории Comp всех компактов и их непрерывных отображений на категорию Tych тихоновских пространств и их непрерывных отображений. Ключевой вопрос при этом: как связаны свойства продолжения со свойствами самого функтора?
В данной статье вводится понятие инвариантности продолжения функтора. При этом всякий нормальный функтор в категории Comp обладает инвариантным продолжением на Tych, и именно это обеспечивает свойство непрерывности продолжения такого функтора [6; 24]. Основной результат работы - это критерий инвариантности продолжения для полунормальных функторов конечной степени (теорема 1).
Пусть F : Comp ^ Comp - произвольный полунормальный функтор. Для всякого тихоновского пространства X, следуя Чигогидзе, положим
Fp(X) = {^е F(вХ): supp^ X =, где /3X - стоун-чеховская компактификация пространства X, supp Ц - носитель точки Ц [7;
© Кашуба Е. В., Степанова Е. Н., 2014
22]. Для тихоновских пространств X и Y и непрерывного отображения f: X ^ Y определим F(f) = F(.Pf )Ц(X), где ef: Рх ^ PY - чеховское продолжение отображения f. Нетрудно убедиться в корректности определения отображения Fp (f). Для этого достаточно проверить включение F(Pf)(Fp(X)) с Fp(Y), используя свойство носителей для полунормального функтора F: g(supp &) о supp(F(g)(£)), где
g: Z ^ T - непрерывное отображение компактов и | Е F(Z) [5; 166]. Таким образом, конструкцию продолжения функтора по Чигогидзе можно применить к полунормальным функторам.
При установлении непрерывности продолжения нормального функтора F ключевую роль играет наличие естественного гомеоморфизма между пространствами Ffi (X) и Fb (X) = {£ е F (bX): supp £, с X}, где bX - произвольное компактное расширение X (см. предложение 1 [6; 24]). Результатом анализа этого факта является следующее
120
Е. В. Кашуба, Е. Н. Степанова
Определение. Пусть F: Comp ^ Comp - полунормальный функтор, bX - произвольная ком-пактификация тихоновского пространства X и f: вХ ^ bX - естественное отображение [1; 106]. Будем говорить, что функтор F обладает инвариантным продолжением на категорию Tych, если для любого тихоновского пространства X и любого его компактного расширения bX отображение F(f) |F ( является гомеоморфизмом между пространствами Fe (X) и F (X).
Для доказательства основных результатов нам понадобятся вспомогательные утверждения.
Предложение 1. Пусть X, Y - компакты, f: X ^ Y - непрерывное отображение, A -всюду плотное подмножество X, B с Y и f lA: A ^ B - биекция. Отображение f I является гомеоморфизмом тогда и только тогда, когда f (X) € B для любой точки £ еX \ A.
Доказательство. Необходимость. Допустим, что f I - гомеоморфизм, но при этом найдется точка § GX \ A, такая, что f (Х) = b GB. Так как f I - биекция, то f (Ц) = f (a) = b для некоторой точки a G A. Пусть Oa и OЦ - непересекающиеся окрестности точек а и Ц в X. Поскольку f I - открытое отображение, множество f \A (Oa П A) = UB(b) - окрестность точки b в B. Пусть U(b) - открытое в Y множество, такое, что UB(b) = U(b) П B. В силу непрерывности f для точки Ц найдется окрестность O 'X С ox, удовлетворяющая условию f (O'X) С U(b). Легко проверить, что 0 ^ f \A (O'X П A) с UB(b). А значит, f \A(OX^ А)П f \A(Oa П A) ^ 0, что противоречит биективности f |A .
Достаточность. Пусть f (X) € B для любого X GX \ A. Чтобы показать, что f I является гомеоморфизмом, достаточно проверить замкнутость отображения f \A, которая сразу следует в этом случае из замкнутости f. □
В дальнейших рассуждениях через n об означается не только натуральное число, но и дис-кретное пространство, состоящее из n точек.
Отображение Басманова [3]
пп : Xя х F(n) - F(X)
для полунормального функтора F и компакта X определяется равенством nn (x,X) = F(x)(X), в котором каждая точка x GXn отождествляется с отображением x :n ^ X. Отображение nn непрерывно и Imnn = Fn(X), где Fn(X) = {XEF(X): \suppX\^n). В случае degF = n отображение П является отображением «на» [8; 129].
Предложение 2. Если F: Comp ^ Comp - полунормальный функтор и degF = n, то Fb (X) всюду плотно в F(bX) для любого тихоновского пространства X и любого его компактного расширения bX.
Доказательство. Выберем произвольно точку X GF(bX) и ее окрестность ОЦ в F(bX). Рассмотрим отображение Басманова
жп :(bX)n х F(n) ^ F(bX).
Отображение n сюрьективно, значит, существует точка t = (y, y2,..., yn ,n), такая, что лп (t) = X. Поскольку п непрерывно, то найдется Ot -окрестность точки t, для которой nn (Ot) с OX-Очевидно, окрестность Ot содержит некоторое множество T = Oyxx Oy2 х... х Oyn х {}. Пространство X всюду плотно в bX, значит, для любого i = 1,.,n существует точка x. GOyt П X. Нетрудно пPовеPить, что Xl=nn(xvx2,..,xnn)GO и suppXJ С X, т. е. Хх GFb(X). □
Для любых k и m, таких, что 0 < k < m, определим отображение g^ : m ^ т, которое действует по правилу gm(i) = i при i = 0,..,k-1
и gk(j) = k при j = k,.,m-1.
Теорема 1. Полунормальный функтор F: Comp ^ Comp конечной степени обладает
инвариантным продолжением на категорию Tych тогда и только тогда, когда для любой точки X GF(n) с носителем suppX = m с n (m > 2)
и для любого 0 < k < m - 2 выполняется условие suPPF(gk )(|)с к1
Доказательство. Необходимость. Пусть F(f) |F ( - гомеоморфизм для любого тихо-
новского пространства X и любого его компактного расширения bX. Допустим, что найдутся точка X GF(n) с носителем supp X = mC n и
число k < m- 2, такие, что онО(ИО)(X)Ск = = {0,...,к — 1}.
Возьмем в качестве X счетное дискретное пространство N. В /3N выберем m -элементное множество следующим образом: [x0,xv..., xk _} C C NcpN, {xk,xk+l,..,xm_l)C pN\N. Рассмотрим фактор-пространство /3N по разбиению, единственным нетривиальным элементом которого является множество {x x } Очевидно, что
V к’ ’ m-1 ' '
это фактор-пространство является компактным расширением bN, а факторное отображение f: fiN ^ bN - естественным отображением ком-
пактных расширений. Точку {xt,...,xm_1]EbN бу-
О полунормальных функторах, обладающих инвариантным продолжением на категорию Tych
121
дем обозначать через x
F (f)
V N)
Пусть
,. Покажем, что
k ’
не является гомеоморфизмом. х: m ^ fiN действует по правилу
x(i) = x. для i-0,..,m~ 1, h:{x0,...,xk(k + 1)С m - по правилу h(x.) = i для i = 0,...,k. Пусть f = f\, }, тогда h° f ° x :m ^ m, причем
(x0,—, xm-1}
h° f ° x = gmk. Положим £' = F(x)(X) £ F(/3N),
П = F(m')£ F({x0,...,xt}), h = F(h)(h')G F(m), то есть n = (F (h)0 F (/) ° F (x ))(§). При этом
supp% = m = {0,—,m -1}, suppn C k -{0,...,k-1}. Значит, suppX' = {x0,...,xm_J и supph' C
C {x0,...,-k-1} C N. Таким образом, h'e Fb(N). Это значит, что точка £' е F(fiN) \ F^(N) при отображении F( f) переходит в точку h £ Fb (N), и,
следовательно, согласно предложению 1, F(f) |F (N) не является гомеоморфизмом.
Достаточность. Пусть для любого X £F(п) с
носителем supp X = m C n и для любого k < m - 2
выполняется suppF(gk)(X) </ k = {0,...,k -1},
при этом для некоторого тихоновского пространства X и некоторого компактного расширения bX отображение F(f) |F ( - ее гомео-
морфизм. Тогда существует точка X ' е F (/3X)\ Fe (X), такая, что П' = F (f )(Х') G G Fb(X). Носитель suppX' = {x0,.,Xk_i,
xk где xk-1} F X и {xk Хт_1} C
C PX \ X, причем к > 1, m > 3. Тогда
f (suPPX') = {x0,...,xk-1,y1yt}, где y. <EbX\ X, i = 1, —, l и / < w - &. Поскольку
suppn' c /(suppC') П X, то supp h'c {x0,...,xt-1}. Теперь рассмотрим отображения x: m ^ fiX, действующее по правилу x(i) = x. для i = 0,—,m -1, и g '■{x0,—,xk-1,У1,—,yl} ^ m для которого g(x.) = i при i = 0,—,k -1 и g(y,) = k при j = 1,—, l. Пусть точка £ GF(m) такая, что F (x )(X ) = Xи h = X (g)(h'). При этом
suppX = m = {0,—,m-1}, supph C k = {0,...,k -1}.
Но g°f i, .,* ox=g", значит, n=f(sk)(§).
что противоречит условию suppF(gk )(§) C k. □ Теорема 2. Всякий полунормальный функтор F: Comp ^ Comp со степенным спектром spF = {1; n}2 не обладает инвариантным продолжением на категорию Tych при n > 4.
Доказательство. Допустим, что F(f) |F (X^ является гомеоморфизмом для любого тихоновского пространства X и любого bX, тогда по теореме 1 для любой точки £ GF(n), | supp11= m и любого k < m - 2 выполняется условие suppF(gk )(X)</ к.
Выберем некоторую точку F (п) с
supp § = n и рассмотрим отображение
2 : n ^ п. п = F(gnn-2)(%). Получа-
ем, что supph С gnn_2(n) = n — 1. Но spF = {1;n}, следовательно, | supp п 1=1. По предположению,
supph<t- {0,1,.,n — 3}, следовательно, suppp = = {n- 2}, то естьп = n- 2£F(n)3. Таким образом, все точки X £F(n) с n -точечным носителем переходят при отображении F(g”-2) в точку
n- 2£F(n).
Возьмем отображение h :n ^ n, действующее по правилу h(0) = h(l) = 0, h(i) = i для i >1. С помощью перестановок множества n из отображения g”-2 можно получить h. Поэтому для любой точки X £F(n) с suppX = n верно F(h)(X) = 0 £F(n).
Заметим, что gn oh = h° gn . Тем не менее для любой точки X £F(n) с n -точечным носителем suppF(gnn_2 о А)(^) = {0} и suppF(Моgnn_2) (X) = {n- 2}, что невозможно. □
Легко проверить, что любой полунормальный функтор F со степенным спектром spF = {1;2} обладает инвариантным продолжением с Comp на Tych. В случае spF = {1;3} ситуация неоднозначна: есть полунормальные функторы с инвариантным продолжением и функторы, не обладающие таким продолжением.
Согласно В. Н. Басманову [2], полунормальный функтор конечной степени полностью определен своим действием на категорию n, состоящую из единственного компакта n и всех отображений из n в n.
В работе [9] построен функтор р со степенным спектром spp ={1;3}4. Опишем действие р на категорию 3: р (3) = {0,1,2,^} D 3; для каждого отображения f :3^ 3 полагаем р(f)|3= f; если f - биекция, то р (f )(Х) = Х; если f «склеивает» две точки, то р (/)(§) = f(x), где x ^3 и | f _1(f (х))|=1; если f: 3 ^ {g) С 3 - постоянное отображение, то р (f)(X) = p.
Поскольку suppр(gi^)(X) = {0}, то, по теореме 1, существуют тихоновское пространство X и его
компактное расширение bX, для которых отображение р (f) | не является гомеоморфизмом.
122
Е. В. Кашуба, Е. Н. Степанова
Второй пример - функтор Я3 - подфунктор функтора суперрасширения Я [5; 156]. Функтор р является в некотором смысле антиподом Я3. Если f: 3 ^ 3 «склеивает» две точки, то
А(Л(Ю = fix)’ где х е3 зтакая, что I f~lifM)I= 2.
В этом случае suppk3(g^)(X) = {1} ф {0}, а значит, согласно теореме 1, Я (f)l , , - гомеомор-
физм для любого X и любого ЪХ.
ПРИМЕЧАНИЯ
1 Заметим, что при k = 0 = 0 условия теоремы выполняются автоматически.
2 Определение степенного спектра см. в [4].
3 Для любого функтора F выполнено X С F(X), значит, n С F(n) [7; 815].
4 В [9] функтор fi обозначен через G.
СПИСОК ЛИТЕРАТУРЫ
1. Александров П. С., Пасынков Б. А. Введение в теорию размерности. М.: Наука, 1973. 577 с.
2. Басманов В. Н. Ковариантные функторы конечных степеней на категории бикомпактных пространств // Фундаментальная и прикладная математика. 1996. Т. 2. № 3. C. 637-654.
3. Басманов В. Н. Ковариантные функторы, ретракты и размерность // Доклады АН СССР 1983. Т 271. № 5. C. 1033-1036.
4. Иванов А. В., Кашуба Е. В. О наследственной нормальности пространств вида F(X) // Сибирский мат. журнал. 2008. Т. 49. № 4. С. 813-824.
5. Федорчук В. В., Филиппов В. В. Общая топология. Основные конструкции. М.: Изд-во МГУ, 1988. 250 с.
6. Ч и г о г и д з е А . Ч . О продолжении нормальных функторов // Вестник МГУ. Сер 1. Математика. Механика. 1984. № 6. С. 23-26.
7. Щепин Е. В. Функторы и несчетные степени компактов // Успехи мат. наук. 1981. 36. № 3. С. 3-62.
8. Fedorchuk V., Todorcevic S.Cellularity of covariant functors // Topology and its Applications. 1997. Vol. 76. P. 125-150.
9. Ivanov A. V., Kashuba E. V., Matyushichev K. V., Stepanova E. N. Functors and compact spaces of uncountable character // Topology and its Applications. 2013. Vol. 100. I. 13. P 1606-1610.
Kashuba E. V., Petrozavodsk State University (Petrozavodsk, Russian Federation) Stepanova E. N., Petrozavodsk State University (Petrozavodsk, Russian Federation)
ON THE SEMINORMAL FUNCTORS WITH INVARIANT EXTENSION TO THE TYCH CATEGORY
Using methods of Chigogidze, we can extense a seminormal functor acting in the category Comp to the category Tych. Researching the properties of this extension, we introduce the notion of a functor having an invariant extension to the category Tych. Let F be seminormal functor acting in the category Comp and X be Tychonoff space. By p (x) we denote the subspace of F(fiX) consisting of all points | such that supp X С X . Let bX be a compactification of X . Put Fb (X) = { e F(bX): supp X С X} . For the natural mapping f : fiX ^ bX consider the mapping F(f) |F (X : Fp (X) ^ Fb (X). We say that the functor F has an invariant extension to the category Tych if the mapping F(f) |F ( is a homeomorphism for any Tychonoff space X and its arbitrary compac-
Fp(X)
tification bX. We obtained the criterion of the invariant extension for a finite degree seminormal functor. We prove that any seminormal functor F with the degree spectrum spF = {1; n} hasn’t got an invariant extension for n > 4 . For n = 3 there are the examples of the functors Я and д with the degree spectrum spA3 = sp д == {1 ;3 } such that Я has an invariant extension, and д has not.
Key words: seminormal functor, compactification, Chigogidze extention of functors, functor with invariant extention
REFERENCES
1. Aleksandrov P. S., Pasynkov B. A. Vvedenie v teoriyu razmernosti [Introduction to Dimension Theory]. Moscow, Nauka Publ., 1973. 577 p.
2. Basmanov V. N. Covariant functors of finite degree on the category of Hausdorff compact spaces [Kovariantnye funktory konechnykh stepeney na kotegorii bikompaktnykh prostranstv]. Fundamental’naya iprikladnaya matematika [Fundamental and applied mathematics]. 1996. Vol. 2. № 3. P 637-654.
3. Basmanov V. N. Covariant functors, retracts, and dimension [Kovariantnye funktory, retrakty i razmernost’]. Doklady AN SSSR. 1983. Vol. 271. № 5. P 1033-1036.
4. Ivanov A. V., Kashuba E. V. Hereditary normality of a space of the form F (X) [O nasledstvennoy normal’nosti prostranstv vida F(X) ]. Sibirskiy mat. zhurnal [Siberian Mathematical Journal]. 2008. Vol. 49. № 4. P 616-620.
5. Fedorchuk V. V., Filippov V. V. Obshchaya topologiya. Osnovnye konstruktsii [General Topology. Basic design]. Moscow, Moscow State Univ. Publ., 1988. 250 p.
6. Chigogidze A. Ch. Extension of normal functors [O prodolzhenii normal’nykh funktorov]. Vestnik MGU. Ser. 1. Matematika. Mekhanika. 1984. № 6. P 23-26.
7. Shchepin E. V. Functors and uncountable degree of compacta [Funktory i neschetnye stepeni kompaktov]. Uspekhimat. nauk [Russian Math. Surveys]. 1981. Vol. 36. № 3. P 3-62.
8. Fedorchuk V., Todorcevic S. Cellularity of covariant functors // Topology and its Applications. 1997. Vol. 76. P 125-150.
9. Ivanov A. V., Kashuba E. V., Matyushichev K. V., Stepanova E. N. Functors and compact spaces of uncountable character // Topology and its Applications. 2013. Vol. 100. I. 13. P 1606-1610.
Поступила в редакцию 18.06.2014
