CC BY
12
Известия Института математики и информатики Удмуртского государственного университета
2019. Том 53
УДК 519.6 © А. Г. Ченцов
УЛЬТРАФИЛЬТРЫ И МАКСИМАЛЬНЫЕ СЦЕПЛЕННЫЕ СИСТЕМЫ: ОСНОВНЫЕ СООТНОШЕНИЯ
Исследуются ультрафильтры и максимальные сцепленные системы, элементами которых являются множества фиксированной п-системы с «нулем» и «единицей». Ультрафильтры являются максимальными сцепленными системами, но среди последних могут быть системы, не являющиеся ультрафильтрами. В работе особое внимание уделяется описанию множества максимальных сцепленных систем, не являющихся ультрафильтрами (в статье они именуются собственными). По своим свойствам данные (максимальные сцепленные) системы существенно отличаются от ультрафильтров. Получены необходимые и достаточные условия существования упомянутых систем (имеются в виду условия на исходную п-систему), а также некоторые топологические свойства, характеризующие множество всех максимальных сцепленных систем упомянутого типа. При этом для построения соответствующего оснащения, как и в случае ультрафильтров, применяются схемы, восходящие к процедурам, используемым при построении расширения Волмэна и компактов Стоуна; упомянутые схемы реализуются, однако, в случае, когда предваряющая измеримая (по смыслу) структура задается п-системой общего вида. Это позволяет, в частности, охватить единой конструкцией процедуры построения пространств ультрафильтров и максимальных сцепленных систем в измеримых и топологических пространствах. В рамках данной конструкции естественным образом возникают битопологические пространства, отвечающие волмэновскому и стоуновскому вариантам оснащения, первое из которых в случае максимальных сцепленных систем приводит к реализации суперкомпактного Т\-пространства. Указаны примеры, в которых все максимальные сцепленные системы являются ультрафильтрами, что соответствует реализации суперкомпактного пространства ультрафильтров при использованиии топологии волмэновского типа.
Ключевые слова: битопологическое пространство, максимальная сцепленная система, ультрафильтр. DOI: 10.20537/2226-3594-2019-53-12
Введение
Статья продолжает серию работ автора в области изучения структуры ультрафильтров (у/ф) широко понимаемых измеримых пространств (ИП) и максимальных сцепленных систем (МСС) этих ИП. При этом каждое из упомянутых ИП определяется посредством задания п-системы [1, а 14] на непустом множестве, именуемом «единицей» данного пространства (пустое множество традиционно рассматривается в качестве «нуля»). Мы рассматриваем п-системы (имеются в виду семейства множеств, замкнутые относительно конечных пересечений) с «нулем» и «единицей». В частности, это могут быть решетки множеств (с «нулем» и «единицей»). Среди последних отметим особо алгебры множеств, (открытые) топологии и семейства замкнутых множеств (замкнутые топологии) в топологических пространствах (ТП).
В то же время в топологии широко используются фильтры и, в частности, максимальные фильтры (или у/ф), не связываемые требованием принадлежности множеств — элементов фильтра — какой либо нетривиальной п-системе; иными словами, рассматриваются фильтры и у/ф семейства всех подмножеств (п/м) «единицы»; см. [2, гл. I]. Однако, при построении расширения Волмэна [3, гл. 3] уже возникает необходимость в привлечении семейства множеств, отличного в типичных случаях от семейства всех п/м «единицы». А именно: используются у/ф семейства замкнутых множеств в ТП, удовлетворяющем аксиоме Упомянутое семейство (замкнутая топология) образует решетку множеств и, в частности, п-систему.
С другой стороны, при построении пространств Стоуна (в теории булевых алгебр, см. [4]) используются фильтры и, в частности, у/ф той или иной алгебры множеств (в этой
связи отметим исследования, проводимые в Ижевске А. А. Грызловым и его учениками; см. [5-7]). Следовательно, здесь возникает другой вариант решетки — алгебра множеств и, соответственно, ИП с алгеброй множеств. Разумеется, мы имеем здесь, в частности, реализацию п-системы. Однако, полуалгебра множеств, широко используемая в теории вероятностей (см., например, [8, гл. 1]), решеткой уже, вообще говоря, не является, но является п-системой. В силу упомянутых обстоятельств представляется, что именно структуры на основе п-систем определяют достаточно общий класс (широко понимаемых) ИП, охватывающий многие постановки задач, возникающих в топологии, теории меры, теории булевых алгебр (позднее отметим еще некоторые обстоятельства, касающиеся применения упомянутых широко понимаемых ИП при построении расширений экстремальных задач и задач о достижимости).
Исключительно важную роль в самых разных разделах современной математики играют компактность и свойства типа компактности; в этой связи см. [9]. В то же время у многих ТП, возникающих при формализации прикладных задач, упомянутые свойства отсутствуют (нередко отсутствует и само топологическое оснащение). Возникает проблема построения корректных расширений (этих задач) с целью «добиться» компактности пространства решений или какого-либо аналога компактности (например, секвенциальной компактности). Один из очень общих способов такого рода состоит в том, чтобы исходное множество обычных решений погрузить в подходящее пространство семейств п/м данного множества (имеются, конечно, и другие варианты; см., например, [10,11]). В качестве таких семейств оказалось возможным использовать у/ф. Здесь ситуация аналогична расширениям ТП; имеются в виду стоун-чеховская компактификация и расширение Волмэна. Однако, если иметь в виду у/ф семейства всех п/м ТП (один из вариантов стоун-чеховской компак-тификации), то наиболее важные для данных построений свободные у/ф (см. [3, §3.6]) не допускают, к сожалению, конструктивного описания (само их существование устанавливается с использованием леммы Цорна).
В то же время для некоторых п-систем уже удается указать исчерпывающее описание множества всех у/ф данной п-системы (см., в частности, [12], где в качестве п-системы использовалась алгебра п/м невырожденного промежутка вещественной прямой). Итак, обращение к у/ф п-систем имеет здесь своей целью получение описания множества всех у/ф, что сводится, в свою очередь, к описанию свободных у/ф (то есть у/ф, для которых пересечение всех множеств, составляющих данный у/ф, пусто).
Учитывая ту роль, которую играют у/ф, вполне естественна постановка вопроса о компактности при естественных вариантах оснащения, определяемых схемами Волмэна и Стоуна. Эти схемы применялись, конечно, в специальных случаях. Так, схема Волмэна оперировала с у/ф решетки замкнутых множеств в 71-пространстве. Схеме Стоуна отвечают у/ф алгебры множеств. В обоих случаях достигается компактность получающихся ТП.
Важно отметить, что и в общем случае п-системы обе вышеупомянутые схемы работают, то есть позволяют оснащать множество у/ф соответствующими топологиями (см., в частности, [13]). Свойство компактности также сохраняется при некоторых естественных условиях. При этом «угадывается» и объемлющее (по отношению к у/ф) множество, а именно: множество всех МСС, элементами которых являются всякий раз множества из соответствующей п-системы. Более того, при оснащении топологией волмэновского типа в общем случае п-системы реализуется суперкомпактное [14, гл. 7] ТП (оно, в частности, компактно).
Понятие суперкомпактности связывается обычно с процедурой суперрасширения ТП (см. [14-17]); имеется в виду построение по исходному суперкомпактного ТП, точками которого являются МСС замкнутых множеств. Само свойство суперкомпактности произвольного ТП определяется фактом существования (открытой) предбазы со свойством: у всякого покрытия пространства множествами данной предбазы существует бинарное подпокрытие.
Суперрасширение в волмэновском оснащении как раз и обладает таким свойством.
Оказалось [13,18,19], что конструкции, подобные суперрасширению в его традиционном варианте [14-17], реализуются по отношению к МСС произвольной п-системы. Важную роль, роль промежуточного этапа, в рамках этих более общих построений сыграли решетки множеств (см. [19]). В данных построениях, наряду с топологией волмэновско-го типа, использовалась схема, идейно соответствующая конструкциям Стоуна; будем для краткости именовать данное оснащение стоуновским. Две получающиеся топологии оказываются сравнимыми; реализуется битопологическое пространство (БТП), точками которого являются МСС. Аналогичное БТП реализуется и в случае у/ф (имеется в виду БТП, точками которого являются у/ф). Было показано [18,19], что последнее БТП является подпространством БТП, точками которого являются МСС: стоуновская топология на множестве у/ф индуцируется стоуновской топологией на множестве МСС и аналогичное свойство реализуется для топологий волмэновского типа.
В [18, 19] указаны случаи, когда вышеупомянутые БТП вырождаются (стоуновская и волмэновская топологии совпадают). В то же время указаны условия, когда упомянутые БТП не вырождены: стоуновская и волмэновская топологии различаются. Вместе с тем они (в общем случае) близки с точки зрения свойств, касающихся погружения обычных решений (точек исходного множества) в пространство у/ф. Исследование данного погружения представляет интерес с точки зрения решения задач о достижимости в ТП при ограничениях асимптотического характера (ОАХ); см. в этой связи [13,20-22]. Заметим, что упомянутые ОАХ могут возникать в задачах управления при ослаблении стандартных ограничений (краевые и промежуточные условия, фазовые ограничения). Вместе с тем, ОАХ могут возникать и изначально (см., в частности, [23-26]; подчеркнем,что при построении расширения задач управления с ограничениями импульсного характера в [23-25] использовалось представление множества у/ф естественной алгебры п/м невырожденного промежутка вещественной прямой, полученное ранее в [12]). Упомянутые обстоятельства, связанные с расширением задач о достижимости при ОАХ, мотивируют специальное исследование у/ф широко понимаемых ИП и изучение МСС как элементов объемлющего (по отношению к у/ф) пространства. Настоящая работа использует конструкции [13,18,19] и является непосредственным продолжением [27].
§ 1. Общие понятия
Ниже используется стандартная теоретико-множественная символика (кванторы, связки и др.); 0 — пустое множество, def заменяет фразу «по определению», = — равенство по определению. Семейством называем множество, все элементы которого сами являются множествами; в дальнейшем семейства являются основными объектами рассмотрения. Принимаем аксиому выбора. Если х и у — объекты, то (х; у} есть def множество, содержащее х, у и не содержащее никаких других элементов. Для произвольного объекта
г полагаем (г} = (г; г}, получая синглетон, содержащий г (итак, г € (г} есть единственный элемент множества (г}). Для произвольных объектов х, у и г получаем, что
(х; у;г} = (х; у} и(г} = (х} и (у} и(г}.
Если X — множество, то через V (X) обозначаем семейство всех п/м X и полагаем,
что V'(X) = V(X) \ (0}; через Пп^) обозначаем семейство всех конечных множеств из V'(X), получая семейство всех непустых конечных п/м X. В качестве X может, конечно, использоваться семейство. Если X - непустое семейство, то (см. [13,18,19])
(и}(Х) = (и X : X € V (X)}, (П}(£) = ( П X : X € Р'(Х)},
△ Х €Х дх€Х (1.1) (и} (X) = (и X : К € Пп(Х)}, (П}В(Х) = ( П X : К € Пп(Х)};
хек X ек
каждое из упомянутых четырех семейств содержит X и содержится в семействе всех п/м объединения множеств из X. Операции над семействами, указанные в (1.1), могут комбинироваться. Произвольным множеству M и семейству M £ P'(P (M)) его п/м сопоставляется семейство
Cm[m] = {M \ M : M £ M} £ P'(P(M)),
двойственное к M. Ясно, что CS[CS[S]] = S, где S — множество и S £ P'(P(S)). Если H — непустое семейство, а S — множество, то
(h|s = {H П S : H £ H} £ P'(P(S))) & ([H](S) = {H £ H|S С H} £ P(H)).
Непустому множеству X и семейству X £ P' (P (X)) сопоставляем семейство (возможно пустое)
(COV)[X|X] = {х £ P'(X)|X = U X} £ P(P'(X))
X ex
всех покрытий X множествами из X. Среди покрытий такого рода выделяем бинарные, для которых х £ (COV)[X|X] имеет вид х = {X:; X2}, где £ X и X2 £ X.
Как обычно через R обозначаем вещественную прямую, N = {1;2;...} £ P' (R) (натуральный ряд); при п £ N полагаем 1, п = {s £ N|s ^ п} и для всякого множества Т через Тп обозначаем множество всех отображений из I. // в 7. получая фактически множество всех упорядоченных n-к в T (кортежей «длины» n с элементами из T).
Специальные семейства. До конца настоящего раздела фиксируем непустое множество I. Семейство всех п-систем п/м I с «нулем» и «единицей» есть
n[I] = {I £ P'(P(I)) | (0 £ I)&(I £I)&(A П B £IVA £ IVB £ I)};
называем отделимыми п-системы из семейства
П0[I] = {I £ n[I] | VL £ I Vx £ I \ L 3 Л £ I: (x £ Л)&(Л П L = 0)}.
При I £ п[1] и Ь £ I в виде [С1 [Х]](Ь) имеем непустое подсемейство Р(I), пересечение всех множеств данного подсемейства содержит Ь; множества из [С:[Х]](Ь) называем квазиокрестностями Ь. В виде
П[I] = {I £ п[1] | П Л £ С:[1] УЬ £ I} = ле[с1[! ]](Ь)
= {I £ п[1] | УЬ £ I 3 Ло £ [С:И](Ь) : Ло С Л УЛ £ [С:[!]](Ь)}
имеем семейство всех п-систем с наименьшими квазиокрестностями всех своих множеств. Отметим, что
(ЬЛТ)о[1] = {£ £ п[1] | А и В £ £ У А £ £ УВ £ £} = (1.2)
= {£ £ Р'(Р(1))|(0 £ £)&(1 £ £)&(УА £ £ УВ £ £ (А и В £ £)&(А П В £ £))}
есть множество всех решеток п/м I с «нулем» и «единицей». Тогда (см. (1.2))
(в1ё)[1] = {А £ п[1]|1 \ А £ А УА £ А} = {А £ (ЬЛТ)о[1]|1 \ А £ А УА £ А} £ Р'(П0[1])
есть семейство всех алгебр п/м I; если 3 £ (а%)[1], то (I, 3) есть ИП с алгеброй множеств. В виде
МИ = {т £ пт^ С £ т У£ £ Р'(т)} = {т £ (ЬЛТ)оИ| и С £ т У£ £ Р'(т)} сед сед
имеем семейство всех топологий на I; при t G (top) [I] в виде (I, t) имеем ТП. Наконец, (clos) [I] = {F G (LAT)o[I]| П F eJVF' G P'(F)} = {Ci[t] : т G (top)[I]}
F eF'
есть семейство всех замкнутых топологий (см. [28, с. 98]) на I. В виде
(Cen)[I] = {zgp'(I)I р| Z = 0 VKG Fin(Z)} VI G n[I]
z eK
имеем семейства, элементами которых являются всевозможные центрированные подсемейства соответствующей п-системы.
Базы и предбазы ТП. В дальнейшем используются базы и предбазы (открытые и замкнутые) соответствующих ТП. Однако сначала введем семейства
(BAS)[I] = {в G P'(P(I)) I (I = U B) & (VBi G в VB2 G в Vx G Bi П B2 ЗВ3 G в:
вев
(x G B3) & (B3 С Bi П B2))},
(cl - BAS)[I] = {в G P'(P(I)) | (I G в) & ( П B = 0)
вев
& (VBi G в VB2 G в Vx G I \ (Bi U B2) 3B3 G в : (Bi U B2 С B3) & (x G B3))},
элементами которых являются всякий раз базы (открытые и замкнутые соответственно) некоторой топологии на I. Ясно, что {и}(в) G (top)[I] при в G (BAS)[I] и {П}(в) G (clos)[I] при в G (cl - BAS)[I]. Если же т G (top)[I], то
((т - BAS)o[I] = {в G (BAS)[I] | т = {и}(в)}) & ((cl - BAS)o[I; т] = {в G (cl - BAS)[I] | С1[т] = {П}(в)})
(введены семейства, являющиеся открытыми и замкнутыми базами ТП (I, т)). В дальнейшем важную роль играют предбазы топологий; в этой связи полагаем сначала, что
((p - BAS)[I] = {x G P'(P(I)) | {П}„(х) G (BAS)[I]} = {x G P'(P(I)) | I = U X})
Xex
& ((p - BAS)ci[I] = {x G P'(P(I)) | {U}„(X) G (cl - BAS)[I]});
тем самым введены семейства предбаз открытых и замкнутых множеств (имеется в виду открытость и замкнутость в некоторой топологии на I). Если же т G (top) [I], то определяем предбазы открытых и замкнутых множеств в ТП (I, т):
((p - BAS)o[I; т] = {x G (p - BAS)[I] | {П}„(х) G (т - BAS)o[I]}) & ((p - BAS)oi[I; т] = {x G (p - BAS)ci[I] | {U}„(x) G (cl - BAS)o[I; т]}).
Для т G (top)[I] и x G I полагаем, что N(x) = {G G т|x G G} и
Nt(x) = {H G P(I)|3G G NTo(x) : G С H} (фильтр окрестностей x в ТП (I, т); см. [2, гл. I]); при этом
т = {G G P(I)|G G Nr(y) Vy G G}. (1.3)
Кроме того, полагаем при т G (top)[I] и A G P(I), что c^A^) есть def замыкание множества A в ТП (I, т): cl(A, т) = {x G I|A П H = 0 VH G NT(x)}.
В связи с использованием суперкомпактных ТП (см. [14-17]) введем следующее обозначение, в виде
((ВС) - 1ср)Щ = {т £ (1ср)Щ | 35 £ (р - БЛЯ^; т]
уд £ (соу)[е 15] 3С1 £ д 3С2 £ д: I = и
имеем [13, (5.2)] семейство всех топологий, превращающих I в суперкомпактное ТП. Если выполнено включение т £ ((ВС) — 1ср)[Г] и при этом (^т) есть Т2-пространство (см. [3, 1.5]), то (I, т) называют [9,14-17] суперкомпактом.
§ 2. Ультрафильтры п-систем
Всюду в дальнейшем фиксируем непустое множество Е и рассматриваем п-системы из п[Е] (по мере надобности будут вводится те или иные дополнительные предположения). В пределах настоящего параграфа фиксируем п-систему I £ п[Е]; рассматриваем (Е, I) как широко понимаемое ИП. В виде
= {Т £ Р'(I \ {0}) | (А П В £ Т УА £ Т УВ £ Т) & (У^ £ Т У1 £ I (2 1) (^ С I) (I £ Т))}
имеем семейство всех фильтров ИП (Е, I). При х £ Е имеем
(I — Шу) [х] = {I £ I|x £ I} £ Е*(!) (2.2)
(тривиальный фильтр, соответствующий точке х). Максимальные фильтры называем у/ф; тогда
Ео(!) = {и £ Е*(!) | УТ £ Е*(!) (и С Т) (и = Т)}
= {и £ Е*(!) | У1 £ I (I П и = 0 Уи £ и) (I £ и)} (2.3)
= {и £ (Сеп)[!] | УУ £ (Сеп)И (и С V) (и = V)}
есть семейство всех у/ф ИП (Е, I). Легко видеть, что
((I — Шу)[х] £ Ео(!) Ух £ Е) ^ (I £ по[Е]);
см. [29, (5.9)]. Напомним кратко основные свойства фильтров и у/ф (подробнее см. [13, раздел 3]). Так,
УТ £ Е*(!) 3и £ Ео(!) : Т С и (2.4)
(если I £ (a1g)[E] и Т £ ^(Х), то пересечение всех у/ф и £ F0(I) со свойством Т С и
совпадает с Т). Из (2.2) и (2.4) имеем, что ) = 0. Пусть Фх(I) = {и £ F0(I)|1 £ и} У1 £ I. Тогда
(Ш)[Е;I] = {Фх(I) : I £ I} £ пр^)] (2.5)
и, в частности, (Ш)[Е; I] £ (БАЯ)!(I)], а потому
ТХ[Е] = {и}((Ш)[Е;I]) £ (I)]; (2.6)
отметим, что в виде
(I.
о
реализуется нульмерное [3, 6.2] Т2-пространство; в силу (2.6)
(ВД, ТХ[Е]) (2.7)
(Ш)[Е;I] £ (ТХ[Е] — БАЯ)о[F0(I)]
(итак, (2.5) есть открытая база ТП (2.7)), причем
(ОТ)[Е; I] С Т1 [Е] п ТЕ (2.8)
(если I € (а%)[Е], то (2.7) есть нульмерный компакт (компактное Т2-пространство), а (2.8) превращается в равенство; см. [26, замечание 3.3]). Топологию (2.6) условимся называть стоуновской. Другая топология (волмэновская) будет введена позднее; конструкция, ее определяющая, связывается, однако, со следующими построениями.
Если Н € Р(Е), то полагаем ^[1|Я] = {и € ^(Х^Зи € и : и С Н}. Ясно, что
4[1|Е \ I] = П(1) \ Фх(I) при I € I. Как следствие имеем свойство
ЗсИ = {4[1|Л] : л € Се[I]} = С*(Х)[(ОТ)[Е;I]] € (с1 - ВАЯ)о[Ж*(I); ТХ[Е]]. (2.9)
Из (2.8), (2.9) имеем при Ь € I, что Фх(Ь) есть пересечение всех множеств Ж € € [^С[!]](ФХ(Ь)). Напомним, что (см. [13, предложение 3.1]) при Ь € I и Л € СЕ[I] условия Ь С Л и Фх(Ь) С С ^С [!|Л] эквивалентны. Это означает, что при Ь € I справедливо равенство
ЙзИ](Фх(Ь)) = {ЖСЕ^|Л] : Л € [СЕИ](Ь)},
где [СЕ[I]](Ь) € Р'(Р(Е)). Как следствие получаем [27, теорема 2.1] для семейства (2.3) представление
= {и € Г(!)|У1 € I (I € и) V (ЗЛ € [Се[I]](1) : Е \ Л € и)} (2.10)
(представление у/ф в терминах квазиокрестностей). Напомним, что при I € п^[Е] для Ь € I в виде пересечения всех множеств из [СЕ[!]](Ь) реализуется наименьшая квазиокрестность множества Ь. Отсюда согласно [27, теорема 2.2] вытекает, что при I € п^[Е]
) = {и € Ж*(I)| VI € I (I € и) V (Е \ ( р| Л) €и)}. (2.11)
Ле[св [х ]](1)
Представления (2.10), (2.11) существенно дополняют (2.3). В связи с (2.11) полезно отметить, что [27, предложения 3.1, 3.2] (а^)[Е] С п^[Е] и (1ор)[Е] С п^[Е], а потому (2.11) применимо в двух упомянутых частных случаях.
§3. Представление множества ультрафильтров в терминах решетки множеств, порожденной п-системой.
Фиксируем далее п-систему Е € п[Е], где (здесь и ниже) Е — непустое множество.
Рассмотрим непустое семейство (ЬАТ)0[Е|Е] = { £ € (ЬАТ)0[Е]|Е С £} всех решеток п/м Е, содержащих Е. В виде
с = П £ = {у}»(Е) € (ЬАТ)о[Е|Е] (3.1)
£€(ЬЛТ)о[Е|£ ]
имеем решетку, порожденную п-системой Е. При этом [20, раздел 6] выполнено включение
(ОТ)[Е; С] € (ЬАТ)о[Ж*(С)], и, в частности, (ОТ)[Е; С] € (с1 - ВАЯ)о[Ж*(С)], а топология (волмэновского типа)
ТС[Е] = СВД[{П}((ОТ)[Е; С])] € ОюрЖ(С)] (3.2)
превращает F0(C) в компактное T-пространство
(П(£), TC[E ])
(см. (3.1)). Аналогичным оснащением обладает и множество F0(E), поскольку выполнено включение Fc [E] £ (p — BAS)[F0(E)] и, как следствие, определена топология
TE(E> = |U}({n}„(FC[E])) £ (top)[F0(E)]. (3.3)
При этом (см. [27, теорема 4.1]) F0(E) = { U П E : M £ Fq(C)}, а отображение
Ml—► U n E : F0(C) —► Fq(e )
сюръективно и непрерывно в смысле топологий (3.2) и (3.3). Поэтому (см. [27, теорема 6.2])
(Fo(E), TE(E>) (3.4)
является компактным T1-пространством. Ниже, после некоторых построений в пространстве МСС на п-системе E, мы коснемся вопроса о соотношении ТП (2.7) и (3.4).
§ 4. Максимальные сцепленные системы и ультрафильтры
Сцепленность произвольного непустого семейства S есть следующее его свойство: VS1 £ S VS2 £ S Si П S2 = 0. В настоящем разделе приведена краткая сводка основных свойств МСС. Мы рассматриваем при этом сцепленные подсемейства P(E), полагая
(link)[E] = { S £ P'(P(E))|Si n S2 = 0 VSi £ S VS2 £ S}. Если же X £ P'(P(E)), то
(X — link> [E] = {X £ P'(X)|Xi П X2 = 0 VXi £ X VX2 £ X} (4.1)
есть семейство всех сцепленных подсемейств X, (X — link>[E] С (link)[E], а
(X — link>0[E ] = {X £ (X — link> [E ]|VX £ (X — link>[E ] (XcXT)^ (X = X)} (4.2)
есть семейство всех МСС, содержащихся в X. В качестве X может, в частности, использоваться п-система E.
Предложение 4.1. Каждый фильтр п-системы E является сцепленным подсемейством E:
F*(E) С (E — link>[E].
Доказательство легко следует из определений. При этом (см. [13, (4.3)]) справедливо равенство
(E — link>o [E] = {S £ (E — link> [E] |VE £ E (E n S = 0 VS £ S) (E £ S)} (4.3)
(свойство, подобное отмеченному в (2.3) для у/ф п-системы). Предложение 4.1 дополняется свойством Fq(e) С (E — link>0[E], из которого (см. §2) следует, что (E — link>0[E] = 0. Подобно (2.4) имеем (см. [13, (4.5)]), что
VS £ (E — link> [E] 3S £ (E — link>o[E] : S С S (4.4)
Из (4.2) и (4.3) легко следует, что (см. [13, раздел 4]) ^ € Е - 11пк)о[Е] € 5 ^ € Е
(5 С Е) (Е € 5) (4.5)
(полезно сравнить (4.4) и (4.5) с (2.1)). Наконец, отметим, что (см. [13, раздел 4])
Ж0(Е) = {и € (Е - 11пк)о[Е]|А П В € и ОД € и ^ € и}. (4.6)
Ясно (см. (4.2), (4.3)), что Е € 5 ^ € (Е - Ипк)0[Е]. Следуя [13], полагаем, что
((Е - 11пк)0[Е|Ь] = { £ € (Е - 11пк)о[Е]|Ь € £} VЬ € Е) & ((Е - 11пк)ор[Е|Н] = { £ € (Е - 11пк)о[Е]|ЗЛ € £ : Л С Н} VH € Р(Е)). .
Тогда, в частности, жС [Е | Н] = (Е - 11пк)ор[Е|Н] П Е*(Е) VH € Р(Е). Тем самым конструкции на основе у/фи МСС удается связать между собой, что и будет использоваться в дальнейшем. При этом
Сор[Е; Е] = {(Е - 11пк)0р[Е|Л] : Л € Се[Е]} € (р - ВАЯ)[(Е - 11пк)о[Е]], а потому определена (волмэновская) топология (см. [13, раздел 5])
То(Е|Е) = {и}({П}в(Сор[Е; Е])) € ((§€) - 1ор)[(Е - 11пк)о[Е]], превращающая множество (4.3) в суперкомпактное ^-пространство
((Е- 11пк)о[Е ], То (Е |Е)). (4.8)
С другой стороны, из (2.9) легко следует, что [Е] = ¿ор[Е; Е]|^;(Е), и, как следствие,
ТЕ (Е) = То(Е |Е)|^(£). (4.9)
Из (4.9) следует, что (3.4) есть подпространство ТП (4.8). В этой связи отметим некоторые свойства ТП (3.4). Из определений параграфа 2 легко следует
Предложение 4.2. Если п € N и (Я»)^^ е Т(Е)п, то
п п
ЖС[Е|П Н*] = П жС[Е|Нг].
г=1 г=1
Как следствие получаем представление (открытой) базы
{П}В(^С[Е]) € (ТЕ(Е)- ВАЯ)о[Жо(Е)].
Предложение 4.3. Справедливо равенство
{ПШС[Е]) = {ЖС[Е|Н]: Н € {п}„(СЕ[Е])}. (4.10)
Доказательство. Обозначим (в пределах данного доказательства) через ® семейство в правой части (4.10). Требуется установить равенство {П}ц(^С[Е]) = Пусть п е {П}й(3*с[£]). Тогда для некоторых пеМи (Пг)геТ^ € Зс[£]га
п
П = р|Пг. (4.11)
г=1
С учетом (2.9) для некоторого кортежа (Т»)^^ € С/,-|£|" имеем, что {Л, = ¥:с\£\'Г:/\ У; € 1, гг. Тогда
п
Г|Т £{П}„(Се[Е])
г=1
и согласно предложению 4.2 (см. (4.11)) имеем свойство
п
П = !С[£|р| Тг] £ Ф,
г=1
чем завершается проверка вложения {П}ц(^о[Е]) С Ф. Осталось установить противоположное вложение.
— И^
Итак, пусть Я £ Ф. Тогда для некоторого Г £ {П}ц(СЕ [Е]) имеем равенство Я = !С[£|Г]. I некоторых г £ N и ;тв г € 1, г. Тогда I жения 4.2 получаем, что
Для некоторых г € N и Е Се[Е]г имеем свойство: Г есть пересечение всех мно-
жеств г,-, i Е 1, г. Тогда в силу (2.9) fC[e|^] £ fC[e] Vj G 1, г. Поэтому с учетом предло
r
U = f| FC [E|Гг] £{n}„ (FC [E]).
i=i
Итак, вложение D С {n}j(FC[E]) установлено. □
Итак, получено представление базы ТП (3.4) в терминах семейства {п}ц(Се[E]). Напомним теперь, что
[{n}„(Ce[E])](L) = {Л £ {n}„(Ce[E])|L С Л} VL £ E. По свойствам базы имеем в силу предложения 4.3, что
fC[e|^ £ N0o<E>(M) VM £ FQ(E) VL £ M VЛ £ [{n}B(Ce[E])](L). (4.12)
Свойство (4.12) дополняется следующим представлением, вытекающим из предложения 4.3: если M £ FQ(E), то
{B £ {n}„(FC[E])|M £ B} = U {FC[E|^ : Л £ [{n}„(Ce[E])](U)}; (4.13)
и ew
итак, (4.13) определяет локальную базу (фундаментальную систему окрестностей) у/ф M в ТП (3.4). Данное представление также реализуется в терминах семейства {п}д(Се[E]).
§ 5. Максимальные сцепленные системы, не являющиеся ультрафильтрами, 1
В настоящем разделе изучаются МСС из множества (E—link>0[E]\FQ(E). Будем называть такие МСС собственными (напомним, что E £ п^], где E — непустое множество). Сначала отметим несколько совсем простых свойств.
Предложение 5.1. Если L £ (E — link>0[E] \ F0(E) и F £ F*(E), то L \F = 0.
Доказательство. От противного, предположим, что L \ F = 0. Тогда L С F, где согласно предложению 4.1 F £ (E — link>[E]. В силу максимальности L получаем, что L = F £ FQ(E). Тогда AnB £ L VA £ L VB £ L. В силу (4.6) L £ F0(E), что невозможно. □
Предложение 5.2. Если M £ F0(E) и S £ (E — link>[E] \ F*(E), то U\S = 0.
Доказательство. Из (4.6) следует, что и € (Е - 11пк)о [Е], а тогда
(и С 5)=^ (Ы = 5). (5.1)
По выбору 5 имеем из (5.1), что (Ы С 5) (Ы / Ж*(Е)). Последнее означает (поскольку
Ы € Ж*(Е)), что Ы\5 = 0. □
Предложение 5.3. Если Ы € Ж*(Е) и Б € (Е - 11пк)о[Е] \ Ж*(Е), то
(Ы\5 = 0)&(5\Ы = 0).
Доказательство легко следует из определения максимальности фильтров и сцепленных систем.
Предложение 5.4. Если М € (Е - 11пк)о[Е] \ Жо (Е), то непременно
ЗА € М ЗВ € М ЗС € М : А п В П С = 0.
Доказательство. Из (4.6) имеем по выбору М, что для некоторых М1 € М и М2 € М выполнено М1 П М2 / М. При этом, однако, М1 П М2 € Е по определению п-системы (см. § 1). Из (4.3) вытекает, что (М1 П М2) П М3 = 0 для некоторого множества М3 € М. Поэтому имеем цепочку равенств М1 П М2 П М3 = (М1 П М2) П М3 = 0. □ Следующее положение было анонсировано в [27].
Теорема5.1. Справедливо равенство
(Е- 11пк)о[Е] \ Жо(Е )= (52)
= {5 € (Е - 11пк)о[Е]|З$1 € 5 З^ € 5 З5з € 5 : 5 П 5 П 5 = 0}. ( . )
Доказательство. Обозначим через О множество в правой части (5.2). Тогда в силу предложения 5.4
(Е- 11пк)о[Е] \ Жо(Е) С О. (5.3)
Пусть № € О. Тогда № € (Е - 11пк)о[Е] и для некоторых Ж € №, Жг € № и Жз € №
Ж п Ж2 п Жз = 0. (5.4)
Поскольку каждый фильтр п-системы Е замкнут относительно конечных пересечений
^о(Е). Поэтому № € (Е - 11пк)о [Е] \ Ж* (
(см. (2.1), (2.3)), из (5.4) следует, что № / Ж*(Е). Поэтому № € (Е - 11пк)о[Е] \ Жо(Е). Итак,
О С (Е- 11пк)о[Е] \ Жо(Е). С учетом (5.3) получаем требуемое утверждение. □
Следствие 5.1. Если М € (Е - 11пк)о[Е], то
(А п В п С = 0 VA € MVB€ MVC€ М)=^ ( М€ Ж*(Е)).
§6. Оснащение множества максимальных сцепленных систем топологией стоуновского типа
Рассмотрим другой (вообще говоря) вариант оснащения множества (Е — Нпк)0[Е], действуя по аналогии с (2.5)-(2.7). Данный вариант называем стоуновским, имея в виду отмеченную в §2 аналогию с пространством у/ф алгебры множеств. Отметим прежде всего, что
С*[Е; Е] = {(Е — 11пк)0[Е|Е] : Е £ Е} £ (р — БАЯ)[(Е — ИпкЦЕ]] (6.1)
(см. § 1). Тогда определена топология
Т*(Е|Е) = {и}({П}„(С*[Е; Е])) £ (1юр)[(Е — Ипк^Е]],
которая превращает [13] множество (Е — 11пк)0[Е] в нульмерное Т2-пространство
((Е — 11пк)о[Е], Т*(Е|Е)), (6.2)
для которого {П}В(С*[Е; Е]) £ (Т*(Е|Е) — БАЯ)0[(Е — Ипк)0[Е]] и, следовательно,
С*[Е; Е] £ (р — БАЯ)0[(Е — ИпкЦЕ]; Т*(Е|Е)]
((6.1) есть открытая предбаза ТП (6.2)). Согласно [13, предложение 6.5]
ТЕ [Е] = Т*(Е |Е)|^(Е), (6.3)
а потому в виде (2.7) при I = Е имеем подпространство ТП (6.2). Кроме того, имеем [13, предложение 7.1] свойство
Т0(Е|Е)С Т*(Е|Е) (6.4)
сравнимости двух характерных топологий на множестве (Е — 11пк)0[Е] всех МСС. В дальнейшем для всяких множества X, X = 0, и топологий Т1 £ (1юр)[Х], т2 £ (1юр)[Х] со свойством Т1 С т2 триплет (X, Т1, т2) называем битопологическим пространством (БТП); в этой связи см. монографию [30]. С учетом (6.4) получаем, что
((Е — ИпкЦЕ], Т (Е |Е), Т*(Е |Е)) (6.5)
есть БТП. Из (4.9), (6.3) и (6.4) получаем, что ТЕ (Е) С ТЕ [Е], а потому
(П(Е), ТЕ(Е), ТЕ[Е])
также является БТП, которое логично рассматривать как подпространство БТП (6.5), поскольку (см. (4.9), (6.3))
(ТЕ (Е) = Т0<Е|Е}|^(Е))&(ТЕ [Е] = Т*(Е |Е) )).
Напомним, что (см. [27, теорема 5.1]) при Е £ п^[Е] непременно ТЕ(Е) = ТЕ[Е], а «единое» ТП
(П(Е), ТЕ (Е)) = (П(Е), ТЕ [Е ])
есть нульмерный компакт. Кроме того (см. [13, раздел 8]), при условиях
(Е £ (а^)[Е]) V (Е £ (1юр)[Е])
справедливо равенство Т0(Е|Е) = Т* (Е|Е), а получающееся при упомянутых условиях «единое» ТП
((Е — ИпкЦЕ], Т0(Е |Е)) = ((Е — 11пк)0[Е], Т*(Е|Е)) является нульмерным суперкомпактом.
§ 7. Максимальные сцепленные системы, не являющиеся ультрафильтрами, 2
В настоящем разделе возвращаемся к теореме 5.1 и рассматриваем (в общем случае С € п[Е]) множество МСС, не являющихся у/ф, с точки зрения представлений в терминах ТП (6.2).
Теорема 7.1. Множество (Е - 11пк)о[Е ] \ Ж*(Е) открыто в ТП (6.2):
(Е- 11пк)о[Е] \ Жо(Е) € Т*(Е|Е). (7.1)
Доказательство. Используем (1.3). В самом деле, пусть
М € (Е- 11пк)о[Е ] \ Жо(Е). (7.2)
Тогда из теоремы 5.1 и (7.2) вытекает, что для некоторых множеств
(М1 € М) & (М2 € М)&(Мз€ М) (7.3)
справедливо равенство М1 п М2 п Мз = 0. Рассмотрим множества
(Е- 11пк)о[Е|М1 ], (Е- 11пк)о[Е|М2], (Е- 11пк)о[Е|Мз], (7.4)
каждое из которых содержит М в силу (4.7) и (7.3). Вместе с тем, каждое из множеств (7.4) является элементом семейства (6.1), поскольку М С Е. По определению топологии Т*(Е|Е) получаем, в частности, что
(7.5)
(7.6)
((E - link)°[E|Mi] G T,(E|E)) & ((E - link)°[E|M2] G T,(E|E)) & &((E- link)°[E|Мз] G T,(E|E)).
В свою очередь, из (7.5) вытекает, что
((E - link)°[E|Mi] G N°(e|£>(M)) & ((E - link)°[E|M2] G NS.^M)) &((E- link)°[E|Мз] GN°(e|£>(M)).
Из (7.6) следует с очевидностью, что
G = (E - link)°[E|Mi] П (E - link)°[E|M2] П (E - link)°[E|Мз] G N°(e|E>(M). (7.7)
Пусть T G G. Из (4.7) и (7.7) вытекает, что
(Mi G T) & (M2 G T) & (M3 G T),
где T G (E - link)°[E]. По выбору M1, M2 и M3 имеем из теоремы 5.1, что
TG (E- link)°[E] \ F°(E).
Итак, установлено, что G С (E - link)°[E] \ F°(E), а потому
(E - link)°[E] \ F°(E) G Nt(eю(М).
Поскольку M (7.2) выбиралось произвольно, установлено, что
(E - link)°[E] \ F,(E) G Nt,<e|e>(S) VS G (E - link)°[E] \ F,(E).
С учетом (1.3) получаем требуемое свойство (7.1). □
В связи с вопросом о непустоте множества (7.1) всех собственных МСС п-системы E дополним [27, замечание 5.1]. Справедлива следующая теорема.
Теорема 7.2. В общем случае eg п[Е ] истинна эквиваленция
((E - link)c[E] \ F0(E) = 0) ^ (3Ei G E ЗЕ2 g E ЗЕ3 G E : 7
(Ei П Е2 = 0) & (Е2 П Е3 = 0) & (Е1 П Е3 = 0) & (Е1 П Е2 П Е3 = 0)). ( '
Доказательство. Пусть истинно свойство, указанное в правой части (7.8). Выберем M1 G E, M2 G E и M3 G E со свойствами
(M1 П M2 = 0) & (M2 П M3 = 0) & (M1 П M3 = 0) & (M1 П M2 П M3 = 0). (7.9)
Ясно, что M1 = 0, M2 = 0 и M3 = 0. Введем в рассмотрение семейство M =
= {M1; M2; M3} (см. §1), получая при этом непустое подсемейство E: M G P'(E). Согласно (7.9) A П В = 0 VA G M VB gm.C учетом (4.1) получаем, что M G (E - link)[E ], а потому согласно (4.4) для некоторого N G (E — link)0[E] имеем вложение M С N. При этом согласно (7.9) из последнего вложения вытекает, что ЗА G N ЗВ G N ЗС G N: А П В П С = 0. В силу теоремы 5.1 N G (E — link)o[E] \ F0(E). Итак,
(ЗЕ1 G E ЗЕ2 G E ЗЕ3 G E: (Е1 П Е2 = 0) & (Е2 П Е3 = 0) & (Е1 П Е3 = 0) & (Е1 П Е2 П Е3 = 0)) (7.10)
((E — link)o[E] \ F0(E) = 0).
Осталось установить противоположную импликацию. Итак, пусть
(E — link)o[E] \ FQ(E) = 0. (7.11)
С учетом (7.11) выберем и зафиксируем МСС T G (E — link)0[E] \ FQ(E). Тогда с учетом теоремы 5.1 подберем множества T1 G T, T2 G T и T3 G T так, что
T1 П T2 П T3 = 0. (7.12)
В силу сцепленности T имеем, кроме того, что
(T1 П T2 = 0) & (T2 П T3 = 0) & (T1 П T3 = 0). (7.13)
Поскольку T С E, из (7.12) и (7.13) следует свойство, указанное в правой части (7.8). Итак (см. (7.11)), импликация, противоположная (7.10), установлена, чем и завершается доказательство (7.8). □
При обосновании последней теоремы использовалась идея, отмеченная в [14, 4.18]. А именно: установлено, что собственные МСС существуют тогда и только тогда, когда исходная п-система E удовлетворяет условию, определяемому правой частью (7.8). В этой связи представляется, что пример [14, 4.18] имеет весьма общий характер в части вопросов описания собственных МСС, а его роль в этих вопросах весьма существенна.
Заметим, что в общем случае E G п[Е] (и даже в менее общем случае E G (LAT)0[E]) ситуация, когда собственные МСС отсутствуют, экзотической не является. В самом деле, напомним пример [31, раздел 5], полагая до конца параграфа, что E = N. Пусть, кроме
того, ^ = { k G N|n < k} Vn G N. Полагаем теперь, что E G { ob : n G N} U {0}, если не оговорено противное. Тогда в нашем случае E G (top)[E] и при этом (E, E) = (N, E)
есть T0-пространство. Отметим, что U = { п, oo : n G N} G Fq(e) (здесь мы рассматриваем открытый у/ф в отличие от [31]). При этом пересечение всех множеств из U пусто, то есть мы имеем свободный у/ф. Легко видеть, что F0(E) = {U} (учитываем тот факт, что
F С U VF G Fq(e)).
Рассмотрим теперь множество всех собственных МСС на Е. Из определений §4 следует, что при 5 € (Е - 11пк)о[Е] непременно
5СЕ\{0} = Я; (7.14)
поскольку Я € (Е-11пк)о[Е] (см. (4.2), (4.6)), то согласно (4.2) и (7.14) 5 = Я. Как следствие, (Е - 11пк)о[Е] = {Я}, и в результате
(Е- 11пк)о[Е] \ Ж*(Е ) = 0. (7.15)
Впрочем (7.15) легко извлекается и из теоремы 7.2, поскольку утверждение в правой части (7.8) не выполняется в данном конкретном случае.
§ 8. К вопросу о суперкомпактности пространства ультрафильтров (частный случай)
В настоящем параграфе обсуждается один случай, когда ТП (3.4) является суперкомпактным. В этой связи отметим сначала одно очевидное замечание общего характера. Замечание 8.1. Пусть п-система Е € п[Е] такова, что
(Е- Ипк)о [Е]= Жо(Е). (8.1)
Тогда согласно (4.9) ТЕ(Е) = То(Е|Е) и (см. (4.8), (8.1))
(Ж*(Е), ТЕ (Е)) = ((Е - 11пк)о [Е], То (Е|Е)). (8.2)
С учетом суперкомпактности ТП (4.8) имеем из (8.2), что (при условии (8.1)) и (3.4) есть суперкомпактное ТП. Пример такого рода был приведен в предыдущем параграфе (см. (7.15)).
□
Пусть (как обычно) К — вещественная прямая. При с € К и ^ € К используем обычное
соглашение [с, = {£ € К|(с ^ £) & (£ < допуская, однако, реализацию пустого множества (при ^ ^ с); см. [32, § 1.3]. Полагаем до конца статьи, что
Е = [а,Ь[, (8.3)
где а € К, Ь € К и а < Ь. При г € К х К полагаем, что рг1(г) € К и рг2 (г) € К — суть первый и второй элементы упорядоченной пары (плоского вектора) г соответственно, то есть г = (рг1(г), рг2(г)). Полагаем до конца статьи, что
Е = {[рг1(г), рг2(г)[: г€ [а, Ь] х [а,Ь]}, (8.4)
получая полуалгебру п/м Е (8.3); см. [32, § 3.9]. В частности, Е € п[Е]; см. [32, (1.7.3)]. Рассматриваем далее ИП (Е, Е) (пространство-стрелку), определяемое посредством (8.3), (8.4).
Предложение 8.1. Для ИП (Е, Е), определяемого посредством (8.3) и (8.4), имеет место свойство
€ Е ^2 € Е ^Ез € Е ((Е1 п Е2 = 0) & (Е2 п Ез = 0) & (Е1 п Ез = 0)) (Е1 п Е2 п Ез = 0). ( . )
Доказательство. Выберем и зафиксируем Е1 € Е, Е2 € Е и Ез € Е, после чего подберем с учетом (8.4) а1 € [а, Ь], Ь1 € [а, Ь], а2 € [а, Ь], Ь2 € [а, Ь], аз € [а, Ь] и Ьз € [а, Ь] так, что
(Е1 = [а1,Ь1 [)&(Е2 = [а2,Ь2[)&(Ез = [аз ,Ьз[). (8.6)
Пусть (£1 П £2 ф 0) & (£2 П £3 ф 0) & (£1 П £3 ф 0). Тогда для 1, 3 = {1; 2; 3},
(а = вир({ог : г Е М}) € Е) & (Ь = Ы({Ы : г Е М}) € Е)
получаем с учетом (8.6) неравенство а < Ь. При этом [а, Ь[е Е согласно (8.4) и справедливо свойство [а, Ь[ = 0. Кроме того, в силу (8.6) [а, Ь[с £1П£2 П£3, а потому £ П£2 П£3 = 0. Итак, установлена импликация
((£1 П £2 = 0) & (£2 П £3 = 0) & (£1 П £3 = 0)) (£1 П £2 П £3 = 0). Поскольку выбор £1, £2 и £3 был произвольным, (8.5) установлено. □
Теорема8.1. Для ИП (8.3), (8.4) справедливо равенство (8.1).
Доказательство получается непосредственной комбинацией теоремы 7.2 и предложения 8.1 (см. также (4.6)).
Следствие 8.1. При условиях (8.3), (8.4) Т° (Е) е ((§€) - 1орЖ(Е)].
Доказательство вытекает из (4.9) и теоремы 8.1 с учетом суперкомпактности ТП (4.8). Таким образом, при условиях (8.3), (8.4) в виде (3.4) реализуется суперкомпактное ^-пространство у/ф.
В связи с равенством (8.1) при условиях (8.3), (8.4) напомним, что конкретное представление упомянутого (в (8.1)) множества известно (см. [33, (6.11)]). Напомним это представление, полагая, что (как и в [33, § 6])
И = |[рг1(^), рг2(г)[: £ е [а,ж[х [ж, Ь]} Уж е]а, Ь]. Тогда согласно [33, (6.11)] и (8.1) имеем (при условиях (8.3),(8.4)), что
Е*(Е) = (Е - Ипк)о[£] = {(Е - Шу)[ж] : ж е Е} и {иХ : ж е]а,Ь]}.
Напомним, что в рассматриваемом случае собственные МСС отсутствуют в силу теоремы 8.1. Они, однако, «появляются», если заменить полуалгебру (8.4) алгеброй, которая ей порождена. Итак, пусть А е (а%)[Е] есть def алгебра п/м Е (8.3), порожденная полуалгеброй (8.4):
(Е с А) & (УА е (а^)[Е] (Е с А) (А с А)). (8.7)
Для нас сейчас существенно только первое вложение в (8.7), а также то, что
¿1 и ¿2 е А е Е УЬ2 е Е. (8.8)
Чтобы воспользоваться теоремой 7.2 в условиях замены Е —> А, введем следующие два значения ^ е Е и 12 е Е:
(V = а + - а)^ & = а + .
Получаем, что Ь1 = [а, ^[е Е и таковы, что П Ь2 = 0. Наконец, имеем
в силу (8.8), что
Ь3 = [а, 12^1, Ь[е А, причем Ь1 П Ь3 = 0 и Ь2 П Ь3 = 0. Вместе с тем Ь1 П Ь2 П Ь3 = 0. Поскольку
(Ь1 е А)&(Ь2 е А)&(Ь3 е А),
то по теореме 7.2 имеем свойство (А-Ипк)0[Е] \F0(A) = 0. Итак, при замене Е —> А появляются собственные МСС. В то же время структура множества у/ф оказывается (см. [33, § 6]) более устойчивой к такой замене.
Список литературы
1. Булинский А.В., Ширяев А.Н. Теория случайных процессов. М.: Физматлит, 2005. 402 с.
2. Бурбаки Н. Общая топология. Основные структуры. М.: Наука, 1968. 272 с.
3. Энгелькинг Р. Общая топология. М.: Мир, 1986. 751 с.
4. Владимиров Д.А. Булевы алгебры. М.: Наука, 1969. 319 с.
5. Грызлов А.А., Бастрыков Е.С., Головастов Р.А. О точках одного бикомпактного расширения N // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2010. Вып. 3. C. 10-17. https://doi.org/10.20537/vm100302
6. Грызлов А.А., Головастов Р.А. О пространствах Стоуна некоторых булевых алгебр // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2013. Вып. 1. C. 11-16. https://doi.org/10.20537/vm130102
7. Головастов Р.А. О пространстве Стоуна одной булевой алгебры // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2012. Вып. 3. C. 19-24. https://doi.org/10.20537/vm120303
8. Невё Ж. Математические основы теории вероятностей. М.: Мир, 1969. 309 с.
9. Архангельский А.В. Компактность // Общая топология — 2. Итоги науки и техники. Сер. Современные проблемы математики. Фундаментальные направления. Т. 50. М.: ВИНИТИ, 1989. C. 5-128.
10. Варга Дж. Оптимальное управление дифференциальными и функциональными уравнениями. М.: Наука, 1977. 624 с.
11. Красовский Н.Н., Субботин А.И. Позиционные дифференциальные игры. М.: Наука, 1974. 456 с.
12. Ченцов А.Г. Об одном примере представления пространства ультрафильтров алгебры множеств // Труды Института математики и механики УрО РАН. 2011. Т. 17. № 4. С. 293-311.
13. Ченцов А.Г. Битопологические пространства ультрафильтров и максимальных сцепленных систем // Труды Института математики и механики УрО РАН. 2018. Т. 24. № 1. C. 257-272. https://doi.org/10.21538/0134-4889-2018-24-1-257-272
14. Федорчук В.В., Филиппов В.В. Общая топология. Основные конструкции. М.: Физматлит, 2006. 336 с.
15. de Groot J. Superextensions and supercompactness // Proc. I. Intern. Symp. on extension theory of topological structures and its applications. Berlin: VEB Deutscher Verlag Wis., 1969. P. 89-90.
16. van Mill J. Supercompactness and Wallman spaces // Amsterdam: Mathematisch Centrum, 1977. 238 p.
17. Strok M., Szymanski A. Compact metric spaces have binary bases // Fund. Math. 1975. vol. 89, no. 1, pp. 81-91. https://doi.org/10.4064/fm-89-1-81-91
18. Ченцов А.Г. Ультрафильтры и максимальные сцепленные системы множеств // Вестник Удмуртского университа. Математика. Механика. Компьютерные науки. 2017. Т. 27. Вып. 3. С. 365-388. https://doi.org/10.20537/vm170307
19. Chentsov A.G. Some representations connected with ultrafilters and maximal linked systems // Ural Mathematical Journal. 2017. Vol. 3. No. 2. P. 100-121. https://doi.org/10.15826/umj.2017.2.012
20. Ченцов А.Г. Фильтры и ультрафильтры в конструкциях множеств притяжения // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2011. Вып. 1. C. 113-142. https://doi.org/10.20537/vm110112
21. Chentsov A.G. Asymptotic attainability. Dordrecht: Springer Netherlands, 1997. XIV, 322 p. https://doi.org/10.1007/978-94-017-0805-0
22. Chentsov A.G., Morina S.I. Extensions and relaxations. Dordrecht: Springer Netherlands, 2002. XIV, 408 p. https://doi.org/10.1007/978-94-017-1527-0
23. Ченцов А.Г., Бакланов А.П. К вопросу о построении множества достижимости при ограничениях асимптотического характера // Труды Института математики и механики УрО РАН. 2014. Т. 20. № 3. C. 309-323.
24. Ченцов А.Г., Бакланов А.П. Об одной задаче асимптотического анализа, связанной с построением области достижимости // Тр. МИАН. 2015. T. 291. C. 292-311. https://doi.org/10.1134/S0371968515040226
25. Ченцов А.Г., Бакланов А.П., Савенков И.И. Задача о достижимости с ограничениями асимптотического характера // Известия Института математики и информатики Удмуртского государственного университета. 2016. Вып. 1 (47). C. 54-118. http://mi.mathnet.ru/iimi328
26. Ченцов А.Г. Ультрафильтры измеримых пространств как обобщенные решения в абстрактных задачах о достижимости // Труды Института математики и механики УрО РАН. 2011. Т. 17. № 1. C. 268-293.
27. Ченцов А.Г. Ультрафильтры и максимальные сцепленные системы: основные свойства и топологические конструкции // Известия Института математики и информатики Удмуртского государственного университета. 2018. Т. 52. C. 86-102. https://doi.org/10.20537/2226-3594-2018-52-07
28. Александров П.С. Введение в теорию множеств и общую топологию. М.: Едиториал УРСС, 2004. 368 с.
29. Ченцов А.Г. Некоторые свойства ультрафильтров, связанные с конструкциями расширений // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2014. Вып. 1. C. 87-101. https://doi.org/10.20537/vm140108
30. Dvalishvili B.P. Bitopological spaces: theory, relations with generalized algebraic structures, and applications. Amsterdam: North-Holland, 2005. 422 p.
31. Ченцов А.Г. Суперрасширение как битопологическое пространство // Известия Института математики и информатики Удмуртского государственного университета. 2017. Т. 49. C. 55-79. https://doi.org/10.20537/2226-3594-2017-49-03
32. Ченцов А.Г. Элементы конечно-аддитивной теории меры, I. Екатеринбург: УГТУ-УПИ, 2009. 389 c.
33. Ченцов А.Г. Об одном представлении результатов действия приближенных решений в задаче с ограничениями асимптотического характера // Труды Института математики и механики УрО РАН. 2011. Т. 17. № 2. C. 225-239.
Поступила в редакцию 04.12.2018
Ченцов Александр Георгиевич, д. ф.-м. н., член-корреспондент РАН, главный научный сотрудник, отдел управляемых систем, Институт математики и механики им. Н. Н. Красовского УрО РАН, 620990, Россия, г. Екатеринбург, ул. С. Ковалевской, 16;
профессор, кафедра прикладной математики и механики, Уральский федеральный университет, 620002, Россия, г. Екатеринбург, ул. Мира, 19. E-mail: chentsov@imm.uran.ru
A. G. Chentsov
Ultrafilters and maximal linked systems: basic relations
Citation: Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2019, vol. 53, pp. 138-157 (in Russian).
Keywords: bitopological space, maximal linked system, ultrafilter. MSC2010: 28A33
DOI: 10.20537/2226-3594-2019-53-12
Ultrafilters and maximal linked systems with elements in the form of sets from the fixed п-system with "zero" and "unit" are investigated. Ultrafilters are maximal linked systems, but, among them, maximal linked systems that are not ultrafilters can be situated. In this paper, special attention is given to the description of the set of maximal linked systems that are not ultrafilters (they are called characteristic). In their properties these maximal linked systems differ from ultrafilters essentially. Necessary and sufficient conditions for existence of the above-mentioned systems (we mean conditions with respect to the initial п-system) and some topological properties for the set of all maximal linked systems of this type are obtained. In addition, for the construction of the corresponding equipment (just as in the ultrafilter case), the schemes ascending to procedures used under Wallman extension and Stone compactums are used; but the above-mentioned schemes are realized in the case when the anticipating measurable (by sense)
structure is given by a n-system of general form. In particular, this allows one to envelop by a unique structure procedures for construction of spaces of ultrafilters and maximal linked systems for measurable and topological spaces. In the framework of this construction, bitopological spaces corresponding to Wallman and Stone variants of equipment arise naturally; in the first variant, for the case of maximal linked systems, the supercompact Ti-space is realized. Examples are given for which all maximal linked systems are ultrafilters; this corresponds to realization of supercompact ultrafilter space when the topology of Wallman type is used.
REFERENCES
1. Bulinskii A.V., Shiryaev A.N. Teoriya sluchainykh protsessov (Theory of stochastic processes), Moscow: Fizmatlit, 2005, 402 p.
2. Bourbaki N. Topologie Generale, Paris: Hermann, 1961, 263 p.
3. Engel'king R. Obshchaya topologiya (General topology), Moscow: Mir, 1986, 751 p.
4. Vladimirov D.A. Bulevy algebry (Boolean algebras), Moscow: Nauka, 1969. 319 p.
5. Gryzlov A.A., Bastrykov E.S., Golovastov R.A. About points of compactification of N, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2010, issue 3, pp. 10-17 (in Russian). https://doi.org/10.20537/vm100302
6. Gryzlov A.A., Golovastov R.A. The Stone spaces of Boolean algebras, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2013, issue 1, pp. 11-16 (in Russian). https://doi.org/10.20537/vm130102
7. Golovastov R.A. About Stone space of one Boolean algebra, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2012, issue 3, pp. 19-24 (in Russian). https://doi.org/10.20537/vm120303
8. Neveu J. Bases mathematiques du calcul des probabilites, Paris: Masson et CIE, 1964.
9. Arhangel'skii A.V. Compactness, General Topology II, Encyclopaedia Math. Sci., vol. 50, Berlin: Springer-Verlag, 1996, pp. 1-117.
10. Warga J. Optimal control of differential and functional equations, New York: Academic Press, 1972, 546 p. https://doi.org/10.1016/C2013-0-11669-8
11. Krasovskii N.N., Subbotin A.I. Game-theoretical control problems, New York: Springer, 1988, xi+517 p.
12. Chentsov A.G. On one example of representing the ultrafilter space for an algebra of sets, Tr. Inst. Mat. Mekh. Ural. Otd. Ross. Akad. Nauk, 2011, vol. 17, no. 4, pp. 293-311.
13. Chentsov A.G. Bitopological spaces of ultrafilters and maximal linked systems, Tr. Inst. Mat. Mekh. Ural. Otd. Ross. Akad. Nauk, 2018, vol. 24, no. 1, pp. 257-272. https://doi.org/10.21538/0134-4889-2018-24-1-257-272
14. Fedorchuk V.V., Filippov V.V. Obshchaya topologiya. Osnovnye konstruktsii (General topology. Basic constructions), Moscow: Fizmatlit, 2006. 336 p.
15. de Groot J. Superextensions and supercompactness, Proc. I. Intern. Symp. on extension theory of topological structures and its applications, Berlin: VEB Deutscher Verlag Wis., 1969, pp. 89-90.
16. van Mill J. Supercompactness and Wallman spaces, Amsterdam: Mathematisch Centrum, 1977, 238 p.
17. Strok M., Szymanski A. Compact metric spaces have binary bases, Fund. Math., 1975, vol. 89, no. 1, pp. 81-91. https://doi.org/10.4064/fm-89-1-81-91
18. Chentsov A.G. Ultrafilters and maximal linked systems, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2017, vol. 27, issue 3, pp. 365-388. https://doi.org/10.20537/vm170307
19. Chentsov A.G. Some representations connected with ultrafilters and maximal linked systems, Ural Mathematical Journal, 2017, vol. 3, no. 2, pp. 100-121. https://doi.org/10.15826/umj.2017.2.012
20. Chentsov A.G. Filters and ultrafilters in the constructions of attraction sets, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2011, issue 1, pp. 113-142. https://doi.org/10.20537/vm110112
21. Chentsov A.G. Asymptotic attainability, Dordrecht: Springer Netherlands, 1997, XIV, 322 p. https://doi.org/10.1007/978-94-017-0805-0
22. Chentsov A.G., Morina S.I. Extensions and relaxations, Dordrecht: Springer Netherlands, 2002, XIV, 408 p. https://doi.org/10.1007/978-94-017-1527-0
23. Chentsov A.G., Baklanov A.P. On the question of construction of an attraction set under constraints of asymptotic nature, Proceedings of the Steklov Institute of Mathematics, 2015, vol. 291, suppl. 1, pp. 40-55. https://doi.org/10.1134/S0081543815090035
24. Chentsov A.G., Baklanov A.P. On an asymptotic analysis problem related to the construction of an attainability domain, Proceedings of the Steklov Institute of Mathematics, vol. 291, issue 1, pp. 279-298. https://doi.org/10.1134/S0081543815080222
25. Chentsov A.G., Baklanov A.P., Savenkov I.I. A problem of attainability with constraints of asymptotic nature, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2016, issue 1 (47), pp. 54-118. http://mi.mathnet.ru/eng/iimi328
26. Chentsov A.G. Ultrafilters of measurable spaces as generalized solutions in abstract attainability problems, Proceedings of the Steklov Institute of Mathematics, 2011, vol. 275, suppl. 1, pp. 12-39. https://doi.org/10.1134/S0081543811090021
27. Chentsov A.G. Ultrafilters and maximal linked systems: basic properties and topological constructions, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2018, vol. 52, pp. 86-102. https://doi.org/10.20537/2226-3594-2018-52-07
28. Aleksandrov P.S. Vvedenie v teoriyu mnozhestv i obshchuyu topologiyu (Introduction to set theory and general topology), Moscow: Editorial URSS, 2004, 368 p.
29. Chentsov A.G. Some ultrafilter properties connected with extension constructions, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2014, issue 1, pp. 87-101. https://doi.org/10.20537/vm140108
30. Dvalishvili B.P. Bitopological spaces: theory, relations with generalized algebraic structures, and applications, Amsterdam: North-Holland, 2005, 422 p.
31. Chentsov A.G. Superextension as bitopological space, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2017, vol. 49, pp. 55-79. https://doi.org/10.20537/2226-3594-2017-49-03
32. Chentsov A.G. Elementy konechno-additivnoi teorii mery, I (Elements of a finitely additive measure theory, I), Yekaterinburg: USTU-UPI, 2009, 389 p.
33. Chentsov A.G. One representation of the results of action of approximate solutions in a problem with constraints of asymptotic nature, Proceedings of the Steklov Institute of Mathematics, 2012, vol. 276, suppl. 1, pp. 48-62. https://doi.org/10.1134/S0081543812020046
Received 04.12.2018
Chentsov Aleksandr Georgievich, Doctor of Physics and Mathematics, Corresponding Member, Russian
Academy of Science, Chief Researcher, Department of Controlled Systems, N. N. Krasovskii Institute of
Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, ul. S. Kovalevskoi, 16,
Yekaterinburg, 620990, Russia;
Ural Federal University, ul. Mira, 19, Yekaterinburg, 620002, Russia.
E-mail: chentsov@imm.uran.ru
