Классы точек компактификаций счетных дискретных пространств тема диссертации и автореферата по ВАК РФ 01.01.04, кандидат физико-математических наук Бастрыков, Евгений Станиславович

• Бастрыков, Евгений Станиславович
• кандидат физико-математических наук
• 2011

Оглавление диссертации кандидат физико-математических наук Бастрыков, Евгений Станиславович

ОГЛАВЛЕНИЕ

Стр.

Введение

1 Краткое содержание работы

2 Предварительные результаты

ГЛАВА 1

1.1 Конструкция, свойства и базы расширения Белла

1.2 Замыкания счётных подмножеств N и кардинальные инварианты расширения ВЫ

1.3 Центрированные системы

ГЛАВА 2

2.1 £-точки и их свойства, ад-точки

2.2 ¿^м-точки

2.3 Замыкания счётных подмножеств пространства Белла

Литература

Введение диссертации (часть автореферата) на тему «Классы точек компактификаций счетных дискретных пространств»

ВВЕДЕНИЕ

Бикомпактным расширением или компактификацией топологического пространства X называется бикомпактное пространство Y, содержащее X в качестве всюду плотного подмножества.

Особое место в теории бикомпактных расширений занимают расширения дискретных пространств, и прежде всего стоун-чеховское бикомпактное расширение ßuj счётного дискретного пространства ш.

Одной из главных проблем, которые изучаются в теории бикомпактных расширений является отыскание свойств расширений, позволяющих выделить различные типы его точек, что определяет степень неоднородности расширения.

Первым результатом в этом направлении для пространства ßco является теорема У.Рудина [19] о существовании, в предположении континуум-гипотезы, р-точек нароста и* = ßu \ и расширения ßco. Точка х называется р-точкой

ос

пространства X, если х 6 Int П Oxi для всякого счётного семейства окрестно-

?=i

стей {Oxi}Zi точки

После того, как С. Шелах [22] показал невозможность «наивного» доказательства существования р-точек в со*, начался поиск точек, близких по свойствам к р-точкам. Так, К. Кунен [14] доказал существование слабых р-точек в пространстве си*, то есть точек, не являющихся предельными ни для какого счётного подмножества и*. А. Грызлов [3] доказал существование 0-точек в си*, характеризующихся тем, что при любой нумерации точек со у 0-точки, как ультрафильтра на и, найдётся элемент плотности 0.

З.Фролик в работах [8, 9], М.Е.Рудин [20, 21], Я.ван Милл [17], К.Кунен [13] и А.Грызлов [10] изучали различные частичные порядки на множестве ßco \ со, ими были выделены и изучены несравнимые в различных порядках точки этого пространства.

М.Белл в работе [7] построил бикомпактное расширение счётного дискретного пространства, нарост которого несепарабелен, но обладает счётным числом Суслина. Вопрос о существовании такого расширения был поставлен Я. ван Миллом в [15].

Компактификация Белла позволила решить ряд важных вопросов теории бикомпактных расширений счётных дискретных пространств.

Я.ван Милл [16, 18] и А.Грызлов [4, 11] получили несколько новых типов точек в классе слабых р-точек, являющихся предельными для различных подмножеств си* со счётным числом Суслина.

Поскольку расширение Белла стало важной частью теории бикомпактных расширений, возникла необходимость в более детальном его изучении.

Компактификация В N была построена М. Беллом как пространство Стоуна некоторой булевой алгебры, состоящей из подмножеств частично упорядоченного множества N.

Свойства расширения ВЫ, доказанные М. Беллом, являются следствием существования базы пространства ВА', представляющей собой объединением счётного числа 2-сцепленных семейств.

Первой задачей, рассматриваемой в работе, является построение базы пространства ВАГ, которая и сама, и семейство дополнений до её элементов, являются счётным объединением п-сцепленных семейств. Такая база объединяет свойства компактификации В А1, полученные М. Беллом в [7] и А. Грызловым в [4].

