Академический Документы
Профессиональный Документы
Культура Документы
АЛЕКСАНДРОВ
ИЗБРАННЫЕ ТРУДЫ
РЕДАКЦИОННАЯ КОЛЛЕГИЯ:
Л. Н. КОЛМОГОРОВ —главвый редактор,
А. А. МАЛЬЦЕВ, Л. С. ПОНТРЯГИН. А. Н. ТИХОНОВ
МОСКВА «НАУКА*
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТ УРЫ
1978
П. С. АЛЕКСАНДРОВ
ТЕОРИЯ ФУНКЦИЙ
ДЕЙСТВИТЕЛЬНОГО
ПЕРЕМЕННОГО
И ТЕОРИЯ
ТОПОЛОГИЧЕСКИХ
ПРОСТРАНСТВ
МОСКВА «НАУКА»
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
4978
22.161.5
А 46
УДК 517.5
...UB&U..
1
е п» e l,
V
е г»» ■• •
1 . О М О Щ Н О С ТИ М Н О Ж Е С Т В , И З М ЕР И М Ы Х П О В О Р Е ЛЮ 37
е<|2> *• •* •••
все множества второй строчки таблицы (г), подчиненные множеству
eti. После этого все множества второй строчки таблицы (е) обозна
чаются через «ijjj. где Ц, I, пробегают все целые положительные
значения.
В предположении, что все множества n-й строки таблицы (с)
записаны в виде elllf . , , i n, мы обозначаем все множества (л -(- <)-й
строчки таблицы (е), подчиненные данному множеству eiji,
через
«ill, —lni* eii*2 "in*’ • • *• еШг "**n»n+i* • • *
Таким образом вся таблица (*) записывается в обычном виде
А -системы.
Свойство 5) первоначальной таблицы (е) при этом ио находит
применения. Это свойство оказывается существенным лишь при
доказательстве самой теоремы о мощности,— П. С. Александров.
См. также комментарии А. Н. Колмогорова на с. 173—174.
I
2
КОМПАКТНЫЕ
ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА *)
КОММЕНТАРИЙ
Статья представляет собой первую публикацию исследований
авторов, составивших иринесшвй им широкую известность «Мемуар
о компактных топологических пространствах», опубликованный
значительно позже (МётЫге sur les espaees topologiques compacts.—
Verb. kon. Akad. W et., 1929, 14, № 1, c. 1—96; последнее русское
издание: M.: Наука, 1971).
Все упоминающиеся п заметно примеры и доказательства сфор
мулированных теорем можно найти в Мемуаре.
*) Как и во всех публикациях того времени, под топологическим
пространством поппмается всегда хаусдорфово пространство.
*) В современных публикациях — //-замкнутым.
а) В оригинале приводится посколько иная формулировка
теоремы. Доказательство, приведенное в цитированном выше
Мемуаре, проходит лишь для приведенного здесь утверждения.
44 2. К О М П А К Т Н Ы Е Т О П О Л О Г И Ч Е С К И Е П Р О С Т Р А Н С Т В А
КОММЕНТАРИЙ
Работа представляет собой предварительный вариант статьи
автора из Matn. Ann. «О метризации локально компактных тополо
гических пространств» (настоящий том, с.95—104). Здесь впервые
в явной форме появляются локальные топологические понятия,
играющие сейчас фундаментальную роль в математике. Кроме
того, здесь впервые устанавливается тот факт, что класс бикомпакт
ных пространств совпадает с классом регулярных Я-замкнутых
пространств.
4
КОММЕНТАРИЙ
*) Как и во всех работах того времени, под топологическим
пространством понимается всегда хаусдорфово пространство. Дан
ное определение является, по существу, определением базы про
странства в точке — Прим. ред.
*) Эго условие, введенное впервые в данной работе, принято
называть теперь условием правильной вписанности системы Пг
в систему П,. Выражение же «система П, вписана в систему П1»
сейчас понимают следующим образом: для каждого У2 £ П, суще
ствует К, 6 Г1| такое, что V’* сг У,. Понятие правильной вписанности
одного семейства множеств в другое явилось прототипом одного
из важнейших понятий теоретико-множественной топологии —
понятия звездной вписанности одного семейства множеств в дру
гое — и потому лежит у истоков современной теории паракомпакт-
ных пространств.— А. В. Архангельский.
3) Регулярные полные цепи покрытой называются сейчас
измельчающимися последовательностями.— Прим. ред.
*) Имея в виду так называемую большую теорему Стоуна,
критерий Александрова — Урысона может быть, очевидно, сформу
лирован так: для того чтобы топологическое пространство было
метрпаувмым, необходимо и достаточно, чтобы оно было няраксм-
пактом, допускающим счетную измельчающуюся систему открытых
покрытий. Критерий Александрова — Урысона, важный и богатый
в идейном отношении, послужил основой многих усовершенство
ваний (А. X . Стоун, А. В. Архангельский, Ю. М. Смирнов,
Р. Синг).— А. В. Архангельский.
*) Trans. Агаег. Math. Soc., 1917, 18, с. 161. Неотрицательная
симметрическая вещественная функция р: Е X Е -*■ Я называется
о т к л о н е н и е м , если р (*, у) = 0 тогда и только тогда, когда
х «= у. Отклонение р регулярно, если существует неотрицательная
вещественная функция / ((), определенная при t 0, стремящаяся
к нулю при I -«О и такая, что для любых трех точек х, у, z про
странства, удовлетворяющих условиям р (х, у) ^ t, р (у, г) < /,
всегда выполнено р (х, *) < / ( / ) . Речь идет о следующей теореме
Читтендена: Если в топологическом пространстве Е можно задать
регулярное отклонение р, определяющее топологию этого простран
ства в том смысле, что х £ [А] эквивалентно условию р (х, А ) = 0для
любых х £ Е, A S Е, то пространство меТрпзуемо,— Прим. ред.
5
О МНОЖЕСТВАХ,
ДОПОЛНИТЕЛЬНЫХ Л-МНОЖЕСТВАМ *)
удовлетворяющие условию
G.<х),ш Э*•
Ч ** ■"
Тогда ии один из интервалов . . . 4°’), опреде
ленных равенством (1), не является интервалом [г1*' 4*’ • • ■
. . . й**]. Стало быть, х & G w .,о> .<о>, каково бы ни
•i ;i " . ’г
было г, что означает х f /?,<<»,»♦> .<о> Для любого г, следо- *
*| *2 *,,,Г
вательно, х 6 X , вопреки нашему предположению, что
х 6 У* Мы доказали, таким образом, что У Е U.
Предположим теиерь, что существует точка х £ U,
принадлежащая множеству X. Это означало бы существо
вание последовательности
•••, F{(0^(0) j » ) , . , ,
для которой
: е П ^1;°ч;о,...4 о>.
k=l • 1
Следовательно,
оо
1<9>1
' б I I *1 ’* •••‘k
и точка
:I0 >
Ь = (< № *к . . . )
не покрыта никаким интервалом . . . <а‘>], вопреки
тому, что x £ U .
Итак, 1 / с У и, следовательно, V = У.
Наше условие является, таким образом, необходимым.
ь. О М Н О Ж ЕС ТВ А Х, Д О П О Л Н И ТЕЛ Ь Н Ы Х А -М Н О Ж Е С Т В А М 57
ОБ ЭКВИВАЛЕНТНОСТИ ПОНЯТИЙ
ИНТЕГРАЛА ПЕРРОНА И ДАНЖ УА *)
Ясно, что
1. F (л) — непрерывная функция на всем отрезке
я ^ х ^ Ь с начальным значением F (а) = 0.
•] Опубликовано » Math. Z., 1924, 20, с. 213—217, под ааголов
ком оtile r die Aquivalenz des Perronschen und Denjoysclien Intcgral-
‘'egriffes». Перевод с немецкого В. И. Пономарева. Об интеграле
Перрона ем. [1]—13], об интеграле Д апжуа см. ]4] и [5].
во 6 Э К В И В АЛ ЕН ТН О С ТЬ И Н ТЕГРАЛ О В П ЕР Р О Н А И Д А Н Ж УА
2 co*+p<e.
р-1
Построим на каждом отрезке а „ ^ х ^ Ьп ^--присоеди-
пеппые верхние функции ф„(х), ф„(а„) = 0, к функциям
F (х) — F (а„). Пусть Й„ (х) — колебание ф„ (х) на интер
вале (а„, х), х ^ Ьп. Так как, очевидно, ып равно колеба
нию функции F (х) на интервале (а„, Ьп), то
0<Й„(Ь»Кю„4-у,
00
и поэтому сходится ряд 2 (Ьп) (и тем более сходится
П*— ‘1
оо
ряд 2 й п { х ) , а „ ^ х < Ь „ ).
П=1
Выбираем теперь е-присоединенную к функции F0 {х )
верхнюю функцию ф0 (х) на всем отрезке а ^ х ^ Ь и
54 в. Э К В И В А Л Е Н Т Н О С Т Ь И Н Т Е Г Р А Л О В П Е Р Р О Н А Н Д АНЖ УА
определим, наконец,
N
2 <0„<2А S ( * „ - a n) + 2 ( р ( М - р ( а п)) +
п*=1 п=1 п=1
+ 2 (о(Ьд) - ( т ( « п) ) <
П=1
< 2МЬ - а) + (р (Ь) - р (а)) + (а (Ь) - а (а)),
оо
(* » £ ♦ * (* ){ эо<
+т 2 Г »(W>+У <*+*>
р—1
для достаточно малых А *).
Так как первый член суммы (при достаточно малом А)
положителен и больше любого наперед заданного числа,
а другой член неотрицателен, то во всех точках множест
ва П производная ф' (лг) существует и равна -f-oo.
Разбирая аналогичным образом случай х = ап (соот
ветственно случай х =■ А„), получаем
D ф (i) > />ф„ (х).
Таким образом, ф (т) — присоединенная верхняя функция
к функции F (л).
Теперь мы достигаем желаемого противоречия, оценив
значение ф (А). Мы находим:
N <*>
Ф (А) = К (А) + 2 Ф" (&п) + 2 № n +P + Фк+р (&К*р)) ™
4=1 р—1
(В — £
С другой стороны,
Г (5 )-<Р'(5) + Р' (1)<Ф' (1)4-з5г </(1)+ЪГ-
Таким образом,
так как
/< в -Ё г < # " < э < т + - Е .
Но это вступает в противоречие с определением множест
ва Е , содержащего точку |.
Таким образом, доказательство эквивалентности интег
ралов Перрона и Дапжуа полностью завершено.
Гёттинген,
14 июня 1923 г.
ЛИТЕРАТУРА
(1) Perron О. Ober den Integralbegriff,— Heidelberger Sitzungsbe-
rielite, M ath.-nat. K l. Abt., A, 1914, 14 Abk.
[21 Bauer H. Der Pemmsehe Integrallbegriff und seine Beziehung zum
Lebesgueschen.— Monatsh. Math. Pnys., 1915, 26, c. 153—198.
[3] Паке II. Uber de la Vallee Poussins Ober- und Unterfunktionen
einfacher Integrale und die Iutegraldef Ini lion von Perron.— Math.
Ann., 1921, 83, c. 119-142.
[4] Denjoy A. Une extension de l ’intdgrale de M. Lebesgne.— C.r.
Acad. sci. Paris, 1912, 154, c. 859—862.
[5] Denjoy A . Calcul de la primitive de la fonction d6riv6e la plus gene-
rale.— C.r. Acad. sci. Paris, 1912, 154, c. 1075-1078.
[6] Лувин H. П. Интеграл и тригонометрический ряд,— М.; Л.,
1951.
[7] Lutin N. N. Sur les ргоргШёз de I’lntSgrale de M. Denjoy.— C.r.
Acad. Sci. Paris, 1912, 155, c. 1475-1477.
[8] Denjoy A . Memoire sur la totalisation des norabres derives non
summables.— Ann. Ec. Norm. Sup., (3), 1916, 33, c. 127—1C8.
[9] Denjoy A. Memoire sur les nombres derives des fonctions conti
nues.— J . math. put. appl. (7), 1915, 1, c. 105—240.
7
О МНОЖЕСТВАХ ПЕРВОГО КЛАССА
и АБСТРАКТНЫХ ПРОСТРАНСТВАХ *)
КОММЕНТАРИЯ
Как известно, неполное метрическое пространство может быть
гомеоиорфпо полному метрическому пространству (например, про
странство иррациональных чисел гомеоиорфно бэровскому про
странству счетного веса). Основным результатом этой заметки
является доказательство того, что сепарабельное метрическое про
странство гомеоморфпо полному метрическому пространству тогда
в только тогда, когда оно в некотором (а тогда и в любом) ком
пактном (а впрочем, даже в полном) метрическом пространстве
топологически содержится в качестве множества типа С6. Эта теоре
ма автоматически переносятся на любые метрические (нс только
сепарабельные) пространства.
Эта заметка П. С. Александрова оказала колоссальное влияние
на развитие общей топологии. Так, ко всему прочему, в вей опре
деляется понятие локально конечного покрытия, заново примененное
(в 1944 г.) Дьедоппе при выделении важнейшего в общей топологии
и ее приложениях класса паракомпактных пространств. Следует
заметить, что фактически в заметке П. С. Александрова доказы
вается (в современной терминологии) паракомпактность любого
сепарабельного метрического пространства. Только в 1948 г.
А. X. Стоуном была доказана паракомпактность любого, не обяза
тельно сепарабельного, метрического пространства. В заметке
П. С. Александрова дается также критерий гомеоморфности метриче
ского пространства полному метрическому пространству в терминах
существования баз определенного вида, что послужило в дальней
шем выделению этого свойства баз и выделению класса пространств,
которые в настоящее время называются базпеио компактными.
С другой стороны (и это, пожалуй, самое главное), основная теоре
ма этой заметки послужила основой для определения Э. Чехом
так называемой полноты в смысле Чеха: тихоновское пространство
полно в смысле Чеха, если оно является множеством типа в неко
тором (а тогда п во всяком) своем хаусдорфовоы бикомпактном
расширении. Для метризуомых пространств это дает новый критерий
гомеоморфности полным метрическим пространствам. 3. Фролик
и А. В. Архангельский дали внутренний критерий полноты в смысле
Чеха. 3. Фролик охарактеризовал полные в смысле Чеха параком
пакты как совершенные прообразы'полпых метрических пространств.
Наконец, А. В. Архангельский, основываясь на понятии полноты
в смысле Чеха, определил р-пространства и доказал, что пяракои-
иактпые р-иространства — это в точности совершенные прообразы
метрических пространств. Все это послужило канвой для много
численных исследований в направлениях, которые с полный осно
ванием можно считать магистральными во всей общей топологии.
В, И. Пономарев
8
к ТЕОРИИ ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ •)
т о ч к о й п о л н о г о н а к о п л е н и я множества
лежащего в 91, очевидно, имеем следующую теорему.
Т е о р е м а 10. Д ля того чтобы топологическое прост
ранство 9} было компактным, необходимо и достаточно,
чтобы было выполнено одно из следунпцих трех условий
(а тогда и все три):
А 0. Каждое с ч е т н о е множество 9К. лежащее
в пространстве 9?, имеет точку полного накопления.
В 0. Каждая убывающая с ч е т н а я последователь
ность в SR замкнутых непустых множеств имеет непустое
пересечение.
С0. Если пространство 91 представлено в виде объедине
ния с ч е т н о г о множества открытых множеств, то
оно содержится в объединении конечного числа этих откры
тых множеств.
Теперь остается доказать следующее предложение:
Т е о р е м а I. Следующие три свойства А, В, С экви
валентны друг другу (т . е. каждое топологическое прост
ранство 91, обладающее одним из этих свойств, обладает
также и двумя другими):
A. Каждое бесконечное множество 9R, лежащее в про
странстве 9?, имеет точку полного накопления.
B. Каждое вполне упорядоченное убывающее множество *)
замкнутых непустых множеств *) имеет непустое пересе
чение.
C. Если пространство 9? предепшвлено в виде объеди
нения системы (любой мощности) своих открытых мно
жеств, то оно содержится в объединении конечного числа
открытых множеств этой системы **).
Эквивалентность условий В и С доказывается без
особого труда посредством формального рассмотрения
пересечений, объединений и дополнений.
Заменив значком => слово «следует», докажем прежде
всего, что С =*►А. Предположим противное, пусть сущест
вует бесконечное множество W п некоторая окрестность
U0 (х) каждой точки х пространства 9J такие, что
I ® П *М*) I < I « I .
*) Это множество в дальнейшем будет обозначаться через ©.
**) В различных других предположениях (не в топологических
пространствах) аналогичная теорема доказывалась Муром ((3)),
Фреше (|41), Серпинским ([5]) и другими.
8. К Т Е О Р И И Т О П О Л О Г И Ч Е С К И Х П Р О С Т Р А Н С Т В 77
п
Открытое в Ж множество а к и 1^1 содержит только
i=l
одну-единствепную точку которая, таким образом, изо
лирована в Ж, что и требовалось доказать.
Теперь легко доказать следующую теорему:
Т е о р е м а III. Пусть ЗЛ — произвольное бесконечное
подмножество абсмютно замкнутого пространства Ж;
тогда существует такая точка что \ [U (|)] |~| I=
= | ЗК |, где U ( |) — любая окрестность точки £.
Этими теоремами достаточно четко устанавливается
аналогия между абсолютно замкнутыми и бикомпактными
пространствами. Можно даже сказать, что абсолютно
замкнутые пространства « п о ч т и б и к о м п а к т ы».
Имеются, однако, абсолютно замкнутые пространства,
которые даже пекомпактвы.
4. Чтобы выделить из абсолютно замкнутых про
странств бикомпактные пространства, мы вводим следую
щие понятия:
1. Точка £ называется т о ч к о й р е г у л я р н о
с т и пространства Ж. если для каждой окрестности
U (I) существует такая окрестность V (£), что [V (|)1 с.
с U (1).
2. Топологическое пространство, состоящее только
из регулярных точек, называется р е г у л я р н ы м .
8. К Т Е О Р И И Т О П О Л О Г И Ч Е С К И Х П Р О С Т Р А Н С Т В 81
С другой стороны,
1. Существуют абсолютно замкнутые некомпактные
(естественно, нерегулярные) пространства, удовлетворяю
щие даже второй аксиоме счетпости.
2. Существует компактное регулярное пространство,
не являющееся б-замкнутым.
Однако,
2'. Каждое компактное пространство замкнуто по
отношспию к регулярный б-точкам.
2". Существует некомпактное регулярное пространство,
замкнутое по отношению к регулярным б-точкам.
3. Существует некомпактное i-замкпутое регулярное
пространство.
Далее получается:
Т е о р е м а VII. Д ля того чтобы нормальное прост
ранство было компактным, необходимо и достаточно,
чтобы оно было i-замкнутым.
Теорема VII справедлива в более общей форме. Имен
но, достаточно только предположить, что любое замкну
тое множество F может быть отделено от каждой счетной
расходящейся последовательности D (которая ие имеет
общих точек с F) посредством непересекающпхся откры
тых множеств Gp и GD, содержащих соответственно мно
жества F и D; если это условие в пространстве 9R выпол
нено, то для пространства Я понятия i-замкнутостм и ком
пактности эквивалентны.
При доказательстве упомянутой теоремы приходится
для некоторой расходящейся счетной последовательности
*1, ^2' • • м •••
строить окрестности
Н) U0 (xj), U0 (xj), . . Uо (хп), . . .
таким образом, чтобы были справедливы следующие
равенства:
W0(*,)1 n = л при
i-l i= l
a это делается без большого труда на основе упомянутого
предположения об отделимости,
е*
84 6, К Т Е О Р И И Т О П О Л О Г И Ч Е С К И Х П Р О С Т Р А Н С Т В
= и
i—n+l
tfo ta )-
ЛИТЕРАТУРА
КОММЕНТАРИЙ
р
Этой работой началась подробная публикация результатов
исследований авторов (после нескольких коротких заметок), соста
вивших Мемуар (2|. Но мемуар был опубликован лишь 5 лет спустя,
в мировая математическая общественность смогла познакомиться
С новой областью исследования и должным образом оценить ее
именно но этой и двум следующим работам.
>) Имеется в виду следующее: каждому s £ @ поставлено
в соответствие замкнутое множество F s пространства так, что
Fe' a F , при » < Прим, rupee.
*) По поводу этого см. примечание 14 на стр. 122 последнего
издания Мемуара [2].
®) Все пространства, рассматриваемые в работе, хаусдорфовы.
Сейчас абсолютно замкнутые пространства чаще называют //-замк
нутыми пространствами.— Прим, перее.
*) Это означает в современной терминологии, что точка | имеет
счетный характер в 91.— Прим, персе.
*) Т. е. топка £ имеет счетный псевдохарактер в 91.— Прим,
перее.
9
О СТРОЕНИИ БИКОМПАКТНЫХ
ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ ♦)
ЛИТЕРАТУРА
[1| Alexandroft Р., Vrysohn Р. Zur Theorie der topologischen Riiu-
me.— Math. Ann., 1924, 92, c. 258—266. Русский перевод:
наст, кн., с. 75—85.
|2) Hausdorfl F. Grundziige der Mcngcnlehre.— Leipzig, 1914.
Русский перевод: Хаусдорф Ф. Теория множеств.— М.: ОНТИ,
1937.
(3] Alexandrofl Р., Urysohn Р. M4moire sur les espaces topologiques
compacts. —Verb. kon. Akad. W et., Amsterdam, 1929, 14, № 1,
c. 1—96. Русское издание: Александров П. С., Урысон П. С.
Мемуар о компактных топологических пространствах.— М.:
Наука, 1971.
14] Alexandrof] Р. Surle puissance des ensembles (В).— C.r. Acad. sci.
Paris, 1916, 162, c. 323—325. Русский перевод: наст, кн.,
с. 35—39.
[5] Soutlin М. Sur une definition des ensembles tnesurable (B) sans
nombres transfinis.— C.r. Acad. sci. Paris, 1917, 164, c. 88—90.
КОММЕНТАРИЙ
*) В оригинале — характер пересечения (Dorchscliniltscharak-
ter). — Прим, перев.
*) Такие системы называются теперь центрированными.—
Прим, перев.
*) Нормальные пространства, удовлетворяющие этому усло
вию, называются теперь совершенно нормальными.— Прим, перев.
*) Вопрос полностью решен А. В. Архангельским; см., напри
мер, книгу Александров П. С., Пасынков Б . А . Введение в теорию
размерности.— М.: Н аука, 1973.— Прим, перев.
*) В настоящее время можно считать доказанным, что совер
шенно нормальные онконпактныо пространства образуют класс
топологических пространств, в котором естественно строить дескрип
тивную теорию множеств.— Прим. ред.
10
О МЕТРИЗАЦИИ
ЛОКАЛЬНО КОМПАКТНЫХ ПРОСТРАНСТВ *)
i
10, О М Е Т Р И З А Ц И И Л О К А Л Ь Н О К О М П А К Т Н Ы Х П Р О С Т Р А Н С Т В 101
ЛИТЕРАТУРА
|1] Alexandrojf Р. С be г die Struktur der bikompaklen topologischen
Raume.— Math. Ann., 1924, 92, c. 267—274. Русский перевод:
паст, кв., с. 86—94.
12] Alexandrojf Р., Urysohn Р. Zur Theorie der topologischen Rau
me.— Math. Ann., 1924 , 92, c. 258—266. Русский перевод:
наст. кн.. с. 75—78.
[3] Urysohn Р. Ober die Metrisation der kompakten topologischen
Raume.— Math. Ann., 1924, 92, c. 275 —293.
[4] Hausdcrfj F. Grundzflge der Mengelehre.— Leipzig, 1914. Русский
перевод: Хаусдорф Ф. Теория множеств.— Мл ОНТИ, 1937.
15] Alexandrojf Р ., Urysohn Р. Une condition necessaire et Buffi sente
pour q’une classe (L) soit une classe (D).— C.r. Acad. sci. Paris,
1923, 177, c. 1274—1276. Русский перевод: наст, к в., с. 50—52.
1®1 Alexandrojf Р.. Urysohn Р. Memoire sur les eapaces topologlqties
compacts.—Verh. kon. Akad. W et., Amsterdam, 1929, 14, № 1,
c. 1—96. Русское издание: Александров П . С., Урысон П. С.
Мемуар о компактных топологических пространствах.— М.:
Наука, 1971,
104 10. О М Е Т Р И З А Ц И И Л О К А Л Ь Н О К О М П А К Т Н Ы Х П Р О С Т Р А Н С Т В
КОММЕНТАРИЙ
1) В оригинале локальная бикохиактность носит незнание
бикомпактности в малом (im Kleinen). Мы и в дальнейшем будем
придерживаться современной терминологии, в частности, термин
«характер пересечения* (Durchschnittscharakter) переводить как
«псевдохарактер».— Прим, перев.
*) Это свойство называется сейчас свойством Суслина.—
Прим, перев.
9) Т. е. пространство сепарабельно, — Прим, перев.
*) Имеется в виду система окрестностей, являющаяся базой
топологии.— Прим, перев.
*) Т. е. эта система точечно с чети а или имеет кратность »„
и современной терминологии,— Прим, перев.
,1
и
ОБ ОБОСНОВАНИИ п -МЕРНОЙ
ТЕОРЕТИКО-МНОЖЕСТВЕННОЙ ТОПОЛОГИИ **)
• •м it ! ifc. (n+1)
следовательно *),
(• + 1)1
........** “ .......<J = U ......... «V«*J =
(П + 1)!
= U .......< * . w
(n+l)l
После этого равенство Л — Rit следует прямо из
£=i
условия (с) основной теоремы.
ОС
Л е м м а 2. Множество Л*,.......<к состоит только
1 -1
из одной точки 5 i„ . . ih.......
Но условиюД(Ь) это множество во всяком случае
непусто; если бы оно содержало две различные точки £ и ц,
то любая окрестность точки £ по условию (d) содержала бы
(8 ) эе™, 2 Г .........з е Г ,. . .
(9) i (n>, х Г ........«."Ч ...
суть абстрактно данные спектры.
И . О В О Б О С Н О В А Н И И n-М Е Р Н О Й Т О П О Л О Г И И ИЗ
V. Топологическое определение
п -мерного сферического пространства
10. О п р е д е л е н и е 5э абстрактного
л-м е р н о г о с ф е р и ч е с к о г о спектра
/о \ *(«) *(*)9 **(«)
2 i • • •»
*(n) *
отличается от определопия 5 обычного спектра только
тем, что начальная сеть в определении 5 состоит из един
ственного остова Г,П), а здесь пачальпая сеть 1 $ ’ состоит
из п + 2 остовов Г1"', . . Г^.’г, объединение которых
содержит ровно л 2 различных элементов.
Заменяя в предположениях основной теоремы слово
«спектр» словами «сферический спектр», мы получаем тоно-
логическое пространство /?0 , гомеоморфпое л-мерному
сферическому пространству (т. е. сферической поверх
ности . . . -f- = 1), Это пространство мы будем
называть л-м е р н ы м с ф е р и ч е с к и м много
о б р а з и е м . Доказательство остается буквально тем же
(нужно только сферическое пространство рассматривать
как л-мерную границу (л + 1)-мерного симплекса). Мы
получаем таким образом параллельное определение обенх
основных понятий: сферического и элементарного про
странства.
Наконец, топологическое пространство гомеоморфно
п-мерному евклидову пространству тогда и только тогда,
когда оно присоединением одной-едипствеиной точки пре
вращается в сферическое пространство, только что опре- ^
деленное абстрактно *).
ЛИТЕРАТУРА 1
[1] Tietie Н. Beitrage zur allgemoinen Topologic, T.— Math. Ann. j
1923, 88, c. 290 -3 1 2 .
|2] Urysohn P. О her die Metrisation der kompakten topologischen
Ratime.— Math. Ann., 1924 , 92, c. 275—293.
[3] Alexandra)/ P U r y t o h n P. Zur Theorie der topologischen
Raumc.—Math. Ann. 1924, 92, c. 254 —266. Русский перевод:
наст, кн., с. 75 85.
[4] Alexandraff Р. Ober die Metrisation der iiu Kleinen kompakten
topologischen Raurae.— Math. Ann., 1924, 92, c. 294—301.
Русский перевод: наст, кн., с. 95—104.
[5] Brouwer L. Ober Abbildungen von M anuigfaltigkeiten.— Math.
Ann., 1912, 71, c. 9 7 -1 0 6 .
КОММЕНТАРИЙ
Работа посвящена решепто важной задачи топологии тех лет —
абстрактной характеризации л-мериого элемента (пространства,
гомеоморфного л-мерному геометрическому замкнутому симплексу
Тп) и л-мерного сферического пространства (гомеоморфного грани
це (л + 1)-мерного симплекса Гп+1).
Работа известна еще и тем, что в ней впервые дается общеприня
тая в настоящее время форма определения топологического про
странства посредством выделеипя открытых множеств (которые
в соответствии с терминологией тех лет называются в работе обла
стями).
Мы сохранили в работе терминологию (сети, остовы) автора,
поскольку трудностей в понимании статьи она не представляет,
а представляет в то же время значительную историческую ценность.
') Очевидно, имеется в виду то, что сейчас называется абстракт
ным симплнциальпым комплексом.
*) Речь идет, как легко видеть, о понятии барицентрического
подразделения (или барицентрической производной) абстрактного (
комплекса.
а) Это и есть первое определение (хаусдорфова) топологического
пространства посредством открытых множеств, о котором гово
рилось выше.—Прим. ред.
---- - ----- '
-
12
СИМПЛИЦИАЛЬНЫЕ АППРОКСИМАЦИИ
в ОБЩЕЙ ТОПОЛОГИИ *)
I. л-мерные комплексы
1. Под к о м п л е к с о м размерности ^л
мы понимаем (заданную абстрактно) систему из симплек
сов размерности <га, каждые два из которых или не пере
секаются, или пересекаются по общей грапп ****). Если
при этом один симплекс является /(-мерным, а другой д-мер-
ным, р <z g, то g-мерный симплекс (может содержать
p-мерный в качестве одной из своих граней.
Комплекс размерности < л называется л-м е р н ы м,
если среди его симплексов найдется хотя бы один и-мер-
ный.
•) Опубликовано в Math. Ann., 1926, 96, с. 489—511, под
заголовком «Sinipliziale Approximationen In der allgemeinen Topo-
logie». Перевод с немецкого В. В. Агароняиа.
*•) По поводу общей теории размерности см. (помимо откры
вающего ату область исследований краткого сообщения Брауэра
|1|) работы И. С. Урысона [2]—[3) и К. Ментора [4), [5).
***) См. предыдущее примечание. Особое значение для всего
последующего имеет глава 5 мемуара (3) П. С. Урысона.
* * " ) При атом под нульмерной гранью понимают вершину.
120 12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И
* 1 , 1 .. * 2.V **•» •”
цепь, соответствующую точке у. то видно, что у тогда и
только тогда принадлежит окрестности Um(x)> когда
£ , ., £„ , , £ . содержатся соответственно в S. ,
»*/! '$ т>Jfji * **
5 2»х.*, . . . . £ я*»*.уц.
Следовательно, справедливо следующее правило:
т-я окрестность точки ж состоит из тех точек, соответ
ствующие ценя которых в качестве своих первых т эле
ментов имеют (собственные или несобственные) подэле
менты элементов цепи, соответствующей точке х.
Таким образом, с помощью последовательности (20)
наша окружность действительно определена как топологи
ческое пространство. Понятие «топологической аппрокси
мации» окружности комплексом приобретает точный и пол
ностью совпадающий с нашим интуитивным представле
нием смысл.
Теперь мы хотим показать, что тот же смысл вклады
вается в понятие топологической аппроксимации любых
компактных метризуемых пространств.
и
(5*) S 2.h,* S m,hm •••
суть две цепи, первые г элементов которых содержатся
(в том же порядке) в соответствующих элементах цепи (4),
соответственно цепи (5), то для каждого т > s имеем
*-К n s , »• к
= л.
При этом две цепи называются различными, если по мень
шей мере для одного т различны их т-в элементы.
8. При выполнении условий 1°—4° аппроксимирующий
спектр однозначно определяет пространство R (аппрокси
мируемое этим спектром) следующим образом:
Каждую цепь (4) спектра будем называть « т о ч к о й
п р о с т р а н с т в а Я»
( 6) 2. it
* « v - »
симплекс S m, ы будем называть т-й к о о р д и н а т о й
т о ч к и х, а т-я о к р е с т н о с т ь точки х состоит
по определению из тех точек
(7) y — (S l , i , ‘ S 2,),> т>1г
у которых все без исключения первые т координат содер
жатся *) в соответствующих координатах точки х : при
к < т выполнено включение
(8) Мь
9. Имеет место
S m - hm <=iS “ - ‘л. и S m ’ hm с
im = C
и получим, таким образом, на основе тождеств (14) отме
ченную последовательность
(4) •••» $т, «т , •••
Я утверждаю теперь, что эта последовательность есть
цепь.
В самом деле, если бы это было не так, то можно
было бы в (4) некоторый элемент Sm,im заменить на боль
ший злемонт <Sm,rm так, чтобы получилась отмеченная
последовательность
(4') S*.<.«••••
Но тогда и последовательность
(4;> ». 1Г* *^2, - я», ь-’ ^
W "m+I.C+l* •••
била бы отмеченной, т. е. элемент S m.4m был бы непра
вильно выбран.
Свойство последовательности (4) быть цепью н суще
ствование точки
(С) х ~ (*^1,1,1 $2, «,»•••.
этим доказано.
Теперь мы видим, что для каждого т найдется
бесконечное множество точек х* (см. (1 1 )), которые
® П. С. Александров, т. I
i3 o 12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И
m, i!<Т) 1 i.о
^_ f, m .
И1
А это означает, что х есть предельная точка множества (11).
Этим доказана компактность пространства R.
Чтобы теперь показать, что R является не только
компактным, но и метризуемыи, достаточно согласно
известной метризационной теореме Урысона доказать, что
R удовлетворяет второй аксиоме счетности. Для этого
рассмотрим любую заданную с помощью (6 ) точку х про
странства R и ее произвольную окрестность Um(x).
Um (х) является множеством тех точек пространства R,
первые т координат которых по порядку содержатся
в S t I., S 2 t , . . S m i . Следовательно, каждая окрест-
ность Um (х ) полностью определена заданием упорядочен
ного множества натуральпых чисел llt i s, . . ., t m.
Но поскольку множество конечных последовательностей
натуральных чисел счетно, то счетным является и мно
жество всех различных Um (х), чем доказана метризуе
мость пространства R.
Начиная с этого момента, под R понимается компакт
ное метриэуемое пространство.
12. Рассмотрим вначале случай, когда спектр (2
является конечномерпым (скажем, га-морпым), и дока
жем, что тогда и R является не более чем п-мерным.
Доказательство основывается на одной принадлежащей
Урысону фундаментальной теореме теории размерности.
Чтобы сформулировать эту теорему в удобной для
нас форме, введем следующее вспомогательное опреде- •
ление.
Пусть е есть произвольное положительное число
а р — натуральное число. Конечную систему замкнутых
множеств
F i , F t , . . ., F t ,
лежащих в метрическом пространстве, назовем (е, р)-ц о - \
к р ы т и е м пространства R, если выполнены следую- I
щие условия: *
12. А П П Р О К С И М А Ц И И В О В Щ Е Й Т О П О Л О Г И И 131
(24) Ф” П Ф П П . . . Г ) Ф , > Ф [ 5 ]
не является пустым (при этом для s > v m все Ф™ по опре
делению предполагаются пустыми). Непосредственно
ясно, что вместе с симплексом S и каждая грань симплек
са S принадлежит комплексу Ят и, таким образом,
Удовлетворяет приведенному в § 1 условию полноты *).
14. Последовательность определенных таким образом
л-мерных комплексов превращается в n-мерный спектр
при следующем условии:
Пусть
&т. It ^тв, 2» •••» Хщ
134 12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И
(29) П im]
m=»l
содержит одну II ТОЛЬКО одну точку *i|efe..... im, ....
В самом деле, поскольку (28) есть отмеченная последо
вательность, то пн одно из замкнутых множеств F m =
т
= О <к] не является пустым, и, следовательно,
*=1
поскольку Fm ^> F m+i, то по теореме пересечения Кан
тора, справедливой для всех компактных пространств,
пересечение всех множеств Fm непусто. Множество (29)
не может содержать более одной точки, поскольку б (ФГ).
а следовательно, б (ФП,т im\) и 6 (Fга) стремятся к нулю
вместе с 1 /т .
Пусть теперь (28) и
( 30) ■^1, J.» ^ 2 , U ' • • • »
12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И 135
ф[гЧ . ч 1иФ [* Ч . * 1
(/с = 1 , 2 , . . . ) и потому должны совпадать:
(31*) х<-. *........ . = X = X ii..i........ уш'
Ф, с: Ф is,т , ). - П ф " .
’ s=i ’а
Но
У. Заключение , .
19. Итак, любое топологическое свойство комиактного
метрического пространства может быть всегда выражено
одним из следующих способов:
1. Пространство можно аппроксимировать по крайней
мере одним спектром, удовлетворяющим некоторым допол
нительным, условиям (которые как раз и характеризуют
упомянутое свойство).
7" »2. Каждый спектр, аппроксимирующий данное про
странство, удовлетворяет некоторым (только что упомя
нутым) дополнительным условиям.
При этом надо отметить, что каждое дополнительное
условие, которому спектр может удовлетворять, есть
не что иное, как свойство некоторых упорядочений сим
плексов (следовательно, упорядочений натуральных чисел).
Упорядочения, которые определяют строение спектра
(и в которых, таким образом, только и заключается всо
дело), можно разделить на три класса:
“'’"У п о р я д о ч е н и я первого р о д а — это
упорядочения конечных множеств вершин (=натуральных
чисел) в1"симплексы. Они имеют только одно свойство,
именно, количество натуральных чисел (=вершин), кото
рые должны по необходимости в каждом спектре, опреде
ленном данным пространством, соединиться в симплексы.
Это свойство есть не что иное, как размерность про
странства.
12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И 141
КОММЕНТАРИИ
Обратные спектры (обратные системы) играют в современных
топологических (да и не только топологических) исследованиях
важнейшую роль. Впервые понятие обратного спектра появилось
именно в этой работе П. С. Александрова в виде проекционных
спектров (т. е. спектров, состоящих на конечных комплексов пли,
что то же, из ковочных Г,,-пространств).
Рассматриваемая статья содержит первый еще не совершен
ный вариант определения проекционного спектра. Более простой ва
риант (си. шоке) деи в последующих публикациях П. С. Алек
сандрова.
Основная теорема статьи об аппроксимации (n-иерных) ком
пактов (n-мерными) проекционными спектрами получила дальней
шее развитие в работах А. Г. Куроша (Compositio m ath., 1935,
2, с. 471—476), показавшего, что любой (не обязательно метризуе-
мый) бикомпакт аппроксимируется проекционным спектром из
конечных комплексов; Б. А. Пасынкова (Тр. Груз, матом, ин-та,
1960, 27, с. 43—52 и Вести. МГУ, матем., механ., 1965, № 3, с. 47 —
50), установившего взаимно однозначное соответствие между всеми
(«-мерными) бикомпактами и аппроксимирующими их так назы
ваемыми экстремальными проекционными спектрами (п-мерными);
В. И. Пономарева (Матем. сб., 1963, 60, J6 1, с. 89—119), показав
шего, что любой (n-мерный) паракомпакт ашгроксимируется проек-
щюнным спектром уже из бесконечных («-мерных) комплексов;
В. А. Валиева (ДАН СССР, 1971, 200, № 2, с. 262—265), распрост-
ралившего результат Пономарева на полные но Дьедопне прост
ранства. В иаиболее общей форме проекционные спектры рассмот-
епы В. И. Зайцевым (Тр. Московск. матем. о-ва, 1972, 27, с.
? 29—193).
Исследованием обратных спектров занималась также мяогие
видаые математики, в том числе Г. Фр*>нденталь, Стинрод и др.—
Прим. В. И. Пономарева.
*) Условие 4° (и затем одно место в доказательстве формулы
(16)) здесь формулируется в исправленном виде (взятом из «Заме
чания» П. С. Александрова к настоящей работе: Alexandrojf Р.
Bemerkung гп meiner Arbeit «Simplizialc Approximationen in der
allgemoinen Topologie».— Math. Ann., 1929, 101, c. 452—456).
В «Замечании» приводится также новый, более совершен
ный вариант определения проекционного спектра. Именно,
J0 П. С. Александров, т. I
146 12. А П П Р О К С И М А Ц И И В О Б Щ Е Й Т О П О Л О Г И И
последовательность комплексов
л / = и м ‘..
<«.)
М м ....« л = U ... .
<w
h = *i> г» • lh~lhi
но в этом случае
М зо,.. .зк 3 . .«*•
Система открытых множеств 93 является, следовательно,
базой, удовлетворяющей всем требованиям теоремы I.
2. Из теоремы I легко следует факт, уже отмеченный
в начале п. 1, именно, что каждое нульмерное мотризуемое
пространство со счетной базой (следовательно, в силу
известной метризационной теоремы каждое регулярное
нульмерпое топологическое пространство со счетной базой)
может быть взаимно однозначно и взаимно непрерывно
отображепо на подмножество множества иррациональных
чисел. В самом деле, каждой точке х пространства М
однозначно соответствует последовательность натураль
ных чисел ilf it , . . ihl . . . (определенная из условия
х 6 M f i . ..{.) и, следовательно, определенное иррацио-
нальное число
т -к + т ^ г
(2) М = у M i,
* i-i
удовлетворяющих условию
(3) * (A fu i. . . Vkj < T jT .
Таким образом, для всех значений натуральных чисел
к, г,, f2, . . ih индуктивно можно определить открытые
множества Mi,it...ih.
*) Топологическое пространство R называется, как известно,
локально компактным в топке если существует окрестность топ
ки замыкапио которой компактно.
152 13. О НУЛЬМЕРНЫХ МНОЖЕСТВАХ
j __ ! _
<*+
*о= *? + -jjqr
*1
‘ь+1 +
13. О Н У Л Ь М Е Р Н Ы Х М Н О Ж Е С Т В А Х 153
. =П
k=1
и при ЭТОМ
1
.) = ч 4 <•+
(5) M = f | G n,
П“ 1
удовлетворяющих условиям
156 13. О Н У Л Ь М Е Р Н Ы Х М Н О Ж Е С Т В А Х
As.»....
A-=l
13. О Н У Л Ь М Е Р Н Ы Х М Н О Ж Е С Т В А Х 157
(?) r ij w n -
ft—1
Таким образом, снова получается взаимно однозначное
соответствие между множеством М и множеством всех
положительных иррациональных чисел, относительно кото
рого легко доказать, что опо также взаимно непрерывно.
9. Наряду с С4-множествами один из важнейших клас
сов точечных множеств образуют множества типа F0.
В соответствии с нашей предыдущей терминологией мы
называем топологическое пространство абсолютным
Fa-множеством, если оно юмеоморфио ^„-множеству
некоторого компакта.
В последующем мы ограничимся рассмотрением нуль
мерных ^ м н о ж еств . Относительно них имеет место
следующая основная теорема:
Д ля того чтобы абсолютное Fa-множество было нуль
мерным, необходимо и достаточно, чтобы оно не содержало
никакого подконтинуума, состоящего более чем из одной
точки.
Среди нульмерных абсолютных /^-множеств особо
выделяются множества, которые не только не компактны,
но одновременно и нигде не счетны **). Такие /^-множе
ства мы будем называть неприводимыми.
П р и м е ч а н и е . Для случая Ge-множеств вопрос
о пссчетности пе возникал, так как каждое пигде не ком
пактное абсолютное Ga-множество всегда оказывается
и нигде не счетным ***).
у(П)=пи й ^ " » -
П= 1
Обозначая для каждого целого к (—оо < к < -f оо) через
\ к отрезок к ^ х ^ к 4 - 1 , положим
^0= 0
А = -ос
далее,
Л .+1 = 'F (Рп) (для каждого п = 0, 1, 2, . . .)
и, наконец,
(8) v - U 1*-
П»1
11. При доказательстве теоремы о том, что каждое
нульмерное неприводимое / \ г множество гомеоморфно
только что построенному множеству Y, мы можем на осно
вании теоремы III ограничиться случаем, когда М являет
ся всюду плотным подмножеством числовой прямой. Суще
ственный пункт доказательства составляет следующая
Л е м м а . Пусть М — всюду плотное на числовой
прямой неприводимое Fa-множество. Тогда М можно
13. О Н У Л Ь М Е Р Н Ы Х М Н О Ж Е С Т В А Х 159
л/= й п-
«**1
причем так, чтобы выполнялись следующие условия:
1. Д ля каждого п множество Пп содержится в Пп+1.
2. Пусть
t/? = («i, *i), U l~ ( a * u Ъ\), . . . , П Ж , «). ...
(Ю) M = ( ) F n,
SS.-.5S.U U 2 ".*-
к=1
Множество Е£ есть, очевидно, совершенное подмно
жество множества М , содержащее точку и лежащее
В (ttm. Pm). Заменяя F„ множеством и U Вт. мы П0ЛУ-
<т)
чим совершенное множество.
160 13. О Н У Л Ь М Е Р Н Ы Х . М Н О Ж Е С Т В А Х
(11) й п » = Л/
■■1
и что все условия леммы выполнены.
13. Теперь уже все готово для доказательства тео
ремы V: нужно только вспомнить определение (8) множе
ства Т. Множества Пг и Рх как совершенные неограничен
ные в обе стороны нигде не плотные линейные множества
подобны между собой (в смысле теории упорядоченных
множеств). Наша конструкция позволяет сразу же рас
пространить это подобие с Р„ и Пп на / >„+1 и Пп+1, так что
в конце концов получается подобие, а значит, и юмео-
морфизм между множествами V и М . Теорема V этим
доказана.
З а м е ч а н и е . Рассмотрим ограниченное неприводи
мое ^-множество Т 0, отличающееся от V только тем,
что при ого определении исходным множеством Р 0 является
канторово совсршснпос множество Р (Д0), среди смежных
13. О Н У Л Ь М Е Р Н Ы Х М Н О Ж Е С Т В А Х 161
л / = и /5п ^ .
П
где Un — (а„, Ьп) — интервалы, смежные к F.
Если теперь конгруэнтно перенести в плоскости отрез
ки (а*, Ьп) так, чтобы все точки а„ попали в одну и ту же
топку | , а потом отождествить все точки Ьп с тою же точ
кой | , то останется только присоединить к множеству М
(испытавшему в течение всего построения лишь топологи
ческое преобразование) точку | , чтобы получить совершен
ное нульмерное плоское множество М U гомеоморфное
нигде не плотному совершенному линейному множеству.
Итак:
VII. Все нульмерные неприводимые F„-множества гомео-
морфны между собой: они топологически получаются уда
лением одной точки из канторова совершенного множества
и, следовательно, гомеоморфны произвольному совершен
ному нигде не плотному неограниченному линейному
множеству.
18. Согласно классификации борелевских множеств,
принадлежащей Бэру и Лебегу, замкнутые множества
принадлежат к классу 0, а множества типов Fa и Gв
(не являющиеся ни замкнутыми, ни открытыми), в част
ности к ^-множества, принадлежат к классу 1. Если мы
сохраним ранее введенный смысл понятия неприводимо
сти для каждого из этих классов множеств (в частности,
замкнутые множества назовем неприводимыми, если они
нигде не конечны, т. е. совершенны), то результаты пп.
7—17 можно сформулировать так:
и*
№ 13, О Н У Л ЬМ ЕРН Ы Х МНОЖЕСТВАХ
Прибавление.
О множествах первой и второй категории
В этом прибавлении мы не делаем никаких предполо
жений о размерности рассматриваемых множеств, а также
о существовании в них счетной базы; наши рассмотрения
справедливы для любых полных метризуемых пространств.
Множество М , лежащее в таком пространстве R , назы
вается, как известно, множеством первой категории в про
странстве R, если оно может быть представлено как сум
ма не более пом счетного числа нигде не плотных мно
жеств пространства В.
Согласно Н. Н. Лузину множество М есть множество
второй категории (в В), если его дополнение R \ М есть
множество первой категории.
Имеет место следующая теорема:
Множество М , лежащее в полном метризуемом про
странстве R , тогда и только тогда является множеством
13. О Н У Л ЬМ ЕРН Ы Х МНОЖЕСТВАХ 165
я \ д / = у .V*,
Ь—I
причем каждое Nt, нигде не плотно в R.
Но lJVA) тогда также нигде не плотно в R, так что
Ф - И [Nk]
»=i
есть /^-множество второй категории, откуда следует, что
содержащееся в М множество R \ Ф всюду плотно в R.
Но R \ Ф является G j-множеством.
У с л о в и е д о с т а т о ч н о . Пусть, в самом деле,
в М содержится всюду плотное в R множество Н типа
Сж6. Тогда
Н — П
п=1
причем каждое С„ есть открытое множество (плотное
в R). Замкнутые множества Fn = R \ Gn нигде не плот-
ОС
ны в R, следовательно, Ф = у Fn есть множество пер-
n— t
вой категории. Но Ф н R \ Н тождественны, отсюда сле
дует включение
Ф э Я Ч М,
из которого видно, что R \ М — множество первой кате
гории. следовательно, М — множество второй категории,
что и требовалось доказать.
Заметим, что много теорем из теории функций действи
тельного переменно о, а также из топологии может быть
непосредственно выведено па только что доказанной тео
ремы.
Укажем, например, па следующие топологические
факты;
166 IS. О Н У ЛЬМ ЕРН Ы Х МНОЖЕСТВАХ
ПРИМЕЧАНИЯ
Эта работа относится к песне 1924 г. и возникла из бесед между
ее авторами, не подвергавшихся какой-либо записи.
Печатающийся здесь текст составлен П. С. Александровым
весной 1926 г.
Трудно переоценить влияние этой статьи на последующее
развитие общей топологии. Методически вышедшая из дескриптив
ной теории множеств, эта статья является основополагающей п так
называемой общей теории непрерывных отображений, в особенно
сти в той ее части, где важную роль играет бэровское пространство.
Э ‘кik+l5 тогда ^
k=i
£ , «" Ч =
^*1 —V П
Если, кроме этого, предположить (ие нарушая общпости),
что диаметр множества Е{,,.лм меньше 1/А, то легко полу
чить следующий результат: каждое A -множество может
быть представлено в виде А { {ец..л*}. где ej,.. л», являются
одноточечными множествами, и для каждой последова
тельности индексов последовательность точек ffj„ eifit, . . .
. . .. £ i|.. .tki . . . (в обычном смысле) сходится к точке:
lim = It «ц. ..»* =
§ 1
1. Пусть Е — А Т{Рх1ш, <Jk), причем F ( |. . . jft суть замкну
тые подмножества сепарабельного метрического простран
ства R. Перенумеруем все F<f. . . jh в простую последова
тельность:
ФЪл . . . » ^ J> •••
Предположим, что уже заданы все множества f rjl ... jk,
причем каждое ...) является некоторым Fj,
Мы нумеруем все ¥ \х... »пл„+1...Аг (с постоянными Гг,. . .
. . . . <», Fi, = и переменными г, h„+i, hr)
в простую последовательность
•*** - ' aW *■*
и нолучаем таким образом множество
Легко убедиться, что
At { 7 i . —
2. Пусть
&?. ^ ......... ^
суть все шаровые окрестности радиуса 1/2р пространства R,
имеющие общие точки с Е, с центра»™ в некотором фикси
рованном плотном в R счетном множестве.
Перенумеруем все непустые выражения вида [С7,1,! f|
в простую последовательность
(1) Ф |, Ф2, I >.| ^i,» •••
170 **• А -М Н О Ж Е С Т В А И ТО П О Л О ГИ Ч ЕС К АЯ СХОД ИМ ОСТЬ
§ 2
1. Пусть E —At {Fkl... hh} и x £ E —произвольная точка.
Мы говорим, что множество Fh,...hh и м е е т п о р я д о к
^ р о т н о с и т е л ь н о т о ч к и х, если к ^ р и если
найдется последовательность натуральных чисел Аа+1,
А т » - - - таких, что р(х, Fht...afcAlk+I...hJk+l) < l / 2 p. Если
Fh,...hk имеет порядок р относительно по крайней
мере одной точки х £ £ \ то мы скажем, что .../^ имеет
п о р я д о к ^ р.
Рассмотрим теперь все выражения вида |{/*J П ^ а, —ькФ
Ф Л , где Fkl...hk имеет порядок 1, а [£/Д] определя
ется, как раньше (§ 1, п. 2). Перенумеруем эти выражения
в простую последовательность:
(1) Ф „ Ф *.......... Ф М . . .
( 3)
V
Рассмотрим теперь (п р и тех ж е п остоянны х А ,, . . . , А*,
что и « (3)) все множества Fk,...hkhh n ..i>k 4 > имеющие
172 » • Л -М П О Ж Е С Т В А И Т О П О Л О Г И Ч ЕС К А Я СХОД ИМ ОСТЬ
ЛИТЕРАТУРА
(1) Ifausdorff F. Grundzuge tier Mengenlebre.— Leipzig, 1914. Рус
ский перевод: Хаусдорф Ф. Теория множеств.—И .: ОНТИ, 1937.
(2] A lezandrojf Р. Sur le puissance ties ensembles (В). -С . г. Acad. sci.
Paris, 19l6j 162, с. 323—325. Русский перевод: наст, кн., с. 35—
39.
|3] Souslin М. Sur tine definition dos ensembles mesurable (B) sans
nombres transfinis.— C. r. Acad. sci. Paris, 1917, 164, c. 88—90.
|4) AlexandraIf P ., Hopf H. Topologie, I .— Berlin, 1935.
КОММЕНТАРИЙ
Всего П. С. Александровым опубликованы 4 работы по дескрип
тивной теории множеств, из которых лишь одна пе вошла в настоя
щее издание, поскольку является вариантом, по существу, работы
•N*. 5 настоящего издания.
Особняком стоит студенческая работа № 1 настоящего изда
ния, написанная и опубликокаиная в 1916 г., посвященная реше
нию вопроса о мощности В-множеств, поставленного автору его
учителем Н. Н. Лузиным.
Но самым неожиданным оказалось существование очень простой
конструкции, доставляющей любое Я-множество сколь угодно высо
кого трансфинитного класса,— знаменитая А -операция. Вскоре
174 14. А -М Н О Ж В С Т Ь А И ТО П О Л О ГИ Ч ЕС К АЯ СХОД ИМ ОСТЬ
1. Пусть
( 1)
— последовательность топологических пространств
и пусть для всякого к задано непрерывное отображение f h
пространства Xi,+i на Х к. Семейство пространств X*
и отображений /* лааывается о б р а т н ы м спект
р о м ( Х к, /*), а отображения /* называются п р о е к
ц и я м и в нем. Обратный спектр ( Х к, f k) определяет
предельное п р о с т р а н с т в о L = L (Xh, f h)
обратного спектра следующим образом **). Точки про
странства L суть нити
(2) | = (х±, х,, . . хк, . . .), хк £ Х к, хк = / (i'fc+i).
Произвольную окрестность U (5) нити | £ L получаем,
выбрав проиаволыю число к, окрестности U (хх), . . .
U (хк) и рассматривая все такие нити
( 3) 1 — (*i, Х2, • • • I А I • • ■)<
ЧТО
^ € ^ ( * 1). х ’г € .и (хг), ^
2. Из двух нитей (2) и (3) первая с о д е р ж и т вто
рую, если для любого к имеем (х,,1=э [х*]. Нить (2) назы
вается м а к с и м а л ь н о й (соответственно м и н и
м а л ь н о й ) , если множество нитей, содержащих (2)
•) Опубликовано в С.г. Acad. sci. Paris 1935, 200, с. 1709—
1711, под заголовком «Sur lcs suites d ’espaces topologiques». Перевод
c Французского В. Л . Клюгаина.
**) Понятие продольного пространства обратного спектра
известно также Фрейденталю и Поитрягииу. Первая идея этого
понятии восходит, впрочем, к Брауэру ([!]).
176 15. О П О С Л Е Д О В А Т Е Л Ь Н О С Т Я Х ПРОСТРАНСТВ
ЛИТЕРАТУРА
(1J Brouwer L. Ober de structur der perfekte puntveraamelitigen.—
Proc. kon. Akad. W et., Amsterdam, 1910, 18, c. 833—842.
(21 Alexandroff P. Untersuchungen iiber die Gestalt nnd Lage der.
abgeschlossoncn Mengon.— Ann. M ath., 1928—1920, 39, c. 101—
187. Русский перевод: наст, издание, т. III.
КОММЕНТАРИИ
Эта небольшая заметка II. С. Александрова содержит первое
определение обратного спектра из топологических пространств
и предельного пространства такого спектра. Эти понятия принадле
жат к важнейшим во всей математике, а в общей топологии — может
быть, к самым важным орудиям исследования.
После того, как II. С. Александровым были в (21 определены
проекционные спектры (частный случай обратных спектров), общее
определение «носилось в воздухе». И действительно, как отмечает
сам автор, обратные спектры почти одновременно рассматривались
также Фрейденталем (в случае групп) и Понтрягиным (в случае
топологических групп).
Роль П. С. Александрова в возникновении понятия обратного
спектра и в развитии теории обратных спектров, однако, является
бесспорно решающей.—Прим. ред.
16
О СЧЕТНОКРЛТНЫХ ОТКРЫТЫХ ОТОБРАЖЕНИЯХ *)
§ 1
1. Что касается аксиоматики теоретико-множествен
ного определения размерности, то уместно напомнить, что
утверждение Менгера (|Ц) установлено все еще только
для п ^ 2. Об утверждении Менгера я позволил себе
высказаться в другом месте ((21): я не посчитал бы его
общее доказательство за окончательное аксиоматическое
обоснование теории размерности; это не мешает мне тем
не менее рассматривать вопрос:
Является ли теоретико-множественная размерность
единственной функцией множеств, для которой выполнены
высказанные Менгером условия,
— как одну из важнейших проблем теоретико-множествен
ной топологии. Решение этой проблемы нуждается, несом
ненно, в улучшении комбинаторною апиарата, имеющегося
в распоряжении теоретико-множественной топологии
в настоящее время 1).
2. Работа Нёбелиига о рациональной размерности
((31) подсказывает задачи двоякого характера:
во-иервых, прояснение аксиоматического содержания
индуктивного определения размерности (какие условия
нужно наложить на начальный член индукции —♦нуль
мерные множества», чтобы имели место основные теоремы
теории Урысопа — Менгера?),
во-вторых, вопрос о раямерностно полноценных множе
ствах в рамках индуктивного построения теории размер
ности.
В частности, стоит исследовать множества, которые
получились бы, если в качестве начального члена индук
ции взять конечные или даже двухт »■ечпые множества.
3. Все новейшее развитие топологии с полной одно
значностью показало, что теорема Лебега — Брауэра
о замощении и основанпос на ней определение размерно
сти как умепьшепноп на 1 минимальной кратности бес
конечно измельчающихся покрытий сделают пиивлечение
покрытий одним из основпых методов в теории размерно
17. ОБЗОР НЕКО ТО РЫ Х ПРОБЛЕМ ТОПОЛОГИИ 187
§ 2
1. Тесно срослась с теорией размерности теория лока
льных свойств топологических, в частности компактных,
пространств. Если для п = 1 эта теория предстает в суще
ственном законченной благодаря работам Урысона и Мен-
о , ОБЗОР Н ЕК О Т О Р Ы Х П РО БЛ ЕМ ТО П О Л О ГЙ И 1Й1
гера, то для п > 1 » ее фундамент заложены лишь первые
камин. Упомянем здесь рядом с моей работой «О локальных
свойствах замкнутых множеств» (110]) работы Лефшеца,
Чоха, Уайлдера (см. [11] и ссылки там на работы .Неф
у д а , Борсука, Чеха и др.) о локальной связности, так же
как многочисленные работы Борсука о понятии локальной
стягиваемости и только что появившуюся работу Вога
на (1121), которая выделяется тем, что в ней делается —
с успехом — попытка перенести на n-иерный случай опре
деление ветвления, восходящее к Урысоиу — Менгеру.
О всех исследованиях до нынешнего времени в области
локальных свойств многомерных объектов позволительно
сказать, что они все еще остаются в элементарных главах
теории. Именно те части теории ветвления кривых, кото
рые составляют ее особенную прелость и посредством кото
рых эта теория фактически приводит к многим конкретным
геометрическим результатам, в многомерном случае еще
едва затронуты: я мог бы указать только на явления кон
денсации и однородности, а также, главное, на вопрос
распределения точек с различными свойствами ветвления.
Соотношения между различными определениями локаль
ных групп Бетти (соответственно чисел Бетти), равно как
между различными определениями локальной связности,
разреженности и т. д., в случае многих измерений еще
нуждаются в окончательном прояснении. Остаются неясны
ми, отчасти, и сооношсиия между локальными свойствами
тела и его свойствами в целом.
Эти вопросы тесно связаны с другим вопросом, который
также далеко пе исчерпан: я имею в виду вопрос об (аб
солютно) внутренних и граничных точках многомерного
компакта. Различные онределения, принадлежащие Бор
суку, Вогану, мяо и др., должны быть сначала система
тизированы, а затем согласованы между собой. Далее, что
можно было бы высказать об этих понятиях при специаль
ных предположениях, например, в случае локальной связ
ности во всех размерностях, разреженности и т. и.? При
этом важнейший из возникших здесь вопросов относится
к взаимному распределению этих категорий точек.
Следующий трудный вопрос касается существования
специальных окрестностей, например, окрестностей, чей
сомологический тип тот же, что у n-мерного куба,— в слу
чае, когда локальные группы Бетти каждой точки данного
192 1. о б з о р н е к о т о р ы х п р о б л е м т о п о л о г и й
§ 3
1. Мы уже упомипали, что теоретико-множественное
толкование понятия многообразия происходит из о б щ е й
т е н д е н ц и и и с к л ю ч е н и я п о л и э д р о в из
п-м е р н о й теоретико-множественной
т о п о л о г и и . Сейчас мы хотим высказаться об этом
подробнее.
Тенденция основывается на том постепенно выявившем
ся обстоятельстве, что в настоящее время в теоретико
множественной топологии нет теории, имеющей полиэдры
в качестве естественной области существования. Так, на
деле под это утверждение подходит, во-первых, топология
л-мерных многообразий, а во-вторых, собственно топо
логия полиэдров (или комплексов, как обычно говорят). <
Топология многообразий состоит из двух частей: «гомото
пической» части, основывающейся па понятии фундамен
тальной группы и непрерывной деформации, и алгебраи
ческой «теории гомологий». Первая часть поныне работает
методами, не нуждающимися в сныплпциальном или кле
точном разбиении многообразия. Понятие топологиче
ского многообразия, т. е. компактного (локально ком
пактного) связного метризуемого пространства, все точки
которого обладают евклидовыми окрестностями, и ость
нужное в данном случае понятие; его полиэдральная струк
тура по существу не нужна.
Но в высшей степени вероятным является и то, что сами
евклидовы окрестности объективно излишни. На мой
взгляд, важной задачей является определить понятие
j7 . О Б З О Р Н Е К О Т О Р Ы Х П Р О Б Л Е М Т О П О Л О Г И И 197
§ 4
§ 5
1. В последние годы все более заметной стала тенден
ция освобождать общетопологические исследования от пред
положений счетности. К этому приходят с разных сторон:
достаточно упомянуть тополого-теоретико-групповые ра
боты ван Кампена (124]) и А. Маркова ([25]), некоторые
из последних работ фон Неймана и — последние по поряд
ку, но не по значению — исследования Колмогорова (]15|)
о группах Бетти локально компактных пространств. Я по
лагаю, что понятие бикомпактности и локальной биком-
|7 . О Б З О Р Н Е К О Т О Р Ы Х П Р О Б Л Е М Т О П О Л О Г И И 203
§ 6
ЛИТЕРАТУРА
КОММЕНТАРИЙ
Статья представляет собой изложение доклада, прочитанного
автором на Первой международной топологической конференции,
состоявшейся в Москве в 1935 г. По существу это — программа
развития топологии, основанная на состоянии топологии к моменту
конференции.
Одним па важнейших событий в топологии в тот момент было
построение гомологической теории общих топологических прост
ранств и появление тем самым возможности заполнения бреши
между теоретико-множественной топологией н топологией алгебраи
ческой, основанной на понятии полиэдра. Возможность, которая
уже начала осуществляться в открытии П. С. Александровым гомо
логической теории размерности. Вполне естественно поэтому, что
бблыиая часть поставленных вопросов в докладе относится именно
к вопросам применения гомологических методов к общим тополо
гическим пространствам.
Последующее развитие топологии показало, что поставленные
в докладе проблемы действительно определили во многом пути
этого развития.
Так, в области общей топологии очень точно указана важность
развития топологии без аксиомы счетности, в теории размерности —
17. ОБЗОР НЕКО ТО РЫ Х ПРОБЛЕМ ТОПОЛОГИИ 20 9
Ф(!) = П ^ ) Ь
Очев' дно, для ? 6 X имеем ф (?) = ф (?). На основании
примечания к лемме в п. 1 ф (х) содержит не более одной
точки, значит, па основании только что доказанного, со
стоит из одной точки. Остается доказать., что однозначное
отображение ф множества IX] C D 1 на R непрерывно.
Пустьф (?о) — р; так как It, как бикомпактное хаусдорфово
пространство, регулярно ([5]), то достаточно показать,
что при любом выборе окрестности Э Р имеем
ф (£ M U )< = [F al.
ЛИТЕРАТУРА
[1J Alexandrofl Р.. Hopf Н. Topologie, I ,— Leipzig, 1935.
|2| Tithanojf A . Uber die topologische erweiterung von Raum en.—
Math. Ann., 1930, 102, c. 544-S61.
|3| Stone M. II., Boolean algebras and their application to topology.—
Proc. N at. Acad. Sci. USA, 1934 , 20, c. 107—202.
14] КуратовскиЛ К., Топология, г. 1,— М.: Мир, 1966.
[5] Haiudort/ Р. Ober innore Abbildungen.— Fundam. math., 1934,
23, c. 279-291.
19
ДИСКРЕТНЫЕ ПРОСТРАНСТВА *)
СОДЕРЖАНИЕ
В в е д е н и е ............................... ... ........................................................ 217
§ 1. Идентичность понятий дискретного пространства, систе-
гиы множеств и частично упорядоченного множества. . 219
§ 2. Пять сопровождающих комплексов, в частности, бари
центрическое подразделение .............................................. 223
5 3. Мультипликативные пространства...................................k 230
§ 4. Теория гомологий локально конечных дискретных
пространств ............................................................................. 236
§ 5. Деформационные теоремы ................................................. 238
Ввсдепне
Основная цель настоящей работы заключается в пост
роении теории гомологий дискретных пространств **).
При этом, в отличие от Такера и Колмогорова ***), не де
лается никаких дополнительных предположений, кроме
одного предположения типа конечности, которое пнжс
формулируется под названием л о к а л ь н о й к о н е ч
ности.
1. Понятие дискретного пространства идентично поня
тию частично упорядоченного множества (см. § 1 данной
?0г ^ г ‘ (го.........1>г+. ) = Я ( - * ) ‘ / ( р )
без какого-либо предположения о конечности (т. е. для
всех без исключения дискретных пространств), где ( -р •)
означает (р0.......... р,_,. р , ., .............р г).
2. Эти определения мотивируются понятием бари
центрического подразделения D0 любого (не обязательно
локально конечного) дискретного пространства D. При
этом под барицентрическим подразделением D 0 частично
упорядоченного множества D понимают ч а с т и ч н о
218 1». Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А
у п о р я д о ч е н н о е (в с м ы с л е о б ы к н о в е н
ного включения) множество всех у п о
рядоченных подмножеств множест
в а D. Легко убедиться, что барицентрическое подразде
ление локально коночного дискретного пространства явля
ется обыкновенным симплицпальным комплексом. Если
дискретное пространство D является клеточным комплек
сом в обычном смысле, то приведенное здесь определение
барицентрического подразделения совпадает с класси
ческим определением. Если для простоты ограничиться на
мгновение рассмотрением лишь конечных дискретных
пространств, то можно видеть, что эти подсистемы симплек
сов изоморфны обычным конечным симплицпальным ком
плексам; таким образом, если рассматривать данное конеч
ное пространство D как подмножество симплициального
комплекса К и сохранить в барицентрическом подразделе
нии комплекса К лишь те симплексы, вершины которых
являются центрами тяжести симплексов, принадлежащих
D, то получится барицентрическое подразделение про
странства D. Это обстоятельство и первая теорема об е-
сдвигах из § 5 делают понятие барицентрического подраз
деления совершенно наглядным. Теперь легко сообразить,
что данное выше определение г р у п п Б е т т и дискрет
ного прост ранст ва совпадает с обычным определением
г р у п п Б е т т и барицент рического подразделения прост
ранст ва D .
3. Барицентрическое подразделение D0 дискретного
пространства D есть наиболее важный из пяти симпли-
цпальных комплексов, которые очень естественно строятся
для каждого локально конечного дискретного пространст
ва и которые мы называем сопровож даю щ ими для этого
дискретного пространства. Эти симплициальные комплек
сы связаны между собою простыми геометрическими соот
ношениями, изучающимися в §§ 2, 3, приводящими к сле
дующему основному результату: для весьма обширного
класса пространств, а именно, для всех так называемых
мультипликативных пространств (которые соответствуют
мультипликативным системам множеств) все пять сопро
вождающих симплициальных комплексов имеютЧ одни
п те же гомологические свойства. Это позволяет в § 4
установить, что для мультипликативных пространств мож
но получить намеченную выше теорию гомологий и таким
it. Д И С К Р ЕТН Ы Е ПРО СТРАНСТВА 219
§ 1. Идентичность понятий
дискретного пространства, системы множеств
и частично упорядоченного множества
1. Днскретпое пространство *) D — это топологическое
пространство, в котором объединение замкнутых множеств
в любом числе замкнуто и, следовательно, пересечение
любого числа открытых множеств открыто.
Таким образом, дискретное пространство можно опре
делить так: это множество £>, в котором выделены некото
рые подмножества, причем так. что:
1) само множество D и пустое множество выделены;
2) выделены объединения и пересечения любого числа
выделенных множеств.
Очевидно, что множества, дополнительные к выделен
ным, также удовлетворяют условиям 1) и 2). Получаются
два различных топологических, и притом дискретных про
странства, которые в зависимости от того, какие подмно
жества выделены, определяются как открытые или как
замкнутые множества. Эти прострапства называются двой
ственными друг другу'. Таким образом, пространство D ' ,
Д в о й с т в е н н о е пространству D, получится, если
открытые множества пространства D определить как
замкнутые множества прострапства D' и наоборот.
2. С точки зрения общей теории множеств содержание
понятия «дискретное пространство» разъясняется с помо
щью следующей теоремы:
*) 17], с. 155—156.
224 19. Д И С К Р Е Т Н Ы ? . П Р О С Т Р А Н С Т В А
Н е р е ш е н н а я п р о б л е м а . Каковы необходи
мые и достаточные условия тою, чтобы полное дискретное
пространство (в частности, конечный симплнциалъный
комплекс) было изоморфно барицентрическому подразде
лению некоторого дискретного пространства?
Естественно, аналогичный вопрос можно задать и по
поводу полных оболочек дискретных пространств.
2. Возможность расширить каждую систему множеств
До полной в случае локально конечных или конечных
Дискретных пространств дает: >
15 П. С. Александров, т. I
2Й6 19. Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А
§ 3. Мультипликативные пространства
1. В нашем дальнейшем изложении среди прочего рас
сматривается и теория гомологий дискретных пространств.
Это дает нам повод уже сейчас отметить, что (даже в случае
конечного дискретного пространства) свойства гомологий
пространств V (D ) и v (D) не должны обязательно совпа
дать с гомологическими свойствами барицентрического
подразделения D 0: достаточно рассмотреть дискретное
пространство D , которое состоит из четырех вершин о,
Ь, с, d а из двух треугольников abc и bed. Однако мы уви
дим, что обычным путем можно определить обширный
класс дискретных пространств, для которых гомологи
ческие свойства комплексов V (D) и v (D ) совпадают с го
мологическими свойствами D 0.
О п р е д е л е н и е . Дискретное пространство назы
вается м у л ь т и п л и к а т и в н ы м п р о с т р а н с т
в о м , если пересечение любой системы его А р-множеств
или пусто, пли является А p-множеством (если система
его А p-множеств является м у л ь т и п л и к а т и в н о й
с и с т е м о й м н о ж е с т в ) . Простое рассуждение по
казывает: мультипликативные пространства и только
они изоморфны мультипликативным системам множеств.
Если в полном пространстве D пересечение некоторого
множества Лр-миожеств является непустым множеством Л 0,
то остовы соответствующих точек р также имеют непустое
пересечение Х 0 и для точки р 0 £ D с остовом Х„ имеет
место А р о = А 0. Итак, полные дискретные пространства
представляют собой специальный случай мультипликатив
ных. Поскольку каждое дискретное пространство можно
вложить в полное пространство, то тем более оно может
быть вложено в мультипликативное пространство. Это
рдожение может быть осуществлено наиболее экономный
19. Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А 231
§ 4. Теория гомологий
локально конечпых дискретных пространств
операторы таковы:
Su / = V 1 ( Р о , ■ • •» Pr-i) — 2 Г (р> Р о . • • •» P r- 1)»
Р
где суммирование производится по всем р 6 0 .
* . f я Г 1(Ро......... Pr+i) = 2 (■—1)‘Г (• Р г ),
и где под (-Pi") подразумевается*) последовательность
Ро, . . P j - i . P i+ i. . • Рг- Теперь примепима вся тео
рия Колмогорова, развитая для D 0 в смысле работы [61.
Если желать и форму изложения сделать возможно
более близкой к колмогоровской из работы [6], можно
естественным образом — в случае it-теории — опреде
лить f как аддитивную кососимметрическую функцию
множеств f (Д/0, . . М г), где М ( пробегают всевозмож
ные коночные множества в D, причем в случае одноточеч
ных множеств должно выполняться упомянутое выше
условие
(1) f (Ро. • • - Р г ) - О,
если хотя бы одна пара p t , p t не является ипцидентпой.
Затем можно определить и оператор gu, как у Колмого
рова.
2. Рассмотрим теперь вопрос: какие группы Бетти
получатся, если локально конечное пространство D рас
смотреть как локально бикомпактное и определить для
него м-группы Бетти по Колмогорову в смысле работы [6].
В этом случае рассматриваются аддитивные функции мно
жеств f (Д/0.......... М г), аргументы которых Л£| с D яв
ляются бикомпактами в D. Но тогда все M t к о н е ч н ы ,
и можно снова свести вопрос к рассмотрению функций
точек. Единственное отличие от данного выше определения
состоит, таким образом, в том, что условие (1) заменяется
следующим:
(2) Г (Ре. • • Рг) = О, если А р 0 () . . . f] А р г пусто.
Это означает, что получаемые на этом пути группы
идентичны группам Бетти пространства N (D) и потому —
для мультипликативных пространств —
идентичны группам Бетти пространства D„. Итак, пришли
к теореме:
*) При определении оператора g„ нет нужды предполагать
локальную конечность.
23 8 19. ДИ СКРЕТН Ы Е ПРОСТРАНСТВА
§ 5. Деформационные теоремы
1. В п. 5 § 2 мы определили точечные мпожества
D с R n. Очевидно, эти точечные множества связаны с про
странством D неинвариантно: различным представлениям
пространства D в виде множества симплексов в Я" соот
ветствуют различные точечные множества D, которые,
*) Содержанием этого пункта я обязан инициативе А. Н . Кол
могорова.
1». Д И СК РЕТН Ы Й П РО СТРАНСТВА 239
Xi = M , \ U ЛГА.
240 19. Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А
х\= м \\ у лп= у м „\ у у X h=
M'h< M 'i Мл—Л,( M h X>Mj
U Ха \ = Хь = Х „ У
« Р м1 Mh>Mi
так что оба двойственных друг другу покрытия приводят
к одним ц тем же множествам Х 4. Выражение «д в о я -
19. Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А 241
с т в с н н ы д р у г д р у г у » оиравдывается следующим
образом: если по приведенному выше рецепту построить
покрытие, двойственное покрытию *2)', то мы получим
первоначально заданное покрытие 2).
3. Мы рассмотрим теперь два важных специальных
случая, в которых имеется взаимно однозначное соот
ветствие между множествами М \ и Л/ь и, следовательно,
2)' изоморфно ф.
Первый случай выделяется условием
A j т"-*А , i ~~ 1, 2, . .
Тогда о есть отображение М н а D; отсюда и иэ опреде
ления множеств Щ следует, что эти множества^ взаимно
однозначно соответствуют множествам Л/j.
Условие Х( Ф А имеет, однако, весьма ограничитель
ный характер: может статься, что мультинликативноо
покрытие множества М но содержит мультипликативного
подпокрытия, которое удовлетворяло бы этому условию.
Чтобы получить пример такого рода, дополним фигуру
из второго примера п. 2 двумя квадратами: квадратом
ABPQ. примыкающим к квадрату A BCD по стороне А В
и лежащим вне плоскости этого квадрата, и квадратом
EA RS, который полностью определен двумя своими сторо
нами ЕА и ES . Если теперь обозначить, как и раньше, А В
через M t , то видно, что А , = Л. С другой стороны, наша
система множеств не содержит подсистемы, которая обра
зовывала бы мультипликативное покрытие полиэдра, обра
зованного всеми квадратами.
Поэтому важен второй специальный случай, именно,
случай н е п р и в о д и м о г о мультипликативного по
крытия. Под этим понимают такое мультипликативное
покрытие 2) множества М, которое не содержит собствен
ного мультипликативного подпокрытия. Как легко видеть,
Для неприводимости мультипликативного покрытия необ
ходима и достаточна совокупность следующих условий:
1) если M t является основным элементом системы 2),
то А, ф Л;
2) каждый элемент системы 2>, который не является
основным, является пересечением основных элементов.
П у с ть M i и M j — элементы из 2>,
= Маг Л М а, П . . . П Л/аа, Mj = M Pl П . . . П -Щь,
18 П- С, Александров, т. I
242 19. Д И С К Р Е Т Н Ы Е П Р О С Т Р А Н С Т В А
ЛИТЕРАТУРА
HI Alexanirojf Р. Sur les espaces discrete. — C.r. Acad. sci. Paris,
1 1935. 200, c. 1649-1651.
(21 D e d e k i n d R. liber die von drei Moduli! erzeugte Dualgruppen.—
Math. Ann., 1900, 53, /6 2, c. 3 71-403.
141 U re 0 . On the foundation of abstract algebra.— Ann. Math.,
1 1935, 36, c. 406-437.
|4] T u c k e r A . Cell-spaces.— Ann. Math., 1936, 37, c. 92—100.
151 K o l m o g o r o j f A . Oner die D ualitat im Aufbau der koinbinatorischen
Topologie.— Матем. сб., 1936, 1 (43), с. 97—102.
161 K o l m o g o r o j f A . Les groupes de Betti des espaces localeinent com
pacts.— C.r. Acad. sci. Paris, 1936, 202, c. 1144—1147.
(7) Alexandrofj P., Пор/ H. Topologie, I . — Berlin; Leipzig, 1936.
|8i Л LexandrofJ P., Kolmogorojf A . Endliche Oberdeckungen topo-
logischer Raume.— Fundam. m ath., 1936, 26, c. 267—271. Рус
ский перевод: наст, издание, т. II.
КОММЕНТАРИЙ
Хотя основная цель статьи — как скяааво уже во введении —
построение теории гомологий, статья сознательно включена в на
стоящий том, а не в том, посвященный специально общей теории
гомологий. Причина этого — большое количество фундаменталь
ных понятий, вводимых и изучаемых в статье (и, прежде всего, поня
тие нерва), относящихся ко всея топологии, а не только к гомоло
гической ее части.
4) Мы сохранили здесь термины тех лет, если нх интерпрета
ция не доставляет затруднения читателю. Так, алгебраический
/■-мерный комплекс пространства по области коэффициентов /
есть, разумеется, г-мерная цепь по группе коэффициентов J , а ниж
ние к верхние теории гомологий суть соответствсиио теории гомо
логий и когомологий.
20
О БИКОМПАКТНЫХ РАСШИРЕНИЯХ
ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ *)
1. Пространство R в п о л н е р е г у л я р н о в
т о ч к е х, если оно удовлетворяет следующему усло
вию *): каждая окрестность Ох точки х содержит такую
окрестность О^х, что существует действительная непре
рывная функция, определенная во всем Л, заключенная
между 0 и 1, равная нулю во всех точках Otx и равная
единице во всех точках Л \ Ох.
Свойство полной регулярности можно определить не
сколько иначе: скажем, что открытое множество Г' в п о л-
не р е г у л я р н о включено в открытое
м н о ж е с т в о Г, если всем элементам t некоторого
плотного в себе порядкового типа в можно поставить
в соответствие открытые множества Г| пространства Л
таким образом, чтобы из tx < <s следовало
если / ( r ) < i . ,
если у</(х)<1.
20. РАСШИРЕНИЯ ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ 247
(1) Ог |У Л '= Г . ■
•) [2], е. 119.
20. Р А С Ш И Р Е Н И Я ТО П О Л О ГИ Ч ЕС К ИХ ПРОСТРАНСТВ 251
г 1п . . . п г , = |г д п . . . П 1 г ; ] = ] г 1п . . . п г ; ] ,
§ 2. Пространства a R и a 'R
н бикомпактные расширения пространства R
9. Т е о р е м а II. Пространства a R U a 'R можно
непрерывно отобразить на всякое бикомпактное расшире
ние bR пространства R и притом так, что при этом
отображении все точки R остаются неподвижными.
Д о к а з а т е л ь с т в о . Для каждой точки х = {Г}
пространства a R (пространства a'R) полагаем
Р* = Г) f r ’ bn,
где индекс hR снизу означает, что замыкание берется
в bR. Докажем, что множество Р х, которое непусто (как
пересечение центрированной системы замкнутых подмно
жеств бикомпактного пространства bR), не может содер
жать более одной точки. Для «того докажем сначала
лемму:
Л е м м а V. Если у 6 Рх, то всегда R П Оу £ х.
20. Р А С Ш И Р Е Н И Я ТОП ОЛ ОГИ Ц К ГКИ Х ПРОСТРАНСТВ 253
сГ = Г U (Л \ 1Я \ Г1)
Итак,
Теорема I II. Д.гя всякого вполне регулярного
пространства R пространства a 'R и fJ.fi? совпадают
с точностью до гомеоморфизма, остав.1яющего неподвиж
ными все точки R.
§ 3. Случай нормального R
12. Т е о р е м а IV. Д ля нормального пространства R
пространства a/?, a 'R , fjfi? и o>R совпадают с точностью
до гомеоморфизма, оставляющего неподвижными все точ
ки R.
Д о к а з а т е л ь с т в о . Прежде всего, в случае нор
мального R пространства a R н а ' R тождественны между
собой, так как очевидно, что всякая регулярная система
открытых множеств нормального пространства вполне
регулярна, следовательно, всякий регулярный конец нор
мального пространства есть вполне регулярный конец.
Остается доказать совпадение пространств aR и o R .
Для этого каждой точке х = (Ф) пространства юЯ ставим
в соответствие систему {ОФ} всех открытых множеств
пространства Я, содержащих хотя бы одно Ф 6 *. Система
{ОФ}, очевидно, центрирована. В силу нормальности Я
эта система регулярна. Пусть {0} э {ОФ} есть центри
рованная регулярная система открытых множеств 5 Й .
Докажем, что {О} = {ОФ}. В самом деле, если О, —
произвольный элемент из {О} и Ох £{0}, [Oi)R Е О0, т0
при любом выборе ОФ имели бы, вследствие центрирован
ности {0} и включения {О}2 {ОФ}, неравенство Ох f| ОФф
Ф А, значит, и подавно 10г] f) ОФ Ф А, а так как Я нор
мально, то и 10J П Ф = ^ Л . Так как это справедливо для
любого Ф £ х, то I0j) £ {Ф}, а ноэтому О0 £{ОФ}.
Итак, {ОФ} есть регулярный конец пространства Я,
т. е. точка у пространства а Я. Полагаем
У - {ОФ} = / (х).
Этим определено отображение / пространства <оЯ в про
странство аЯ . Отображение это есть отображение на а Я.
В самом деле, если у =={Г} есть произвольная точка а Я,
то {1Г1 д} центрировано. Дополняем {1Г] я } до какой-
нибудьмаксимальной центрированной системы {Ф} замкну-
20. Р А С Ш И Р Е Н И Я ТОП ОЛ ОГИ Ч КСКИХ ПРОСТРАНСТВ 25 7
т о р ы х э л е м е н т о в р а з б и е н и я Р ( т . е. Г —
= и и и Г' =
Л=Г
U
А). Хаусдорфовы разбиения суще-
Л<=Г
ствуют: разбиение, состоящее из одного элемента А = П,
есть хаусдорфово разбиение.
Рассмотрим теперь систему ф = {/*<,} в с е х хаусдор-
фоных равбиений Р а данного ^-пространства П и систе
му Р о всех непустых замкнутых множеств вида А„ =
=i П Л 4, где под знаком пересечения стоит по одному
а
элементу из каждого хаусдорфова разбиения Р а простран
ства П. Так как каждая точка пространства П принадле
жит к определенному элементу всякого хаусдорфова раз
биения Р а пространства П, то каждая точка i f l l при
надлежит к некоторому Д 0 £ .Р 0. Два различных мно
жества А 0 — П л а и A i — П A i не пересекаются, так
как если А „ = f U a И A i = . П Ай различны, то по край
ней мере для одного а множества А а и А'а из Р а различны
и, следовательно, не имеют общих точек. Таким образом,
система множеств Р 0 есть разбиепие пространства П па
пепересекающпеся замкнутые множества. Очевидно также,
что всякое А 6 Ра, есть сумма тех А 0 = А л , для кото
рых Аа, = А . Можно написать поэтому
А = U А0
ДвСА
ДЛЯ ВСЯКОГО А £ Р а -
Отсюда следует, что разбиение Р„ есть хаусдорфово
ра.)биение. В самом деле, пусть А I = и А1 =
два различных элемента Р 0. По крайней мере для одного а
множества .4» и Аа различны, следовательно, существуют
непересекающиеся открытые множества Г1 э и Г '2
Э Да в пространстве П, нацело разлагающиеся на содер
жащиеся в них А а- Но так как каждое А а, в свою очередь,
нацело разлагается на содержащиеся в нем А 0, то то же
справедливо для Г1 и Га, чем хаусдорфовость разбиения
Р0 и доказана. Итак, хаусдорфово разбиение Р п есть мини
мальное хаусдорфово разбиепие Т у пространства в том
смысле, что оно является подразделением всякого другого
хаусдорфова разбиения пространствах элементы всякого
264 20. Р А С Ш И Р Е Н И Я ТО Н О Л О ГИ Ч ЕС К ИХ ПРОСТРАНСТВ
Прибавление I
В этом прибавлении дается критерий для Я-замкну-
хости *) и для бикомпактности пространств, который мо
жет быть полезен, в частности, при исследовании упомя
нутых выше, еще остающихся открытыми, вопросов.
Т е о р е м а . Хаусдорфово пространство R тогда и
только тогда Н-ламкнуто, когда всякая максимальная
центрированная система открытых множеств содержит
систему всех окрестностей некоторой точки R.
Д о к а з а т е л ь с т в о . Пусть Я есть хаусдорфово
пространство, {Г} — максимальная центрированная систе
ма открытых множеств в Я. Пусть {Г} пе содержит ника
кой системы {Оа}, где {Оа} есть система всех окрестностей
некоторой точки а £ Я. Отсюда следует, что, каково бы
ип было а 6 Я, всегда можно найти Оа и Г так, чтобы
Оа П Г — Л (в противном случае {Оа} (J {Г} было бы
центрированной системой, вопреки свойству максималь
ности системы Г). Поэтому, присоединяя к Я новую
точку х с окрестностями х (J Г, получаем хаусдорфово
пространство, содержащее Я в качестве незамкнутого
мпожества. Необходимость нашего условия этим до
казана.
Для доказательства достаточности предположим, что
условие выполнено, и пусть Я U £ есть хаусдорфово
пространство. Если бы П Я} было центрированной
системой, то для пекоторого а £ Я мы имели бы Я) Э
2 {Оа}, значит, Оа П 0 \ Ф Л для любых Оа, 01, и Я ^ |
пе было бы хаусдорфовым. Поэтому {О| f) Я} не есть
центрированная система, следовательно, существует 0 \ =
= I, и 5 есть изолированная точка в R U I-
С л е д с т в и е . Регулярное пространство тогда и
и только тогда бикомпактно, когда всякая максимальная
центрированная система его открытых множеств содер
жит систему всех окрестностей некоторой его точки.
Прибавление IT
Очевидно, что среди всех бикомпактных расширений bR
данного вполне регулярного пространства Я пространство
ЛИТЕРАТУРА
|1] C ech Е . On bicompact spaces. — Ann. M ath., 1937, 36, c. 823—845.
[21 Wallman U. Lattices and topological spaces.— Ann. Math.,
1938, 39. c. 112-127.
[3] AlexandraЦ P., Иор/ H. Topologie, I.— Berlin, 1936.
|4] Tlchonofj A . Ober die topologischo Erwoitcrung von Raumen—
Math. Ann., 1929, 102, c. 544—561.
15] Х а у е д о р ф Ф . Теория множеств.— M.: ОНТИ, 1937.
|0] Alexandroff Р. Uber stetige Abbildungen kompakter Raume.—
Math. Ann., 1927, 96, c. 555 -571. Русский перевод: паст, пада
ние, т. II.
|71 Pospiill В . Remark on bicompact spaces.— Ann. M ath., 1937,
38, c. 845 -8 4 7 .
КОММЕНТАРИЙ
Эта работа П. С. Александрова явилась началом большой обла
сти общей топологии — теории расширений топологических прост
ранств. Этой теории посвящено уже много монографий, и в каждой
из них данной работе отводится роль основополагающей.
Главным достижением П. С. Александрова в теории бикомпакт
ных расширений является создание им метода центрированных
систем множеств (систем со свойством конечного пересечения в дру
гой терминолохии). Метод центрированных систем с успехом рабо
тает там, где речь идет о всякого рода пополнениях, компактифнка-
циях и т. д. (см., например, И л и а д и с С . Д . и Ф о м и н С . В . Метод
центрированных систем в теории топологических пространств.—
УМН, 1966, 21, J6 1, с. 47—76, или Катетов М. Пространства,
определяемые заданием семейства центрированных систем.— УМН,
1976, 31, .Vi 5, с. 9 5 -1 0 7 ).
Совсем недавно В. М. Ульяновым показано, что не всякое
хаусдорфово бикомпактное расширение имеет тип Волмэпа, т. е. что
не всякое хаусдорфово бикомпактное расширение вполне регуляр
ного пространства может быть получено как пространство макси
мальных центрированных систем замкнутых множеств пя базы-
кольца замкнутых множеств расширяемого пространства.—
В. И. Пономарев.
21
О ПРИВОДИМЫХ МНОЖЕСТВАХ •)
О п р е д е л е н и е 1. Множество А пространства R
называется п р и в о д и м ы м п о X а у с д о р ф у ( Ш)
или Я- п р и в о д и м ы м , если существует порядковое
число а , для которого А а = Л; при этом множество А
называется аЯ-нриводимым, если а есть наименьшее
число, обладающее этим свойством.
Хаусдорф показывает *), что в случае пространства R
со счетной бааой каждое приводимое множество осЯ-при-
водимо при некотором а < й , где Й — первое число
мощности Я|. Таким образом, всех классов Я-приводимых
множеств пространства R не более н1. При этом все эти
классы для весьма широких типов топологических про
странств (в частности, для всех несчетных компактов)
оказываются непустыми: так, уже среди счетных раз
розненных (т. е. не имеющих непустого плотного в себе
подмножества) множеств отрезка [0, 1] существуют аН -
приводимые множества для любого а < Й. Таким образом,
классификация Я-приводимых множеств на аЯ-приводм-
мые не является бессодержательной. Однако эта класси
фикация, как и понятие вычета данного множества, не
является топологически инвариантной, ибо зависит от
содержащего множество А пространства. Так, если мно
жество А рассматривать как пространство, то оно всегда
приводимо, ибо уже А г = res А = Л. Если же рассмот
реть множество А пространства R, плотное в R вместе
со своим дополнением R \ А . то Л, = res А = А ; следо
вательно, А а = А для любого а , и А неприводимо. Более
того, два гомеоморфных множества одного и того же
пространства могут принадлежать к разным классам клас
сификации Хаусдорфа, как это видно из такого простого
примера.
Пусть пространство R состоит из отрезка [0, 1] число
вой прямой и всех точек вида
1
Ьн. |*= 1 к, 1 = 1, 2, . . .
*
Множество В точек bfti j и b ■- 1 гомооморфно множеству А
точек
1
«А.1 к, 1= 1 ,2 , .
2»+; ’
) См. [1]. «. 168-173.
2 72 21. О П Р И В О Д И М Ы Х М Н О Ж Е С Т В А Х
•) II), с. 6 8 -7 0 .
•*) (1), с. 26—28.
21. О ПРИВОДИМЫ Х множлптвлх 273
1 8 П , С. А лександров, т . J
274 21. О П Р И В О Д И М Ы Х M H O J K E C f B A *
2. Вычеты и приводимость
(инвариантные определения)
Пусть А есть множество произвольного топологическо
го пространства R. Определим в ы ч е т ы А а множества А
следующим образом. Положим А 0 = А . Пусть вычеты А&
уже определены для всех р < а . Если а — число первого
рода, то пусть А а есть множество точек из Л*-1, в которых
А 0-1 не бикомпактно. Если а — число второго рода, то
пусть
ЛИТЕРАТУРА .
| 1 ] Hausdvrff F. GrundzQge der Mengenlehte.— Leipzig, 1914. Рус
ский перевод: Хауедорф Ф. Теория множеств,— М.: ОНТИ,
1937.
[2] AlexandraИ Р., Urusohn Р. Memoire sur les espaces topologiques
compacts.— Verh. kon. Akad. W et., 1929, 14, № 1, c. 1—96.
Русский перевод: Мемуар о компактных топологических про
странствах,— М.: Паука, 1971.
КОММЕНТАРИЙ
Особо большое внимание впоследствии уделялось одной разно
видности приводимых множеств — так называемым разреженным
множествам, т. е. таким множествам, в каждом непустом подмно
жестве которых имеется изолированная точка.— В. II. Пономарев.
22
О ПОНЯТИИ ПРОСТРАНСТВА В ТОПОЛОГИИ *)
§ 2. Бмкомпактыо пространства
Пусть М — бесконечное множество, лежащее в топо
логическом пространстве Е. Назовем точку а точкой
полного накопления множества М , если пересечение мно
жества М со всякой окрестностью точки а имеет ту же
мощность, что и все множество М .
Т е о р е м а * ) . Следующие три свойства топологи
ческого пространства Е эквивалентны между собой:
(а) Всякое бесконечное множество, лежащее в Е, имеет
хотя бы одну точку полного накопления.
(б) Всякая вполне упорядоченная система убывающих
непустых замкнутых множеств пространства Е имеет
непустое пересечение.
(в) Ия всякой системы открытых множеств, покры
вающих пространство Е (т. е. имеющих пространство Е
своей суммой), можно выделить конечную подсистему,
обладающую тем же свойством (т. е. покрывающую про
странство Е ).
Д о к а з а т е л ь с т в о . Назовем систему множеств
центрированной, если любое конечное число множеств,
являющихся элементами этой системы, имеет непустое
пересечение. Тогда, помня, что замкнутые и открытые
множества пространства Е являются взаимно дополни
тельными и что дополнение к сумме множеств совпадает
с пересечением дополнений к слагаемым этой суммы, а до
полнение к пересечению есть сумма дополнений, мы без
труда убеждаемся в том, что предложение (в) эквивалентно
предложению
(б') Всякая центрированная система замкнутых мно
жеств пространства Е имеет непустое пересечение.
После установления этой эквивалентности достаточно
доказать:
Первое. Из (а) следует (б).
Второе. Из (б) следует (б').
Третье. Из (в) следует (а).
I ii • • •» !'«
§ 3. Теоремы А. Н. Тихонова
1. Топологическое произведение пространств. Начнем
с элементарного примера. Плоскость следующим образом j
определяется как произведение двух прямых: точки
плоскости суть пары х, у , где х и у — точки двух «число- !
вых* прямых X и У; за элементы базы плоскости возьмем
прямоугольники, т. е. множества точек х, у, удовлетво
ряющих условиям
* € U, у € V, (
где U — какой-нибудь интервал на прямой X , V — какой-
нибудь иитсрвал на прямой У. Эта база и определяет
топологию плоскости. Заметим при этом, что ту же топо- |
логию можно было бы получить, взявши за U и V элсмен- \
ты произвольных баз прямых X и У.
В таком же смысле поверхность тора является произ- j
ведением двух окружи остей, трехмерное пространство — j
произведением трех прямых и т. д.
А. Н. Тихонову принадлежит большая заслуга разум
ного обобщения понятия произведения на случай любого |
множества топологических пространств.
Пусть нам дано множество М произвольной мощности !
L , состоящее из элементов, которые будем называть «ин- |
дексами» и будем обозначать черев а , (1, у и т. п. Каждо- j
му индексу а отнесено топологическое пространство Х а .
Поставим в соответствие каждому индексу а £ М некото
рую точку Ха 6 З а
получим систему
х ={*а>
точек х а 6 Х а , по одпой точке из каждого пространства Х а.
Всевозможные такие системы х = {ха } и называются точ
ками нового пространства X, которое, после введения
в него топологии, и будет называться топологическим
произведением пространств Х в; при этом, если х = { х а } —
данная точка X , то точки х а б Х 0 называются се «коорди-
22. О П О Н Я Т И И П Р О С Т Р А Н С Т В А В Т О П О Л О Г И И 291
р(*. = Ъ ( х п -У п )г-
Обозначим фундаментальный параллелепипед гильбертова
пространства через Q и докажем, что он гомеоморфен
топологическому произведению X счетного числа замкну
тых отрезков Х п. Так как топологическое произведение
определено в чисто топологических терминах, то без
ограничения общности мы можем предположить, что Х п
есть отрезок 0 < х„ < ^ числовой прямой. В этом пред
положении оба пространства Q и X состоят из одних
и тех же точек
(1) г = (Г|, ®ii • in i •••)» *
и нам остается доказать, что тождественное отображе
ние X на Q является топологическим. Для этого в свою
очередь достаточно убедиться в том, что:
а) Какова бы ни была точка (1) и е > 0, можно найти
такую окрестность точки х в пространстве Х< что Для всех
точек х' этой окрестности имеем р (х , х') < е (в Q).
б) Какова бы пи была окрестность U точки х в про
странстве X , можно найти такое е > О, что все точки х ,
удовлетворяющие условию р (х, х') < е, лежат в U.
Д о к а з а т е л ь с т в о а). При заданном е < 1 бе-
1 £2
рем п ^ 2 столь большим, чтобы gn < - j • Окрестность U
точки х в X , опрсделенпая условиями
|х , —x j | < e для i = 1 , 2 , . . . , » .
х = {**} е х
есть общая точка прикосновения всех множеств Л/х. Для
этого надо доказать, что всякая окрестность точки х пере
секается с любым из множеств М х. Всякая окрестность
точки х получается фиксированием некоторого конечного
числа индексов а х...........а г и выбором окрестности Ua
точки х а для каждого а — о^, . , а г. Докажем паше
утверждение сначала для «одноиядексных» окрестностей,
т, е. таких, при определении которых фиксируется лишь
один индекс а = сц. Но для таких окрестностей наше
утверждение непосредственно следует из того, что каж
дая окрестность Ua точки х а в Х а пересекается с любым
Ма- Так как каждая одноиндексиая окрестность точки х
пересекается со всеми М*, а система всех — макси
мальная центрированная система, то каждая одноиндекс-
няя окрестность точки х непременно входит в систему S
(иначе эта система не’ была бы максима.*ьной центрирован
ной). Но пересечение любого конечного числа элементов
максимальной центрированной системы непременно вхо
дит в эту систему. Следовательно, всякая окрестность
точки х, будучи пересечением конечного числа одноиндекс-
ных окрестностей, входит в систему S и, следовательно,
22. О П О Н Я Т И И П Р О С Т Р А Н С Т В А В Т О П О Л О Г И И 295
ф(х) = 1, если
(р(х)= о. если /( * > < т :
Ф (х )= 2 (/( * ) —у ) . если ! < / ( * ) < 1.
I
которые, обладая пустым пересечением, не могут быть
заключены в непересекающиеся окрестности.
i
22. О П О Н Я Т И И П Р О С Т Р А Н С Т В А В Т О П О Л О Г И И 299
значит,
gf (Ох) £= g (Оу) = Ох'.
Тогда для заведомо непустого множества А П Ох имеем )
А П Ох = gf (А П Ox) s Ох'
вопреки тому, что Ох и Ох' не имеют общих точек. Полу- ■}
ченное противоречие доказывает лемму.
3. Построим теперь для всякого вполне регулярного
пространства R следующим образом бикомпактное расши- \
рение р£, относительно которого мы потом докажем, что ’•
оно обладает только что определенным свойством макси- j
мальности.
Рассмотрим множество Ф всох непрерывных отображе- j
ний ф* пространства Е в отрезок 0 ^ t ^ 1 числовой '
прямой. Пусть т — мощность множества Ф. Каждой функ- ;
ции ф* £ Ф поставим в соответствие свой экземпляр Т \
сегмента Возьмем топологическое произве
дение R x полученных сегментов 7 \ и отобразим по методу
А. Н. Тихонова пространство Е в R x: каждой точке х £ Е
поставим в соответствие точку у = <р (х) = {у*,}, где У\ =
= Фх (х). Совершенно так же, как при доказательстве
второй теоремы Тихонова (§ 3), докажем, что полученное
отображение у = ф(х) есть топологическое отображение.
Е в /Г. Замыкание множества Е ' = ф (Е) в пространстве
R x есть бикомпакт, который мы обозначим черев рЕ-
Докажем, что бикомпактное расширение рЕ простран,
ства Е действительно обладает свойством максимальности.
Возьмем какое-нибудь бикомпактное расширение ЬЕ нашего
пространства Е и построим допустимое отображение р£
на ЬЕ. Начнем с того, что функцню ф*, ее индекс Я и соот
ветствующее Т \ назовем на минуту отмеченными, если
функция может быть продолжена на ЬЕ. Отмеченные Я
обозначаем через Я', мощность их множества черев т'.
Топологическое произведение всех Т у есть бикомпакт R x .
Так как Е плотно в ЬЕ, то существует лишь одна функция,
определенная па ЬЕ и совпадающая на £ с дапноп отме
ченной функцией ф»/. С другой стороны, каждое непре
рывное отображение ЬЕ в отрезок O ^ f ^ l определяет
отображение множества Е в тот же отрезок, т. е. неко
торую отмеченную функцию ф*>.
22, О П О Н Я Т И Й П РОСТРАНСТВА В Т О П О Л О ГИ Й 303
\
f(x)< C -^-, которые, следовательно, принадлежат к Л 0-
Итак, (h~l U) П А 0 Ф А, значит, V |"| Л„ Л.
Так как U — произвольная окрестность точки q,
то q 6 что и требовалось доказать.
С л е д с т в и е . Если Е нормально, то всякие два непе-
ресекающихся замкнутых множества в Е имеют в $Е
непересекающиеся замыкания.
Докажем далее, что при любом допустимом отображе
нии h пространства РЕ на какое-нибудь бикомпактное
расширение ЬЕ множество рЕ \ Е отображается на ЬЕ \
\ Е. Так как все точки Е остаются неподвижными, то
достаточно доказать, что ни одна точка р 6 РЕ \ Е не ото
бражается посредством h в точку Е. Предположим про-
тивпое, т. е.
р £ РЕ \ Е, q = h (р) £ Е.
Берем функцию ф, отделяющую в рЕ точку q от р, ф (q) =
= 0, ф (р) = 1, и обозначим через А множество тех точек
Е, в которых ф (х) ^ - j- .
Так как А 5 P замкнуто в £ с ЬЕ, то существует
замкнутое в ЬЕ множество Р такое, что Р f| Е — А . Пусть
ф — функция, определенная на ЬЕ и отделяющая q от Р:
Ф (?) = 0. ф (*) = 1 Для х 6 Р- Рассматривая ф лишь
на Е, продолжим эту функцию в функцию у, определен
ную на всем рЕ. Функция фЛ (х) совпадает на Е с функ
цией х (я), а так как Е плотно в ЬЕ, то и всюду на рЕ
имеем
X (г) = фh (г).
В частности,
X (Р) = ФЛ (Р) = Ф (?) = 0.
Обозначим теперь через Я открытое множество всех тех
х € РЕ, в которых одновременно ф (*) > 4~ и X (*) < 4" •
Множество Я непусто, таи как в нем содержится, напри
мер, точка р. Так как Е плотно в рЕ, то в Я существует
по крайней мере одна точка с £ Е. Для нее ф (с) = х (0 <
•< - j - , откуда и из определения Р следует, что
с £ Е \ Р = Е \ Л,
20 П, С. Александрой, т. I
306 22. О П О Н Я Т Ы М П Р О С Т Р А Н С Т В А В Т О П О Л О Г И Й
рх =П
а
значит,
/(«) €П
п
1/(^-)Ь
I»
так как 0 < / (ап) < ~ - и g (ап) = гп, то из определения
множеств М п следует, что
/ (о) — 0, g (a) = а,
т. е. что а £ А и g (а) = а, чем наше утверждение и теоре
ма 2 доказаны.
Из только что доказанной теоремы следует, что никакое
конечное или счетное замкнутое множество, расположен-
320 22. О ПОНЯТИИ П Р О С Т Р А Н С Т В А в т о п о л о г и и
/( р) = 6 = < * .(р» € Л
Га = А а (£„).
32G 22. О ПОНЯТИИ ПРОСТРАНСТВА В ТОПОЛОГИИ
V> а, у > р.
Пусть теперь каждому индексу а 6 0 соответствует топо
логическое пространство Х а и пусть для любых двух
индексов а. р, из которых один, положим р, следует
за другим, определенно непрерывное отображение л£ про
странства X р на Х а. Мы предполагаем, кроме того, что
выполнено следующее условие транзитивности: для любых
у > р > а имеем
О и р=<4.
л? = [£ /']*, ^ = 1*\И?1М?)1я.
В каноническом покрытии а = vlj, Л “} не суще
ствует элемента, содержащего обе точки и поэтому
х а не может содержать одновременно £' и Итак, ха
а
состоит из еднпственпой точки | . Из определения проек
ционного множества {ха (5)} следует, что для любого а
множество х а содержится в ха (£), т. е. х =* {ха} объем-
лет {х а (£)}.
С л е д с т в и е . Всякое минимальное х = {ха } есть для
некоторой точки \ ^ Е множество х (5) = {хв (£)}•
Л е м м а 3. Д ля любой точки | £ Е проекционное мно
жество х (£) — {хв (5)} есть минима.гъное проекционное
множество.
В самом деле, пусть х ' = {хд} объемлетсн множеством
х (|). Тогда х а (|) > x i для любого а и ха ( |) S х£,
откуда следует, что единственная точка пересечения всех
х^ совпадает с а значит, по предыдущей лемме, х'
обьемлет х (|) и, следовательно, х ' =« х (|), чом мини
мальность х (|) доказана.
Итак, ставя в соответствие каждой точке \ £ Е проек
ционное множество х (|) = {ха (|)} ее носителей, мы
получаем взаимно однозначное отображение бикомпакта
Е па нижний предел Q0 его спектра S = {.Xe , л^}- В силу
определения топологии в Q0, с одной стороны, и леммы 1 —
с другой, мы сразу видим, что база пространства Е й ри
этом отображении переходит в базу пространства
так что оба| пространства гомеоморфны между собой.
Остается доказать, что спектр S = {Xa, бикомпакта
Е есть спектр хаусдорфов. Пусть х ' = {х^} = х (£') и х* =
= {д£} = х (£") — два минимальных проекционных множе
ства спектра S. Если мы возьмем окрестности £/', U"
точек с непересекающимися замыканиями и положим
< = [U')e , A ^ [ U ' ) k, К = [ £ \ ( Л ? U AZ)]S, то видим, что
х ’а = xe (V) = 4 ? , и что в X* нет никакой
$2, О П О Н Я Т И И П Р О С Т Р А Н С Т В А в топ ол оги й 351
Е П Г плотно в Г, то мы имеем
М - 1 П р а * [ Е П Г ) » я = [ [ £ П Г Ы в гг,
т. е. Л = (Я f] П я, что и требовалось доказать.
Остается доказать свойство 2 для канонических мно
жеств. Пусть А", А" в Е имеют общие внутренние точки.
Тогда А Г = [Я ']£, А ' = [Я ')£, Н ' f] Я ' ф Л и И ' =
- I^h'1 pki М = Юн-1ря, Og- П = Яд-пн* ^ Л.
Обратно, если
рЛ' = |Г']РЕ, рА'-[Г]»в, Г'ПГ^Л,
то нрн Н ' = Е П Г', / / ' = Е П Г” имеем / / ' П Я ' э
Э £ П ( Г ' П Г") ^ Л, Л ' = [Я ']в , Л ' = [Я"|£, Л ' П
П Л ' Э Я ' О Я ' =?ь Л, чем все доказано.
ИСТОРИКО-БИБЛИОГРАФИЧЕСКАЯ СПРАВНА
§ 1
Различные классы топологических прострапстп, а также спе
циально метрические пространства были введены в науку Фреше
(Krechot) в 1906 г. Современное понятие топологического простран
ства связано, в первую очередь, с именами Ф. Рисса (F. Riesz, 1906)
(который, таким образом, наряду с Фреше должен считаться осно
вателем так называемой «абстрактной» топологии), Хаусдорфа
(Hausdorff, 1914), Куратовского (1922), Александрова (1925), Сер-
пинского (1927), которые в основу понятия топологического прост
ранства ставили соответственно понятия: производного множества,
окрестности, замыкания, открытых множеств и замкнутых мно
жеств.
§2
Теория бикомпактных пространств в основном построена
в работе Alexandroff Р. S., Urysohn Р. S. Мёто)ге sur les espacos
topologiques compacts.— Verb. kon. Akad. Wet. Amsterdam, 1929,
14, №1, c. 1—96. (Русский перевод: Александров П\ С., Урасой И. С.
Мемуар о компактных топологических пространствах.— М.: Наука,
1971.) К огон работе примыкает, с одной стороны, Urysohn Р. S.
Uebcr die Machtigkeit der nisaiiunenhangenaen Mengeii.— Math.
Ann., 1925. 94, c. 262—295, а с другой — Alexandra// P. S. Ueber
stetige Abnildungen kompakter Kaume.— Math. Ann., 1926, 96,
c. 555—571. Русским перевод: васт. издание, т. III.
§§ 3, 4
Теория топологических произведений, с одной стороны, и би
компактных расширений — с другой, а вместе с ними и большая
22. О ПОНЯТИИ ПРОСТРАНСТВА В ТОПОЛОГИИ 357
§5
Alerandroff P . S. Uebcrstetige Abbildungcn kompakter Raumc.—
Math. Ann., 1926, 96, c. 555—571. Русский перевод: наст, из
дание, т. II, с. 13—35.
Александров П. С. К теории топологических пространств.—
ДАИ СССР, 1936, 2, № 2, с. 51—54; иаст. кп., с. 211—215.
66
Alexandra!f Р . S. Untorsuchungen iiber Gestalt und Lage abgesch-
lossener Mengen beliebigur Dimension. — Ann. Math., 1929, 30,
c. 101—187. Русский перевод: васт. издание, т. III.
Alerandroff Р. S. Sur les suites des espaces topologiques.— C.r.
Acad. sci. Paris, 1935,200, c. 1708—1709. Русский перевод: наст, кн.,
с. 175-177Л
Alerandroff Р. S. Diskrete Нашпе.— Матем. еб., 1927, 2, с. 501—
519. Русский перевод: наст, ки., с. 216—242.
Kurotch А . G. Ucbcr den kombinatorischen Aufbau der bikompak-
t«n lopologischen RSume.— Compoeitio Math., 1935, 2, c. 471—476.
Курош А . Г. К теории частично упорядоченных систем конеч
ных множеств.— Матем. сб., 1939, 5, с. 345—347.
Болшево — Комаровка,
9 сентября 1945 г.
КОММЕНТАРИИ
Статьи, написанная в 1945 г., относится к некоторым основным
результатам в общей топологии, полученным за примерно 10 пред
военных лет. Здесь в доступной для студента форме изложены
факты, группирующиеся вокруг трех тем: 1) бикомпактность и тес-
358 22. О ПОНЯТИИ ПРОСТРАНСТВА В ТОПОЛОГИИ
§ 1. Предварительные понятия
Т р и а н г у л я ц и е й *•), лежащей в данном евкли
довом пространстве R n, называется всякое множество т
попарно не пересекающихся открытых симплексов (раз
личного числа измерений) пространства Rn, удовлетво
ряющее следующим условиям:
1°. Всякая грань симплекса, являющегося элементом
множества т, сама является элементом множества т.
2°. Каждая точка х, принадлежащая какому-либо сим
плексу, являющемуся элементом множества т, имеет
окрестность относительно R n, пересекающуюся лишь
с коночным числом симплексов из т.
*) Работа посвящена X. Хопфу к дню его шестидесятилетия.
Опубликована в Тр. Московск. матсм. о-ва, 1955, 4, с. 405—420.
**) Триангуляции в этом смысле были впервые введены в рас
смотрение в книге (1), с. 129, под названием е в к л и д о в ы х
комплексов.
360 23. О Г О М Е О М О Р Ф И З М Е Т О Ч Е Ч Н Ы Х М Н О Ж Е С Т В
*) Под я в е з д н о к о н е ч н ы м к о м п л е к с о м мы
понимаем абстрактный енмплицнальный комплекс К , содержащий
вместо с данным симплексом и все его грани к обладающий тем
свойством, что каждая вершина этого комплекса является верши
ной лишь конечного числа симплексов комплекса К.
23. О ГО М Е О М О Р Ф И З М Е Т О Ч Е Ч Н Ы Х М Н О Ж Е С Т В звз
§ 3. Пространство спектра
1. Пусть 2 = (а, л*} —абстрактный спектр. Не огра
ничивая общности рассуждений, мы можем считать, что
два комплекса а и р , являющиеся различными элементами
спектра, не имеют общих вершин **).
Назовем н и т ь ю спектра 2 всякое проекциопное
множество \ этого спектра, замкнутое по отношению к опе
рации проектирования в том смысле, что из р > а, е$ 6 £
всегда следует, что Ла«р с:
Из определения нити следует, что пересечение нити £
с каждым комплексом а спектра 2 (т. е. множество всех
вершин комплекса а, являющихся элементами нити £)
непусто и является всегда остовом некоторого симплекса
ta комплекса а. Непустота пересечения 1 П ® вытекает
*) Сиектр а естественно назвать к о м б и н а т о р н ы м
с п е к т р о м полиэдра Е, соответствующим данной его триангу
ляции.
**) Для этого достаточно заменить и спектре 2 каждый комп
лекс а изоморфным ему комплексом а , вершинами которого являют
ся пары ё а (в, *), где е — вершина комплекса о , причем вершины
«■о. . . ., ег тогда и только тогда образуют остов комплекса а, когда
соответствующие им вершины с0, . . . . еГ образуют остов комп
лекса о.
366 28. О ГО М Е О М О Р Ф И З М Е Т О Ч Е Ч Н Ы Х М Н О Ж Е С Т В
24 п. с. Александров, т. I
370 23. О ГО М Е О М О Р Ф И З М Е Т О Ч Е Ч Н Ы Х М Н О Ж Е С Т П
П П*а;-
§ 6. Доказательство теоремы
о гомеоморфизме множеств
Итак, для всякого множества Е a Rn некоторая муль
типликация Я* его открытого спектра Я содержит ослаб
ленный канонический спектр S'c множества Е в качестве
конфинальной части. При этом мультипликация заклю
чается в том, что мы всякое каноническое (относительно
пространства R n, в котором лежит множество Е) покры
тие множества Е считаем в спектре столько раз, сколько
в Л” имеется канонических триангуляций, высекающих
в множестве Е данное каноническое покрытие.
Пусть теперь в некотором Rn дано множество Е '.
гомеоморфное множеству Е. Тогда у множеств Е и Е '
один и тот же открытый спектр Я. Подвергнем уже по
строенный спектр Я* дальнейшей мультипликации Я**,
заключающейся в том, что мы каждое покрытие множества
Е ', каноническое относительно R " , считаем столько раз,
сколько в R ’ имеется канонических триангуляций, высе
кающих это покрытие. Спектр Я** содержит в качестве
конфипальпых частей и ослабленный канонический спектр
множества Е и ослабленный канонический спектр
множества Е '. Так как ослабленный канопичесиий спектр
любого множества является конфинальной частью гео
метрического спектра этого множества, то первая часть
теоремы 2.1 доказана.
Доказательство второй части непосредственно следует
из того, что спектр и его конфинальная часть имеют одно
и то же пространство и что пространством геометрического
спектра данного множества Е является само это множество.
Теорема о гомеоморфизме точечных множеств пол
ностью доказана.
Остается отдельпо рассмотреть случай полиэдров.
23. О Г О М Е О М О Р Ф И З М Е Т О Ч Е Ч Н Ы Х М Н О Ж Е С Т В 381
§ 7. Несколько замечаний
Теорема о гомеоморфизме точечных множеств, состав
ляющая основное содержание этой работы, очень отягчена
лежащим в ее основе понятием конфинальной части спект
ра. Было бы, конечно, чрезвычайно желательно заменить
участвующее в теореме о гомеоморфизме понятие конфи
нальности более простым понятием, приводящим к анало
гичным результатам.
382 23. О ГОМЕОМОРФИЗМЕ ТОЧЕЧНЫХ МНОЖЕСТВ
М е т р и з а ц и о н н а я т е о р е м а . Д ля метри
зуемости топологического пространства необходимя и до
статочно, чтобы оно было коллективно нормальным про
странством с равномерной базой *).
П. С. Урысон в самом начале своих занятий пробле
мой метризации высказал гипотезу, что условие метри
зуемости должно получиться в результате одновремен
ного усиления, с одной стороны, аксиом отделимости,
а с другой,— первой аксиомы счетности. Наш результат
придает точное содержание этой гипотезе П. С. Урысона
и доказывает ее спустя 35 лет после'его смерти.
ЛИТЕРАТУРА
[1] Alexandroff Р. Une condition necessaire et suffisante pour q’une
classe (L) soit une classe (D).— C.r. Acad, sci, Paris, 1923, 177,
c. 1274—1276. Русский перевод: наст, кн., с. 50—52.
[2] Александров П. С., Пемыцкий В. В. Условие метризуемости
топологических пространств и аксиома симметрии, — Метем, еб.,
1938, 3. с. 663-672.
[31 Келли Дж. Общая топология.— М.: Н аука, 1968.
КОММЕНТАРИЙ
1) Пространство называется точечно паракомпактным (или
слабо паракомпактным), если в любое его открытое покрытие можно
вписать открытое точечно конечное покрытие.
*) Известен следующий результат Р. Бинга (Metrication of
topological spaces.— Oanad. J . M ath., 1951, 3, c. 175—186): Всякое
коллективно нормальное пространство, обладавшее счетной полной
системой открытых покрытий, метрнзуемо. Отсюда и из теоре
мы III вытекает непосредственно и теорема IV. *
*) Отправляясь от данного в работе понятия равномерной
базы —'оказавшегося важным инструментом во многих вопросах
общей топологии,— А. В. Архангельский ввел в рассмотрение
р е г у л я р н ы е б а з ы (Бплл. Польской Акад, наук, сер.
метем., I960, 8, с. 589—595) как такие базы Я) пространства X, что
для каждой точки х £ X и каждой ее окрестности U найдется окрест
ность V той же точки такая, что одновременно с У и с Х \ V может
пересекаться не более конечного числа элементов базы. Оказы
вается, для метризуемости топологического пространства необхо
димо и достаточно, чтобы оно было Г,-пространством и имело регу
лярную базу.
Что касается равномерных баз, то А. В. Архангельский дока
зал, что 7 ,-пространства с равномерной базой суть в точности
непрерывные открытые образы метрических пространств с биком
пактными прообразами точек.
25
ОаА а - Ол.\Оа.А*].
§ 1. Распространение подчинения"
Т е о р е м а 1. Пусть для некоторых пар множеств
F, Я (где F замкнуто, Я открыто в пространстве X)
определено подчинение F < 1 Я , удовлетворяющее следую
щим условиям:
! 1°. Если F • О ’Я . mo'F <= Я.
2е. Если F существует такая окрестность
OF, что
Р < i OF с \OFy < Т Я.
3е. Если даны произвольная точка х и ее произволь
ная 'окрестность Ох, то х <м Ох.
Распространяем это подчинение до подчинения <
последующим правилам. Полагаем F < Я, если F < 1 Я,
и. сверх того, полагаем п ^ ' "*
"а) если Р, г= Р < 0 Я = ‘ Я ,, то Р{ С Я,;
Ы если F, < t Я ,, Р, < » Я „ то Fx U < Hi U
U Я 4, F (")
х < Я х Г| Н г ;
ЗМ 25. О В П О Л Н Е РЕГУЛ Я РН Ы Х ПРОСТРАНСТВАХ
§ 2. Доказательство теоремы 2
1. Напомним прежде всего элементарные свойства
системы 2 = (фа) всех разбиений вполне регулярного
пространства X . состоящего из бесконечного множества
точек. Система S является измельчающейся в том смысле,
что для любой точки х 6 X и произвольной ее окрестно
сти Ох найдется такое фа 6 2 , что звезда точки х в фа (мы
обозначаем ее через S a х) содержится в Ох. В самом
396 25. О В П О Л Н Е Р ЕГУЛ Я Р Н Ы Х ПРОСТРАНСТВАХ
причем
[Г? ]* = Ш ?)5 = U f l j = Л “ ,
так что фв = {Л?} дает нам Хфа = фв . Если считать
всякое О“, содержащее данное Л “, отобранной окрестно
стью этого А п, то полученную топологию в 2 будем назы
вать элементарной. Однако, вообще говоря, она не удов
летворяет условию 2° (см. введение, п. 2). В то же время
имеет место предложение:
А) Если X нормально, то элементарная топология
в системе 2 удовлетворяет условиям 1 и 2 .
Утверждение А) легко следует из
А') Пусть в нормальном пространстве X дано произ
вольное замкнутое множество А и произвольная его окре
стность ОА. Существует такое разбиение фв и такое эле
ментарное открытое множество 0 °, что
А = Оа = Юв1 = ОА.
Для доказательства утверждения А') возьмем такую
окрестность ОгА , что [ O jA ls O A , и положим <ра =
= (I0 j/ 1 ], [X \ (OjAlJ}. Тогда для элементарного открытого
множества
OP = X \ IX \ l^ A ]) с X ч (X \ [ 0 ^ ] ) = [0,Л],
во-первых, \0Р\ s [0XA\ £= ОА и, во-вторых,
X \ 0 * = [X \ [0^11 s= X \ 10, А \ <= X \ А,
т. е. А = Оа, чем утверждение А') доказано.
Беря в предложении А') в качестве множества А
произвольную точку х, видим, что элементарная тополо
гия в X удовлетворяет условию 1°. Беря в предложении
А') в качестве А произвольное элементарное А *, в каче
стве ОА* — произвольное ОаА а, находим Оа-Аа, удовлет
воряющее условию
А а s Оа‘Л * = [0 в.Аа) = ОаА а.
Но в элементарной топологии включение [Ол-Аа1 = ОаА а
уже означает, что ОаА а есть отобранная окрестность мно
жества [0 в<Аа 1 , так что условие 2 ° выполнено.
398 25, О В П О Л Н Е РЕГУЛЯРНЫ Х П РО С Т РА Н С Т В А Х
О а 'А * =х ПП А* =Х \ U А ?•
Условии 1° и 2° выполнены.
Условие 1°. Пусть дапы х, Ох; берем окрестность O jx
в X так, чтобы X П O jx ~ ®х ’ Н ах°Дим А а так, чтобы
х £ А а £ ОаА а £ Ojx. Пересекаем это с X:
I ( Л “ g ОаА а £ Ох.
Условие 2°. Дана отобранная ОлА а X f) 0 вАа .
Берем такое а , чтобы Юа -А“]у £ 0 а.4“ . Тогда Ол А а —
= X П Ъа-А<х и [Оа А ?\х < ОаА а. Итак, каждое X опреде
ляет вполне однозначно топологию в системе 2 всех
разбиений пространства X.
Л
‘ . О Й П О лН Ё РЕ Г У Л Я РН Ы Х ПРОСТРАНСТВАХ ж
О ДИАДИЧЕСКИХ БИКОМПАКТАХ*)
§ 2 . Характеристика D x
4. Докажем теперь следующее предложение:
Если X имеет ветвящуюся измельчающуюся систему
мощности т конечных покрытий Я = {фа}, каждое из
которых дизъюнктно:
Фа = MiJ.W'i*} при а = {Я*..........Яп},
то X = D ' •
Заметим прежде всего: из дизъюнюности покрытия
фа следует, что его элементы суть открыто-замкнутые
множества, а из комбинаторной вписанности дизъюнктного
Фа в *) фх, Л . . . А фхп легко вытекает, что фв = 9х,Л
Л* • • ДфАп* Пусть фх = {Д], • • м А6 Обо
значим черев £>х множество натуральных чисел 1 , 2 , . . .
. . ., «х» снабженных индексом Я (причем пашем $х вместо
*) Мы обозначаем через <j>^ Л . . . А фхп покРитив> элемен
тами которого являются всевозможные непустые множества вида
\
•
П ... ПХ,л , где А{
•
Р ф *,....... A , л6fx„-п
2S. О Д И Л Д И Ч Е С К И Х Б И К О М П А К Т А Х 405
f x = l = {М 6 П Ог
ХЕ W T
= D\
ЛИТЕРАТУРА
КОММЕНТАРИИ
В настоящее время теория дпаднческих бикомпактов — класс
которых был впервые выделен П. С. Александровым — является
одной из наиболее разработанных глав общей топологии (Г>. А. Ефи
мов, А. Подчинений, Р. Энгольк ни г, А. В. Архангельский — если
назвать только некоторых авторов в этой области!. В результате
этих исследований выяснялось, например, что многие кардиналь
нозначные инварианты на дпаднческих бикомпактах совпадают
(папрнмер, вес, характер, я-всс, я-характер, теспота).
С другой стороны, в связи с многими задачами общей тополо
гии, возник вопрос о соабсолютности с днаднческими бикомпактами
и вопрос о возможности отобразить данный бикомпакт на канторов
дисконтинуум или тихоновский куб. Именно с последними вопро
сами ближе всего соприкасается и настоящая работа. Дело в том,
что при решении этих вопросов важное место занимает возможность
построить на данном бикомпакте так называемую диадическую
систему (той или иной мощности) — в работе она называется ветвя
щейся — конечных систем множеств.
СОДЕРЖАНИЕ
От р ед к о л л еги и ............................................................................. 5
Павел Сергеевич А лександров..................................................... 6
1. О мощности множеств, измеримых по Борелю . . . . 35
2. Компактные топологические пространства.................... 40
3. Q локальных свойствах множеств я понятии компактно
сти ................................................................................................. 45
4. Необходимое и достаточное условие для того, чтобы то
пологическое пространство было м етризуем о................ 50
5. О множествах, дополнительных ,4-мпожествам . . . . 53
6. Об аквивадеитяости понятий интеграла Перрона и Дан-
жуа ............................................................................................ 59
7. О множествах первого класса п абстрактных простран
ствах ............................................................................................. 71
8. К теории топологических пространств............................. 75
9. О строении бикомпактных топологических пространств 86
10. О метризации локально компактных пространств . . . . 95
11. Об обосновании л-морной теоретико-множественной топо
логии .................... -................................................................... . 105
12. Симнлициальпые аппроксимации в общей топологии . . 119
13. О нульмерных м н ож ествах............................ • ...................... 147
14. Л-множества и топологическая сходим ость..................... 167
15. О последовательностях топологических пространств . , 175
16. О счетнократных открытых отображ ен иях..................... 178
17. Обзор некоторых нерешенных проблем теоретико-множе
ственной топологии ......................................... . . . . . 185
18. К теории топологических пространств................................ 211
19. Дискретные пространства.....................................
20. О бикомпактных расширениях топологических про
странств . ............................................................ 244
21. О приводимых множествах ................................................. 271
22. О понятии пространства в то п о л о ги и .................... . . 280
23. О гомеоморфизме точечных м н о ж еств............................ 359
24. О метризации топологических п р о стран ств.................... 383
25. О вполне регулярных пространствах и их бикомпакт
ных р асш и р ен и ях ................................................................. 390
26. О диадвчсских б и ко м п актах ............................................. 400
415
Лавы Сергеевич Александров
ИБ M i l 169