Академический Документы
Профессиональный Документы
Культура Документы
ПСУРЫСОН
МЕМУАР
О КОМПАКТНЫХ
ТОПОЛОГИЧЕСКИХ
ПРОСТРАНСТВАХ
П. С. АЛЕКСАНДРОВ а П. С. УРЫСОН
МЕМУАР
О КОМПАКТНЫХ
ТОПОЛОГИЧЕСКИХ
ПРОСТРАНСТВАХ
ИЗДАНИЕ ТРЕТЬЕ
ш
ИЗДА ТЕЛЬСТВО «НАУКА»
ГЛАВНАЯ РЕДА КЦИ Я
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
МОСКВА 1971
517.6
А 46
УДК 513.83
2-2-3
30-71
ОГЛАВЛЕНИЕ
Предисловие ............................................................................................... 4
Глава I. Основные определения и общие теоремы . . . . 13
§ 1. Предварительные п о н я т и я .................................................. 13
§ 2. Бикомпактные п р о с т р а н с т в а .............................................23
§ 3. Пространства, компактные в данном отрезке мощностей 34
Глава И. О строении и мощности бикомпактных пространств 40
§ 1. Регулярные и нормальные п р о с т р а н с т в а .......................40
§ 2. Совершенные множества в компактных пространствах 47
§ 3. Об одном усилении первой аксиомы счетности в би
компактных пространствах............................ 53
Г л а в а III. Об абсолютно замкнутых пространствах . . . . 62
§ 1. Определения. Условия для абсолютной замкнутости . 62
§ 2. Компактные топологические пространства с точки зре
ния их замкнутости в объемлющих пространствах . .69
Г л а в а IV. Локально компактные пространства.......................80
§ 1. Бикомпактность в данной точке. Характер сходимости 80
§ 2. Локально бикомпактные п р о с т р а н с т в а .......................88
Г л а в а V. Метризация компактных и локально компактных
пространств ........................................................................ 93
§ 1. Вопросы метризации и вторая аксиома счетности . . 93
§ 2. Метризация пространств со счетной базой, метризация
компактных п р о с т р а н с т в ...................................................... . 9 9
§ 3. Метризация локально компактных пространств . . . 1 0 7
Примечания к главеI ................................................................................ 117
Примечания к главеI I ...............................................................................122
Примечания к главе I I I ...................................................................128
Примечания к главеI V .............................................................................. 132
Примечания к главеV ............................................................................... 134
Список литературы, цитированной в предисловии и примечаниях 139
ПРЕДИСЛОВИЕ
§ 1. Предварительные понятия1 *)
— и : . . , . и _____
Рис. 1.
§ 2. Бикомпактные пространства8
6. Как известно, пространство R называется компакт
ным, если в нем каждое бесконечное множество имеет
хотя бы одну предельную точку.
Введем сразу же следующее основное определение:
Точка g пространства R называется точкой полного
накопления бесконечного множества М ^ /?, если для
каждой окрестности Og точки g множество М П имеет
ту же мощность, что и все множество М.
*) То есть в R = G' имеются бесконечные множества, лишен
ные предельных точек.
24 ГЛ. I. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ОБЩИЕ ТЕОРЕМЫ
О СТРОЕНИИ И МОЩНОСТИ
БИКОМПАКТНЫХ ПРОСТРАНСТВ
х2+ У2< 4 ?
Окрестности всех остальных точек пространства С/2
суть обычные окрестности, которые те же точки имели
на плоскости оху.
Сразу видно, что точки р и р' неотделимы в прост
ранстве С/г.
Приведем пример пространства, называемого прост
ранством Аз, в котором имеется несчетное множество
мощности континуума, состоящее из попарно неотдели-
§ 1. РЕГУЛЯРНЫЕ И НОРМАЛЬНЫЕ ПРОСТРАНСТВА 41
!1 % г х,
• • •
k=* 1
[а д .
( о < »'<■?)•.
0 (х, 1) состоит из всех точек (х', у') , для которых
х — х < х' < х, и из всех точек (х',у'),
для которых 1 —— < у ' < 1.
Легко видеть, что, например, множество всех точек
вида (х, , где х пробегает все значения сегмента
О- ^х- ^1, есть множество типа G6, не содержащее ни
какого совершенного непустого множества.. Точки вида
(х; где х пробегает совершенно произвольное мно
жество в сегменте 0 <Сх-< 1, также образуют множество
типа G6 в пространстве R. Отсюда видна вся безнадеж
ность занятий дескриптивной теорией множеств в би
компактах (даже являющихся пространствами непре
рывных порядковых типов и удовлетворяющих первой
аксиоме счетности), не удовлетворяющих условию (Я).
Наоборот, в совершенно нормальных бикомпактах по
строение дескриптивной теории множеств, по-видимому,
обещает вполне серьезный успех6.
12. В совершенно нормальных бикомпактах имеет
место следующее свойство, известное под названием свой
ства Линделёфа:
Каждая система о открытых множеств {Га} содер
жит конечную или счетную подсистему, имеющую то же
тело*), что и вся данная система.
Для доказательства рассмотрим открытое множество
Г = <т. В силу условия (Я) множество Г есть сумма счет
ного числа замкнутых множеств:
г = Ф , и Ф 2и . . . иФ„и . . .
В силу бикомпактности пространства R каждое из мно
жеств Ф„ покрыто конечным числом множеств Га е а;
значит, все Г покрыто счетным числом наших Га.
*) Телом системы а множеств называется объединение всех
множеств — элементов системы а, оно обозначается через а.
68 ГЛ. И. СТРОЕНИЕ Й МОЩНОСТЬ ПРОСТРАНСТВ
1
т. е. Г есть множество типа Fa\ другими словами, про
странство R совершенно нормально.
Итак, доказана следующая
Т е о р е м а 6. В классе бикомпактов свойство совер
шенной нормальности эквивалентно свойству Линделёфа8.
Мы видели, что бикомпакт /?, удовлетворяющий ус
ловию (Я), удовлетворяет и первой аксиоме счетности.
Но для пространств с первой аксиомой счетности (и да
же для более широкого класса пространств) Серпинским
и Куратовским была доказана *) эквивалентность свой
ства Линделёфа каждому из следующих свойств:
1. Каждое несчетное множество содержит по край
ней мере одну точку конденсации.
2. Всякое разреженное множество (т. е. множество,
не содержащее никакого непустого плотного в себе под
множества) не более чем счетно.
3. Всякая строго убывающая вполне упорядоченная
последовательность замкнутых множеств состоит из не
более чем счетного числа элементов (свойство Бэра).
Эти свойства оказываются, таким образом, не толь
ко выполненными в совершенно нормальных бикомпак
тах, но и характеризующими их.
Далее, так как каждое множество есть сумма плот
ного в себе множества и множества разреженного, то в
совершенно нормальных бикомпактах всякое множество
есть сумма плотного в себе множества и множества не
более чем счетного.
*) Fundam. math. 2 (1921), 172-188.
§ 3. СОВЕРШЕННО НОРМАЛЬНЫЕ ПРОСТРАНСТВА 59
§ 1. Определения.
Условия для абсолютной замкнутости
Г„ = Оа£ \ £ ,
где Оа£— какая-либо окрестность точки £ в простран
стве R 0 £. Множества Га образуют центрированную си
стему множеств — центрированность этой системы сра
зу следует из того, что точка £ не изолирована в #U£.
В силу аксиомы отделимости Хаусдорфа, выполненной
в пространстве R U £, для любой точки x ^ R существует
64 ГЛ. III. ОБ АБСОЛЮТНО ЗАМКНУТЫХ ПРОСТРАНСТВАХ
а а
значит,
Л 1 г« ]* = л ,
а
UMuЛи=1i=им
<=1 l
покрывает все пространство Аз, чем его абсолютная
замкнутость доказана.
В заключение этого параграфа приведем пример ком
пактного, но не бикомпактного абсолютно замкнутого
пространства А4.
Точками пространства А4 являются все точки (a, t)
пространства А (он), определенного в п. 8, § 2 гл. I, и еще
одна присоединенная точка |. Точки пространства А (ап)
сохраняют в пространстве А4те окрестности, которые они
имеют в пространстве А (ап). Что же касается точки |,
то ее окрестности Ор|, где 1 ^ р <С on, определяются так:
ор|= iu Р<а<©1
(J 0<*<1
U (м).
Пространство Ак компактно. Оно нерегулярно в точке £,
следовательно, не бикомпактно. Докажем, что это прост
ранство абсолютно замкнуто.
Пусть дано какое-нибудь покрытие Q пространства А4,
составленное из только что определенных окрестностей
различных его точек. Так как точка | не содержится ни
в одной из окрестностей точек хФ\> то в числе элемен
тов покрытия Q, несомненно, находится некоторое О
Имеем:
[Ор&ыи0<а<(й!
(J 0</<1
U («-*),
тогда как множество
Л4\Ор|= <U<($ U (а,/)
1 а 0<*<1
такие, что
Л [O0xj\ = А для любых i, j (i Ф j).
Обозначим через В замкнутое множество
В=
Е = Ш о л \ ию «]
С другой стороны,
х ^ \ 0 [0„]1 \ и Ю « ] с [ и Ш I — [ОА),
L п=т J п=т J
Om£ = iU U On (m= 1 , 2 , 3 , . . . ) .
п=*т
Аксиомы А, В, С выполнены.
Для того чтобы убедиться, что выполнена и аксиома
D, возьмем какую-нибудь точку х е R. Возможны два
случая:
Г оо 1 оо
тое множество (J
п=т + 1
[0„] эту точку не содержит. По-
этому можно найти окрестность Ох, не пересекающуюся
оо оо
ПОЛОЖИТЬ
оо
х — Р Опх .
п=\
значит, полагая
Е{ = Е \ 0 {х, £ 2= £ П (Охх \ 0 2х), . . . ,
En =*Ef)(Onx \ Оп+{х),
имеем:
оо
Е \ х=Еп.
/i=i
Но если Е сходится по мощности к точке х и имеет мощ
ность тп, то, обозначая через шп мощность множества
Еп, имеем:
оо
Д о к а з а т е л ь с т в о . Пусть R не бикомпактное, но
локально бикомпактное пространство. Присоединим к R
точку I посредством окрестностей
O g-6U (*\< D ),
где Ф есть любой бикомпакт, лежащий в R. Докажем
прежде всего, что в полученном пространстве Л = R U g
выполнены все аксиомы А, В, С, D окрестностей. Для А
это очевидно. Аксиома В выполнена, так как сумма двух
лежащих в R бикомпактов Ф1 и Фг есть бикомпакт
Ф ^ Ф г ^ Л ; аксиома С выполнена, так как Л \ Ф от
крыто в R, каков бы ни был бикомпакт Ф. Выполнена
и аксиома D, так как для любой точки х е Л. имеется
окрестность Ох с бикомпактным замыканием [Ох], и то
гда, полагая 0 %= g U (Л \ [Ох]), имеем 0 | Л Ох = Д .
Покажем, что полученное пространство Л = Л U |
бикомпактно. Для этого возьмем какое-нибудь бесконеч
ное множество £ £ Л. Если Е пересекается с каким-либо
бикомпактом Ф = R по множеству той же мощности, что
и Е, то точка полного накопления множества Е Л Ф
в бикомпакте Ф является и точкой полного накопления
множества Е в R, а значит, и в Л. Если же для любого
бикомпакта Ф s R множество Е Л Ф имеет мощность,
меньшую чем Е, то для всякой окрестности Og =
= | 1 ) ( Л \ Ф ) имеем: мощн. (Е Л 0£) = мощн. Е, т. е.
| есть точка полного накопления множества Е, чем би
компактность пространства Л доказана.
Докажем, наконец, что всякий бикомпакт R*, полу
ченный присоединением к пространству R одной точки,
гомеоморфен, а если считать, что присоединяется всегда
одна и та же точка |, то и тождествен пространству Л.
Для этого достаточно показать, что во в с я к о м би
к о м п а к т е Л*, п о л у ч е н н о м п р и с о е д и н е н и е м
к п р о с т р а н с т в у R т о ч к и |, о т к р ы т ы е м н о ж е
с т в а , с о д е р ж а щ и е т о ч к у £, с у т ь все м н о ж е
с т в а в и д а £U ( Л \ Ф ) (где Ф есть бикомпакт, лежа
щий в R) и т о л ь к о они (а открытые множества, не
содержащие точки |, совпадают с открытыми множе
ствами пространства R\ последнее утверждение очевид
но, так как означает, что пространство R сохраняет
в R* свою топологию). Почти очевидно и первое утвер
90 ГЛ. IV. ЛОКАЛЬНО КОМПАКТНЫЕ ПРОСТРАНСТВА
о к, а i= ? u U («>и U (Р)-
/г«=&+1 ($=*а+1
Но можно получить из R присоединением одной точки
I = шо и пространство T'F(mi), являющееся компактным,
но не бикомпактным. При этом точка | получает окрест
ности
и U (»)•
/г=*й+1
11. Из теоремы 3 следует, что всякое локально би
компактное пространство может быть рассматриваемо
как открытое множество, лежащее в некотором биком
пакте (например, в бикомпакте Я = / ?( Д) . С Другой
стороны, легко видеть, что всякое открытое множество Г
произвольного бикомпакта X есть локально бикомпакт
ное пространство. Для того чтобы убедиться в этом, до
статочно для любой точки х е Г взять окрестность Ох,
замыкание которой (в X) содержится в Г. Тогда Ох
имеет и в Г то же замыкание [Олт], что и в X, и это за
мыкание есть бикомпакт. Итак:
Т е о р е м а 3'. Локально бикомпактные пространства
могут быть определены, во-первых, как множества, по
лучаемые вычитанием одной точки из бикомпактов, во-
вторых, как открытые множества, лежащие в биком
пактах.
Заметим, наконец, что из теоремы 3 и из теоремы 3
гл. И (§ 2, п. 7) сразу вытекает
Т е о р е м а 4. Всякое непустое совершенное множе
ство локально бикомпактного пространства имеет мощ
ность, не меньшую, чем мощность континуума.
Теорема о наличии совершенного ядра в В-миоже-
ствах для локально бикомпактных пространств уже
92 ГЛ. IV. ЛОКАЛЬНО КОМПАКТНЫЕ ПРОСТРАНСТВА
0 %
.,„|=х<а<<°,
U U (М).
<><*<-!_
П
Пространство £/з компактно. Открытое множество Г,
состоящее из точки £ и из всех точек (а ,/), удовлетво
ряющих условиям 1 ^ а < он, 0 < f ^ l , в точке £ не
компактно, так как любая окрестность Г П 0 ^ п £ точки
| в Г содержит не имеющее в Г предельных точек бес
конечное множество Е, состоящее из всех точек хт вида
(а , я*)* где а > ^ фиксировано, а т пробегает все целые
значения.
С другой стороны, всякое открытое множество, лежа
щее в регулярном компактном пространстве, локально
компактно. В частности, локально компактным является
всякое открытое множество, лежащее в компактном про
странстве, удовлетворяющем первой аксиоме счетности.
Подводя итоги, можем сказать:
Т е о р е м а Зо. Локально компактные пространства
могут быть определены как пространства, получаемые
вычитанием одной точки из компактных пространств.
Вычитание замкнутого множества из регулярного ком
пактного пространства также приводит к локально ком-
пактным пространствам,
ГЛАВА V
МЕТРИЗАЦИЯ КОМПАКТНЫХ
И ЛОКАЛЬНО КОМПАКТНЫХ ПРОСТРАНСТВ
/
96 ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
рациональных чисел.
Построим теперь из всех действительных чисел ло
кально бикомпактное пространство Аб, объявляя все
рациональные точки изолированными точками простран
ства Лб и определяя для каждой иррациональной точки
х окрестности Опх так: Опх состоит из точки л: и из всех
r{k \ для которых k > п. Пространство Аб определяется
как бикомпакт, получающийся присоединением к про
странству Аб одной точки g. Счетное множество всех
рациональных точек плотно в пространстве Аб, а зна
чит, и в пространстве А6. Чтобы вычислить характер
пространства А6 в точке g, заметим, что каждая окрест
ность Og непременно содержит все иррациональные
точки, за исключением, быть может, конечного множе
ства этих точек. Так как, с другой стороны, для каждого
х е А 6 можно найти не содержащую точки х окрестность
Og, то множество I всех иррациональных точек есть
сумма конечных множеств вида / \ P ag, где Oag суть
окрестности точки g, взятые из определенной базы 99*
пространства А6 в точке g. Отсюда следует, что мощ
ность множества этих слагаемых, равная мощности базы
93fc, равна и мощности множества всех нерациональных
чисел, т. е. мощности континуума. Итак, %|А6 =с.
§ 1. МЕТРИЗАЦИЯ И СЧЕТНАЯ БАЗА 97
4 П. С. Александров, П. С. Урысон
$8 ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
4. П е р в а я о с н о в н а я т е о р е м а (теорема 3).
Для того чтобы пространство со счетной базой было
метризуемо, необходимо и достаточно, чтобы оно было
нормально.
Только достаточность высказанного условия ну
ждается в доказательстве. Докажем, что в с я к о е н о р
м а л ь н о е п р о с т р а н с т в о со с ч е т н о й б а з о й
метризуемо.
Л е м м а 1. Для нормальности пространства R необ
ходимо и достаточно, чтобы для любой окрестности ОФ
любого замкнутого множества Ф ^ R существовала
окрестность О1Ф множества Ф с замыканием [О1Ф], со
держащимся в Оф.
Если R нормально, то существуют непересекающиеся
окрестности О1Ф и 0 (R \ ОФ) замкнутых множеств Ф
и R \ O ф . Тогда [О1Ф] не пересекается с 0 ( / ? \ 0 Ф ) ,
а значит, и подавно не пересекается с Я \ О Ф , т. е.
лежит в ОФ. Итак, условие необходимо. Оно достаточно,
так как если Ф0 и Ф1— непересекающиеся замкнутые
множества в R и [ОФ0] ^ R \ Ф1, то ОФ0 и R \[О Ф 0]
суть непересекающиеся окрестности множеств Ф0 и Фь
Только что доказанная лемма 1 позволяет доказать
следующее основное предложение (следствием которого
явится изложенная выше метризационная теорема):
О с н о в н а я л е м м а (лемма 2) *). Д ля всяких двух
непересекающихся замкнутых множеств Ф0 и Ф4 нор-
мального пространства R можно построить непрерывную
во всем R функцию f, удовлетворяющую неравенству
4*
100 ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
Р ( х , у ) - 2 1- 2 г \ Ш - Ш 1 (3)
п- 1
Функция р (х ,у), очевидно, удовлетворяет аксиомам сим
метрии и треугольника. Если х и у — две различные
точки R, то, взяв Hi и Hh так, чтобы было х е.: Я* s # \ .
\ у, х е Яг s [Яг] s Hk, получим каноническую пару
Яп = (Hi.Hk), причем fn (x) = 0, fn (y) = 1- Отсюда сле
дует, что при х ф у имеем р(х, у) фО. Итак, функция
р(х, у) удовлетворяет всем трем аксиомам расстояния и
превращает пространство R в метрическое пространство
102 ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
Другими словами:
Локально компактные пространства со счетной базой
суть не что иное, как открытые множества, лежащие в
компактах.
С л е д с т в и е 2. Всякое удовлетворяюи^ее второй
аксиоме счетности множество Г, открытое в некотором
(хотя бы и нерегулярном) компактном пространстве R,
метризуемо.
В самом деле, так как в точках компактное
пространство R удовлетворяет первой аксиоме счетно
сти, то в этих точках R регулярно*). Следовательно, Г
есть локально компактное пространство и метризуемо
по теореме 6.
С л е д с т в и е 3. Если в компактном неметризуемом
пространстве R дано открытое множество Г, удовлетво
ряющее второй аксиоме счетности, то множество Ф =
= R \ Г несчетно **).
Предположим противное: пусть Ф счетно. Так как
в Г имеется счетная база и, следовательно, выполнено
свойство финальной компактности, то финально ком
пактным является и все пространство /?, полученное
присоединением к финально компактному Г счетного
множества Ф. Пространство /?, будучи компактным и
вместе с тем финально компактным пространством, яв
ляется бикомпактом. Докажем, что в каждой точке
x ^ R выполнена первая аксиома счетности. Достаточно
рассмотреть точки х е Ф и доказать, что каждая такая
точка есть б-точка бикомпакта R. Для этого берем счет
ную базу Ни # 2, Нп, . пространства Г с=/?, со
стоящую из множеств Я п, замыкания которых (в R)
лежат в Г. Пусть Ф состоит из точек Хи *2, ...» хп, ...
Для данной точки ^ е ф обозначаем через Оп£ окрест
ность, удовлетворяющую условию [Ong] s R \ ( х п П [# п]).
Очевидно, Оп| = |.
П
L a < a J
^=i\u[(J г«|=
L a < X J
-(г\ хиа<\
и (г«пяо)и/яхп(Ги
1 \
rab и г«))
VLacX J а<X / / '
по ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
5 П. С. Александров, П. С. Урысон
114 ГЛ. V. МЕТРИЗАЦИЯ ПРОСТРАНСТВ
В частности:
Т е о р е м а 12. Для того, чтобы локально компактное
пространство было метризуемым, необходимо и доста
точно, чтобы оно имело звездно счетную базу.
Теорема 11 ввиду теоремы 9 может быть сформули
рована и так:
Т е о р е м а И'. Для того чтобы нормальное про
странство с локальной аксиомой счетности было метри-
зуемо, необходимо и достаточно, чтобы оно было суммой
(некоторого числа ^ 1 ) попарно не пересекающихся от
крыто замкнутых множеств, каждое из которых удов-,
летворяет второй аксиоме счетности7.
Отсюда имеем:
С л е д с т в и е 1. Для того чтобы связное нормальное
пространство с локальной аксиомой счетности было ме-
тризуемо, необходимо и достаточно, чтобы оно имела
счетную базу.
С л е д с т в и е 2. Для того чтобы связное локально
компактное пространство было метризуемо, необходимо
и достаточно, чтобы оно имело счетную базу.
Мы уже давали в п. 8 пример метрического связного
пространства без счетной базы, которое, следовательно,
и не локально компактно и не удовлетворяет локальной
аксиоме счетности, причем обе эти особенности осу-
ществляются лишь в одной точке. Там же мы упомя
нули, что пространство TA((oi) неметризусмо, хотя и ло
кально бикомпактно и удовлетворяет локальной аксиоме
счетности (даже локально гомеоморфно обыкновенной
прямой), откуда следует, что в этом пространстве не су
ществует точечно счетной базы. Остается открытым во
прос о существовании локально компактного (и, разу
меется, неметризуемого) пространства, имеющего то
чечно счетную базу (не удовлетворяющую локальной
аксиоме счетности) 8.
lim — = оо.
П -> о о Н
lim Сщ ^ Я
m->оо m ^ 2*
<ito и требовалось доказать.
Переходим теперь к построению пространства П. С. Урысона.
Точками пространства R являются все неотрицательные целые чис
ла. При этом положительные целые числа полагаем изолированными
точками пространства R, что же касается числа 0, то мы получим по
определению произвольную окрестность этой точки, если удалим из
множества всех неотрицательных целых чисел элементы ‘любой
быстро растущей последовательности натуральных чисел. Легко ви
деть, что это определение окрестностей удовлетворяет всем четырем
аксиомам Хаусдорфа. (Справедливость аксиомы В следует из толь
ко что доказанной леммы.) Для доказательства того, что характер
пространства R в точке 0 несчетен, достаточно заметить, что, во-пер
вых, точка 0 в пространстве R не является изолированной (так как
дополнение ко всякой быстро растущей последовательности пред
ставляет собою бесконечное множество) и, во-вторых, не существует
никакой счетной последовательности точек пространства /?, сходя
щейся к точке 0. Но последнее утверждение следует из того, что
каждая последовательность попарно различных натуральных чисел
содержит растущую подпоследовательность
ал < а2< . . . < ап< ...» (3)
. которая, в свою очередь, содержит быстро растущую подпоследова
тельность (достаточно положить bi — а\ и обозначить вообще через
Ьп первое число в последовательности (3), которое больше чем 2лЧ,
Ьп 2я " 1
тогда — > --------
п п •).
7 (стр. 22). Весьма важным обобщением регулярных прост
ранств являются так называемые полурегулярные или -простран
ства, впервые введенные М. Стоуном в его работе [1].
Го-пространство X называется полурегулярным, если в нем ка
нонические открытые множества *) образуют базу. Исследования
М. Стоуна, М. Катетова, В. Зайцева, Е. Щепина и др. показали, что
полурегулярные пространства несомненно заслуживают дальнейшего
ПРИМЕЧАНИЯ К ГЛАВЕ II
1 (стр. 42). Речь идет о знаменитом урысоновском примере
счетного связного пространства (см. П. С. У р ы с о н , Труды по то
пологии и другим областям математики, Гостехиздат, 1951, том I,
стр. 189).
В настоящее время имеются гораздо более простые примеры
этого рода, построенные Х ь ю и т т о м [2] и Б и н г о м [1]. Е. Щепин
только что построил пример счетного связного хаусдорфова про
странства, в котором любое конечное число ха-множеств имеет не
К ГЛАВЕ II 123
А. В. А р х а н г е л ь с к о г о и В. Г о л ш т и н с к о г о [1], В. И. П о-
н о м а р е в а [6], [7], В. Ф и л и п п о в а [1] и др.).
Совершенно нормальные бикомпакты образуют класс бикомпак
тов, как бы непосредственно следующий (по сложности) за ком
пактами. Однако все компакты лежат в гильбертовом кирпиче и,
следовательно, распадаются на множество топологических типов,
имеющее мощность континуума, тогда как существует (В. Ф и л и п
п о в [1]) множество попарно негомеоморфных совершенно нормаль
ных бикомпактов, мощность которого равна 2е. Этим В. Филиппов,
в частности, доказал, что среди совершенно нормальных бикомпак
тов нет универсального (т. е. содержащего топологический образ
любого совершенно нормального бикомпакта) — решение задачи, по
ставленной В. И. Пономаревым.
Отметим еще следующие интересные задачи, касающиеся совер
шенно нормальных пространств; они также поставлены В. И. Поно
маревым и решены в самое последнее время.
1. Всякий ли совершенно нормальный бикомпакт содержит счет
ное всюду плотное множество (является «сепарабельным»)? Ю х а с
(I. J u h a s z) *) только что доказал, что утвердительный ответ на
этот вопрос В. И. Пономарева совместим с обычными аксиомами
теории множеств (так что, во всяком случае, все попытки построе
ния совершенно нормального несепарабельного бикомпакта являют
ся безнадежными).
2. Существует ли локально связный неметризуемый совершенно
нормальный бикомпакт?
В предположении что2**° = «ь В. Ф и л и п п о в [1] построил при
мер такого бикомпакта. В силу одной теоремы С. Мардешича этот
бикомпакт не может быть непрерывно отображен ни на какой
компакт У так, чтобы прообразы всех точек у е У при этом отобра
жении были нульмерны (чем решается еще одна задача В. И. Поно
марева). Однако остается нерешенным вопрос о построении анало
гичного примера без каких-либо предположений о. мощности
континуума.
6 (стр. 54). Естественность построения дескриптивной теории
множеств в несчетных совершенно нормальных бикомпактах стала
особенно убедительной после того, как В. И. П о н о м а р е в [7] до
казал для этих бикомпактов теорему о непустоте классов борелев-
ской классификации множеств (решив тем самым задачу, постав
ленную еще со времени написания этого Мемуара).
7 (стр. 54). Нижеследующее рассуждение в основном воспро
изводит доказательство этой теоремы, данное в 1916 г. в моей
работе [9] для бор^левских множеств.
8 (стр. 58). В любых топологических пространствах свойство
Линделёфа эквивалентно, во-первых, свойству наследственной фи
нальной компактности**), а во-вторых, следующему свойству Бэра—
Хаусдорфа:
*) Bull. Acad. Sci. Pol., ser. mathem., astron., phys. 18, No. 2
(1970), 71—74.
**) Пространство X наследственно финально компактно, если
всякое его подпространство финально компактно. При этом, если
К ГЛАВЕ II 125
ПРИМЕЧАНИЯ К ГЛАВЕ IV
1 (стр. 80). Понятие локальной компактности впервые введено
мною в работе [8].
Вопрос о том, когда множество Е «естественно назвать» биком
пактным в пространстве X , не так прост, как кажется с первого
взгляда. В. И. Пономарев предлагает называть множество биком
пактным в X, если каждая последовательность *) {*е}, 0 е 0 , точек
Х 0 е £ по любому направленному множеству 0 содержит подпосле
довательность, сходящуюся к некоторой точке х е Х , это определе
ние эквивалентно следующему: Множество Е ^ X бикомпактно в X
тогда и только тогда, когда его замыкание [Е] в X есть бикомпакт.
Эта эквивалентность нарушается (как показал А. В. Архангель
ский), если определять бикомпактность множества в пространстве
посредством точек полного накопления.
В эпоху, когда писался этот Мемуар, т. е. почти полстолетия
тому назад, теорема Больцано — Вейерштрасса (ее называли и
«принципом Больцано — Вейерштрасса») занимала в сознании ма
тематиков гораздо более значительное место, чем скромная «лемма
Бореля — Лебега»^ Поэтому и для авторов этого. Мемуара опреде
ление бикомпактных пространств посредством точек полного накоп
ления было бесспорно первым и основным среди трех эквивалентных
определений, порядок которых — А, Б, В — в формулировке основ
ной теоремы 3 гл. I как бы отражает сравнительный «вес» каждого
из этих определений. Однако дальнейшее исследование понятия би
компактности и ее последовательных обобщений заставляло все
более убеждаться в том, что основной подход к понятию биком
пактности дается открытыми покрытиями или, что то же, центриро
ванными семействами замкнутых множеств, а не точками полного
накопления: это мы прежде всего видим в таких обобщениях поня
тия бикомпактности,- какими является [а, Ь]- компактность, в част
ности, финальная компактность, Я-замкнутость (которую так и не
Yi >Y2, Yл.
таким образом, что объединение любых двух пересекающихся эле
ментов (п + 1) -го покрытия содержится в некотором элементе п -го
покрытия (при любом п = 1, 2, 3, . . . ).
Г1. С. Урысон и я воспринимали условие (А) как существенный
недостаток данного нами критерия метризуемости: наши возраже
ния вызывал тот факт, что в условие А входит некоторая определен
ная нумерация множества покрытий, превращающая это множество
в последовательность.
Но вот двадцать лет спустя после опубликования первого ре
шения общей проблемы метризации и введения (в моей работе [7])
понятия локально конечного покрытия Д ь е д о н н е [1] определяет
понятие паракомпактного пространства, сразу делающееся одним
из основных понятий общей топологии*). Это позволяет Б и н г у [1]
А л е к с а н д р о в П. С.
[1] Введение в общую теорию множеств и функции, Гостехиздат,
1948.
[2] О бикомпактных расширениях топологических пространств,.
Матем. сб. 5 (47) (1939), 403—424.
[3] О . понятии пространства в топологии, УМН 1 (17) (1947),
5—57.
[4] О некоторых новых результатах в теории топологических
пространств, полученных за последние двадцать пять лет,
УМН 15, Ко 2 (92) (1960).
{5] О некоторых основных направлениях в общей топологии,
УМН 19, Кя 6 (1964), 3—46.
[5а] К пономаревской теории абсолютов, ДАН СССР 161 (1965),
263—266.
[6] Sur les proprietes locales des ensembles et la notion de com-
pacticite, Bull. Acad. Polonaise, ser. A. 1923, 9—12.
[7] Sur les ensembles de la premiere classe et les espaces abstraits,
Compt. rend. Acad. Sci. Paris 178 (1924), 185— 187.
[8] Ueber die Metrisation der im kleinen kompakten topologischen
Raumen, Math. Ann. 92 (1924), 294—301.
[9] Sur la puissance des ensembles mesurables В , C. R. Acad. Sci.
Paris 162 (1916), 323—326.
[10] Ueber stetige Abbildungen kompakter Raume, Proc. Acad. Sci.
Amsterdam 28 (1925), 997—999; Math. Ann. 96 (1927), 555—
571.
[11] On the dimension of normal spaces, Proc. Roy. Soc. London
189 (1947), 11—39.
[12] О метризации топологических пространств, Бюлл. Польской
. Акад. наук, сер. матем., 8 (1960), 135—140.
[13] Zur Begriindung der /г-dimensionalen mengentheoretischen To-
pologie, Math. Ann. 94 (1925), 296—308.
[14] О размерности бикомпактных пространств, ДАН СССР 26
(1940), 627—630.
А л е к с а н д р о в П. С. и У р ы с о н П. С.
[1] Sur les espaces topologiques compacts, Bull. Acad. Sci. Polo
naise., ser. A, 1923, 5—8.
[2] Zur Theorie der topologischen Raume, Math. Ann. 92 (1924),
258—266.
[3] Une condition necessaire et suffisante pour qu'une classe ( L)
soit une classe (£>), C. R. Acad. Sci. Paris 177 (1923), 1274—1277.
А л е к с а н д р о в П. С. и Х о п ф ( H o p f H . )
[1] Topologie I, Berlin, Springer, 1935-
140 СПИСОК ЛИТЕРАТУРЫ
А р х а н г е л ь с к и й А. В.
[1] Аддиционная теорема для веса множеств, лежащих в биком
пактах, ДАН СССР 126 (1959), 239—240.
[2] О внешних базах множеств, лежащих в бикомпактах, ДАН
СССР 132 (1960), 495—496.
[3] О метризации топологических пространств, Бюлл. Польской
Акад. наук, сер. матем., 8, № 9 (1960), 589—595.
[4] Новые критерии паракомпактности и метризуемости произ
вольного Г2-пространства, ДАН СССР 141 (1961), 13— 15.
[5] Бикомпактные множества и топология пространства, ДАН
СССР 150 (1963), 9—12.
[6] О мощности бикомпактов с первой аксиомой счетности, ДАН
СССР 187 (1969), 967—970.
А р х а н г е л ь с к и й А. В. и Г о л ш т и н с к и й В. ( H o l s z t y n -
s k i W.)
[1] Sur les reseaux dans les espaces topologiques, Bull. Acad. Pol.
Sci., ser. math., 11, № 8 (1963), 493—497.
Б и н г (В i n g R. H.)
[1] Metrization of topological spaces, Canad. Math. J. 3 (1951),
175—186. ' «ш&г -
В е л и ч к о H. B.
[1] //-замкнутые топологические пространства, Матем. сб. 70,
№ 1 (1966), 98—112.
[2] К теории //-замкнутых топологических пространств, Сиб. ма
тем. ж. 8, № 4 (1967), 754—763.
BHeTopHc(VietorisL)
[1] Stetige Mengen, Monatsh. f. Math. u. Phys. 31 (1921).
[2] Bereiche zweiter Ordnung, Monatsh. f. Math. u. Phys. 32
(1922).
Г е л ь ф а н д И. M. и К о л м о г о р о в A. H.
[1] О кольцах непрерывных функций на топологических простран
ствах, ДАН СССР 22 (1939), 11—15.
Г е н р и к с е н и И с б е л л ( H e n r i k s e n М. and I s b e l l J. R.)
[1] Some properties of compactifications, Duke math. J. 25 (1958),
83—106.
Г и л м а н и Д ж е р и с о н ( G i l l m a n L. and J e r i s o n M.)
[1] Rings of continuous functions, Princeton, 1960.
Д а у к е р ( D o w k e r G . M.)
[1] An extension of Alexandroff’s mapping theorem, Bull. Amer.
math. soc. 64 (1951), 219—229.
[2] С. H. D o w k e r , Local dimension of normal spaces, Quart. J.
Math. Oxford (2) 6 (1955), 101—120.
Дьедонне (DieudonneJ.)
[1] Une generalisation des espaces compacts, J. math, pures
appl. 23 (1944), 65—76.
З а й ц е в В.
[1] К теории тихоновских пространств, Вести. Моек, ун-та, сер.
матем. и мех., 1967, 48—57.
[2] О некоторых классах топологических пространств и их
бикомпактных расширениях, ДАН СССР 178 (1968), 778—
779,
СПИСОК ЛИТЕРАТУРЫ
141
П о н о м а р е в В. И.
[1] Нормальные пространства как образы нульмерных, ДАН
СССР 132 (1960), 1269—1272.
[2] Аксиомы счетности и непрерывные отображения. Бюлл. Поль
ской Акад. наук 8, № 3 (1960), 127— 134.
[3] О паракомпактных и финально компактных пространствах,
ДАН СССР 141 (1962), 46—49.
[4] Паракомпакты, их проекционные спектры и непрерывные ото
бражения, Матем. сб. 60 (1963), 89—119.
[5] Об абсолюте топологических пространств, ДАН СССР 149
(1963), 26—28.
[6] О пространствах, соабсолютных с метрическими, УМН 21, № 4
(1966), 101—132.
[7] О борелевских множествах в совершенно нормальных про
странствах, ДАН СССР 170 (1966), 520—523.
[8] О мощности бикомпактов с 1-й акс. счетности, ДАН СССР
(1970) (в печати).
П о н о м а р е в В. И. и А л е к с а н д р о в П. С.
[1] О бикомпактных расширениях топологических пространств,
ДАН СССР 121 (1958), 575—578.
[2] О бикомпактных расширениях топологических пространств,
Вестник МГУ, сер. матем., № 5 (1959), 93— 108.
Поспишил (PospisilB.)
[1] Sur la puissance..., Cas. mat. a fys. 67 (1938), 89—96.
Р а у х в а р г е р И. Л.
[1] К вопросу о мощности связных множеств, УМН 2, № 2
(1947) , 195.
С е р п и н с к и й (S i е г р i n s k i W.)
[1] General Topology, 1927.
С к л я р е н к о Е. Г.
[1] О совершенных бикомпактных расширениях, ДАН СССР 137
(1961), 39—41.
[2] Некоторые вопросы теории бикомпактных расширений, Изв.
АН СССР, сер. матем., 26 (1962), 427—452.
С м и р н о в Ю. М.
[1] К теории вполне регулярных пространств, ДАН СССР 62
(1948) , 749—752.
[2] К теории вполне регулярных пространств, Уч. зап. Моек, ун-та,
сер. матем., 155, № 5 (1952), 137—155.
[3] О топологических пространствах, компактных в данном отрезке
мощностей, Изв. АН СССР, сер. матем., 14 (1950), 155—178.
[4] О нормально расположенных множествах нормальных про
странств, Матем. сб. 29 (1951), 173—176.
[5] О метризации топологических пространств, УМН 6, № 6
(1951), 100—111.
[6] О пространствах близости, Матем. сб. 31 (1952), 543—576.
[7] О метризуемости бикомпактов, разлагаемых в сумму множеств
со счетной базой, Fundam. math. 43 (1956), 387—393.
С т о у н А . (S t о n е А. Н.)
- [1] Paracompactness and product spaces, Bull. Amer. Math. S qc , 54
(1948) s 977—982,
СПИСОК ЛИТЕРАТУРЫ 143
С т о у н М. ( S t o n e М. Н.)
[1] Application of the theory of Boolean rings to general topology,
Trans. Amer. Math..Soc. 41 (1937), 375—481.
[2] On the compactification of topological spaces, Ann. Soc. Polon.
Math. 21 (1948), 153—160.
Т и х о н о в А . H.
[1] Ober die topologische Erweiterung von Raumen, Math. Ann. 102
(1929), 544—561.
[2] Ober einen Funktionenraum, Math. Ann. Ill (1935), 762—
766.
[3] Ober einen Metrisationssatz von P. Urysohn, Math. Ann. 95
(1925), 139—142.
У р ы с о н П. C.
[1] Sur la metrisation des ёэрасеэ topologiques, Bull. Acad. Polo
naise, ser. A, 1923, 13—16.
[2] Ober die Metrisation der Kompakten topologischen Raume, Math".
. . .Ann..92 (1924), 275—293.
[3] Zum Metrisationsproblem, Math. Ann. 94 ;( 1925), 309—315.
Ф и л и п п о в В.
[1] О совершенно нормальных бикомпактах, ДАН СССР 189
(1969), 36—39.
Флаксмейер (FlachsmeyerJ.)
[1] tf-abgeschlossene Raume als schwachstetige Bilder kompakter
Raume, Math. Z. 91 (1966), 336—343.
[2] Zur Theorie der tf-abgeschlossenen Erweiterungen, Math. Z. 94
(1966), 349—381.
Ф о м и н С . B.
[1] Extensions of topological spaces, Ann. math. 44 (1943), 471—
480.
Ф р е ш е ( F r e c h e t M.)
[1] Sur quelques points du calcul fonctionnel, Rend. Circ. Mat. P a
lermo 22 (1906), 1—74.
[2] Les espaces abstraits, Paris, 1926.
Ф р и н к (F r i n k О.)
[1] Compactifications and semi-normal spaces, Amer. J. math. 86,
№ 3 (1964), 602—608.
Хаусдорф (HausdorffF.)
[1] Теория множеств, ОНТИ, 1937.
Х ь ю и т т (Н е w i 11 Е.)
[1] Rings of real-valued continuous functions, Trans. Amer. Math.
Soc. 64 (1948), 45—99.
[2] On two problems of Ugysohn, Ann. math. 47 (1946), 503—
509.
Ч е р н а в с к и й A. B.
[1] Замечание к теореме Шнейдера о существовании в совершенно
нормальных бикомпактах Л-множеств, не являющихся 5-мно-
жествами, Вести. Моек, ун-та, сер. матем., 2 (1962), 20.
Ч е х (С е ch Е.)
[1] Sur la dimension des espaces parfaitement normaux, Bull. Acad.
Sci. BohSme, 1932, 1—18.
[2] On bicompact spaces, Ann. math. 38 (1937), 823—844.
144 СПИСОК ЛИТЕРАТУРЫ
Ш а н и н Н. А.
[1] О произведении топологических пространств. Тр. Матем. ив-та
АН СССР им. В. А. Стеклова, XXIV, Изд-во АН СССР, 1948.
Ш н е й д е р В. Е.
[1] Непрерывные образы суслинских и борелевских множеств,
ДАН СССР 50 (1945), 77—79.
Шпильрайн (SzpilrajnE.)
[1] Заметка о декартовых произведениях топологических про
странств, ДАН СССР 31, Ко 6 (1941), 525—527.
Щ е п и н Е.
[1] О пространствах, близких к нормальным, и их бикомпактных
расширениях, ДАН СССР 191 (1970), 295—297.
Энгeлькинг(EngelkingR.)
[1] On the double circonference of Alexandroff, Bull. Acad. Polon.
Sci., ser. Math., 16 (1968), 629—637.
Ю x a о (J u h a s z I.)
[1] M artin’s Axiom Solves Ponomarev’s Problem, Bull. Acad. Polon,
Sci., ser. Math., 18, № 2 (1970), 71—74.