Основной проблемой, как и в случае других бикомпактных расширений, является поиск различных типов точек компактификации В1V и изучение свойств этих точек.

В связи с этим возникли следующие вопросы:

Что из себя представляет замыкания различных счётных подмножеств ТУ, в частности цепей и антицепей?

Каковы свойства и характеристики точек, лежащих в замыканиях подмножеств N различного вида?

Поскольку булева алгебра В расширения Белла порождена семейством, состоящим из двух подсемейств множеств различного типа, возникают вопросы.

Существует ли в BN \ N точки, то есть ультрафильтры на В, обладающие базами, состоящими из множеств только одного из подсемейств?

Замыканию каких подсемейств (цепей, антицепей) множеств N принадлежат эти точки?

Каковы характеристики и свойства этих точек?

Существуют ли в наросте BN \ Ат копии расширения ßu и сходящиеся последовательности, состоящие из точек различных типов?

Решению этих вопросов и посвящена настоящая диссертация.

1 Краткое содержание работы

Первая глава работы посвящена решению вопросов, связанных с конструкцией расширения Белла, и доказательству ряда теорем, используемых в дальнейшем. Результаты главы опубликованы в [23, 25].

В первом параграфе описывается конструкция расширения Белла как пространства Стоуна некоторой булевой алгебры и доказываются факты и свойства этого расширения. Одной из задач здесь являлось отыскание и описание новой базы, удобной для работы с пространством BN. Эта база описана в теореме 1.1.

В этом же параграфе доказывается теорема, объединяющая результаты М. Белла [7] и А. Грызлова [4].

Теорема 1.4

1. Пусть п е ш и s G N такие, что dorn s > п. Тогда для Г(«э) следующее верно:

а) T(s) — п-сцепленное семейство;

b) семейство дополнений до элементов семейства Т(в) — п-сцепленное семейство;

