CC BY
11
Труды Карельского научного центра РАН №7. 2018. С. 25-33 DOI: 10.17076/mat771
УДК 515.12
ПОЧТИ ВПОЛНЕ ЗАМКНУТЫЕ ОТОБРАЖЕНИЯ И КВАЗИ-^-КОМПАКТЫ
А. В. Иванов
Институт прикладных математических исследований КарНЦ РАН, ФИЦ «Карельский научный центр РАН», Петрозаводск, Россия
Введено понятие почти вполне замкнутого отображения, обобщающее определение вполне замкнутости. Показано, что свойство почти вполне замкнутости сохраняется при композиции и переходе к пределу счетной обратной трансфинитной последовательности почти вполне замкнутых отображений компактов с первой аксиомой счетности. Определен класс квази-^-компактов (включающий в себя класс компактов Федорчука), для которого установлены утверждения, обобщающие и усиливающие некоторые полученные ранее теоремы об F -компактах.
Ключевые слова: почти вполне замкнутое отображение; компакт Федорчука; квази^-компакт; резольвента.
A. V. Ivanov. ALMOST FULLY CLOSED MAPPINGS AND QUASI-F -COMPACTA
The notion of an almost fully closed mapping, which generalizes the definition of a fully closed map, is introduced. It is shown that the composition of almost fully closed mappings of compacta with the first axiom of countability is also almost fully closed, and so is the limit of a countable inverse transfinite sequence of the same mappings. A class of quasi-F-compacta (which contains the class of Fedorchuk compacta) is defined. For this class, some statements are proved that generalize and strengthen the known theorems on F-compacta.
Keywords: almost fully closed mapping; Fedorchuk compactum; quasi-F-compactum; resolution.
Понятие вполне замкнутого отображения неразрывно связано с одноименным методом построения контрпримеров в теории компактных пространств, который был разработан В. В. Федорчуком в 60-70-е годы прошлого века (см. [6]). Метод вполне замкнутых отображений (впоследствии переименованный усилиями западных математиков в «метод резольвент») показал исключительную эффективность в решении многих задач общей топологии, что естественно привело к опреде-
лению и исследованию класса компактов, которые могут быть построены этим методом. Такие компакты получили название компактов Федорчука, или ^-компактов. По определению, компакт X называется ^-компактом, если он допускает разложение в специальный вполне упорядоченный обратный спектр спектр) с вполне замкнутыми соседними проекциями. Наименьшая длина ^-спектра, дающего в пределе X, называется спектраль-
(2D
ной высотой ) ^-компакта X (подробные определения приведены ниже).
Вполне замкнутые отображения были введены как инструмент решения конкретных задач общей топологии, однако впоследствии оказалось, что этот класс обладает уникальными категорными свойствами, которые определяются топологической независимостью прообразов точек при вполне замкнутом отображении (см. обзор В. В. Федорчука [6], II. 1-4). В то же время свойство вполне замкнутости не сохраняется при операциях с отображениями. Так, композиция вполне замкнутых отображений может не быть вполне замкнутой. Также не являются вполне замкнутыми, вообще говоря, произвольные проекции ^-спектра, что создает определенные трудности при построении контрпримеров и исследовании класса ^-компактов. В связи с этим представляется естественным сформулировать обобщение определения вполне замкнутости с тем, чтобы избавиться от указанных недостатков и в то же время сохранить (по возможности) инструментарий, разработанный для вполне замкнутых отображений. Вариантом решения этой задачи является предложенное в работе понятие почти вполне замкнутого отображения1.
Определение вполне замкнутого отображения допускает ряд равносильных формулировок. Самая краткая из них такова: отображение2 / : X ^ У вполне замкнуто, если для любых двух непересекающихся замкнутых подмножеств А, В с X пересечение / (А) П / (В) конечно. Определение почти вполне замкнутого отображения получается из приведенного выше определения заменой строгого неравенства |/(А) П /(В)| < ш0 на нестрогое |/(А) П /(В)| ^ ш0. Однако при этом оказывается, что композиция почти вполне замкнутых отображений компактов с первой аксиомой счетно-сти всегда почти вполне замкнута. Кроме того, почти вполне замкнутыми являются и все предельные проекции ^-спектров длины ^ шь По аналогии с ^-компактами могут быть определены квази-^-компакты как пределы квази-^-спектров, определение которых отличается от определения ^-спектра заменой требования вполне замкнутости соседних проекций на почти вполне замкнутость. Также по аналогии определяется спектральная высота ) квази-^-компакта X.
Для квази-^-компактов справедливы утверждения, обобщающие и усиливающие по-
лученные ранее теоремы для ^-компактов. В их числе теорема 1, утверждающая, что произведение квази-^-компактов ^, не может быть квази-^-компактом счетной спектральной высоты, если = ^ и для каждого г = 1, 2 существует ординал 7г — 3. Из этой теоремы следует, что произведение неметри-зуемых ^-компактов конечной спектральной высоты всегда не является ^-компактом счетной спектральной высоты. Тем самым получено усиление основного результата [7], где аналогичное утверждение об антимультипликативности доказано для ^-компактов спектральной высоты 3.
В [3] доказана теорема, утверждающая, что если компакт X допускает вполне замкнутое отображение / на метрический компакт К и слои / метризуемы, то такое отображение почти единственно. Более точно, почти все нетривиальные слои любого другого аналогичного отображения обязательно совпадают со слоями /. Оказывается, что такое же утверждение справедливо и для почти вполне замкнутых отображений (теорема 2). Причем класс компактов, который охватывает теорема 2, шире класса ^-компактов спектральной высоты 3, о котором фактически идет речь в теореме из [3]. Это следует из существования ^-компакта с дзЛ^) = 3 < ) = 4 (пример 2). Заметим, что вопрос о соотношении классов ^-компактов и квази-^-компактов остается открытым.
В работе идет речь исключительно о компактах с первой аксиомой счетности и вполне упорядоченных обратных спектрах, длина которых не превосходит шь За пределами этой области многие из доказанных утверждений перестают быть верными. Однако такое ограничение соответствует сфере применения метода вполне замкнутых отображений. Подавляющее большинство построенных этим методом примеров имеет спектральную высоту ^ Ш1. Сказанное в полной мере относится и к содержательным общим теоремам об компактах (см. [2, 4-6]).
Определение 1. Отображение / : X ^ У будем называть почти вполне замкнутым, если для любых двух непересекающихся замкнутых подмножеств с X
|/№) П /(*2)| < шо.
Определение квази-^-спектра аналогично определению ^-спектра (см. [7]), с той лишь
хТермин «почти вполне замкнутое отображение» уже использовался в [6], но там он имеет технический характер и (в случае отображений компактных хаусдорфовых пространств) равносилен вполне замкнутости.
2В статье рассматриваются только компактные хаусдорфовы пространства (компакты), все отображения предполагаются непрерывными.
26
разницей, что требование вполне замкнутости соседних проекций заменяется на почти вполне замкнутость.
Определение 2. Непрерывный вполне упорядоченный обратный спектр S = {Xa,na : а, ß < y} (y - ординал) называется квази-F-спектром (F-спектром), если X0 есть точка, все соседние проекции а + 1 < y почти
вполне замкнуты (вполне замкнуты), а слои (п2+1)-1(ж), x G Xa этих проекций метризу-емы.
Отметим, что все пространства Xa квази-F-спектра длины y ^ ^i являются компактами с первой аксиомой счетности (см. [4]).
Определение 3. Компакт X называется квази-F-компактом (F-компактом - см. [7]), если существует квази-F-спектр (F-спектр), дающий в пределе X. Наименьшая длина y такого квази-F-спектра называется спектральной высотой qsh(X) квази-F -компакта X.
Определение спектральной высоты квази-F-компакта аналогично определению спектральной высоты sh(X) F-компакта как наименьшей длины F-спектра, предел которого равен X (см. [7]). Всякий F-компакт X является квази^-компактом, и qsh(X) ^ sh(X). В [2] показано, что для любого ординала а ^ w1, не представимого в виде ß + 1, где ß -предельный ординал, существует F-компакт спектральной высоты а.
Очевидно, что ограничение почти вполне замкнутого отображения на любое замкнутое подмножество почти вполне замкнуто. Поэтому для любого квази-F-спектра S = {Xa,na : а, ß < y} и любого замкнутого подмножества А его предела X = lim S спектр
Sa = {Aa = Па(А), (п|)Ц„ : а, ß < y}
также является квази^-спектром. Поскольку lim Sa = А, отсюда следует, что любое замкнутое подмножество А квази-F-компакта X также является квази^-компактом и qsh(A) ^ qsh(X).
Следующее предложение устанавливает важный в дальнейшем критерий почти вполне замкнутости.
Предложение 1. Отображение f : X ^ Y почти вполне замкнуто тогда и только тогда, когда для любого непрерывного отображения g : X ^ K компакта X в метрический компакт K
|{y : |g(f-1(y))l > 1} < wo.
Доказательство. Необходимость. Предположим, что существует отображение g :
X ^ К такое, что множество А = {у : |д(/-1(у))| > 1} несчетно. Зафиксируем метрику на К и для каждого п € N положим
Ага = {у : ¿гаш д(/-1(у)) ^ 1/п}.
Существует к € N такое, что |Ак | > "о. Несчетное индексированное точками у семейство множеств Тк = {д(/-1(у)) : У € Ак} имеет в пространстве ехр(^(Х)) непустых замкнутых подмножеств ^(Х) с топологией Вьето-риса точку полного накопления О. При этом ^гаш О ^ 1/к. Возьмем в О две различные точки ¿1, ¿2 и их окрестности 0£1, О£2 в ^(Х) с непересекающимися замыканиями. Так как О - точка полного накопления семейства Тк, несчетное подсемейство элементов Тк пересекает обе окрестности а1 и О£2: д(/-1(у)) П О^ = 0, г = 1,2 при у € А' с Ак, |А'| > "о.
Положим Fi = ^-1([О^г]), г = 1, 2. По построению имеем А' с / П / ^2), |А'| > "о. Получено противоречие с почти вполне замкнутостью /.
Достаточность. Предположим, что отображение / не является почти вполне замкнутым. Тогда существуют замкнутые непересекающиеся подмножества Fl, F2 С X такие, что |/(F1) П /^2)| > "о. Возьмем непрерывную функцию д : X ^ [0,1], которая разделяет ^ и F2: g(Fl) = {0}, д^) = {1}. Тогда для любой точки у € /П /^2) получаем, что {0,1} С д(/-1 (у)). Следовательно, множество {у : |д(/-1(у))| > 1} - несчетно. □
Следующее предложение является обобщением утверждения, доказанного в [6] для вполне замкнутых отображений (см. [6], предложение 11.3.10).
Предложение 2. Если / : X ^ У - почти вполне замкнутое отображение компакта X на метрический компакт У с метри-зуемыми слоями /-1(у), у € У, то X метри-зуем тогда и только тогда, когда
|{у : |/-1(у)| > 1}| < "о.
Доказательство. Необходимость. Пусть |{у : |/—1 (у)| > 1}| > "о. Предположим, что ) ^ "о. Тогда существует вложение X С 1Ш° = ПпеМ 1п (I - единичный отрезок). Пусть дп = Пп |х, где Пп : IШо ^ 1п -проекция произведения на сомножитель. В силу предложения 1, для каждого п множество Ап = {у : |дп(/—1 (у))| > 1} имеет мощность ^ "о. Следовательно, множество А = иАп также не более чем счетно. Возьмем точку у € У такую, что у € А и |/—1(у)| > 1. В множестве /—1(у) выберем две различные точки
Ж1,Ж2. По построению, для каждого п € N получаем пп(ж1) = пп(ж2). Но это невозможно, поскольку Ж1,Ж2 - различные точки /ш°.
Достаточность. Пусть множество В = {у : I/-1(У)| > 1} счетно (в случае конечного В отображение / вполне замкнуто и утверждение предложения 2 следует из предложения 11.3.10 работы [6]). Занумеруем точки В натуральными числами: В = {у^ : г € N}. В каждом слое /-1(уг) выберем счетную базу * = {Ц" : к € N} (Ц" - открытые подмножества /-1 (уг)). Для каждой пары Щ, ЦП € такой, что [Ц£] С ЦП, выберем открытое в X множество у!га так, что П /-1(у») = и
[УУ П (/-1(у) \ ЦП)= 0.
Пусть V = {Ж, : ] € N} - счетная база У. Рассмотрим счетное семейство
* = № П /-1(Ж): г,;,Л,п € N }и
{/-1(Ж): ; € N}
и покажем, что конечные пересечения его элементов образуют базу X. Метризуемость компакта X тем самым будет доказана.
Пусть ж € X и Ож - окрестность точки ж. Если /(ж) € В, то /(ж) € /И (Ож) и, следовательно, найдется Ж, € V такое, что ж € /-1(Ж,) С ОЖ.
Пусть теперь /(ж) = уг. Покажем, что для любой точки г € X, г = ж существует множество С € * такое, что ж € О, а г € [С]. Если /(г) = уг, то существует Ж, € V такое, что уг € Ж,, /(г) € [Ж,]. Тогда в качестве С можно взять / -1(Ж,).
Если же г € /-1 (уг), выберем Ц£, ЦП € так, что ж € С [Ц£] С ЦП и г € ЦП. Тогда по построению ж € у!га и г € [У-пЬ Следовательно, множество С = У"!гаП /-1(Ж,), где уг € Ж,-, удовлетворяет сформулированным выше требованиям.
Итак, мы можем утверждать, что
П{[С] : ж € С, С € *} = {ж}.
Отсюда в силу компактности X следует, что найдется конечный набор множеств С» € *, г = 1,..., т такой, что ж € ПСг С Ож. □
Следующее предложение обобщает предложение 3 из [7], в котором установлено аналогичное утверждение для спектров с вполне замкнутыми соседними проекциями.
Предложение 3. Пусть Б = {Xa,пa : а, в < 7}, 7 ^ - вполне упорядоченный непрерывный обратный спектр из компактов с первой аксиомой счетности с почти вполне замкнутыми соседними проекциями , а+
1 <7. Тогда все проекции спектра Б, включая предельные проекции па, почти вполне замкнуты.
Доказательство. Почти дословное повторение доказательства предложения 3 из [7]. При этом достаточно лишь заметить, что счетное замкнутое подмножество в компакте с первой аксиомой счетности (как и конечное подмножество) имеет тип С. □
Следствие 1. Все проекции (включая предельные) квази-Г-спектра (в частности, Г-спектрах) длины ^ почти вполне замкнуты.
Следствие 2. Композиция почти вполне замкнутых отображений компактов с первой аксиомой счетности почти вполне замкнута.
Следующий пример показывает, что требование первой аксиомы счетности у рассматриваемых пространств существенно.
Пример 1. Существуют вполне замкнутые отображения / и д, композиция которых не является почти вполне замкнутой.
Пусть X - дискретное объединение двух экземпляров одноточечной компактификации несчетного дискретного пространства. Будем считать, что топология одноточечной компак-тификации задана на отрезке [0,1] и при этом 0 - единственная ее неизолированная точка. Таким образом, X = [0,1]1 и^ [0,1]2. (Точки двух экземпляров отрезка [0,1]г, г = 1, 2 будем различать соответствующим индексом г.)
Пусть У - фактор-пространство X по разбиению, единственным нетривиальным элементом которого является пара {01, 02}, а / : X ^ У - факторное отображение. Очевидно, что / вполне замкнуто. Зададим разбиение на У, нетривиальными элементами которого являются пары {¿ь£2},£ € (0,1]. Пусть Z - фактор-пространство У по этому разбиению, а д : У ^ Z - соответствующее факторное отображение. Поскольку У является одноточечной компактификацией дискретного пространства, для любой пары непересекающихся замкнутых подмножеств А, В С У одно из множеств обязательно конечно. Следовательно, любое сюръективное отображение У вполне замкнуто.
Итак, мы получили два вполне замкнутых отображения / и д, композиция которых не является почти вполне замкнутой, поскольку отображение д о / склеивает точки ¿1, ¿2 : t € [0,1] несчетных непересекающихся замкнутых подмножеств [0,1]1, [0,1]2 С X. □
Согласно следствию 1, пределы счетных трансфинитных обратных последовательностей вполне замкнутых отображений компак-
тов с первой аксиомой счетности почти вполне замкнуты. В связи с этим утверждением естественно возникает следующий
Вопрос 1. Верно ли, что любое почти вполне замкнутое отображение (компактов с первой аксиомой счетности) можно представить как предельную проекцию непрерывного вполне упорядоченного спектра с вполне замкнутыми соседними проекциями?
Этот вопрос имеет прямое отношение к основному вопросу статьи о соотношении классов F-компактов и квази^-компактов:
Вопрос 2. Существуют ли квази-F -компакты (с первой аксиомой счетности), не являющиеся F-компактами?
Определение 4. Квази-F-спектр S = {Xa,na : а, ß < y} будем называть неприводимым, если для каждой пары индексов а, ß, где а ^ ß+2, отображение пд имеет хотя бы
один неметризуемый слой (пд)-1(x), x G Xß.
Предложение 4. Для любого счетного квази-F-спектра S = {Xa,ng : а, ß < y} существует неприводимый квази-F-спектр S' = {Y^ : 5,5' < y'} длины y' ^ Y, имеющий тот же предел: lim S' = lim S.
Доказательство. Построим по рекурсии трансфинитную последовательность индексов а<5. Положим ао = 0. Предположим, что для всех 5 < к уже указаны индексы а<$ < y так, что:
1) а<5 < а<5' при 5 < 5';
2) для любого предельного к' < к 8ир{а<5 : 5 < к'} = а к';
3) прообразы точек (слои) (п2,+1 )-1(x) мет-ризуемы для любого x G Xa при 5 + 1 < к;
4) каждое отображение пд' имеет неметризуемый слой при 5' ^ 5 + 2.
Рассмотрим систему пространств и отображений
SK = №: 5,5' < к},
где Ys = Xa&, p' = nOai. Очевидно, что SK -неприводимый квази^-спектр.
Если множество {а<$ : 5 < к} конфиналь-но y, то построение заканчивается: спектр SK - искомый. В противном случае, если ординал к является предельным, полагаем ак = 8ир{аг : 5 < к}. Условия 1)-4) при этом будут выполнены. Если же к не является предельным (существует к — 1), то здесь возможны два варианта.
1. к — 1 - предельный ординал. Тогда полагаем ак = ак-1 + 1.
2. Существует к—2. В этом случае рассмотрим множество B, состоящее из таких индексов ß > к — 2, для которых отображение nfK_2 имеет хотя бы один неметризуемый слой.
Если B пусто, то все слои отображения Пак_2 : lim S ^ Xa_2 метризуемы. Тогда мы заменяем уже построенное пространство YK-1 на lim S, а отображение pK-1 - на предельную проекцию пак-2. В итоге получаем спектр S'K, который удовлетворяет условию предложения. При этом к ^ y, поскольку к изоморфно множеству {а<5 : 5 < к}, которое является подмножеством y.
Если B = 0, то положим ß0 = inf B. В силу непрерывности исходного спектра S ординал ßo не является предельным. Мы полагаем ак = ß0 и заменяем уже построенное ак-1 на ßo — 1 с соответствующей заменой пространств и отображений спектра S'K (такая замена корректна, поскольку касается только последнего элемента ак-1 и не нарушает условия 1)- 4), выполненные на предыдущем шаге рекурсии).
Итак, во всех случаях мы получаем множество индексов {а<5 : 5 ^ к}, удовлетворяющее условиям 1)-4). На каком-то шаге к ^ y рекурсивный процесс исчерпает возможные индексы, и мы получим искомый спектр S'. □
Следствие. Для любого квази-F -компакта X счетной спектральной высоты существует неприводимый квази-F-спектр, дающий в пределе X, длина которого равна qsh(X).
Доказательство следующей ниже теоремы аналогично доказательству основного результата [7].
Теорема 1. Пусть Z1, Z2 - квази-F -компакты спектральной высоты qsh(Zi) = Yi < w1, i = 1, 2, причем для каждого Yi , i = 1, 2 существует ординал Yi — 3. Тогда произведение Z1 х Z2 не является квази-F-компактом счетной спектральной высоты.
Лемма 1. Пусть f : X ^ Y - почти вполне замкнутое отображение, T = {у : lf-1(У)| > 1} - множество точек Y с нетривиальными прообразами, и точка у G T такова, что для любой окрестности U этой точки пересечение U П T несчетно. Тогда существует точка ay G f-1(у) такая, что для любой ее окрестности Oay в X f»(Oay) = 0.
Доказательство леммы 1. От противного. Пусть точка у G T С Y удовлетворяет условиям леммы и для любого x G f-1(у) существует окрестность Ox такая, что f^Ox = 0. Выберем конечное покрытие {Oxi : i ^ k} множества f-1 (у), состоящее из таких окрестностей. При этом у G f ^(U Oxi).
Положим Vi = Oxinf-1(у) и проведем ужа-тие открытого покрытия {Vi : i ^ k} компакта f-1(у) до замкнутого покрытия {Fi : i ^ k} (по теореме об ужатии - см. [1], глава 1, теорема 14): Fi С Vi, Fi замкнуто в
/ Чу), и Гг = / 1 (у). Далее для каждого Г выберем в X открытое множество О» так, что Г С Ог С [Ог] С Ожг. По построению имеем /И[Ог] = 0, г < к и у € /^Ог). По условию леммы, Ог) ПТ| > ш0. Следо-
вательно, найдется множество 0»° такое, что I/(Ог°) П Т| > шо. Поскольку /«(Ож¿°) = 0,
/ (X \ ОЖг° ) = / (X) Э Т.
Таким образом, мы получаем в X два непересекающихся замкнутых подмножества [0»° ] и X \ Ожг°, для которых
|/[Ог°] П /(X \ ОЖг°)| >Ш0,
что противоречит почти вполне замкнутости отображения /. □
Лемма 2. Пусть /г : X ^ Кг, г = 1, 2 -почти вполне замкнутые отображения компакта X на метрические компакты К. Если все слои /-1 (¿), £ € К2 отображения /2 мет-ризуемы, то почти все3 нетривиальные слои /1-1(£),£ € К1, |/1-1(£)| > 1 отображения /1 являются слоями /2.
Доказательство леммы 2. Покажем, что любой слой Т = /-1(£) отображения /2 содержит не более чем счетное множество нетривиальных слоев /1 . Рассмотрим почти вполне замкнутое отображение /1 |т метрического компакта Т на метрический компакт Д(Т). В силу предложения 2 /1 |т имеет не более чем счетное множество нетривиальных слоев, что и требовалось.
В силу предложения 1 почти все слои отображения /1 содержатся в слоях /2, и обратно, почти все слои /2 содержатся в слоях /1 . Итак:
1) множество нетривиальных слоев /1, которые не содержатся в слоях /2, не более чем счетно;
2) множество слоев /2, которые не содержатся в слоях /1 , также не более чем счетно, причем каждый такой слой /2 содержит не более чем счетное множество нетривиальных слоев /1 .
Таким образом, множество нетривиальных слоев /1, упомянутых в 1) и 2), не более чем счетно. Любой не входящий в это множество нетривиальный слой /1 содержится в слое /2, который, в свою очередь, содержится в слое /1, что означает их совпадение. □
Доказательство теоремы. Пусть Б = {Ва,^а : а, в < 71} - неприводимый квази-Г-спектр, предел которого равен Z1. Поскольку множество индексов 71 имеет наибольший элемент 71 — 1, постольку НшБ = В71-1 = Zl. В
3«Почти все» означает здесь, как обычно, «все,
кроме, может быть, счетного множества».
силу неприводимости Б существует точка Ь € В71 -з, для которой прообраз (р?; -1)-1(Ь) = У1 неметризуем. При этом К метрический компакт. Введем обозначение:
=7(-^1-3)-1(ь)
д1
= К-2)
|у1 : У1 ^ К1.
Отображение д1 является почти вполне замкнутым, и все его слои метризуемы. Следовательно, У1 - квази-Г-компакт спектральной высоты 3, содержащийся в Zl. Аналогично в Z2 можно указать неметризуемый компакт У2, для которого существует почти вполне замкнутое отображение д2 : У2 ^ К с метризуе-мыми слоями на метрический компакт К2. Поскольку замкнутое подпространство квази-Г-компакта счетной спектральной высоты также является квази-Г-компактом счетной спектральной высоты, достаточно доказать, что произведение У1 х У2 не является квази-Г-компактом счетной спектральной высоты.
Для каждого г = 1, 2 введем обозначение: Тг = {£ € К : |дг-1(£)| > 1}. В силу предложения 2 множества несчетны. Без ограничения общности можно считать, что для любого непустого открытого множества Ц С К пересечение Тг П Ц несчетно (г = 1, 2.) Если это не так, то в силу предложения 6 из [2] можно указать компактное подмножество К»' С К такое, что для любого непустого открытого Ц С К пересечение Т» П Ц несчетно, и заменить К» на К', а У» на У/ = д"1^).
В силу леммы 1 для каждого £ € Т», г = 1, 2 мы можем выбрать точку а € д-1(£), любая окрестность Оа^ которой удовлетворяет условию дЦ(Оаг) = 0. Кроме того, зафиксируем в каждом прообразе д-1(£), £ € Т точку Ь^, отличную от а^.
Предположим, что произведение У1 х У2 является квази-Г-компактом счетной спектральной высоты, то есть существует счетный квази-Г-спектр Б = {Xa,пa : а, в < 7}, предел которого равен У1 х У2.
В У1 х У2 рассмотрим слои вида
У1 х {а4} = Я^) (£ € Т2)
Ы х У2 = Н2(¿) (£ € Т1),
гомеоморфные У1 и У2 соответственно. Для каждого слоя Н (¿) (к = 1, 2) определим (¿) как наименьший ординал а, для которого образ па(Н(¿)) неметризуем. В силу непрерывности и счетности спектра Б ординал а&(£) всегда является изолированным.
30
и
Поскольку множество слоев вида Нк(£) имеет несчетную мощность, для некоторого несчетного семейства слоев значения а к (£) совпадают. Тогда найдется несчетное множество слоев одного типа, пусть (для определенности) Н^), где £ е Б С Т2, |Б| > ш0, для которых = 5, и при этом для любого 5' < 5 множество слоев с ак (£) = 5' не более чем счетно.
Фиксируем слой Н1(£), £ е Б. В силу выбора 5 образ пг-1(Н1(£)) метризуем. Поэтому согласно предложению 2 множество
А = {х : |(<5_1)-1(ж) П п(Н1(£))| > 1}
несчетно.
Введем обозначения:
Р= пS-l|я1(t),
9 = 51 х #2|ях(*) : Н1(£) ^ К х {£};
р и 9 отображают Н1(£) на метрические компакты. При этом оба отображения почти вполне замкнуты и все слои д метризуемы. В силу леммы 2 почти все нетривиальные слои отображения р совпадают со слоями д. Следовательно, существует несчетное подмножество А' С А такое, что каждой точке х е А' соответствует некоторая точка вх е Т1, для которой р-1(х) = д-1 (зх). Таким образом, пг-1(а5х, аг) = х для любого х е А'. Если для всех точек х е А'
пг-1(а5х ,а4) = пг-1(а5х Л),
то
|п5-1(У1 х {а4}) Пп5-1(У1 х {Ь4})| > Шо,
что противоречит почти вполне замкнутости отображения Следовательно, существу-
ет точка х(£) е А' такая, что
Пй-1(а«х(4) ,а*) = Пй-1(а«х(4) ,
Тогда найдутся окрестности О1 = 0а8х(4) х ОЬг
и °2 = °а«х(4) х Оаг точек (а^1(1), М и (а«Х(4), а*) в произведении У1 х У2, образы которых при отображении не пересекаются.
Напомним, что все рассуждения мы провели для фиксированного слоя Н1(£), где £ е Б С Т2, со значением а1(£), равным 5. Будем теперь варьировать £ е Б. В итоге получим несчетное семейство Оа5х(4), £ е Б открытых подмножеств У1, малый образ которых #1 (Оа8х(4)) непуст. Поскольку К1 - метри-зуемый компакт, существует непустое открытое множество и С К1, которое содержится в несчетном семействе множеств (Оа5х(4)),
£ е Б' С Б, |Б'| > ш0 .По построению окрестность О1 содержит точки вида (аг, Ьг), а О2 -точки (а^, аг), где £ е Б', е Т1 П и. Следовательно, при е Т1 П и и £ е Б'
пг-1(а4/ ,Ьг)= ,а4). (1)
Рассмотрим теперь слой Н2 (£') = {а^} х У2, е Т1 П и и докажем, что его образ п^-1(Н2(£')) неметризуем. Предположим противное. Рассмотрим почти вполне замкнутое отображение Н = #1 х #2|я2(*') слоя Н2(£') на К2 и отображение пг-1|я2(4') этого слоя на метризуемый компакт. В силу предложения 1 множество точек £ е К2, для которых |пг-1(Н-1(£))| > 1, не более чем счетно. Однако в силу (1) для любого £ е Б' 1 (Н-1 (£)) | ^ 2. Противоречие.
Таким образом, для всех слоев Н2(£') при
е Т1 П и имеет место неравенство а2(£') ^ 5 — 1. Мы получили противоречие с выбором
5, которое завершает доказательство теоремы. □
Из теоремы 1 сразу следует сфомулирован-ное ниже обобщение основного результата работы [7]:
Следствие. Произведение неметризуемых ^-компактов конечной спектральной высоты не является ^-компактом счетной спектральной высоты.
Для квази-^-компактов спектральной высоты 3 справедлив аналог теоремы о почти единственности спектрального разложения, доказанной в [3] для ^-компактов. А именно имеет место
Теорема 2. Пусть /г : X ^ Кг, г = 1,2 - почти вполне замкнутые отображения компакта X на метрические компакты Кг с метризуемыми слоями /г-1(£), £ е Кг, г = 1, 2. Тогда почти все нетривиальные слои отображений /1 и /2 совпадают:
|{/-1(£) : |/1-1(£)| > М е К}Д
{/2-1(£): |/2-1(£)| > М е К2}| < Шо,
где Д - симметрическая разность множеств.
Доказательство. Достаточно дважды применить лемму 2. □
Пример 2. Существует ^-компакт 2, для которого дзН(2) = 3 < зН(2) = 4.
Для построения искомого компакта воспользуемся конструкцией резольвенты (см. [6], 111.1.1). Пусть X - компакт, и каждой точке х е X поставлен в соответствие некоторый компакт УХ и выбрано непрерывное отображение Нх : X \ {х} ^ УХ. Резольвентой
Я^, УХ,^Х) называется множество У{{ж} х Ух : ж € X},
наделенное топологией, открытую базу которой образуют множества вида
Ц V = {ж} х Уи
У{{ж'} х Ух : ж' € Ц П )}),
где и открыто в X, а V - открытое подмножество Ух. Резольвента является компактным ха-усдорфовым пространством. Отображение п : Я^, УХ,Л,Х) ^ X, переводящее пару (ж,у) в точку ж, всегда вполне замкнуто, а его слои п-1(ж) гомеоморфны Ух.
Шаг 1. Возьмем в качестве Zl отрезок I = [0,1]. Для каждого ж € I положим УХ = 1х, где 1Х - экземпляр того же отрезка, и определим
: I \ {ж} ^ 1х как постоянное отображение: Л,х(£) = 0 € 1х для любого £ € I\{ж}. Положим Z2 = Я^^ Хц, Л,х), и пусть п2 = п : Z2 ^ Z1 - проекция резольвенты на Zl. В силу предложения 2 компакт Z2 неметризуем. Заметим, что Z2 как множество совпадает с 12, следовательно, точками Z2 являются пары (ж,у), где ж, у € I.
Шаг 2. Выделим в Zl = I семейство мощности континуум попарно непересекающихся счетных всюду плотных подмножеств {Ах : ж € I}, элементы которого проиндексируем точками ж € I. Для каждого ж € I выберем последовательность {аП : п € N} С \ {ж}, которая сходится к ж. Тогда последовательности {(аП, 0)} и {(аП, 1)} сходятся в Z2 к точке (ж, 0).
Для каждой точки (ж, у) € Z2 при у = 0 положим У(х,у) = {0} С I, а при у = 0 в качестве У(Х,о) возьмем ^,0), где I - экземпляр отрезка [0,1]. Для точек (ж,у) € Z2 при у = 0 отображение
: Z2 \ {(ж,у)} ^ У(х,у)
определено однозначно. Для точек вида (ж, 0) построим отображение Л,(х,0) следующим образом. Положим Л,(ж,0)(аП, 0) = 0 и Л,(Х,0)(аП, 1) = 1 для всех п € N. Тем самым отображение ^(х,0) определено на замкнутом в Z2 \ {(ж, 0)} подмножестве В = {(аП, 0) : п € N} и {(аП, 1) : п € N}. Компакт Z2 удовлетворяет первой аксиоме счетности, следовательно, пространство Z2\{(ж, 0)} нормально. Поэтому заданное на В отображение можно продолжить до непрерывного отображения Л,(х,0) : Z2 \ {(ж, 0)} ^ ^,0).
Положим теперь Z3 = Я^2, У(х,у), Л,(х,у)), п3 = п : Z3 ^ Z2, где п - проекция резоль-
венты. Компакт Zз как множество вкладывается в 13, его точки мы будем обозначать через (ж, у, г).
Пусть Zо есть точка и п^ : Zl ^ Zо - постоянное отображение. Таким образом, мы получили Г-спектр Б = : г,^ < 4}, предел которого равен Zз. Значит, Zз - Г-компакт и ^ 4. В силу предложения 2 прообраз каждой точки ж € Zl при отображении п3 = п2 о п3 метризуем. Поэтому Г-спектр Б можно «ужать» до неприводимого квази-Г-спектра длины 3. Следовательно, = 3.
Остается показать, что = 4. Пред-
положим противное. Тогда существует вполне замкнутое отображение / : Zз ^ К на метрический компакт с метризуемыми слоями. По лемме 2 почти все нетривиальные слои отображения п3 являются слоями /. Следовательно, существует множество такое, что для любого £ € слой (пз)-1(£) является слоем /. В силу построения отображения Л,(ж,о) множества
С = и{(п3)-1(аП, г) : п € N}, г = 0,1
имеют в Zз непересекающиеся замыкания, поскольку [С»] = С и {(ж, 0, г)}, г = 0,1. Остается заметить, что отображение / склеивает точки (аП, 0,0) € Со и (аП, 1,0) € С1, причем /(аП, 0, 0) = /(аХ, 0, 0) при п = к. Таким образом, |/[Со] П /[С1]| = ш0, что противоречит вполне замкнутости /. Итак, Zз - искомый компакт. □
Финансовое обеспечение исследований осуществлялось из средств федерального бюджета на выполнение государственного задания КарНЦ РАН (Институт прикладных математических исследований КарНЦ РАН) и при финансовой поддержке РФФИ (проект № 1751-18051).
ЛИТЕРАТУРА
1. Александров П. С., Пасынков Б. А. Введение в теорию размерности. М.: Наука, 1973. 577 с.
2. Баранова М. А., Иванов А. В. О спектральной высоте Г-компактов // Сиб. матем. журн. 2013. Т. 54, № 3. С. 498-503. ао1: 10.1134/80037446613030026
3. Гулько С. П., Иванов А. В. О вполне замкнутых отображениях компактов Федор-чука // Вестн. Томск. гос. ун-та. Математика и механика. 2017. № 50. С. 5-8. 10.17223/19988621/50/1
4. Иванов А. В. О бикомпактах Федорчука // Отображения и функторы. М.: Изд-во Моск. ун-та, 1984. С. 31-40.
5. Иванов А. В. О наследственной нормальности Е-бикомпактов // Матем. заметки. 1986. Т. 39, вып. 4. С. 606-611. 10.1007/ВЕ01158007
6. Федорчук В. В. Вполне замкнутые отображения и их приложения // Фундаментальная и прикладная математика. 2003. Т. 9, вып. 4. С. 105-235. 10.1007/810958-006-0227-2
7. Ivanov A. V. The class of Fedorchuk compact spaces is anti-multiplicative // Topology and its Applications. 2018. Vol. 235. P. 485-491. doi: 10.1016/j.topol.2017.12.026
Поступила в редакцию 14.03.2017
References
1. Aleksandrov P. S., Pasynkov B. A. Vvedenie v teoriyu razmernosti [Introduction to dimension theory]. Moscow: Nauka, 1973. 577 p.
2. Baranova M. A., Ivanov A. V. On the spectral height of F-compact spaces. Sib. Math. J. 2013. 54(3). P. 388-392. doi: 10.1134/S0037446613030026
3. Gul'ko S. P., Ivanov A. V. O vpolne zamknutykh otobrazheniyakh kompaktov Fedorchuka [On fully closed mappings of Fedorchuk compacta]. Vestn Tomsk. gos. unta. Matematika i mekhanika [Tomsk St. Univ. J. Math. Mechanics]. 2017. No. 50. P. 5-8. doi: 10.17223/19988621/50/1
4. Ivanov A. V. On Fedorchuk compacta. Mappings and Functors. Moscow: Izd. Mosk. Univ., 1984. P. 31-40
5. Ivanov A.V. O nasledstvennoi normal'nosti F-bikompaktov [Hereditary normality of F-bicompacta]. Matem. zametki [Math. Notes]. 1986. Vol. 39, iss. 4. P. 606-611. doi: 10.1007/BF01158007
6. Fedorchuk V. V. Fully closed mappings and their applications. J. Math. Sci. 2006. 136(5). P. 4201-4292. doi: 10.1007/s10958-006-0227-2
7. Ivanov A. V. The class of Fedorchuk compact spaces is anti-multiplicative. Topology and its Applications. 2018. Vol. 235. P. 485-491. doi: 10.1016/j.topol.2017.12.026
Received March 14, 2017
СВЕДЕНИЯ ОБ АВТОРЕ:
Иванов Александр Владимирович
ведущий научный сотрудник, д. ф.-м. н., проф. Институт прикладных математических исследований КарНЦ РАН, Федеральный исследовательский центр «Карельский научный центр РАН» ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910 эл. почта: alvlivanov@krc.karelia.ru тел.: +79217015441
CONTRIBUTOR:
Ivanov, Alexander
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Sciences 11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia
e-mail: alvlivanov@krc.karelia.ru tel.: +79217015441
