Авторефераты по всем темам  >>  Авторефераты по разным специальностям

На правах рукописи

БАСТРЫКОВ Евгений Станиславович

КЛАССЫ ТОЧЕК КОМПАКТИФИКАЦИЙ СЧЁТНЫХ ДИСКРЕТНЫХ ПРОСТРАНСТВ

01.01.04 Ч геометрия и топология

АВТОРЕФЕРАТ

диссертации на соискание учёной степени кандидата физико-математических наук

Ижевск Ч 2011

Работа выполнена в ФГБОУ ВПО Удмуртский государственный университет, кафедра алгебры и топологии

Научный консультант: доктор физико-математических наук, профессор А. А. Грызлов

Официальные оппоненты: доктор физико-математических наук, профессор Е. Г. Пыткеев кандидат физико-математических наук, доцент Н. К. Шамгунов

Ведущая организация: Национальный исследовательский Томский государственный университет

Защита состоится л 2012 г. в часов на заседании диссертационного совета Д 004.006.03. в Институте математики и механики УрО РАН по адресу:

620990, Россия, г. Екатеринбург, ул. С. Ковалевской, 16.

С диссертацией можно ознакомиться в библиотеке Института математики и механики УрО РАН.

Автореферат разослан л 2011 г.

Учёный секретарь диссертационного совета, кандидат физ.-мат. наук И. Н. Белоусов

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

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

Первым результатом в этом направлении для пространства является теорема У. Рудина [14] о существовании, в предположении континуум-гипотезы, p-точек нароста = \ расширения .

Точка x называется p-точкой пространства X, если x Int Oi для i=всякого счётного семейства окрестностей {Oi} точки x.

i=После того, как С. Шелах [17] показал невозможность лнаивного доказательства существования p-точек в , начался поиск точек, близких по свойствам к p-точкам. Так, К. Кунен [9] доказал существование слабых p-точек в пространстве , то есть точек, не являющихся предельными ни для какого счётного подмножества .

А. Грызлов [1] доказал существование 0-точек в , характеризующихся тем, что при любой нумерации точек у 0-точки, как ультрафильтра на , найдётся элемент плотности 0.

З. Фролик в работах [4, 5], М. Е. Рудин [15, 16], Я. ван Милл [12], К. Кунен [8] и А. Грызлов [6] изучали различные частичные порядки на множестве \ , ими были выделены и изучены несравнимые в различных порядках точки этого пространства.

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

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

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

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

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

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

Первой задачей, рассматриваемой в работе, является построение базы пространства BN \ N, которая и сама, и семейство дополнений до её элементов, являются счётным объединением n-сцепленных семейств. Свойства этой базы объединяют свойства компактификации BN, полученные М. Беллом в [3] и А. Грызловым в [2].

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

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

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

Существует ли в BN \ N точки, то есть ультрафильтры на B, обладающие базами, состоящими из множеств только одного из подсемейств? Замыканию каких подсемейств (цепей, антицепей) множеств N принадлежат эти точки? Каковы характеристики и свойства этих точек? Существует ли в наросте BN \ N копии расширения и сходящиеся последовательности, состоящие из точек различных типов? Решению этих вопросов и посвящена настоящая диссертация.

Цель работы. Работа посвящена изучению точек компактификаций счётных дискретных пространств, их классификации и свойствам.

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

Научная новизна. Все результаты диссертации являются новыми. Выделим среди них основные:

Ч получены классы -, u- и |M -точек пространства BN, как ультрафильтров булевой алгебры с базисами из множеств различного типа;

Ч даны характеристики - и |M -точек, как предельных точек бесконечных цепей и строгих антицепей из N соответственно;

Ч доказано существование в BN сходящихся последовательностей, состоящих из |M -точек;

Ч доказано, что замыкание счётного дискретного множества в BN, состоящее из u-точек, гомеоморфно .

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

Апробация результатов работы. Результаты диссертации докладывались на международных (41-й и 42-й всероссийских) молодёжных школах-конференциях (г. Екатеринбург, 2010, 2011), международных научных конференциях Ломоносов - 2008 и Ломоносов - 2011 (г. Москва, МГУ, 2008, 2011), конференции л24th Summer Conference on Topology and Its Applications (Брно, Чехия, 2009), семинарах им. П. С. Александрова кафедры общей топологии и геометрии МГУ (г. Москва), топологическом семинаре в ИММ УрО РАН (г. Екатеринбург), конференции им. Н. И. Лобачевского (Казань, 2007), студенческой научной конференции (г. Ижевск, 2008) и других.

Публикации. Основные результаты опубликованы в шести работах, список которых приведён в конце автореферата, и тезисах конференций. Работы [18, 20] выполнены в нераздельном соавторстве с А. А. Грызловым и Р. А. Головастовым, работы [22, 23] выполнены в нераздельном соавторстве с А. А. Грызловым. Во всех работах основными являются исследования автора.

