Некоторые свойства топологических пространств, обобщающие паракомпактность тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

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

Ануфриснко Сергей Александрович

НЕКОТОРЫЕ СВОЙСТВА ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ, ОБОБЩАЮЩИЕ ПАРАКОМПАКТНОСТЬ

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

АВТОРЕФЕРАТ

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

Екатеринбург — 2004

Работа выполнена на кафедре математики Специализированного учебно-научного центра Уральского государственного университета им А М. Горького

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

профессор Н. В. Величко

Официальные оппоненты доктор физнко -математических наук,

профессор А. А. Грызлов

кандидат физико-математических наук, доцент В.И. Бсл\гин

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

университет

Защита состоится « _ 2005 г. в ^ часов на заседа-

нии диссертационного совета Д 004.006.03 в Институте математики и механики УрО РАН по адресу: 620219, Екатеринбург, ул С.Ковалевской, 16

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

Автореферат разослан' ¿1 2004 г.

Ученый секретарь шсс ертационного совета юкюр физ.-мат. наук (// ^ЛМ / В. В Кабанов

(Ш^п

аооб-А 2557

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

Актуальность темы. Сильное влияние на развитие общей топологии оказала проблема метризации топологических пространств Решение этой проблемы связано с локально конечными семействами множеств, определенными П.С. Александровым [1] в 1924 году. С' помощью этих семейств в 1944 году Дьедоннс определил класс паракомпактных пространств и доказан паракомпактность произвольного сспарабсльного метрического пространства. Чуть позже Стоуну [14] удастся значительно усилить этот результат: любое метрическое пространство паракомпактно (теорема Стоуна). А в 1951 год\г Нагата. Смирнов и Бннг (см. [7]) независимо доказывают один из первых общих метризационных критериев- в регулярных пространствах метризуемость равносильна существованию а -локально конечной базы.

Начало систематическому изучению паракомпактных пространств было положено работами Майкла [9]-[11]. Он впервые использует консервативные семейства, для которых объединение и оператор замыкания перестановочны Майкл\ также принадлежат несколько теорем, которые в совокупности дают один из самых эффективных критериев паракомпактности в классе регулярных пространств паракомпактность равносильна существованию для произвольного открытого покрытия вписанного в него консервативного покрытия произвольными множествами

Другой попыткой ослабления локальной конечности было введение Арсисом и Д> гунжи в 1950 году точечно конечных систем и слабо паракомпактных пространств В 1955 году независимо в работах Майкла [12] и Н агам и [13] было установлено. что паракомпакты (тс. хаусдорфовы па-ракомнактные пространства) это в точности коллективно нормальные слабо паракомпактиые пространства Важная роль точечно конечных систем подчеркивается исследованиями П.С Александрова [2] пространств с равномерными базами пространство обладает равномерной базой в том и только в гом случае когда в нем с^лроет^хаяошйв^йй'с'льчсшгс, состоящее из точечно конечных открыть

БИБЛИОТЕКА 1

'ггЬазЛ

Многие исследования по теории паракомпактных пространств указывают па то, что паракомпактность отвечает за "топологическую расправлсн-ность" пространства, тс возможность перенесения локальных топологических характеристик на все пространство. Так, например, локально мстри-зуемос (локально полное по Чеху) паракомпактное пространство метризу-емо [6] (соответственно полно по Чеху [3]) Ясно, что результаты такого рода чрезвычайно важны Справедливость этих результатов зачастую основана на "хорошем" расположении элементов покрытия друг по отношению к другу, что свойственно всем локально конечным покрытиям Можно считать, что значительными обобщенисми локально конечных семейств в этом направлении стали слабо дискретные Семейства и с/ -семейства, введенные соответственно А.В Архангельским [4] и Н.В Величко [5] в 70-е годы Семейство 7 = {Ип ■ о 6 А} называется слабо дискретным, если при х„ € 11,, множество {а:,, - а 6 А} дискретно в X Семейство =-. {и„ • о £Е А} называется ¿-семейством (/-семейством), если при С ио, где — произвольное дискретное в X (соответственно, конечное) множество, объединение : а 6 А} дискретно в X.

Используя понятия слабо дискретного, / и <1 семейств, можно определить следующие классы пространств.

Определение 1. Пространство называется (I-паракомпактиым (слабо-й-пара коми акт ? шм). если в каждое его открытое покрытие можно вписать ¿-покрытие (слабо дискретное покрытие) произвольными множествами Пространство называется си~1ыю-/-паракомпактпым (/-паракомпактиым, слабо-/-параколтактгтьш). если в каждое его открытое покрытие можно вписать (¿-покрытие (/-покрытие, слабо дискретное покрытие) открытыми множествами.

Понятие ¿-паракомпактности было введено Н.В Величко в [5|. В этой же работе построен пример ¿-паракомпактного, не паракомпактного пространства и доказано сохранение ¿-паракомпактности слабо замкнутыми отображениями в стороп\ обра ¡а С тех пор исследований этих обобщений паракомпактных пространств "Не"проводилось

■чП с •

- , . 4

Основным объектом исследования в данной работе являются классы пространств из определения 1. а также связь этих пространств с пара-компактными и слабо паракомпактными пространствами

Цель работы. Основной целью настоящей работы является систематическое изучение классов пространств из определения 1 Эта общая проблема естественным образом распадается на следующие три задачи

I. Как связаны между собой пространства из определения 1? Можно ли их различить в пространствах с "сильными' аксиомами отделимости (например, в классе регулярных пространств)?

II. Какие условия достаточны для совпадения этих типов паракомпактности с паракомпактностью (линдслсфовостью. компактностью)7

III. Насколько устойчивы топологические свойства из определения 1 относительно основных топологических операций- при переходе к подпространству при переходе к образу или прообразу при различных типах непрерывных отображений?

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

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

1) Существует совершенно нормальное снльно-/-паракомпактное пространство. не являющееся паракомиактом

2) Существует сепарабсчьное вполне рег\лярное d-паракомпактнос пространство. которое не металиндслефово

3) В классе линейно упорядоченных пространств все классы пространств из определения 1 совпадают с паракомпактными пространствами

4) В классе счетно компактных пространств все классы пространств из определения 1 совпадают с классом компактных пространств