c) для всякого счётного множества точек { р./ : г €Е и } С ВМ \ N найдётся множество II е Г(.5") такое, что {рг; : г <Е и } С [II].

2. Для всякого п Е си семейство

Гп = { [Щ \ N : и € и{ Г» : <1отО га } } является базой пространства В N \ N.

Второй параграф этой главы посвящен изучению замыкания счётных подмножеств из Лг.

Главным результатом здесь являются теоремы, показывающие, насколько разными могут быть замыкания подмножеств из N.

Теорема 1.5 Пусть тт(М) —строгая антицепь, \М\ = ио и X = { : г е М } такое, что х% СЕ [С^ (,;)]• Тогда [X] гомеоморфно ¡Зои.

Теорема 1.7 Пусть А = { з,: : г € ш }— бесконечная цепь из N. Тогда А является сходящейся последовательностью в ВАТ.

Таким образом, в пространстве BN есть подпространства и гомеоморфные максимальной компактификации и гомеоморфные минимальному, одноточечному расширению пространства ш. Следующая теорема показывает, что таких подпространств «много» в пространстве BN.

Теорема 1.8 Пусть

= { х : х —предел сходящейся последовательности точек N }, (1. = { А* : А С N. [А] гомеоморфно /Зш }.

Тогда С} всюду плотно и ¡1 образует п-сеть в BN \ N.

Дальнейшие задачи в изучении пространства ВМ связаны с изучением точек ВЫ как различных ультрафильтров булевой алгебры В. Разработке технических вопросов построения таких ультрафильтров посвящен параграф 3 этой главы. Здесь доказывается ряд утверждений, связанных с понятием центрированных систем в семействах множеств из булевой алгебры В.

Вторая глава содержит основные результаты работы. Результаты главы опубликованы в [24-28].

Булева алгебра В, определяющая пространство ВЫ, порождена семейством, состоящим из двух подсемейств множеств различного типа.

С другой стороны, как показано в первой главе, в ВЫ \ N существуют точки, являющиеся ультрафильтрами на некоторых счётных подмножествах (предельные точки строгих антицепей), и точки, являющиеся пределами некоторых последовательностей (цепей) из N.

Отсюда, одной из основных задач, решаемых в данной работе являлось выделение различных классов точек нароста расширения ВЫ и изучение их свойств.

В первом параграфе второй главы получены классы так называемых £-и «-точек.

Теорема 2.1 Если £ = {С} — максимальная центрированная система в семействе

Жь = { в = N \ и сп. :пеш,щ ет),

I ¿<11 1 ' )

то |п{<2*:<3€£}| = 1.

Определение 2.1 Точку х е ВМ \ N назовём £-точкой, если

х € П{ С* : О е £ }

для некоторой максимальной центрированной системы £ = {С} в семействе множеств М^.

Теорема 2.3 Если £ = {С^м} —максимальная центрированная система в семействе

Ми = { Сп\м ■ тг е Т, М С Ш }, то ИСФ1 ■ £ 0 \ =

Определение 2.2 Точку х е ВМ \ N назовём и-точкой, если

х = П{ <?АМ : Сф1 е <е }

для некоторой максимальной центрированной системы £ = {Сж\м} в семействе множеств Жи.

Следующая теорема даёт характеристики ¿-точек в различных терминах.

Теорема 2.2 Для точки х £ ВМ \ N следующие утверждения эквивалентны:

(a) точка х есть предел некоторой цепи { з^. : к £ и } элементов Л7

(b) из того, что х € [С^м] для некоторых 7г € Т и М С и следует, что существует г £ М такое, что х £ [С-ф^]/

(c) точка х имеет базу открыто-замкнутых окрестностей вида

'к \ у сщ ,

другими словами, х — I-точка.

Совокупность всех ¿-точек обозначим через Ь. Совокупность ^-точек обозначим через и. Классы Ь и и не пересекаются вследствие теоремы 2.2. А следующая теорема показывает, что существуют точки не являющиеся ни ни и-точками.

Теорема 2.5 Пусть {si : i е и] —антш^епъ в N. Х{ <Е С8. — 1-точка {г € и) и X = { Х{ : г £ ш }. Тогда [X] \ X гомеоморфно (Зш \ ш и состоит из точек, не являющихся ни £-точками, ни и-точками.

Второй параграф главы 2 поевящён точкам, являющимся предельными для строгих антицепей. Прежде всего, дано описание этих точек в терминах центрированных систем, которое оказалось похожим на описание ¿-точек, при этом, предельные точки строгих антицепей являются ультрафильтрами на этих антицепях, а ¿-точки есть пределы цепей, рассматриваемых как последовательности.

Теорема 2.6 Пусть множество Сж\м приведённое и \М\ = и. Если £ = {С} — максимальная тг[М-центрированная система для Сп\м, то

Определение 2.4 Пусть г] = {О} — максимальная тт\М-центрированная система для некоторого множества Сж\м- Точку

ж = П{ & : в £ 7]}

будем называть £п\м~точкой для Сж\м-

Здесь же доказывается теорема, дающая характеристику ¿^-точек. Теорема 2.7 Пусть множество Сж\м приведённое и \М\ = и. Тогда

[тт(М)} \ 7г(М) = { х : х — £Ж\М-точка для С^м }•

Совокупность всех 4-|м-точек для всевозможных строгих антицепей тт(М) обозначим через О.

Теорема 2.11 В наросте пространства Белла есть точки не лежащие

в множестве Ь и И и Б. Множества Ь, и иТ) не пересекаются.

Третий параграф посвящен проблеме — что из себя представляют замыкания счётных подмножеств из ВЫ \ N. Подобные вопросы являются классическими при исследовании различных бикомпактных расширений.

В первой главе показано (теорема 1.6), что существуют счётные дискретные подмножества в BN \ N, замыкания которых гомеоморфны ¡Зш. Причём из теорем 1.6 и 1.8 следует, что такие подмножества могут состоять целиком как из £-, так и из точек. Оказывается, что замыкание счётных дискретных подмножеств состоящих из и-точек всегда гомеоморфно (Зш.

Теорема 2.13 Если Р С ВЫ \ N — счётное дискретное множество и-точек, то [.Р] гомеоморфно /Ж.

В первой главе (теорема 1.7) было показано, что цепь { ¿г : г € о;} С N является сходящейся последовательностью в BN. Возникает вопрос, есть ли сходящаяся последовательность в наросте ад-точки, как показано выше

(теорема 2.13) не годятся для построения такой последовательности. То же относится и к ^-точкам.

Теорема 2.14 Пусть А = {Х{ : х; е г е о;} С ВА[ \ N такое, что ^ ф /у (г Ф г]), то найдётся А' С А такое, что [А'} гомеоморфно (Зш.

Из чего непосредственно следует, что из любого бесконечного множества ¿-точек можно выделить подмножество, замыкание которого гомеоморфно ¡Зш.

Ответ на вопрос о существовании сходящейся последовательности в наросте пространства Белла даёт пример 2.1, где построена сходящаяся последовательность, состоящая из ¿^у-точек.

Автор выражает глубокую благодарность своему научному руководителю профессору, доктору физ.-мат. наук А. А. Грызлову за постановку задач, за внимательное отношение, поддержку, участие и понимание, Головастову P.A. за плодотворные дискуссии и моральную поддержку во время работы над диссертацией и своим родителям. Автор также благодарен коллективу кафедры алгебры и топологии УдГУ Банниковой Т.М., Мерзлякову A.C., Шарычевой Д.А. и другим за участие.

2 Предварительные результаты

Большинство обозначений и терминов этой работы взяты из книг Р.Эн-гелькинга [6] и А.В.Архангельского, В.И.Пономарёва [2].

Обозначения

Для пространства X будем обозначать w(X) — вес пространства X; с(Х) — число Суслина;

spi) — спред (наследственное число Суслина) пространства X;

t(X) — теснота пространства X.

Более подробно о кардинальных инвариантах см. [1].

Также воспользуемся стандартным обозначением exp X — множество всех подмножеств X.

Для множества АС. X \А\ — мощность множества А; [А] — замыкание множества А в пространстве X; А* = [А] \ Л.

Через и обозначается вполне упорядоченное множество {0,1,2, ... } неотрицательных целых чисел, а также мощность этого множества. Множество, имеющее мощность и, называется счётным.

Через п обозначаем в зависимости от контекста и натуральное число, и множество { % £ и : г < тг }.

Определения

В работе используется понятие пространства Стоуна булевой алгебры.

Основные сведения, связанные с ним, можно найти в книге Сикорского [5].

Мы будем рассматривать булевы алгебры 21 = {(7 С X} в множестве ехр X.

Будем говорить, что подалгебра 21 булевой алгебры 03 порождена семейством множеств Л С 23, если 21 —минимальная подалгебра алгебры Ш такая, что Л С 21, или, другими словами, элементы из 21 получены путём применения конечного числа операций пересечения, объединения и дополнения к элементам Л.

Определение 1 Семейство £ непустых элементов булевой алгебры 21 называется фильтром, если выполнены условия:

1. если Л, В е то А П В е £;

2. если А е £ и А С В, то В е £.

Определение 2 Ультрафильтром в булевой алгебре 21 будем называть такой фильтр £ С 21, что он не содержится ни в одном другом фильтре в булевой алгебре 21.

Ультрафильтр — это максимальный фильтр. При этом каждый фильтр можно дополнить до ультрафильтра. Понятие фильтра близко к понятию центрированной системы множеств.

Пространством Стоуна булевой алгебры 21 называется множество ультрафильтров в 21 с топологией, задаваемой базой состоящей их открыто-замкнутых подмножеств IIследующего вида: для А е 21, 17а состоит из всех ультрафильтров £ булевой алгебры 21 таких, что А е

Пространство Стоуна является бикомпактным.

Определение 3 Пространство У называется бикомпактным расширением или компактификацией пространства X, если У" — бикомпакт и X гомеоморф-но некоторому всюду плотному подмножеству У.

Определение 4 Бикомпактным расширением {компактификацией) Стоуна Чеха пространства X (обозначаем (ЗХ) будем называть максимальное бикомпактное расширение пространства X, что означает, что для любого бикомпактного расширения ЬХ пространства X существует непрерывное отображение /: /ЗХ ЬХ, тождественное на X.

Напомним, что для расширения Стоуна-Чеха в и; счётного дискретного пространства

1. ш((Зш)=^м1((Зсо\си) = 2и;;

2. с(/3си \оо) = 2^;

3. 1ЦЗш) = 2Ш;

4. = 22Ы.

Определение 5 ([14]) Семейство Л = {Ма} будем называть п-сцепленным,

если

n{ Ma. : г ^ п } | ^ со для любого набора { Ма. : г < n } С Л.

Список литературы диссертационного исследования кандидат физико-математических наук Бастрыков, Евгений Станиславович, 2011 год

ЛИТЕРАТУРА

1. Архангельский, А. В. Строение и классификация топологических пространств и кардинальные инварианты / А. В. Архангельский // Успехи мат. наук. -1978. - Т. 33, № 6. - С. 29-34.

2. Архангельский, А. В. Основы общей топологии в задачах и упражнениях / А. В. Архангельский, В. И. Пономарёв — М.: «Наука», 1974. — 424 с.

3. Грызлов, А.А. К теории пространства 8N / А.А.Грызлов // Общая топология. Отображения топологических пространств. — М.: МГУ, 1986. — С.20-34.

4. Грызлов, А. А. О бикомпактах расширениях дискретных пространств / А. А. Грызлов // Фундаментальная и прикладная математика. — 1996. — Т. 2, №3.-С. 803-848.

5. Сикорский, Р. Булевы алгебры / Р. Сикорский —М.: «Мир», 1969. — 375 с.

6. Энгелькинг, Р. Общая топология / Р. Энгелькинг — М.: «Мир», 1986. — 751 с.

7. Bell, М. G. Compact ссс non-separable spaces of small weight / M. G. Bell // Topology Proceedings. - 1980. - Vol. 5. - P.l 1-25.

8. Frolik, Z. Homogenity problems for extremally disconnected spaces / Z. Frolik // Comment. Math. Univ. Carolinae. -1967. - Vol. 8. - P. 757-763.

9. Frolik, Z. Sums of ultrafilters / Z. Frolik // Bull. Amer. Math. Soc.- 1967.— Vol. 73. — P. 87-91.

10. Gryzlov, A. A. On the Rudin-Keisler order on ultrafilters / A. A. Gryzlov // Topol. Appl. — 1997. — Vol. 76. — P. 151-155.

11. Gryzlov, A. A. Independent matrices and some points of 0 т / A. A. Gryzlov 11 Topol. Appl. - 2002. - Vol. 107. - P. 79-81.

12. Gryzlov, A. A. On convergent sequences and copies of (5N in one compactifi-cation of N / A. A. Gryzlov // The 11th Topological Symposium, International

Conference on General Topology and its Relations to Modern Analysis and Algebra. — The Center for Theoretical Study and the Mathematical Institute of the Czech Academy of Sciences, 2011.

13. Kunen, K. Ultrafilters and independent sets / K.Kunen // Trans. Amer. Math. Soc. - 1972. - Vol. 172. - P. 295-306.

14. Kunen, K. Weak p-points in N* / K.Kunen 11 Coll. Math. Soc. Janos Bolyai, 23 Topology. - Budapest, 1978. - P. 741-749.

15. van Mill, J. Weak p-points in compact P-spaces / J. van Mill // Topology Proceedings. - 1979. - Vol. 4, № 2. - P. 605-628.

16. van Mill, J. An introduction to вш\си / J. van Mill — Amsterdam: Vrige Univ.,

1981.

17. van Mill, J. Sixteen topological types in ¡Зьо \ и / J. van Mill 11 Topol. App. —

1982.-Vol. 13.-P. 43-57.

18. van Mill, J. Weak p-points in Chech-Stone compactifications / J. van Mill // Trans. Amer. Math. Soc.- 1982.-Vol. 173, № 2. - P. 657-678.

V

19. Rudin, W. Homogenety problems in the theory of Cech compactifications / W. Rudin // Duke Math. J. - 1956. - Vol. 23, № 3. - P. 409-426.

20. Rudin, M. E. Types of ultrafilters / M. E. Rudin // Topology Seminar. — Wisconsin, 1965.-P. 145.

21. Rudin, M. E. Partial orders on the types in (3N / M. E. Rudin // Trans. Amer. Math. Soc. - 1971. - Vol. 155, № 2. - P. 353-362.

22. Shelah, S. On p-points ви and other results in general topology / S. Shelah 11 Notices Amer. Math. Soc. - 1978. - Vol. 35 A-365, № 87T-G. - P. 49.

23. Bastrykov, E. S. On Bell's compactification of N / A. A. Gryzlov, E. S. Bastrykov, R. A. Golovastov I I Topology Proceedings. — 2010. — Vol. 35. — P. 177-185.

24. Бастрыков, E. С. О некоторых точках расширения Белла счётного дискретного пространства / Е. С. Бастрыков // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. — 2009. — Т. 4. — С. 3-6.

25. Бастрыков, Е. С. О точках одного бикомпактного расширения N / А.А.Грызлов, Е.С.Бастрыков, Р.А.Головастов // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки.—2010. — Т.З.-С. 10-17.

26. Бастрыков, Е. С. О замыканиях счетных подмножеств BN / Е. С. Бастрыков // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. — 2011. — Т. 3. — С. 15-20.

27. Бастрыков, Е. С. О замыканиях счётных множеств в пространстве Стоуна одной булевой алгебры / А.А.Грызлов, Е.С.Бастрыков // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. — 2011.-Т.З.-С. 37-42.

28. Бастрыков, Е. С. Некоторые центрированные системы множеств и определяемые ими точки / А.А.Грызлов, Е.С.Бастрыков // Труды ИММ. — 2011. - Т. 17, № 4. - С. 76-82.

29. Бастрыков, Е. С. О некоторых бикомпактных расширениях счётных дискретных пространств / Е. С. Бастрыков, Р. А. Головастов // Труды мат. центра им. Н. И. Лобачевского. - Т. 36. - 2007. - С. 23-24.

30. Бастрыков, Е. С. Об одной базе расширения Белла / Е. С. Бастрыков // XXXVI итоговая студенческая научная конференция. — Ижевск: Удмуртский государственный университет, 2008. — С. 5-6.

31. Bastrykov, Е. S. The limits of convergent sequences in Bell's compactification / E. S. Bastrykov // 24th Summer Conference on Topology and Its Applications. — Brno: Brno University of Technology, 2009.— P. 19.

32. Бастрыков, E. С. О пределах сходящихся последовательностей в расширении Белла счётного дискретного пространства / Е. С. Бастрыков // Тезисы 41-й всероссийской школы-конференции. — Екатеринбург, 2010.— С. 99103.

33. Бастрыков, Е. С. О подмножествах расширения Белла, не гомеоморф-ных ¡Зш / Е. С. Бастрыков // Тезисы 42-й всероссийской школы-конференции. — Екатеринбург, 2011. — С. 257.

34. Бастрыков, Е. С. О предельных точках цепей и антицепей в компактифика-ции Белла счётного дискретного пространства / Е. С. Бастрыков // Материалы Международного молодёжного научного форума «Ломоносов-2011» [Электронный ресурс] — М.: «МАКС Пресс», 2011. http://lomonosov-msu.ru/archive/Lomonosov_2011 /1257/30419 6cea.pdf.