Структура и объём диссертации. Работа состоит из введения, двух глав, разбитых на параграфы, и списка литературы. Ссылка на теорему 2.3 означает, что эта теорема находится во второй главе. Объём диссертации составляет 67 станиц машинописного текста и содержит 34 библиографические ссылки.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ Первая глава работы посвящена решению вопросов, связанных с конструкцией расширения Белла, и доказательству ряда теорем, используемых в дальнейшем.

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

Расширения Белла строится следующим образом [3].

Пусть { } P = f : 0 f(n) n + 1 для всех n .

В качестве счётного дискретного пространства N рассматривается множество всех сужений функций из множества P :

{ } N = f|n : f P, n .

Пусть { } T = N : dom (n) = n + 1 для всех n .

{ } Для каждой точки s N пусть Cs = t N : t|dom s s.

А для каждого T { } C = C(n) : n .

Булева алгебра B порождается семейством { } { } B = C : T N \ C : T.

Пространство BN определяется как пространство Стоуна булевой алгебры B.

Таким образом BN Ч это множество ультрафильтров булевой ал{ } гебры B с{топологией, определяемой базой B = WU : U B, } где WU = BN : U .

Пространство N является частично упорядоченным множеством со следующим отношением порядка:

для s, t N полагаем, что s t тогда и только тогда, когда t Ч продолжение s, то есть dom s dom t и t|dom s s.

Будем обозначать: s < t, если s t и s = t.

Напомним определения цепей и антицепей.

Определение 1.1 Цепью в пространстве N называется линейно упорядоченное множество.

Антицепью в пространстве N называется множество, элементы которого попарно несравнимы.

Определение 1.2 Антицепь A N будем называть строгой антицепью, если для любых различных s,t A выполнено dom s = dom t.

Для удобства строгие антицепи будем обозначать { } (M) = (n) : n M, где T и M .

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

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

Теорема 1.1. Пусть n и s N такие, что dom s n. Тогда для (s) следующее верно:

a) (s) Ч n-сцепленное семейство;

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