5) Класс rf-паракомпактных пространств инвариантен при переходе к прообразу при совершенных отображениях

6) Найдено необходимое и дооаючнос усювие при котором сильная /-

паракомпактность и /-паракомпактность сохраняется в сторону прообраза при произвольном совершенном отображении

Теоретическая и практическая ценность Результаты диссертации носят теоретический характер Они могут найти применение при изучении паракомпактных пространств н их различных обобщений. Все свойства из определения 1 могут быть использованы в качестве необходимого условия метризуемости произвольного топологического пространства, а а-d-паракомпактность — в качестве необходимого условия симмстризуемости топологических пространств (см. [8])

Апробация результатов работы. Результаты диссертации докладывались на топологическом семинаре в ИММ УрО РАН (г. Екатеринбург), на семинарах памяти П С. Александрова (г. Москва, 1991 и 1993г), на молодежной конференции ''Проблемы теоретической и прикладной математики" (г. Екатеринбург. 1998), на 9-й международной конференции 'Оп topology and its application" (Киев, 1992), а также на международной топологической конференции в Венгрии (Szckszárd, Hungary. 1993).

Публикации. Основные результаты опубликованы в пяти работах, список которых приведен в конце автореферата.

Структура и объем диссертации. Работа состоит из введения, параграфа. посвященного обозначениям и терминологии, а также из трех глав и списка литературы Объем диссертации составляют GO страннн машинописного текста. 41 библиографическая ссылка, 5 рисунков и одна диаграмма.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ

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

Теорема 1.1. Существует вполне регулярное сепарабельное й-пара-компактное пространство X счетного псевдохарактера, не являющееся ни слабо паракомпактным. ни спабо- / -паракомпактным пространством.

Теорема 1.2. Существует вполне регулярное слабо паракомпактное, сшьпо-/ -паракомпактное пространство счетной тесноты, которое не яв.гяется паракомпактным пространством.

