CC BY
11
Известия Института математики и информатики УдГУ
2018. Том 52
УДК 519.6 © А. Г. Ченцов
УЛЬТРАФИЛЬТРЫ И МАКСИМАЛЬНЫЕ СЦЕПЛЕННЫЕ СИСТЕМЫ: ОСНОВНЫЕ СВОЙСТВА И ТОПОЛОГИЧЕСКИЕ КОНСТРУКЦИИ
Рассматриваются ультрафильтры (максимальные фильтры) и максимальные сцепленные системы на п-систе-мах с «нулем» и «единицей». Обсуждаются различные варианты топологического оснащения и получающиеся на их основе битопологические пространства. Отмечается, что битопологическое пространство ультрафильтров может рассматриваться как подпространство битопологического пространства максимальных сцепленных систем. Устанавливаются необходимые и достаточные условия максимальности фильтров, а также свойства, характеризующие максимальные сцепленные системы, не являющиеся ультрафильтрами, и выясняются некоторые условия, достаточные для существования таких систем. Указаны условия, при которых битопологиче-ские пространства ультрафильтров и максимальных сцепленных систем являются вырожденными (топологии, определяющие соответствующее битопологическое пространство, совпадают), а также условия, гарантирующие невырожденность. Приведен новый вариант свойства плотности исходного множества в пространстве ультрафильтров с топологией волмэновского типа. Данный вариант может использоваться при построении расширений абстрактных задач о достижимости с ограничениями асимптотического характера.
Ключевые слова: битопологическое пространство, максимальная сцепленная система, ультрафильтр.
Б01: 10.20537/2226-3594-2018-52-07 Введение
Настоящая работа продолжает серию исследований автора (см., в частности, [1-4]), связанных с изучением ультрафильтров (у/ф) и максимальных сцепленных систем (МСС) широко понимаемых измеримых пространств (ИП). Данные пространства определялись в виде множеств, на которых задавались п-системы [5, с. 14] подмножеств (п/м), то есть семейства подмножеств, замкнутые относительно конечных пересечений; предполагалось также, что рассматриваемые п-системы являются семействами с «нулем» и «единицей», то есть содержат всякий раз пустое и объемлющее множества. Для каждого такого (широко понимаемого) ИП у/ф являются МСС соответствующей п-системы; в то же время имеются, вообще говоря, МСС, не являющиеся у/ф. В [1,3,4] построены два битопологических пространства (БТП), связанные с исходной п-системой. Точками одного из этих БТП являются у/ф, а точками другого — МСС данной п-системы (БТП понимается здесь как множество, оснащенное парой сравнимых топологий). Оказывается [1,3,4], что первое БТП всякий раз может рассматриваться как своеобразное подпространство второго: топологии на множестве у/ф индуцируются соответствующими топологиями на множестве МСС. Следует отметить, что частными случаями п-систем являются алгебры и полуалгебры множеств, топологии, семейства замкнутых множеств в топологических пространствах (ТП). Топологии, используемые в [1-4] (в конструкциях БТП), на идейном уровне связываются с построениями Стоуна и Волмэна, применяемыми обычно в случаях пространств у/ф алгебры множеств (отметим в этой связи исследования [6-8]) и семейства замкнутых множеств в Т-пространстве [9, раздел 1.5] соответственно. Весьма общий подкласс п-систем составляют решетки множеств, для которых были реализованы [1,3] первоначально многие построения настоящей работы.
Случай МСС решетки замкнутых множеств в ТП активно исследовался в связи с понятиями суперрасширения (данного ТП) и суперкомпактности; см. в этой связи [10-12], а также [13, гл. VII, §4]. Особо отметим принципиальный результат [12] о суперкомпактности метризуемых компактов.
В настоящей работе многие положения [10-12; 13, гл. VII, §4] распространяются на случай МСС на произвольной п-системе с «нулем» и «единицей». В этом отношении настоящая работа является непосредственным продолжением [4].
§ 1. Общие определения и обозначения
Ниже используется стандартная теоретико-множественная символика (кванторы, связки
и др.); 0 — пустое множество, ёе1 заменяет фразу «по определению», = — равенство по определению. Семейством называем множество, все элементы которого сами являются множествами. Принимаем аксиому выбора. Если х и у — объекты, то через (х; у} обозначаем множество, содержащее х, у и не содержащее никаких других элементов. Для каждого объекта г полагаем (г} = (г; г}, получая синглетон, содержащий г. Каждое множество — объект. С учетом этого,
следуя [14, с. 67], полагаем для любых двух объектов а и в, что (а, в) = ({а}; (а; в}}, получая упорядоченную пару (УП) с первым элементом а и вторым элементом в. Если же г — какая-либо УП, то через р^(г) и рг2(г) обозначаем соответственно первый и второй элементы г, однозначно определяемые условием г = (рг1(г), рг2(г)). Если X — множество, то через Р(X)
обозначаем семейство всех подмножеств (п/м) X и полагаем Р'(X) △ Р(X) \ (0}; Пп(Х) есть ёе1 семейство всех конечных множеств из Р' (X), то есть семейство всех непустых конечных п/м X. В качестве X может, конечно, использоваться семейство. Следуя обозначениям [4, раздел 2], полагаем для каждого непустого семейства X, что
(и}(Х) △ ( и X: X € Р(X)}, (П}(£) △ ( П X: X € Р'(Х)},
хех хех
(и}в(Х) △ ( и X: К € Пп(Х)}, (П}(X) △ ( П X: К € Пп(Х)},
хек хек
получая четыре семейства, элементами которых являются п/м объединения всех множеств из X; каждое из упомянутых семейств содержит X. Если М — множество и М € Р'(Р (М)), то в виде
См[М] △ (М \ М: М € М} € Р '(Р (М)) имеем семейство п/м М, двойственное к М. Для непустого семейства А и множества В
А|Б^ (А П В: А € А} € Р'(Р(В)) (1.1)
есть след семейства A на B. Если U и V — множества, то через VU обозначаем (как и в [14])
множество всех отображений из U в V; при / € VU и W € P(U) в виде / *(W) △ {/(x): x € W} € P(V) имеем образ W при действии /, /*(W) = 0 при W = 0.
Если H — семейство, а S — множество, то [H](S) △ {H € H|S С H} € P(H). Наконец,
если X — непустое множество и X € P'(P(X)), то (COV)[X|X] △ {х € P'(X)|X = U X} есть
X ex
семейство всех покрытий X множествами из X.
Некоторые специальные семейства. Фиксируем до конца настоящего раздела непустое множество I. Рассматриваем подсемейства P(I). В виде
n[I] △ {I € P'(P(I)) | (0 €I)&(I €I)&(A П B € I VA €IVB €I)} (1.2)
имеем (непустое) семейство всех п-систем [5, с. 14] п/м I с «нулем» и «единицей»; п-системы, являющиеся элементами семейства
п0[I] △ {I € n[I] | VL € I Vx € I \ L 3 Л €l: (x € Л)&(Л П L = 0)}, (1.3)
называем отделимыми. Если I € n[I] и L € I, то [Ci[I]](L) есть непустое подсемейство P(I), множества из [Ci[I]](L) называем квазиокрестностями L; пересечение всех множеств из [Ci[I]](L) содержит L. Введем в рассмотрение семейство
п[I] △ {I € n[I] | П Л € Ci[I] VL € I}. (14)
Ле[сг[1]](ь)
Из (1.4) легко следует, что справедливо равенство п^ [I] = {I € п[1] | € I 3 Ло € [С1 [!]](£): Ло с Л V Л € [С:[1]](Ь)}; в этой связи семейства — элементы (1.4) — называем п-системами с наименьшими квазиокрестностями (всех своих множеств). В виде
(ЬЛТ)о[1] = {£ € п[1] | А и В € £ ^ € £ VB € £}
получаем семейство всех решеток п/м I с «нулем» и «единицей» (имеется в виду решеточность в смысле упорядоченности по включению). Пусть
(а^)Щ = {А € (ЬЛТ)о[1]|1 \ А € А VA € А}, (1.5)
(1ср)[1] = {т € (ЬЛТ)о[1]| и ^ € т ^ € Р'(т)}, (1.6)
сед
(е1ов)[1] = {^€ (ЬЛТ)о[1]| П Р €Р'(^)}; (1.7)
^ ет'
легко видеть, что (a1g)[I] с по [I]. Семейства — элементы (1.5) — алгебры п/м I и только они; в (1.6) мы имеем семейство всех топологий на I. Семейства — элементы (1.7) — двойственны по отношению к топологиям; иными словами, это семейства замкнутых множеств в ТП. Введем, наконец, при I € п [I] семейство
(Сеп)[1] = {Я € Р'(1)| П ^ = 0 ^ € Е1п(£)} VI € пЩ; (1.8)
.гек
элементами (1.8) являются непустые центрированные подсемейства I и только они.
Элементы топологии. Напомним, что (е1ов)Щ = {С1[т]: т € ^ор)Щ}; топологии и семейства замкнутых множеств (замкнутые топологии) находятся в естественной двойственности. Пусть
(БЛЯ)Щ = {в € Р'(Р(I)) | (I = и В) & № € в VB2 € в ^ € В1 П В2 ЗВ3 € в:
вев (1.9)
(х € Вз)&(Вз С В1 П В2))},
(е1 - БЛS)[I] = {в € Р'(Р(I)) | (I € в) & ( П В = 0)&
вев (1.10)
& (УВ1 € в VB2 € в ^ € I \ (В1 и В2) 3Вз € в : (В1 и В2 С Вз) & (х € Вз))}.
В (1.9) имеем семейство всех баз открытых п/м I, а в (1.10) — семейство всех баз замкнутых п/м I (имеются в виду открытость и замкнутость относительно некоторой топологии на I). При в € (БЛЯ)Щ имеем свойство {и}(в) € ^ор)Щ, а при в € (е1 — БЛЯ)Щ непременно {П}(в) € (е1ов) [I]. Пусть
(т — БЛЭД] = {в € (БЛЯ)Щ | т = {и}(в)} Vт € (top)[I].
Если т € (top)[I] и в € (т — БЛЯ)оЩ, то в есть (открытая) база конкретного ТП (^т). Аналогичным образом вводим семейства замкнутых баз того или иного ТП, полагая
(е1 — БЛЯ)о[!т] = {в € (е1 — БЛS)[I] | С:[т] = {П}(в)} Vт € (top)[I]. Перейдем к описанию предбаз. Пусть
(р — БЛЯ)Щ = {х € Р'(Р(I)) | {П}„(х) € (БЛВД} = {х € Р'(Р(I)) | I = ^ X}
Хех
(семейство всех предбаз открытых п/м I); аналогично определяется семейство предбаз замкнутых п/м I: (р — БЛЯ)^] = {х € Р'(Р(I)) | {и}в(х) € (е1 — БЛS)[I]} (последнюю конструкцию используем ниже при условии 0 € х).
Если же т € ^ор)Щ, то определяем предбазы открытых и замкнутых множеств в ТП (1,т):
(р - БЛ8)о[! т] = (х € (р - БЛ8)Щ | (П}„(х) € (т - БЛ8)о[Щ,
(р - БЛ8)0}[1; т] = (х € (р - БЛ8Ы1] | (и}й(х) € (с1 - БЛ8)о[1; т]}. Если т € ^ор)[1] и х € I, то Ж°(х) = (С € т | х € С} и
N (х) = (Н € Р(I) | 3 С € №(х): С С Н}
(семейство всех окрестностей х в ТП (1,т), понимаемых в смысле Бурбаки); если же А € Р(I), то с1(А, т) есть ёе£ замыкание А в ТП (1,т):
с1(А, т) = (х € I | А П С = 0 УС € ж0(х)} = (х € I | А П Н = 0 УН € N(х)}. Условимся о следующем обозначении, связанном с суперкомпактными ТП:
((§<С) - 1ор)Щ = (т € (1ор)Щ | 35 € (р - БЛ8)о[!т] (1 11)
УЯ€ (COV)[I | 5] 3С1 € Я ЗС2 € Я: I = С1 и С2}
есть семейство всех топологий, превращающих I в суперкомпактное ТП (см. [10-13]).
§ 2. Фильтры и ультрафильтры п-систем
Всюду в дальнейшем фиксируем непустое множество Е. Рассматриваем п-системы из множества п[Е], добавляя по мере надобности дополнительные предположения. Если I € п[Е], то в виде
Ж*(!) = (^€Р'(1\(0}) | (А П В € 7 У А € 7 УВ € 7)& &(УЕ € ТУ/ € I: (Е С /) (/ € 7))},
Ж0(!) = (и € Ж*(!) | У7 € Ж*(!) (Ы С 7) (Ы = 7)} =
(2.1)
= (и € Ж*(!) | У/ € I (/ П и = 0 Уи € Ы) (/ € и)} = (2.2)
= (и € (Сеп)[1] | УУ € (Сеп)[1 ] (и С V) (Ы = V)}
имеем семейства всех фильтров и всех у/ф п-системы I соответственно. Отметим, в частности, что при I € п[Е] и х € Е
(I - Шу)[х] = (/ € I |х € /} € Ж*(2). (2.3)
При этом ((I - Шу)[х] € F0(I) Ух € Е) ^^ (I € п0[Е]), см. [15, (5.9)]; данное свойство используем ниже без дополнительных пояснений. Легко видеть, что (проверяется с использованием леммы Цорна)
VI € п[Е] У7 € Ж*(!) 3Ы € : 7 С Ы. (2.4)
Из (2.3) и (2.4) следует, что = 0 УI € п[Е]. Если J € п[Е], то полагаем, что
Фа(3) = (Ы € F0( J) | 3 € Ы} У3 € J; (2.5)
с учетом (2.5) получаем следующее положение:
(Ш)[Е; J] = (Фа(Ь): Ь € J} € п[^)], (2.6)
а тогда, в частности, (ОТ)[Е; J] € (БЛ8)^^)] и, как следствие,
Т*а[Е] = (и}((Ш)[Е; Л) € Оюр)р^(.Я]. (2.7)
При этом (см. (2.5)-(2.7); [15, §2]) в виде
(П(3), Т>[Е]) (2.8)
имеем нульмерное [9, 6.2] Т2-пространство. Отметим, что
(Ш)[Е; 3] € (Ту[Е] — БЛS)о[FQ(J)]: (Ш)[Е; 3] С Ту[Е] П Свд[Ту[Е]]; (2.9)
если 3 € (a1g)[E], то (2.8) — нульмерный компакт (компактное Т2-пространство), пространство Стоуна, а последнее вложение в (2.9) превращается в равенство, см. [16, замечание 3.3].
Рассмотрим теперь другую конструкцию, фиксируя до конца настоящего раздела 3 € п[Е]: при Н € Р(Е) полагаем
и | Н] = {и € ) | 3 и € и: и С Н}. (2.10)
Если 7 € 3, то
1-С1
Как следствие, получаем следующее свойство:
| Е \ 7]= П(3) \ Фу(7). (2.11)
ЗС [3] = {^С [3 | Л]: Л € Се [3]} = СВД[(Ш)[Е; 3]] € (е1 — БЛS)о[FQ(J); Ту [Е]]. (2.12) Из (2.9) и (2.12) вытекает, в частности, что
Фу(Ь) = П F VL € 3.
^е [зС [У]] (Ф^(£))
* [УП](Ф_(Г)) (2.13)
Предложение 2.1. Если Ь € 3 и Л € СЕ [3], то
(Ь С Л) ^ (Фу(Ь) с ЕС[3| Л]).
Доказательство приведено в [4, предложение 3.1]. В качестве следствия отметим, что (см. [4, (3.8), предложение 3.2]) [Се[3]](Ь) € Р'(Р(Е)) при Ь € 3,
[ЗС[Л(Фу(Ь)) = МзЛЛ]: Л € [Се[3]](Ь)}
и при этом имеет место цепочка равенств
Фу (Ь)= П ^С [3|Л]= ЕС[3| П Л]. (214)
Ле [Се[у]](ь) Ле [Св[у]](ь) у ' 7
Теорема 2.1. Множество FQ(J) допускает следующее представление:
3) = {и € F*(J)|VJ € 3 (7 € и) V (3Л € [Се[3]](7): Е \ Л € и)}. (2.15)
Доказательство. Обозначим через О множество в правой части (2.15). Требуется установить равенство FQ(J) = О. Пусть V € FQ(J). Тогда, в частности, V € F*(J). Выберем произвольно Б € 3. Тогда согласно (2.5) Фу(Б) = {и € FQ(J)|Б € и}. В силу (2.14)
Фу (Б) = П FC[J|Л]. (2 16)
Ле [Се[у]](Д) у ' 7
При этом (Б € V) V (Б / V). Допустим, что Б / V. Тогда V / Фу (Б), а потому (см. (2.16)) для некоторого множества Ш € [СЕ[3]](Б)
V/ Fc[J|W]. (2.17)
При этом Е \ Ш € 3 реализует Ш в виде Е \ (Е \ Ш). Тогда согласно (2.11)
F0(J) \ FC[J|W] = Фу(Е \ Ш).
С учетом (2.17) V € Фа(Е \ Т) и, следовательно (см. (2.5)), Е \ Т € V. Итак, установлена импликация
(Д / V) (3 Л € [Се[Л](Я): Е \ Л € V).
В итоге (Д € V) \/(3 Л € [Се^]](Д): Е \ Л € V). Поскольку выбор Д был произвольным, установлено, что V € П, чем завершается проверка вложения
F0(J) С П. (2.18)
Пусть И € П. Тогда И € F*(J), причем У3 € J
(3 € И) V (3Л € [Се л](3): Е \ Л € И). (2.19)
Покажем, что И € F0(J). Допустим противное: И / F0(J). Тогда для некоторого фильтра Ж € F*( J)
(И С^)&(И = Ж). (2.20)
Это означает, что Ж \ И = 0. Пусть ТТ € Ж \ И. Тогда, в частности, ТТ € J, а потому (см. (2.19))
(ТИ € И) V (3Л € [Се [Л(Ю: Е \ Л €И). (2.21)
По выбору имеем из (2.21), что для некоторой квазиокрестности Г € [Се^ЩТ^)
Е \ Г € И. (2.22)
Заметим, что Г € Сеи С Г. При этом (см. (2.20), (2.22)) Е\Г € Ж. По выбору имеем из (2.1) свойство
П (Е \ Г) = 0,
что невозможно, так как Е \ Г С Е \ , где П (Е \ Т^) = 0. Полученное противоречие показывает, что на самом деле И € F0(J), чем завершается проверка вложения П С F0(J). С учетом (2.18) получаем требуемое утверждение. □
Отметим, что из (1.4) вытекает следующее свойство: если J € п^[Е] и Ь € J, то
П Л € [Се[Л(Ь) (2 23)
Ле [Се[0]](Ь) ^ ' ;
есть наименьшая (по включению) квазиокрестность Ь.
Теорема 2.2. При J € П [Е] справедливо равенство
П(^ = (Ы€ Fo(J)|У3€ J (3 € Ы) V (Е \ ( П Л) € Ы)}. (2 24)
Ле [Се[а]](^) 1 ' ;
Доказательство. Пусть J € п^[Е]. Обозначим через П семейство в правой части (2.24). Выберем произвольно V € F0(J). Покажем, что V € П. В самом деле, пусть Д € J. Тогда в силу (2.23)
о = П Л € [СеЛ](Я). (2.25)
Ле [Се [0]](Я)
При этом согласно теореме 2.1
(Д € V) V (3Л € [Се [Л(Д): Е \ Л € V). (2.26)
Рассмотрим вторую возможность в (2.26): пусть Ло € [Се]](Д) обладает свойством
Е \ Ло € V. (2.27)
Тогда в силу (2.25) Б С Ло, а потому Е \ Ло С Е \ Б. Поскольку Е \ Б € J (см. (2.25)), имеем из (2.1) и (2.27), что Е \ О € V. Итак, установлена импликация
(3Л € [Се Л](Я): Е \ Л € V) (Е \ Б € V).
Получили (см. (2.26)) свойство (Д € V^(Е\Б € V). Поскольку Д выбиралось произвольно, имеем с учетом (2.25), что V € П, чем и завершается проверка вложения Fo(J) С П.
Проверка противоположного вложения практически очевидна в силу теоремы 2.1 и (2.23).
□
§ 3. Некоторые частные случаи
Отметим два важных частных случая п-систем из множества п^ [E]. Речь пойдет об алгебрах п/м E и топологиях на E.
Предложение 3.1. Каждая алгебра п/м E является п-системой с наименьшими квазиокрестностями: (alg)[E] С п^[Е].
Доказательство очевидным образом следует из равенства Ce[A] = A, где A € (alg)[E] (см. (1.5)). При этом, конечно, имеем для A € (alg)[E] и A € A равенство
П Л =A
Ле[св [A]](A)
Предложение 3.2. Каждая топология на E является п-системой с наименьшими квазиокрестностями: (top)[E] С ^[E].
Доказательство. Фиксируем т € (top) [E], получая, в частности, что т € п[E]. В виде Ce [т] имеем семейство всех замкнутых в ТП (E, т) п/м E. Если G € т, то
п Л = cl(G,т) € Ce[т], (31)
Ле[св [т]](G) ^ • >
откуда в силу (1.4) следует требуемое свойство. □
Заметим, что (3.1) определяет наименьшую квазиокрестность открытого в смысле (E, т) п/м E: таковой квазиокрестностью является замыкание данного п/м E.
Теорема 3.1. Если т € (top)[E], то Ce[т] € (LAT)o[E] обладает свойством
F*(Ce[т]) = {U € F*(Ce[т]) | VF € Ce[т] (F € U) V (3 G€ [т](F): E \ G€ U)}. (3.2)
Д о к а з а т е л ь с т в о легко извлекается из теоремы 2.1, но все же рассмотрим соответствующую схему. Используем теорему 2.1 при условии J = Ce[т]. Тогда в силу равенства Ce [J] = т, получаем требуемое утверждение (3.2) прямо из (2.15), поскольку в нашем случае при J € J имеет место равенство
[Ce [J] ](J) = [т ](J); (3.3)
в связи с (3.3) отметим, что множества из [т](J) — суть открытые окрестности J и только они (открытые множества, содержащие J)
До конца настоящего параграфа полагаем, что
J € (LAT)o[E]. (3.4)
Тогда (см. [17, §6]) (UF)[E; J] € (cl - BAS)Fj(J)] и определена топология
TJJ[E] △ Cf*( j) [{n}((UF)[E; J])] € (top)[F*( J)]; (3.5)
при этом (см. [17, §6]) в виде
(F0(J), TJJ [E]) (3.6)
имеем компактное Ti-пространство. Отметим в связи с (3.4), что, как легко видеть, при K € Fin(J)
U J € J :Фу( U J)= U Фу(J). (3 7)
JeK JeK JeK v 7
Отметим также здесь, что согласно [17, (6.6)] (UF)[E; J] € (LAT)o[F0(J)]. В виде (3.5) имеем топологию волмэновского типа (случай традиционного расширения Волмэна отвечает ситуации, когда J = Ce[т], где топология т € (top)[E] такова, что (E, т) есть T1-пространство).
§ 4. Топология волмэновского типа, 1
В настоящем параграфе конструкция (3.5), (3.6) распространяется на случай п-систем. В этой связи фиксируем в пределах настоящего раздела и далее п-систему Е € п[Е]. Введем в рассмотрение семейство
(ЬАТ)о[Е|Е] △ {£ € (ЬАТ)о[Е]|Е С £} (4.1)
всех решеток п/м Е, содержащих п-систему Е. Разумеется Р(Е) € (ЬАТ)о[Е|Е], а потому (ЬАТ)о[Е|Е] € Р'((ЬАТ)о[Е]). В частности, (4.1) есть непустое семейство и определена решетка
С △ П (ЬАТ)о[Е|Е], (4.2)
£€(ЬЛТ)о[Е|£]
порожденная п-системой Е. С учетом замкнутости Е относительно конечных пересечений легко проверяется, что
С = { и К €Пп(Е)} = {и}„(Е); (4.3)
Еек у 7
итак (см. (4.3)), решетка (4.2) совпадает с семейством всех конечных объединений множеств из Е. Напомним (см. (3.4), (3.5)), что
(П(С), Т [Е]) (4.4)
есть непустое компактное Т\-пространство, для которого
(Ш)[Е; С] € (с1 - BAS)о[F*(£); Т° [Е]]. (4.5)
Рассмотрим схему построения аналога ТП (4.4) для множества Fо(E). Иными словами, рассмотрим построение топологии волмэновского типа для пространства с «единицей» F0(E). Для этого заметим (см. [4, раздел 5]), что (см. (2.12)), как легко проверить, Зо[Е] € (р — BAS)[FQ(Е)], а тогда {П} (Зо[Е]) € (BAS)[FQ(E)] и, как следствие, определена топология волмэновского типа (см. [4, (5.7)])
ТЕ(Е) △ {и}({П}„(®С[Е])) € (top)[F0(E)]. (4.6)
Для дальнейшего исследования представляется полезным напомнить конструкции [1—4], связанные с МСС. В настоящем изложении это делается (в §5) в краткой форме и касается изучения ТП
^(Е), ТЕ (Е)). (4.7) При этом в отношении Е предполагается только, что Е € п[Е]. Теорема 4.1. Справедливо следующее равенство:
FQ(E) = {ипЕ: и€ Ж5(е)}. (4.8)
Доказательство. Напомним, что Е С С (см. (4.2)). При этом справедливо свойство, следующее из (3.7): если К € Пп(С), то
и С € С :Фс( и С)= и Фс(С). (4 9)
сек сек сек у '
Обозначим через О семейство в правой части (4.8). Покажем, что
О С F0(E). (4.10)
В самом деле, пусть УУ € О, а У € FQ(£) обладает свойством УУ = УПЕ. При этом Е € УУ, а потому УУ € Р'(Е). Далее в силу (2.1), (2.2)
(0 / УУ)&(УА € У УВ € У^: А П В € Уу)&(УЯ € У УЬ € Е: (Я С Ь) (Ь € Й>)).
Итак, У € F*(E). Отметим, что согласно (2.2)
(У € F0(E)) ^ (V/ € Е (/ П Ц = 0 УЦ € У) (I € ПО). (4.11) Пусть Б € Е. Тогда, в частности, Б € С. По выбору У имеем (см. (2.2)), что
(Б П Н = 0 УН€ У) (Б€ У). (4.12)
Пусть БПН = 0 УН € У. Выберем произвольно Ш € У, после чего, используя (4.3), подберем К € Пп(Е) со свойством
Ш = и X. (4.13)
Еек у 7
Поскольку также К € Пп(С), то справедливо (см. (4.9)) равенство
Фс(Ш) = и Фс(С). (4 14)
сек у '
При этом У € Фс(Ш). В силу (4.14) получаем, что для некоторого К € К
У € Фс(К). (4.15)
Поэтому К € У. По выбору К имеем, что К € Е, а тогда К € У. Поэтому Б П К = 0 по предположению. Согласно (4.13) К С Ш. Тогда Б П К С Б П Ш и, стало быть, Б П Ш = 0. Поскольку Ш € У выбиралось произвольно, установлено, что БПН = 0 УН € У. В силу (4.12) Б € У и, как следствие, Б € У по выбору Б. Получили импликацию
(Б П Н = 0 УН € У) (Б € У).
Коль скоро выбор Б был произвольным, установлено (см. (4.11)), что У € F0(E), чем и завершается проверка (4.10).
Пусть V € F0(E) и Ж △ {Л € С|ЗЬ € V: Ь С Л}. Тогда Ж € Ж*(С), что легко проверяется с учетом (2.1). Выберем произвольно V € V. Тогда, в частности, V € С и, как следствие, V € Ж П Е. Итак,
V С Ж ПЕ. (4.16) С другой стороны (см. (2.1)), ЖП Е С V, а тогда (см. (4.16))
V = Ж ПЕ. (4.17) С учетом (2.4) имеем, однако, для некоторого 2$ € F0(£) свойство
Ж С «Ш. (4.18)
Легко видеть, что ПЕ € F*(E). Поэтому истинна импликация
(V С ЖП Е) (V = ЖП Е).
Но в силу (4.17) и (4.18) V С Ж П Е, а тогда V = Ж П Е € О. Итак, F0(E) С О, что с учетом (4.10) доставляет утверждение теоремы. □
§ 5. Максимальные сцепленные системы множеств из п-системы Е
Напомним, что семейство 5 € Р'(Р(Е)) называется сцепленным, если
XI П Х2 = 0 УХ1 € 5 УХ2 € 5.
Тогда
(11пк)[Е] = {5€Р'(Р(Е))|Х1 П Х2 = 0 УХ1 €5 УХ2 €5}
есть (непустое) семейство, элементами которого являются непустые сцепленные подсемейства P (E). Если X € P'(P (E)), то семейство
(X - link) [E] △ {X € (link) [E] |X С X} (5.1)
состоит из всевозможных сцепленных подсемейств X. В качестве X может, в частности, использоваться п-система. Заметим, что (при X € P'(P(E))) в виде
(X - link)o [E] △ {X € (X - link)[E]| VY € (X - link)[E] (X С Y) (X = Y)} (5.2) имеем семейство всех МСС из (5.1). Отметим, что, как легко проверить,
(E - link)o[E] = {S € (E - link)[E]| VL € E (L П S = 0 VS € S) (L € S)} = 0. (5.3) При этом FQ(E) С (E - link)0[E], и с учетом леммы Цорна проверяется свойство
VLi € (E - link) [E] 3^2 € (E - link)o[E]: Li С ¿2- (5.4)
Если L € E, то (E - link)0[E|L] △ {L € (E - link)0[E]|L € L}. Зависимость
L ^ (E - link)0[E|L]: E ^ P((E - link)o[E]) очевидным образом изотонна (см. (5.4) и [4, раздел 4]). Пусть, кроме того,
(E - link)Op[E|H] △ {L € (E- link)0[E]|3L€ L: L С H} VH € P(E). (5.5)
Отметим, что F^[E|H] = (E - link)0p[E|H] ПF0(E) при H € P(E). Напомним также, что (см. [4, (4.9)])
£0p[E; E] = {(E - link)0p[E|Л]: Л € Ce[E]} : £Q[E; E] △ {(E - link)0[E|L]: L € E} = C(£-link>o[e][¿0p[E; E]].
(5.6)
При этом £0р[Е;Е] € (р — BAS)[(E — 1тк)о[Е]] и определена топология
То(Е|Е) △ {и}({П}„( ¿Ор[Е;Е])) € ^ор)[(Е — 11пк)о[Е]] со свойством суперкомпактности:
То(Е|Е) € ((§С) — top)[(E — Нпк)о[Е]];
см. [4, раздел 5]. Итак,
((Е — 11пк)о[Е], То (Е |Е)) (5.7)
есть суперкомпактное ТП, для которого
¿Ор[Е;Е] € (р — BAS)о[(E — 11пк)о[Е];То(Е|Е)]. (5.8)
Дополнительно заметим, что (5.7) есть Т-пространство (см. [4, раздел 5]). Итак, (5.7) является суперкомпактным ^-пространством. Заметим, наконец, что Зо[Е] = ¿ОР[Е; Е]^о(£) (см. [4, (5.8)]), откуда с учетом (4.6) и (5.8) вытекает, что (4.7) есть подпространство ТП (5.7), поскольку [4, предложение 5.3]
ТЕ (Е) = То(Е |Е)Ь* (Е). (5.9)
Из (5.9) имеем, в частности, тот факт, что (4.7) является Т\-пространством. Заметим теперь, что, как легко проверить, ¿о[Е;Е] € (р — BAS)[(E — Ипк)о[Е]] и, следовательно, {П}( ¿о[Е;Е]) € (BAS)[(E — Нпк)о[Е]]; определена топология
Т*(Е|Е) △ {и}({П}„(¿о[Е;Е])) € (top)[(E — 11пк)о[Е]].
Более того, согласно [4, предложение 6.4] имеем, что
((Е- 11пк)0 [Е], Т(Е |Е)) (5.10)
есть нульмерное Т2-пространство, причем (2.8) является [4, предложение 6.5] подпространством ТП (5.10):
ТЕ [Е] = Т*(Е|Е)^ (е). (5.11) В связи с ТП (5.7) и (5.10) напомним, что (см. [4, предложение 7.1])
Как следствие (см. (5.9), (5.11)), ТЕ(Е) С ТЕ[Е]. Мы получили два БТП:
То(Е|Е)С Т*(Е|Е). (5.12)
-Е (Е)С ТЕ [
(F0(E), ТЕ (Е), ТЕ [Е]), ((Е- 11пк)о[Е], То(Е|Е), Т* (Е|Е)), (5.13)
первое из которых является (см. (5.9), (5.11)) подпространством второго. Отметим некоторые положения, касающиеся условий вырожденности и, напротив, условий невырожденности данных БТП.
Теорема 5.1. Если Е € п^[Е], то ТЕ(Е) = ТЕ[Е].
Доказательство. Пусть Е € п^[Е]. Тогда (см. (1.4), (2.12), (2.14), (2.23)) при Ь € Е имеем, что
П л € Се [Е]
Ле[Св [Е ]](£)
и, как следствие, Фе(Ь) € ЗС[Е]. Тогда (см. (2.6)) (Ш)[Е;Е] С $С[Е]. Тем более имеем свойство
(Ш)[Е;Е] С {ПЩС[Е]). (5.14)
Из (2.7), (2.9), (4.6) и (5.14) вытекает, что
ТЕ[Е] С ТЕ(Е). (5.15)
Из (5.9), (5.11), (5.12) и (5.15) следует требуемое равенство. □
Итак, установлена импликация
(Е € п"[Е])=^ (ТЕ(Е) = ТЕ[Е]). (5.16)
Далее, из положений [4, раздел 7] вытекает, что
((Е € (а^)[Е]) V (Е € (1ор)[Е])) (То(Е|Е) = Т(Е|Е)). (5.17)
Итак, при Е € (а^)[Е] или Е € ^ор)[Е] в виде
((Е - 11пк)о[Е],То(Е|Е)) = ((Е - 11пк)о[Е],Т*(Е|Е))
имеем нульмерный суперкомпакт (то есть нульмерное суперкомпактное Т2-пространство). При Е € П [Е] в виде
(П(Е), ТЕ (E)) = (F0(E), ТЕ [Е]) (5.18)
получаем нульмерное Т2-пространство; если дополнительно Е € (ЬАТ)о[Е], то (5.18) есть нульмерный компакт (нульмерное компактное Т2-пространство). Здесь учитываем [4, (8.4); предложение 6.1]. Мы покажем, однако, что данное свойство распространяется и на общий случай Е € п^[Е].
В заключение раздела отметим некоторые свойства МСС, не являющихся у/ф (напомним, что всякий у/ф п-системы является МСС). Соответствующие доказательства легко извлекаются из определений. Прежде всего, МСС, не являющиеся у/ф, обладают свойством пустого пересечения всех своих множеств:
п X = 0 € (Е - 11пк)о[Е] \ F0(E) (5 19)
(рассматриваемые в (5.19) МСС подобны свободным у/ф). При этом
(Е - 11пк)о[Е] \ F0(E) = (Е - 11пк)о[Е] \ F*(E). (5.20)
Предложение 5.1. Справедливо равенство
(Е — 11пк)о[Е] \ F0(E) = {5€ (Е — 11пк)о[Е]|ЗА € 5 3В € 5 ЗС € 5 : А П В П С = 0}.
Доказательство легко следует из (5.3). Отметим в качестве очевидного следствия следующее свойство: МСС п-системы Е, для которой пересечение любых трех множеств данной МСС непусто, непременно является у/ф упомянутой п-системы. В связи с вопросом о существовании МСС, не являющихся у/ф, обратимся к примеру 4.18 в [13, гл. VII]. Замечание 1. Пусть Зх € Е Зу € Е З,г € Е:
(х = у)&(у = г)&(ж = г)&({х; у} € Е)&({у; г} € Е)&({х; г} € Е). (5.21)
Тогда, как легко проверить с учетом (5.4), множество (5.20) непусто (используем также вышеупомянутый пример 4.18 из [гл. УП]10). Заметим в этой связи, что в силу (1.2) для х € Е, у € Е и г € Е со свойствами (5.21) непременно {х} € Е, {у} € Е и {г} € Е. □
Имеет смысл отметить естественные частные случаи, в которых можно ограничиться первыми тремя условиями в (5.21). Итак, до конца настоящего раздела полагаем, что
Зх € Е Зу € Е Зг € Е: (х = у)&(у = г)&(ж = г) (5.22)
(иными словами, полагаем, что Е содержит не менее трех элементов).
1. Пусть Е € (а^)[Е] и при этом {х} € Е Ух € Е (условие (5.22) также выполнено). Тогда
(Е — 11пк)о[Е] \ FQ(E) € Т*(Е|Е) \ {0}
(используем (1.5), (5.11) и свойства, отмеченные в связи с (5.18); см. также предложение 3.1).
2. Пусть Е = СЕ[т], где т € (top)[E], и при этом (Е,т) есть нормальное [6, § 1.5] ТП. Тогда
(Е — 11пк)о[Е] \ FQ(E) € То(Е|Е) \ {0} (5.23)
(в силу (5.12) и (5.23) имеем также (Е — Ипк)о[Е] \ FQ(E) € Т*(Е|Е) \ {0}).
Итак, в двух характерных частных случаях МСС, не являющиеся у/ф, образуют в совокупности непустые открытые множества.
§ 6. Топология волмэновского типа, 2
Вернемся к рассмотрению ТП (4.7); уже отмечалось, что (4.7) есть Т1 -пространство. Напомним свойства (4.2)—(4.5). При этом семейство Е € п[Е] не является, вообще говоря, решеткой. Однако в силу (4.6) и соотношений двойственности
(Ш)[Е; Е] € (р — BAS)01 Щ(Е); ТЕ(Е)]. (6.1)
Итак, (ОТ)[Е; Е] есть замкнутая предбаза ТП (4.7). Тогда
{и}„((Ш)[Е;Е]) € (с1 — BAS)о[FQ(E);ТЕ(Е)]; (6.2)
получили замкнутую базу ТП (4.7). В силу (6.2)
{П}({и}„((Ш)[Е;Е])) € (с^)^(Е)], и, более того, справедливо (см. § 1) равенство
ТЕ (Е) = С^(Е) [{П}({и}„ ((Ш)[Е; Е]))]. (6.3)
С учетом теоремы 4.1 введем в рассмотрение сюръекцию
Ф = (иПЕ)МеВД € FQ(E)F0( С). (6.4)
Предложение 6.1. Если Б € Е, то Ф-1(ФЕ (Б)) = ФС(Б).
Доказательство. Прежде всего отметим, что Б € С (см. (4.2), (4.3)) и Фс(Б) соответствует (2.5). Заметим, что
П^ Ф-1(Ф£(Б)) = Е0(С)|ипЕ€ Ф£(Б)} €Р(П(С)). (6.5)
Пусть и* € П. Тогда в силу (6.5) и* € Е0(С) и при этом и* П Е € ФЕ(Б).
В частности, Б € и*. Тогда (см. (2.5)) и* € Фс(Б). Итак, установлено, что П С Фс(Б). Пусть, напротив, и* € ФС(Б). Тогда Б € и* и, как следствие, Б € и*ПЕ, где и* П Е € Е0(Е) в силу теоремы 4.1. Следовательно, и*ПЕ € ФЕ(Б); см. (2.5). С учетом (6.5) получаем, что и* € П, чем завершается проверка вложения Фс(Б) С П, а следовательно, и равенства П = Фс(Б). □
Следствие 6.1. Если М€ {и}ц((Ш)[Е; Е]), то Ф-1(М) € СЖ*(С)[Т°[Е]].
Доказательство. По выбору М имеем, что
м = и м (6.6)
м ек у 7
для некоторого семейства К € Пп((иЕ)[Е; Е]). При этом согласно (2.6) и предложению 6.1 Ф-1(М) € (Ш)[Е; С], где М € К. Тогда (см. (6.6))
Ф-1(М)= и Ф-1(М). (67)
м ек у 7
С учетом (4.5) имеем, в частности, что
(Ш)[Е; С] С СВД[Т£[Е]],
а тогда по свойствам замкнутых множеств имеем из (6.7), что Ф-1(М) € С^*(с)[Т|С[Е]]. □ Замечание 2. На самом деле в силу (3.7) и предложения 6.1
Ф-1(М) € (ОТ)[Е; С] УМ€ {и}й((Ш)[£;Е]).
В самом деле, фиксируем М в соответствии с условиями следствия 6.1. Тогда имеем (6.7), где К € Ип((Ш)[Е; Е]). Подберем К € Ип(Е) так, что (см. (2.6)) К = {Фе(Ь): Ь € К}. Согласно (6.7) и предложению 6.1 имеем цепочку равенств
Ф-1(М) = у Ф-1(ФЕ(Ь)) = У Фс(Ь) = Ф£( У Ь) € (Ш)[Е; С],
ьея ьея ьея
где учтены (2.6), (3.7) и (4.2). □
Предложение 6.2. Если Е€СЖ*(£)[ТЕ (Е)], то Ф-1(Е) € СЖ*(С)[Т°[Е]].
Доказательство. Фиксируем замкнутое множество Е € С^*(£) [Т^ (Е)]. С учетом (6.1) имеем тот факт, что
{и}„((Ш)[Е; Е]) € (с1 - БА8)о№); Т^(Е)]. Тогда СЖ0(£)[Т°(Е)] = {П}({и}в((Ш)[Е;Е])), а потому
Е = П X (6.8)
хек у 7
где к € Р'({и}ц((ЦЕ)[Е;Е])). Учтем следствие 6.1. Тогда (см. (6.8))
(6.9)
Ф-1(Е) = П Е,
где п = {Ф-1(Х): X € к} € Р'(С^*(£) [Т^[Е]]). Требуемое утверждение получаем из (6.9) по свойствам замкнутых множеств (см. (1.7)). □
Из предложения 6.2 вытекает следующая теорема.
Теорема 6.1. Отображение Ф непрерывно в смысле ТП С), Т[Е]) и ^0(Е), ТЕ(Е)):
Ф-1(С) € ТС[Е] УС € ТЕ(Е).
Учитывая сюръективность Ф (6.4), получаем, что ТП (4.7) есть непрерывный образ компактного ТП (4.4). Тогда ТП (4.7) само компактно (см. [9, п. 3.1.10]). Учитывая (5.9), получаем (см. [9, п. 2.1.6]) следующее положение.
Теорема 6.2. В виде (4.7) реализуется компактное Т1-пространство.
Подчеркнем, что теорема 6.2 установлена при условии, что в (4.7) Е € п[Е], то есть в очень общем случае.
Теорема 6.3. Если Е € п^[Е], то ТП (5.18) является нульмерным компактом.
Доказательство сводится к непосредственной комбинации (5.16) и теоремы 6.2. Замечание 3. Рассмотрим случай, когда Е = Се [т], где т € ^ор)[Е] и при этом (Е, т) есть Т^-пространство. Итак, обсуждается вариант, используемый при построении расширения Волмэна (см. [6, раздел 3.6]). Тогда [1; 4, раздел 8] при т = Р(Е)
ТЕ (Е) = ТЕ [Е].
Итак, в случае, когда исходное Тх-пространство (Е, т) не является дискретным, первое в (5.13) БТП не вырождено; в силу (5.9) и (5.11) невырожденным является и второе в (5.13) БТП.
§ 7. Свойства плотности и некоторые представления множеств притяжения
В настоящем разделе предполагается, что Е € п0[Е] (рассматривается случай отделимой п-системы). Тогда (см. § 2) (Е — 1пу)[х] € F0(E) Ух € Е. В виде
(Е — 1йу)[-] △ ((Е — 1г1у)[х])жее € F0(E)Е (7.1)
имеем оператор погружения исходного множества Е в первое из упоминаемых в (5.13) БТП. Если А € Р(Е), то (Е — 1г1у)[■]1 (А) = {(Е — 1пу)[х]: х € А} € Р^(Е)) и для данного множества определены замыкания в смысле топологий ТЕ(Е) и Т£[Е]; известно [15, предложение 1], что
с1((Е — ШуН-]1 (А), ТЕ[Е]) = {и € ШЗ(Е)|А П и = 0 Уи € и}. (7.2)
Предложение 7.1. Если £ € Е, то справедлива цепочка равенств
с1((Е — 1йу)[-]1 (£), ТЕ (Е)) = с1((Е — 1йу)[-]1 (£), ТЕ [Е]) = Фе (£).
Доказательство. Поскольку ТЕ (Е) С ТЕ [Е], имеем вложения
Фе(£) = с1((Е — 1йу)[-]1(£), ТЕ[Е]) С с1((Е — 1йу)[-]1(£), ТЕ(Е)) (7.3)
(учли также [15, (3.5)]). Отметим естественный аналог (4.5). С учетом (2.12) и (4.6) устанавливается, что
С^(Е)[ТЕ (Е)] = {П}({и}„ ((Ш)[Е; Е])) (при этом (Ш)[Е; Е] € (р — ВАЯ^^Е); ТЕ(Е)]), а тогда
Фе(£) €С^(Е)[ТЕ(Е)]. (7.4)
При этом (Е — 1г1у)[-]1(£) С ФЕ(£). Как следствие (см. (7.4)),
с1((Е — 1йу)[-]1 (£),ТЕ(Е)) С Фе(£),
чем и завершается (см. (7.3)) доказательство. □
Поскольку Фе(E) = F0(E), имеем из предложения 7.1 цепочку равенств
F0(E) =cl((E — triv)[.]1(E), T° <E)) = cl((E — triv)[-]1(E), TE[E]). (7.5)
Из предложения 7.1 и (7.5) следует, что (в общем случае E € n0[E]) топологии TE<E) и TE[E] в некотором смысле близки по свойствам, а точнее, по свойствам, связанным с погружением Е (в F0(E)) в виде всюду плотного множества.
В связи с конструкциями расширения абстрактных задач о достижимости полезно связать предложение 7.1 с множествами
F0(E|C) △ {U € F0(E)|C С U} VC € P'(E). (7.6)
Рассмотрим данный вопрос подробнее, фиксируя C € P'(E) и рассматривая C в качестве ограничений асимптотического характера на выбор x € Е. Заметим прежде всего, что
F0(E|C)= П Фе(£) = П cl((E — triv)[-]1(E), T° <Е)) = П cl((E — triv)[-]1(E), TE[E]); (7.7) sec sec sec v 7
(7.6) полезно связать [15, предложение 2] с представлением множеств притяжения (МП). Полезно учесть при этом очевидное равенство
F0(E|C) = F0(E|{n}„(C)), (7.8)
легко следующее из (2.1), (2.2). Будем использовать определение МП в [17, определение 3.1], получая (в обозначениях [17]) множества
((as)[E;F0(E); TE<E);(E — triv)[-];C] €P(F0(E))), ((as)[E;F0(E); TE<E);(E — triv)[-], {n}(C)] €P(F0(E)));
с учетом [17, (3.6)] получаем совпадение двух вышеупомянутых МП:
(as)[E;F0(E); TE<E);(E — triv)[-];C] = (as)[E;F0(E); TE<E);(E — triv)[-]; {n}(C)]. (7.9)
Аналогичным образом получаем равенство
(as)[E;F0(E); TE[E];(E — triv)[-];C] = (as)[E;F0(E); TE[E];(E — triv)[-]; {n}„(C)]. (7.10)
При этом согласно [15, предложение 2]
(as)[E;F0(E); TE[E];(E — triv)[-];C] = F0(E|C). (7.11)
С другой стороны, в силу (1.2), (7.9) и [17, (3.8)] получаем, что {n}j(C) € P'(E) и
(as)[E; F0(E); TE <E);(E— triv)[-]; C] = П cl((E — triv)[-]1(C), TE <E)) = П Фе (C)
ce(nj, (C) ce{n}B(C)
(7.12)
(мы учитываем предложение 7.1 и то, что VE1 € {n}j(C) V£2 € {n}j(C) З£3 € {n}j(C): £3 С £1 n £2). При этом подобно (7.7) имеем равенство
F0(E|{n}„ (C)) = П Фs(E),
se(n}B(C)
а тогда с учетом (7.8) и (7.12) получаем равенство
(as)[E;F0(E); TE<E);(E — triv)[-];C] = F0(E|C). (7.13)
Из (7.11) и (7.13) вытекает очевидная теперь теорема.
Теорема 7.1. Множество F0(E|C) определяет МП, универсальное в следующем смысле: F0(E|C) = (as)[E;F0(E); TE[E];(E — triv)[-];C] = (as)[E;F0(E); TE<E);(E — triv)[-];C].
Список литературы
1. Ченцов А.Г. Ультрафильтры и максимальные сцепленные системы // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2017. Т. 27. Вып. 3. С. 365-388.
DOI: 10.20537/vm170307
2. Ченцов А.Г. Суперрасширение как битопологическое пространство // Известия Института математики и информатики Удмуртского государственного университета. 2017. Т. 49. C. 55-79.
DOI: 10.20537/2226-3594-2017-49-03
3. Chentsov A.G. Some representations connected with ultrafilters and maximal linked systems // Ural Mathematical Journal. 2017. Vol. 3. Issue 2. P. 100-121. DOI: 10.15826/umj.2017.2.012
4. Ченцов А.Г. Битопологические пространства ультрафильтров и максимальных сцепленных систем // Труды Института математики и механики УрО РАН. 2018. Т. 24. № 1. C. 257-272.
DOI: 10.21538/0134-4889-2018-24-1-257-272
5. Булинский А.В., Ширяев А.Н. Теория случайных процессов. М.: Физматлит, 2005. 402 с.
6. Bell M.G. Compact ccc non-separable spaces of small weight // Topology Proceedings. 1980. Vol. 5. P. 11-25.
7. Грызлов А.А., Бастрыков У.С., Головастов Р.А. О точках одного бикомпактного расширения N // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2010. Вып. 3. C. 10-17. DOI: 10.20537/vm100302
8. Грызлов А.А., Головастов Р.А. О пространствах Стоуна некоторых булевых алгебр // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2013. Вып. 1. C. 11-16. DOI: 10.20537/vm130102
9. Энгелькинг Р. Общая топология. М.: Мир, 1986. 752 с.
10. de Groot J. Superextensions and supercompactness // Proc. I Intern. Symp. on Extension Theory of Topological Structures and its Applications. Berlin: VEB Deutscher Verlag Wiss., 1969. P. 89-90.
11. van Mill J. Supercompactness and Wallman spaces. Amsterdam: Mathematisch Centrum, 1977. 238 p.
12. Strok M., Szymaúski A. Compact metric spaces have binary bases // Fundamenta Mathematicae. 1975. Vol. 89. Issue 1. P. 81-91. DOI: 10.4064/fm-89-1-81-91
13. Федорчук В.В., Филиппов В.В. Общая топология. Основные конструкции. М.: Физматлит, 2006. 336 с.
14. Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970. 416 c.
15. Ченцов А.Г. Некоторые свойства ультрафильтров, связанные с конструкциями расширений // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2014. Вып. 1. C. 87-101. DOI: 10.20537/vm140108
16. Ченцов А.Г. Ультрафильтры измеримых пространств как обобщенные решения в абстрактных задачах о достижимости // Труды Института математики и механики УрО РАН. 2011. Т. 17. № 1. С. 268-293.
17. Ченцов А.Г. Фильтры и ультрафильтры в конструкциях множеств притяжения // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2011. Вып. 1. C. 113-142. DOI: 10.20537/vm110112
Поступила в редакцию 14.08.2018
Ченцов Александр Георгиевич, д. ф.-м.н., член-корреспондент РАН, главный научный сотрудник, отдел управляемых систем, Институт математики и механики им. Н.Н. Красовского УрО РАН, 620990, Россия, г. Екатеринбург, ул. С. Ковалевской, 16;
профессор, кафедра прикладной математики и механики, Уральский федеральный университет, 620002, Россия, г. Екатеринбург, ул. Мира, 19. E-mail: [email protected].
A. G. Chentsov
Ultrafilters and maximal linked systems: basic properties and topological constructions Citation: Izv. Inst. Mat. Inform. Udmurt. Gos. Univ., 2018, vol. 52, pp. 86-102 (in Russian). Keywords: bitopological space, maximal linked systems, ultrafilter. MSC2010: 28A33
DOI: 10.20537/2226-3594-2018-52-07
Ultrafilters (maximal filters) and maximal linked systems on n-systems with "zero" and "unit" are considered. Different variants of topological equipment and the resulting bitopological spaces are discussed. It is noted that the bitopological space of ultrafilters can be considered as a subspace of the bitopological space of the maximal linked systems. Necessary and sufficient conditions for maximality of the filters and the properties characterizing maximal linked systems which are not ultrafilters are established. Some conditions sufficient for existence of such systems are clarified. Conditions under which bitopological spaces of ultrafilters and maximal linked systems are degenerate (topologies defining the corresponding bitopological space coincide) and the conditions that guarantee nondegeneracy are found. A new variant of the density property of the initial set in the ultrafilter space with topology of Wallman type is given. This variant can be used in constructing extensions for abstract attainability problems with asymptotic constraints.
REFERENCES
1. Chentsov A.G. Ultrafilters and maximal linked systems, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2017, vol. 27, issue 3, pp. 365-388. DOI: 10.20537/vm170307
2. Chentsov A.G. Superextension as bitopological space, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, vol. 49, pp. 55-79. DOI: 10.20537/2226-3594-2017-49-03
3. Chentsov A.G. Some representations connected with ultrafilters and maximal linked systems, Ural Mathematical Journal, 2017, vol. 3, issue 2, pp. 100-121. DOI: 10.15826/umj.2017.2.012
4. 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. DOI: 10.21538/0134-4889-2018-24-1-257-272
5. Bulinskii A.V., Shiryaev A.N. Teoriya sluchainykh protsessov (Theory of random processes), Moscow: Fizmatlit, 2005, 402 p.
6. Bell M.G. Compact ccc non-separable spaces of small weight, Topology Proceedings, 1980, vol. 5, pp. 11-25.
7. 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. DOI: 10.20537/vm100302
8. 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. DOI: 10.20537/vm130102
9. Engelking R. General topology, Warszawa: PWN — Polish Scientific Publishers, 1977, 626 p.
10. de Groot J. Superextensions and supercompactness, Proc. I Intern. Symp. on Extension Theory of Topological Structures and its Applications, Berlin: VEB Deutscher Verlag Wiss., 1969, pp. 89-90.
11. van Mill J. Supercompactness and Wallman spaces, Amsterdam: Mathematisch Centrum, 1977, 238 p.
12. Strok M., Szymaúski A. Compact metric spaces have binary bases, Fundamenta Mathematicae, 1975, vol. 89, issue 1, pp. 81-91. DOI: 10.4064/fm-89-1-81-91
13. Fedorchuk V.V., Filippov V.V. Obshchaya topologiya. Osnovnye konstruktsii (General topology. Base constructions), Moscow: Fizmatlit, 2006, 336 p.
14. Kuratowski K., Mostowski A. Set theory, Warsawa: PWN, 1968, vii+417 p.
15. Chentsov A.G. Some ultrafilter properties connected with extension constructions, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2014, issue 1, pp. 87-101.
DOI: 10.20537/vm140108
16. 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. DOI: 10.1134/S0081543811090021
17. 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.
DOI: 10.20537/vm110112
Received 14.08.2018
Chentsov Aleksandr Georgievich, Doctor of Physics and Mathematics, Corresponding Member of the Russian Academy of Science, Chief Researcher, Department of Control Systems, Krasovskii Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, ul. S. Kovalevskoi, 16, Yekaterinburg, 620990, Russia.
Professor, Ural Federal University, ul. Mira, 19, Yekaterinburg, 600002, Russia. E-mail: [email protected].