{ } c) для всякого счётного множества точек pi i } \N BN {:

найдётся множество U (s) такое, что pi : i [U].

2. Для всякого n семейство { { } } n = [U] \ N : U (s) : dom s n является базой пространства BN \ N.

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

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

Теорема 1.5 Пусть (M) Ч строгая антицепь, |M| = и X = { } = xi : i M такое, что xi [C(i)]. Тогда [X] гомеоморфно .

{ } Теорема 1.7 Пусть A = si : i Ч бесконечная цепь из N.

Тогда A является сходящейся последовательностью в BN.

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

Теорема 1.8 Пусть { } Q = x : x Ч предел сходящейся последовательности точек N, { } = A : A N, [A] гомеоморфно .

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

Дальнейшие задачи в изучении пространства BN связаны с изучением точек BN как различных ультрафильтров булевой алгебры B.

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

Вторая глава содержит основные результаты работы.

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

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

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

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

Теорема 2.1 Если = {G} Ч максимальная центрированная система в семействе { } ML = G = N \ C : n , i T, i i n { } то G : G = 1.

Определение 2.1 Точку x BN \ N назовём -точкой, если { } x G : G для некоторой максимальной центрированной системы = {G} в семействе множеств ML.

Теорема 2.3 Если = {C|M } Ч максимальная центрированная система в семействе { } MU = C|M : T, M , { } то C|M : C|M = 1.

Определение 2.2 Точку x BN \ N назовём u-точкой, если { } x = C|M : C|M для некоторой максимальной центрированной системы = {C|M } в семействе множеств MU.

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

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

(a) точка x есть предел некоторой цепи { sk : k } элементов N;

(b) из того, что x [C|M ] для некоторых T и M следует, что существует i M такое, что x [C(i)];

(c) точка x имеет базу открыто-замкнутых окрестностей вида [ ] N \ C, i i n другими словами, x Ч -точка.

Совокупность всех -точек обозначим через L, а совокупность u-точек Ч U. Классы L и U не пересекаются вследствие теоремы 2.2.

А следующая теорема показывает, что существуют точки не являющиеся ни -, ни u-точками.

{ } Теорема 2.5 Пусть si : i Ч антицепь в N, xi Cs Ч -точi { } ка (i ) и X = xi : i . Тогда [X] \ X гомеоморфно \ и состоит из точек, не являющихся ни -точками, ни u-точками.

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

Будем говорить, что C|M приведённое, если (M) строгая антицепь, и положим:

{ { } } M = C|M : Mi = M n : n i, i , |M i M|M = ML M.

|M Определение 2.3 Центрированную систему = {G} в семействе M|M назовём |M-центрированной для C|M, если M .

|M Всякую |M-центрированную систему можно дополнить до максимальной |M-центрированной системы.

Теорема 2.6 Пусть множество C|M приведённое и |M| = . Если ={G} Ч максимальная |M-центрированная система для C|M, то { } G : G = 1.

Определение 2.4 Пусть = {G} Ч максимальная |M-центрированная система для некоторого множества C|M. Точку { } x = G : G будем называть |M -точкой для C|M.

Здесь же доказывается теорема, дающая характеристику |M -точек.

Теорема 2.7 Пусть множество C|M приведённое и |M| = . Тогда { } [(M)] \ (M) = x : x Ч |M -точка для C|M.

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

Теорема 2.11 В наросте BN \ N пространства Белла есть точки не лежащие в множестве L U D. Множества L, U и D не пересекаются.

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

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

Теорема 2.13 Если F BN \ N Ч счётное дискретное множество u-точек, то [F ] гомеоморфно N.

{ } В первой главе (теорема 1.7) было показано, что цепь si : i является сходящейся последовательностью в BN. Возникает вопрос, есть ли сходящаяся последовательность в наросте BN \N. Как показано выше (теорема 2.13), u-точки не годятся для построения такой последовательности. То же относится и к -точкам.

{ } Теорема 2.14 Пусть A = xi : xi Ff, i BN \ N таi кое, что fi = fj (i = j), то найдётся A A такое, что [A] гомеоморфно .

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

Пример 2.1 даёт ответ на вопрос о существовании сходящейся последовательности в наросте пространства Белла. В нём построена сходящаяся последовательность, состоящая из |M -точек.

Список литературы [1] Грызлов, А. А. К теории пространства N / А. А. Грызлов // Общая топология. Отображения топологических пространств. Ч М.: МГУ, 1986. Ч С. 20Ц34.

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

[3] Bell, M. G. Compact ccc non-separable spaces of small weight / M. G. Bell // Topology Proceedings. Ч 1980. Ч Vol. 5. Ч P. 11Ц25.

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

[5] Frolik, Z. Sums of ultrafilters / Z. Frolik // Bull. Amer. Math. Soc. Ч 1967. Ч Vol. 73. Ч P. 87Ц91.

[6] Gryzlov, A. A. On the Rudin - Keisler order on ultrafilters / A. A. Gryzlov // Topol. Appl. Ч 1997. Ч Vol. 76. Ч P. 151Ц155.

[7] Gryzlov, A. A. Independent matrices and some points of / A. A. Gryzlov // Topol. Appl. Ч 2002. Ч Vol. 107. Ч P. 79Ц81.

[8] Kunen, K. Ultrafilters and independent sets / K. Kunen // Trans. Amer. Math.

Soc. Ч 1972. Ч Vol. 172. Ч P. 295Ц306.

[9] Kunen, K. Weak p-points in N / K. Kunen // Coll. Math. Soc. Janos Bolyai, 23 Topology. Ч Budapest, 1978. Ч P. 741Ц749.

[10] van Mill, J. Weak p-points in compact P -spaces / J. van Mill // Topology Proceedings. Ч 1979. Ч Vol. 4, № 2. Ч P. 605Ц628.

[11] van Mill, J. An introduction to \ / J. van Mill Ч Amsterdam: Vrige Univ., 1981.

[12] van Mill, J. Sixteen topological types in \ / J. van Mill // Topol. App. Ч 1982. Ч Vol. 13. Ч P. 43Ц57.

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

[14] Rudin, W. Homogenety problems in the theory of ech compactifications / W. Rudin // Duke Math. J. Ч 1956. Ч Vol. 23, № 3. Ч P. 409Ц426.

[15] Rudin, M. E. Types of ultrafilters / M. E. Rudin // Topology Seminar. Ч Wisconsin, 1965. Ч P. 145.

[16] Rudin, M. E. Partial orders on the types in N / M. E. Rudin // Trans. Amer.

Math. Soc. Ч 1971. Ч Vol. 155, № 2. Ч P. 353Ц362.

[17] Shelah, S. On p-points and other results in general topology / S. Shelah // Notices Amer. Math. Soc. Ч 1978. Ч Vol. 35 A-365, № 87T-G. Ч P. 49.

Основное содержание исследования и полученные результаты отражены в следующих публикациях.

Статьи в изданиях, рекомендованных ВАК Министерства образования и науки Российской федерации, и зарубежных изданиях [18] Bastrykov, E. S. On BellТs compactification of N / A. A. Gryzlov, E. S. Bastrykov, R. A. Golovastov // Topology Proceedings. Ч 2010. Ч Vol. 35. Ч P. 177Ц185.

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

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

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

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

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

Публикации в других изданиях [24] Бастрыков, Е. С. О некоторых бикомпактных расширениях счётных дискретных пространств / Е. С. Бастрыков, Р. А. Головастов // Труды мат.

центра им. Н. И. Лобачевского. Ч Т. 36. Ч 2007. Ч С. 23Ц24.

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

[26] Bastrykov, E. 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.

[27] Бастрыков, Е. С. О пределах сходящихся последовательностей в расширении Белла счётного дискретного пространства / Е. С. Бастрыков // Тезисы 41-й всероссийской школы-конференции. Ч Екатеринбург, 2010. Ч С. 99Ц103.

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

[29] Бастрыков, Е. С. О предельных точках цепей и антицепей в компактификации Белла счётного дискретного пространства / Е. С. Бастрыков // Материалы Международного молодёжного научного форума Ломоносов - 2011 [Электронный ресурс] Ч М.: МАКС Пресс, 2011.

src="images/doc.gif">Авторефераты по всем темам  >>  Авторефераты по разным специальностям