Теорема 1.1 усиливает результат, полученный Н В. Величко в [5]. Дело в том. что в классе регулярных сспарабсльных пространств многие из "традиционных" обобщений паракомпактности (например, слабая паракомпактность, металиндслефовость и др.) совпадают с линделефовостью Поэтому пространство из теоремы 1.1 указывает на отличие ¿-паракомпактности сразу от всех таких обобщений. В [4] было доказано утверждение, из которого следует совпадение паракомпактности и слабой-(¿-паракомпактности в классе 7-пространств Это утверждение не переносится ни на пространства со счетной теснотой, ни на пространства счетного псевдохарактера, даже если потребовать открытости от элементов почти дизъюнктного семейства. Это следует как раз из теоремы 1.2 и следствия 1.5. В этом следствии модификацией примера Бинга удалось построить совершенно нормальное сильно- /-паракомпактное, не паракомпактное пространство. В следствии 1.7 построено совершенно нормальное слабо паракомпактное пространство, которое не является слабо-/-паракомпатктным просгран-¿твом. а в теореме 1 10 доказано существование хаусдорфового сильно-/-паракомпактного пространства, не являющегося мсталинделефовым. Этими двумя утверждениями доказано, что свойства из определения 1 и слабая паракомпактность не зависимы друг от друга В связи с этим стоит упомянуть следствие 1 б в котором построено совершенно нормальное /-паракомпактное пространство, не явтаюшееся слабо паракомпактным Остается открытым вопрос о существовании регулярного сильно-/-паракомпактного пространства которое не будет слабо паракомпактным (вопрос 1.11).

Вторая глава посвящена поиску классов иро< фанств. в которых (Вой-ства из определения 1 эквивалентны паракомпактности К таким клас-

сам пространств относятся, помимо с/-пространств, пространства Фрсшс-Урысона (теорема 2 0). подкласс к-пространств (теорема 2 11) В классе линейных топологических пространств удалось доказать, что все свойства определения 1 и паракомпактность равносильны Этот результат можно считать основным результатом второй главы.

Теорема 2.15. Пусть X — линейно упорядоченное топоюгическое пространство Тогда следующие условия .эквивалентны•

1. X — слабо-ё-паракомпактное пространство.

2. X — паракомпакт.

Во второй главе гакже доказано совпадение в классе слабо- й-паракомпакт ных пространств числа Линдслсфа и экстента (гсорсма 2.18) Среди следствий теоремы 2 18 отметил/ следующий важный результат.

Теорема 2.23. В ьлассе счетно компактных пространств слабая-с1-паракомпактности и компактность эквивалентны.

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

Теорема 3.6. Пусто X — сильно-/-паракомпактное (или / -пара-компактное. слабо-/-паракомпактное пространство) не слабо паракомпактное пространство и И'(и>о + 1) = N и {уо} — сходящаяся последовательность То?да тгаюновское произведение У = X х И'(о,'о + 1) не яв 1яется слабо-/-паракоктактным пространством

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

Теорема 3.9. Прообраз при совершенной отображении с лабо па-]к1компактного пространства являющегося сильно-/-параьоипактным (/-паракомпактпым) прострапстволь. также будет слабо паракомпакт-ным сильно-/ -паракомпактным (/ -паракомттьтным пространством)

Из последних двух теорем получаетс я критерий ннварнантиос гн сильной- /-паракомпактноеи и /-паракомпактности при умножении на беско-

нсчный компакт эти свойства сохраняются тогда и только тогда, когда пространство слабо паракомпактно

Кроме этого, в третьей главе доказано сохранение d-паракомпактности совершенными отображениями в сторону прообраза (теорема 3 12) Это утверждение вместе с уже упомянутой теоремой о сохранении ¿-паракомпактности слабо замкнутыми отображениями (см. [5]) указывают на то, что класс d-паракомпактных пространств совершенен (те. инвариантен относительно совершенных отображений как в сторону образа, так и в сторону прообраза).

Автор выражает глубокую признательность своему научному руководителю профессору Н.В Величко за пристальное внимание к работе, а также Н Н.Яковлеву за постановку задач и блестяще прочитанный курс по общей топологии в конце 80-х годов на математико-механическом факультете Ур-ГУ Помощь полезным обсуждением результатов и своим дружеским расположением оказали активные участники топологического семинара ИММ УрО РАН- М И. Альпсрин, И.Б. Казакова, С.Э. Нохрин, А.В Осипов. Д.С. Охсзин. N1 А. Патракссв, Е.Г Пыткесв и М.А Филатова. Отдельное спасибо Ирине Казаковой, чей художественный талант и опыт работы с графическим пакетом CorelDraw были использованы при изображении диаграммы 1 и всех рисунков диссертации

У

Литература

[1] Александров П С О множествах первого класса и абстрактных пространствах ■ С. R Acad. Paris. - 1924,- 178. - P. 185-187.

[2| Александров П.С' О метризации топологических пространств Bull. Acad. Pol. Sei. Ser. Math. - I960.- 8. JV°3. - С. 135-140.

[3] Архангельский А.В О топологических пространствах, полных в смысле Чеха Вест. МГУ. Мат.. мех. - 1961. - №2. - С. 37-40

J4| Архангельский A.B., Пономарев В.И. Основы общей топологии в задачах и упражнениях. - М. Наука, 1974. 123 с.

[5| Величко II.В. О непрерывных отображениях топологических пространств Сиб. матсм. ж. - 1972,- 13 №3 - С 541-557.

[6) Смирнов Ю.М О метризации топологических пространств Успехи мат. наук - 1951. - 6. №3. - С. 100-110.

[7j Bing RH Metí izat юн of topological hpaces. Cañad. J of Math 1951 - 3. - P. 175-186.

[8] Ciecdc ODD. Concerning scmi-stratifiable spaces Pac. J Math. -1970 - 32. №1. - P. 47-54

|9) Michael E A note on paracompact spaces Proc Amcr Math. Soc. — 1953. 4 - P. 831-838.

[10] Mirhacl E Another note on pat acompact spaces Prot Amer Math Soc 1957-8 P 822 828

[11] Michael E Yet another note on paracompact spaces II Proc Amcr Math Soc 1959. - 10. - P. 309-314.

[12] Michael E. Point-finite and locally finite covering. // Canad J. of Math.

- 1955. - 7. - P 275-279.

[13] Nagami K. Paraeompactncss and scrccnabihty/ / Nagoya Math J. — 1955.

- 8. -- P. 83-88.

[14] Stone A.H. Paraeompactncss and product spaccs // Bull. Amcr. Math Soc. - 1948. - 54. - P 977-982.

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

[15] Anufrienko S.A Some generalizations of paraeompactncss I' Coll. on topology. Hungary. — 1993. — P. 5.

[16] Anufrienko S.A. On some covcr properties ', Scrdica — Bulgaricae mathematicac publications. — 1994. — 20. — P. 42-47.

[17] Ануфриенко С.А. О некоторых обобщениях паракомпактности '1 Тезисы докладов 9-й международной конференции "On topology and its application'". Киев. 1992. — С. 6.

[18] Ануфриенко С. А Инвариантные свойства некоторых обобщении паракомпактности < Тезисы докладов научно-исследовательского семинара по общей топологии. Вестник МГУ. Сер. 1, Математика. Механика

- 1993. - №4. - С. 92.

[19] Ануфриенко С.А. Сепарабсльнос d-паракомпактнос не паракомпакт-ное пространство , Тезисы докладов 29-й конференции ' Проблемы теоретической и прикладной математики". Екатеринбург, 1998. - С. 34.

РНБ Русский фонд

2006-4 2557 -886

Подписано и печать 2004 формат 60 х 84 1/10.

Бумага ,ця множительных аппаратов. Печать офсетная Уем. печ. а. 0.75. Зак. № . Тираж 70 экз. Уральский [-осударствепный университет им. A.M. Горького

Ошечатаио на ризографе в СУНЦ УрГУ. Екатеринбур! ул. Д Зверева. 30

Введение

Обозначения и терминология

Глава 1. Разделяющие примеры

Глава 2. Рассматриваемые обобщения и паракомпактность

Глава 3. Инвариантные свойства рассматриваемых обобщений паракомпактности

В 1924 году П.С. Александров опубликовал небольшую статью "О множествах первого класса и абстрактных пространствах" (см. [1]). Помимо основного результата — критерия полноты сепарабельных метрических пространств — Павел Сергеевич ввел в этой работе понятие локально конечного покрытия (семейство 7 называется локально конечным, если у каждой точки х Е X найдется окрестность 0(х) , пересекающаяся с конечным числом элементов семейства 7 ). Этому понятию суждено было сыграть важную роль в топологии. Так, в 1944 году Дьедонне определяет класс паракомпактных пространств, в любое открытое покрытие которых можно вписать локально конечное открытое покрытие, и доказывает паракомпактность сепарабельных метрических пространств (фактически это было сделано в [1]). Чуть позже Стоуну [38] удается значительно усилить этот результат: любое метрическое пространство паракомпактно (теорема Стоуна). А в 1951 году Нагата, Смирнов и Бинг (см. [18]) независимо доказывают один из первых общих метризационных критериев: в регулярных пространствах метризуемость равносильна существованию а -локально конечной базы. Семейство множеств 7 является а -локально конечным ( а - V , где V — некоторое топологическое свойство), если 7 можно представить в виде счетного объединения 7 = U{tп : п Е N} семейств, каждое из которых локально конечно (обладает свойством V ).

Начало систематическому изучению паракомпактных пространств было положено работами Майкла [29]-[31]. Он впервые использует консервативные семейства, для которых объединение и оператор замыкания перестановочны. Семейство подмножеств {Ра : а € А} называется консервативным, если для всякого подмножества индексов В С А , выполняется:

U Ра = U ^ а£в а€в

Нетрудно заметить, что любое локально конечное семейство консервативно. Майклу также принадлежат несколько теорем, которые в совокупности дают один из самых эффективных критериев паракомпактности.

Теорема (Майкл, [29]-[31]) 0.1. Для каждого регулярного пространства следующие условия эквивалентны:

1. Пространство X паракомпактно.

2. В каждое открытое покрытие пространства X можно вписать открытое а -локально конечное покрытие.

3. В каждое открытое покрытие пространства X можно вписать локально конечное покрытие (произвольными множествами).

4• В каждое открытое покрытие пространства X можно вписать замкнутое локально конечное покрытие.

5. В каждое открытое покрытие пространства X можно вписать консервативное покрытие (произвольными множествами).

Другой попыткой ослабления локальной конечности было введение Аренсом и Дугунжи в 1950 году точечно конечных систем (система 7 подмножеств топологического пространства X называется точечно конечной, если каждая точка х € X принадлежит только конечному числу элементов 7) и слабо паракомпактных пространств, в каждое открытое покрытие которых можно вписать точечно конечное открытое покрытие. В 1955 году независимо в работах Майкла [32] и Нагами [35] было установлено, что паракомпакты (т.е. хаусдорфовы паракомпактные пространства) — это в точности коллективно нормальные слабо паракомпактные пространства. Коллективно нормальными называются пространства, в которых любые дискретные семейства замкнутых множеств можно разделить дискретными же семействами отрытых множеств. В свою очередь, семейство 7 подмножеств пространства X называется дискретным семейством, если у каждой точки х Е X найдется окрестность О (х) , пересекающаяся не более чем с одним элементом семейства 7 .

Более поздними обобщениями локально конечных семейств стали слабо дискретные семейства и d -семейства, введенные соответственно А.В. Архангельским [7] и Н.В. Величко [11] в 70-е годы. Семейство 7 — {Ua : а € А} называется слабо дискретным, если при ха Е Uа. множество {ха : а £ А} дискретно в X . Семейство 7 = {Uа а £ А} называется d-семейством (f-семейством), если при Fa С Ua, где Fa — произвольное дискретное в X (соответственно, конечное) множество, объединение U {.Ра : а £ А} дискретно в X . Множество D называется дискретным в X , если любое его подмножество замкнуто в X. Нетрудно заметить, что дискретность D в X равносильна дискретности в X семейства одноточечных множеств |{ж} : х G D^ . В [7] можно найти следующие два утверждения.

Лемма 0.2. Если в любое открытое покрытие пространства X можно вписать слабо дискретное покрытие, то можно вписать и дизъюнктное слабо дискретное покрытие.

Теорема 0.3. Любое дизъюнктное слабо дискретное семейство q-пространства X является локально конечным.

Пространство X называется q-пространством, если для любой точки х £ X найдется последовательность окрестностей Оп(х) точки х со следующим свойством: если хп £ Оп(х) , и Xi ф Xj при г ф j , то последовательность {хп : п G N} имеет предельную точку в X.

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

Определение 0.4. Пространство называется d-паракомпактным (слабо-d-napa-компактным), если в каждое его открытое покрытие можно вписать d -покрытие (слабо дискретное покрытие) произвольными множествами. Пространство называется сильно-f-паракомпактным (f-паракомпактным, слабо-/-паракомпактным), если в каждое его открытое покрытие можно вписать d -покрытие ( / -покрытие, слабо дискретное покрытие) открытыми множествами.

Понятие d -паракомпактности было введено Н.В. Величко в [11]. В этой же работе построен пример d -паракомпактного, не паракомпактного пространства и доказано сохранение d -паракомпактности слабо замкнутыми отображениями в сторону образа. При этом непрерывное отображение / : X —> У называется слабо замкнутым, если f(D) дискретно в Y для любого дискретного в X множества D . Название слабо- d -паракомпактных пространств было предложено Н.Н. Яковлевым, / -семейства и оставшиеся типы паракомпактности определены автором этой работы.

Завершая обзор различных типов семейств и связанных с ними обобщений понятия паракомпактности, нельзя не упомянуть об исследованиях С. Недева и Г. Крида. Изучая симметризуемые пространства, С.Недев в [13] доказал следующую теорему.

Теорема 0.5. В любое открытое покрытие симметризуемого пространства можно вписать а -слабо дискретное покрытие.

Г. Крид в [20] усилил этот результат, доказав, что в любое открытое покрытие симметризуемого пространства можно вписать а -дискретное покрытие. Пространства с таким свойством называются субпаракомпактными. К ним, в частности, относятся и все пространства с а -дискретной сетью. Следовательно, симметризуемые, субпаракомпактные, а также пространства с а -дискретной сетью содержатся в классе а - d -паракомпактных пространств (в любое открытое покрытие которых можно вписать о - d -покрытие произвольными множествами).

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

I. Как связаны между собой пространства из определения 0.4? Можно ли их различить в пространствах с "сильными" аксиомами отделимости (например, в классе регулярных пространств)?

II. Какие условия достаточны для совпадения этих типов паракомпактности с паракомпактностью (линделефовостью, компактностью)?

Напомним, что пространства, из любого открытого покрытия которых можно выделить счетное подпокрытие, называются финально-компактными. Линделефовы пространства — это регулярные финально-компактные пространства. Моритой [33] было доказано, что каждое линделефово пространство паракомпактно.

III. Насколько устойчивы топологические свойства из определения 0.4 относительно основных топологических операций; при переходе к подпространству; при переходе к образу или прообразу при различных типах непрерывных отображений?

Настоящая работа состоит из трех глав, каждая из которых содержит решение задач I—III.

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

Теорема 1.1. Существует вполне регулярное сепарабелъное d -паракомпакт-ное пространство X счетного псевдохарактера, не являющееся ни слабо параком-пактным, ни слабо- f -паракомпактным пространством.

Теорема 1.2. Существует вполне регулярное слабо паракомпактное, силъно-f -паракомпактное пространство счетной тесноты, которое не является паракомпактным пространством.

Напомним, что в Т\ -пространстве X псевдобазой.в точке х. называется произвольное семейство Вх окрестностей точки х со свойством Г)БХ = {а;} . Минимум мощностей псевдобаз в точке х называется псевдохарактером в точке х и обозначается через ф(х, X) . Псевдохарактером пространства X называется кардинал il>{X) = sup{,0(a;,X) : х G X} . Теснотой пространства X называется наименьший бесконечный кардинал t(X) со следующим свойством: для любых х (Е X и А С. X из условия х 6 А следует существование такого В С А , что х £ В и мощность множества В не превосходит t(X) .

Теорема 1.1 усиливает результат, полученный Н.В. Величко в [11]. Дело в том, что в классе регулярных сепарабельных пространств многие из "традиционных" обобщений паракомпактности (например, слабая паракомпактность, металинделефовость и др.) совпадают с линделефовостыо. Поэтому пространство из теоремы 1.1 указывает на отличие d -паракомпактности сразу от всех таких обобщений. Теорема 0.3 не переносится ни на пространства со счетной теснотой, ни на пространства счетного псевдохарактера, даже если потребовать открытости от элементов почти дизъюнктного семейства. Это следует как раз из теоремы 1.2 и следствия 1.5. В этом следствии модификацией примера Бинга удалось построить совершенно нормальное сильно- / -паракомпактное, не паракомпактное пространство.

Вторая глава посвящена поиску классов пространств, в которых свойства из определения 0.4 эквивалентны паракомпактности. К таким классам пространств относятся, помимо q -пространств, пространства Фреше-Урысона (теорема 2.9), специальный подкласс А;-пространств (теорема 2.11). Напомним, что пространство X называется пространством Фреше-Урысона, если для любого А С X и всякой точки х Е А найдется последовательность {хп} С А , сходящаяся к х . Пространства Фреше-Урысона составляют подкласс к -пространств, которые определяются так: пространство X является к -пространством, если произвольное F замкнуто в X тогда и только тогда, когда F П К замкнуто в любом компакте К С X . В классе линейных топологических пространств удалось доказать, что все свойства определения 0.4 и паракомпактность равносильны. Этот результат можно считать основным результатом второй главы.

Теорема 2.15. Пусть X — линейно упорядоченное топологическое простран ство. Тогда следующие условия эквивалентны:

1. X — слабо- d -паракомпактное пространство.

2. X — паракомпакт.

Во второй главе также доказано совпадение в классе слабо- d -паракомпактных пространств числа Линделефа и экстента (теорема 2.18). Экстентом пространства X называется такой наименьший бесконечный кардинал г , что мощность каждого замкнутого дискретного подпространства пространства X не превосходит т . Числом Линделефа пространства X называется такой наименьший бесконечный кардинал т , что из каждого открытого покрытия пространства X можно выбрать открытое подпокрытие мощности не больше г . Среди следствий теоремы 2.18 отметим следующий важный результат.

Теорема 2.23. В классе счетно компактных пространств слабая- d -паракомпактность и компактность эквивалентны.

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

• Теорема 3.6. Пусть X — сильно- / -паракомпактное (/ -паракомпактное, слабо- f -паракомпактное) не слабо паракомпактное пространство и W(uo + 1) = ч N U {о»о} — сходящаяся последовательность. Тогда тихоновское произведение Y = X х W(uо + 1) не является слабо- f -паракомпактным пространством.

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

Теорема 3.9. Прообраз при совершенном отображении слабо паракомпактно-го пространства, являющегося сильно- f -паракомпактным (f -паракомпактным) пространством, также будет слабо паракомпактным сильно- f -паракомпактным ( f -паракомпактным) пространством.

Из последних двух теорем получается критерий инвариантности сильной- / -па-ракомпактноси и / -паракомпактности при умножении на бесконечный компакт: эти свойства сохраняются тогда и только тогда, когда пространство слабо паракомпактiio.

Кроме этого, в третьей главе удалось доказать сохранение d -паракомпактности совершенными отображениями в сторону прообраза (теорема 3.12). Это утверждение вместе с уже упомянутой теоремой о сохранении d -паракомпактности слабо замкнутыми отображениями (см. [11]) указывают на то, что класс d -паракомпактных пространств совершенен (т.е. инвариантен относительно совершенных отображений как в сторону образа, так и в сторону прообраза).

Основные результаты диссертации опубликованы в [3]-[4] и [16]-[17], а также докладывались на топологическом семинаре МГУ (см. [5]) и неоднократно — на семинаре сектора топологии отдела алгебры и топологии ИММ УрО РАН.

Автор выражает глубокую признательность своему научному руководителю профессору Н.В.Величко за пристальное внимание к работе, а также Н.Н.Яковлеву за постановку задач и блестяще прочитанный курс по общей топологии в конце 80-х годов на математико-механическом факультете УрГУ. Помощь полезным обсуждением результатов и своим дружеским расположением оказали активные участники топологического семинара ИММ УрО РАН: М.И. Альперин, И.Б. Казакова, С.Э. Но-хрин, А.В. Осипов, Д.С. Охезин, М.А. Патракеев, Е.Г. Пыткеев и М.А. Филатова. Отдельное спасибо Ирине Казаковой, чей художественный талант и опыт работы с графическим пакетом CorelDraw были использованы при изображении диаграммы 1 (Гл. 1) и всех рисунков диссертации.

Обозначения и терминология

Всюду под пространством будем понимать топологическое пространство, удовлетворяющее аксиоме отделимости Ti , т.е. каждое конечное подмножество в котором замкнуто. Отображение / : X —> Y пространства X в У всегда считается непрерывным и действующим "на". В остальном следуем терминологии книги [14].

Через N, Z , Q и R обозначаются соответственно множества натуральных, целых, рациональных и вещественных чисел. Классы всех ординалов и всех кардинальных чисел обозначаем соответственно Ord и Card . Каждый ординал а отождествляем с множеством всех меньших его ординалов, кроме того, а+1 = aU{a} — следующий за а ординал. Все ординалы вида а + 1 , где а € Ord , называются изолированными, остальные — предельными ординалами. Так, например, и0 = NU{0} — первый предельный ординал. Для всякого A G Card через А+ обозначаем наименьший кардинал, больший А . В частности, К0 = uq и Nn+i = для всех п G шо . Кроме того, кардинал |Х| обозначает мощность множества X ; 2No = с = |Я| — мощность континуума. Континуум-гипотезой (сокращенно СН) называется предположение о совпадении 2N° и tti .

Принимаются следующие обозначения:

А — замыкание множества Л; F

А — замыкание множества А в подпространстве F;

Int А — множество всех внутренних точек множества А;

2х — множество всех подмножеств пространства X;

JJ Ха — тихоновское произведение пространств Ха] аеА

0 Ха — топологическая сумма пространств Ха; аеА

D[t] — дискретное пространство мощности г;

A fa : X —► fj Ха — диагональное произведение отображений; аеА аеА w(X) = min{| В\ : Б — база пространства X} — вес пространства X; с(Х) = sup{|7| : 7 — дизъюнктное семейство открытых подмножеств пространства X} — число Суслина пространства X;

1(Х) — число Линделефа (стр. 9) пространства X; е(Х) — экстент (стр. 9) пространства Х\ t(X) — теснота (стр. 8) пространства X.

В нескольких утверждениях главы 1 используются почти дизъюнктные системы на N . Напомним, что множества a, b С X называются почти дизъюнктными, если |аПЬ| < No • Почти дизъюнктной системой на X называется произвольное семейство Л С 2х , любые два элемента которой почти дизъюнктны. На N нетрудно построить такую почти дизъюнктную систему Л , что \А\ = с . Действительно, в силу равно-мощности Q и N , достаточно построить такую систему на Q . Если для каждого иррационального числа х € R\Q выбрать последовательность а(х) С Q , сходящуюся к х , то множество {а(а;) : х G R\Q} будет почти дизъюнктной системой требуемой мощности. Также договоримся, что все элементы рассматриваемых почти дизъюнктных систем на N , являются бесконечными подмножествами N . Более подробную информацию о почти дизъюнктных системах можно найти в [12].

В работе также используются некоторые понятия, связанные с а - и Yh -произведениями пространств. Пусть X — П Ха — тихоновское произведение пространств аеА

Ха и ра : X —+ Ха — проекция на а -ый сомножитель, аеА. Тогда о - и произведением пространств Ха с центром в некоторой точке х* € X называются соответственно следующие подпространства пространства X : ох* П = 6 Х : РЛХ) Ф Ра(%*)} < Ц, авА

ЦХа = {хеХ:\{аеА: ра(х) ф ра(х*)}| ^ К0}. авА

Если О Е Ха для каждого а Е А и 0* = (0)а6л , вместо сг0» П Ха и П Ха а£А а€А используют соответственно обозначения о П Ха и Y1 П ■ Кроме того, (В,х*) об А абА модификацией пространства X = П Ха (где В С. А и х* = (х*а) Е X ) называется абА отображение рв,х* ' X —> X , определенное по правилу: для каждого у Е X ( x*ai если ос В,

Ра[РВ,х-(У)) = S

I Уа, если a Е А\В.

Мы также будем говорить, что точка у' получена из точки у ( у, у' Е X ) модификацией вне множества В с помощью х* , если у' = Ра\в,х* (У) • В последнем случае, если множество В конечно (счетно), точка у' принадлежит ах> П Ха (соответаеА ственно, П Xct )• Информацию о важных свойствах а - и ^-произведений

Q6 А пространств можно найти в книге [14], а также в работах [15] и [40].

Наконец, квадратные скобки в описании множеств имеют тот же смысл, что и круглые скобки, и не обозначают замыкание множества. Семейство со свойством d и d -семейство означают одно и тоже понятие. Покрытие со свойством d сокращенно будем называть d -покрытием. Аналогичные конструкции будем использовать и по отношению к / -семействам. i

1. Александров П.С. О множествах первого класса и абстрактных пространствах // С. R. Acad. Paris. - 1924.- 178. - P. 185-187.

2. Александров П.С. О метризации топологических пространств // Bull. Acad. Pol. Sci. Ser. Math. I960.- 8, №3. - C. 135-140.

3. Ануфриенко С.А. Сепарабельное d -паракомпактное не паракомпактное пространство // Тезисы докладов 29-й конференции "Проблемы теоретической и прикладной математики". Екатеринбург, 1998. — С. 3-4.

4. Ануфриенко С.А. О некоторых обобщениях паракомпактности // Тезисы докладов 9-й международной конференции "On topology and its application". Киев, 1992. С. 6.

5. Ануфриенко С.А. Инвариантные свойства некоторых обобщений паракомпактности II Тезисы докладов научно-исследовательского семинара по общей топологии. Вестник МГУ. Сер. 1, Математика. Механика. — 1993. — №4. — С. 92.

6. Архангельский А.В. Отображения и пространства // Успехи мат. наук. — 1966. 21, №4. - С. 133-184.

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

8. Архангельский А.В. Добавление* . — Келли Дж. JI. Общая топология. — М.: Наука, 1981. 432 с.

9. Архангельский А.В. Топологические пространства функций. — М.: Издательство МГУ, 1989.- 222 с.

10. Архангельский А.В. Паракомпактность и метризация. Метод покрытий в классификации пространств // Итоги науки и техн. ВИНИТИ. Соврем, пробл. матем. Фундам. направления. — 1989. — 51. С. 5-80.

11. Величко Н.В. О непрерывных отображениях топологических пространств // Сиб. матем. ж. 1972,- 13, №3. - С. 541-557.

12. Кюнен К. Комбинаторика. — Справочная книга по математической логике. Ч. 2. Гл. 3. М.: Наука, 1982. - С. 64-98.

13. Недев С.И. 0-метризуемые пространства // Труды Моск. матем. об-ва. — 1971. 24,- С. 201-236.

14. Энгелькинг Р. Общая топология (пер. с англ.). — М.: Мир, 1986. — 752 с.

15. Яковлев Н.Н. Свойства подпространств £ -произведений, определяемые с помощью покрытий II Comment. Math. Univ. Carolinae. — 1984. — 25. — P. 29-53.

16. Anufrienko S.A. On some cover properties // Serdica — Bulgaricae mathematicae publications. 1994. — 20. — P. 42-47.

17. Anufrienko S.A. Some generalizations of paracompactness // Coll. on topology. Hungary. 1993. - P. 5.

18. Bing R.H. Metrization of topological spaces. // Canad. J. of Math. — 1951. — 3. — P. 175-186.

19. Burke D.K. Covering properties. — Handbook of set-theoretic topology. — N.Y.: Noth-Holland, 1984. P. 347-421.

20. Creede G.D.D. Concerning semi-stratifiable spaces // Рас. J. Math. — 1970. — 32, №1. P. 47-54.

21. Dugundji J. Topology. — Boston: Allyn and Bacon, 1966. — 447 p.

22. Gillman L., Henriksen M. Conserning ring of continuous functions // Trans. Amer. Math. Soc. 1954. - 77. - P. 340-421.

23. Gruenhage G. Generalized metric spaces — Handbook of set-theoretic topology. — N.Y.: Noth-Holland, 1984. P. 423-502.

24. Hanai S. On closed mapping II // Proc. Japan Acad. — 1956. — 32. — P. 388-391.

25. Heath R. W. Screenability, pointwise paracompactness and metrization of Moore spaces 11 Canad. J. Math. 1964. - 16. - P. 763-770.

26. Pushpa Jain. Subparacompact spaces // Math. Stud. — 1972. — XL, №3. — P. 231-249.

27. Mancuso V.J. Metacompactness and related properties // Рас. J. Math. — 1970. — 33, №2. P. 345-355.

28. McAuley L.F. A note on complete collectionwise normality and paracompactness U Proc. Amer. Math. Soc. — 1958. 9, №5. - P. 796-799.

29. Michael E. A note on paracompact spaces // Proc. Amer. Math. Soc. — 1953. — 4. P. 831-838.

30. Michael E. Another note on paracompact spaces // Proc. Amer. Math. Soc. — 1957. 8. - P. 822-828.

31. Michael E. Yet another note on paracompact spaces // Proc. Amer. Math. Soc. — 1959. 10. - P. 309-314.

32. Michael E. Point-finite and locally finite covering. // Canad. J. of Math. — 1955. — 7. P. 275-279.

33. Morita K. Star-finite covering and star-finite property // Math. Japonicae — 1948. 1. - P. 60-68.

34. Morita К. On decomposition spaces of locally compact spaces // Proc. Japan Acad. 1956. - 32. - P. 544-548.

35. Nagami K. Paracompactness and screenability // Nagoya Math. J. — 1955. — 8. — P. 83-88.

36. Pytkeev E.G., Yakovlev N.N. On bicompacta which are unions of spaces defined by means of covering // Comment. Math. Univ. Carolinae. — 1980. — 21. — P. 247-261.

37. Singal M.K. Some recent work on paracompact spaces // Math. Stud. — 1970. — 38, №1-4. P. 139-164.

38. Stone A.H. Paracompactness and product spaces // Bull. Amer. Math. Soc. — 1948. 54. - P. 977-982.

39. Tikhonov A.N. Uber die topologiche Erweiterung von Raumen // Math. Ann. — 1930. 102. - P. 544-561.

40. Yakovlev N.N. On bicompacta in ^ -product and related spaces // Comment. Math. Univ. Carolinae. — 1980. 21. - P. 263-283.

41. Zenor P.A. Some continuous separation axioms // Fundam. math. — 1976. — 90, №2. P. 143-158.