Вы находитесь на странице: 1из 366

П .

С.

А Л Е К С А Н Д Р О В

ВВЕДЕНИЕ В ТЕОРИЮ И ОБЩУЮ

МНОЖЕСТВ

ТОПОЛОГИЮ

Д опущ ено М инист ерством высшего и среднего специального образования СССР в качестве учебного пособия

для

высших учебных заведений

студентов математических

специальностей

прИ

специальностей пр И ено — I и ИЗДАТЕЛЬСТВО ГЛАВНАЯ

ено

I

и

ИЗДАТЕЛЬСТВО

ГЛАВНАЯ

ФИЗИКО-МАТЕМАТИЧЕСКОЙ

Москва

«НАУКА»

РЕДАКЦИЯ

1977

ЛИТЕРАТУРЫ

--------------------

517.6

А 46

УДК 513.83

В

написании

книги принимали

участие

В.

И.

ЗАЙЦЕВ

и

В.

В.

ФЕДОРЧУК

Введение в теорию множеств и общую тополо­ гию. Александров П. С. Главная редакция физико-математической литературы издательства «Наука», М., 1977, 368 стр.

Первые три главы книги представляют собой изложение фактов теории множеств с так называемой «наивной» точки зрения. В главах 4—6 дается изло­ жение основных топологических фактов, касающихся метрических и топологических пространств. Особое внимание при этом обращается на метризационные теоремы и понятия компактности (бикомпактности) и паракомпактности. Книга является учебным пособием для студентов физико-математических факультетов университетов. Она может быть использована также аспирантами различных специальностей, нуждающимися в теории множеств и топологии. Книгу можно рассматривать как введение в сов­ ременные разделы общей топологии. Илл. 12, библ. 39.

А

20203-029

053 (02)-77

1

©

Главная редакция

физико-математической литературы

издательства «Наука»,

1977

ОГЛАВЛЕНИЕ

П р е д и с л о в и е

 

5

Глава первая.

 

О

бесконечных м н о ж еств ах

 

7

•§ 1. Понятие множества

 

7

§

2.

Подмножества. Операции

над

м нож ествам и

8

§

3.

Взаимно однозначное соответствие

между множествами. Отображение

 

одного множества

Семейства

на другое. п о к р ы т и я

и

Разбиение множества

множеств

на

подмножества.

12

§

4.

Теоремы

о

счетных

м н о ж ествах

 

18

§

5. Понятие о частично

упорядоченном

и (линейно)

упорядоченном мно­

 

жестве

.

.

'

.

'

23

§

6.

О сравнении

мощ ностей

 

28

Глава вторая. Действительные ч и с л а

 

34

■§

1.

Дедекиндовское определение

иррационального ч и с л а

34

| 2. Сечения

в множестве действительных чисел. Верхняя и нижняя грани

 

37

§ 3.

Действия

 

над действительными

 

42

•§ 4.

Разложение

действительных

чи сл ам и в двоичные дроби.

чисел

Мощность кон­

 
 

тинуума

47

Глава

третья.

Упорядоченные

и

вполне

упорядоченные

множества.

 

Трансфинитные

числа

52

§ 1. Упорядоченные м н о ж е с т в а

 

52

§ 2. Определение и примеры вполне упорядоченных м н о ж еств

57

§ 3. Основные

 

теоремы о вполне

упорядоченных

62

5 4. Счетные

траисфинитные

числа

(порядковые

м н о ж ествах числа

второго

класса).

 

Понятие конфинальности. Аксиома в ы б о р а

 

69

>§ 5.

Теорема Ц е р м е л о

 

78

§ Теоремы о кардинальных

6.

ч и с л а х

84

| Регулярные и иррегулярные порядковые числа. О наименьшем началь­

7,

 
 

ном числе, которому конфинален данный порядковый т и п

 

92

Глава четвертая.

Метрические

и топологические

96

§ 1. Определения

и простейшие

свойства

п р о с тр а н с тв а метрических

и топологических

 

пространств

 

96

§ Непрерывные о т о б р а ж е н и я

2.

 

112

 

§ Связность

3.

 

118

|

4.

Базы

и вес топологического

п р о стр ан ства

 

127

|

5.

Подмножества

прямой

и

п ло ско сти

135

:§ 6.

Некоторые с в о й с т в а

классические

примеры

метрических

пространств

и

их

147

4

ОГЛАВЛЕНИЕ

§

7.

Пространства

со

счетной

б а з о й

158

§

8.

Аксиомы отделим ости

164

§

9.

Ограниченные

множества

в

R n\

теоремы

Больцано — Вейерштрасса,

Кантора

и Бореля — Лебега. Теорема

К о ш и

180-

Глава пятая.

Компактные

и полные

метрические

пространства

 

188

§ Компактность в данном пространстве и

1.

компактность всебе

188

§ Непрерывные отображения

2.

к о м п а к т о в

195

§ Связность в компактных п р о стр ан ствах

3.

202

 

§ 4 .

Компакты

как

непрерывные

образы

канторова дисконтинуума

.211

§

5*

Определение и примеры полных метрических п р о стр ан ств

219

§ метрического п р о с т р а н с т в а

6.

Пополнение

 

225

§ свойства

7.

Простейшие

полных

метрических

п р о стр ан ств

229

§ Компактность

8.

и

п о л н о т а

230'

§ Множества,

9.

являющиеся одновременно .

пространствах

пактных метрических

множествами Faи G&

в ком­

232

Глава шестая.

Условия

типа компактности

и метризация топологических

пространств

238

§ 1.

Бикомпактные пространства

238

§ 2. Непрерывные отображения

бикомпактных п р о с т р а н с т в

248

§ 3. Теорема

Вейерштрасса— С т о у н а

251

§ 4. Топологическое произведение и теоремы Т и х о н о в а

254

§ 5. Внутренняя характеристика

вполне регулярных

пространств .

.

.

266

§

6. Максимальное

бикомпактное

расширение вполне

регулярногопрост­

ранства

270

§

7.

Построение

всех бикомпактных расширений данного вполне

регуляр­

ного

п р о стр ан ства

275

§

8.

Свойства

связности

и нульмерности

для б и к о м п акто в

282'

§

9.

Некоторые универсальные бикомпактные п р о стр ан ств а

288

§

10. Диадические би ком п акты

291

§

11. Открытые покрытия; пактности

паракомпактность

и другие свойстватипа ком­

295

§

12.

Локально бикомпактные

п р о с т р а н с т в а

311

§

13.

Метризационные теоремы

нова

Александрова — Урысона

и Нагата — Смир­

*

315

Прибавление к

главе

шестой.

Теорема о мощности

бикрмпактов с

первой

 

аксиомой

счетности

319

Прибавление.

§ Общее понятие обратного

Проекционные спектры

спектра

иа б с о л ю т топологических

1.

пространств.

32$

Абс­

 

трактные

проекционные

спектры

323

§ Проекционные спектры

2.

над семействами р азб и е н и й

 

332

§ Теорема

3.

реализации

для

абстрактных

с п е к т р о в

342

§ Леммы

4.

о неприводимых

замкнутых

о то б р аж ен и ях

345

§ Абсолют

5.

регулярного

пространс:ва

346

§ Экстремально

6.

несвязные

п ространства

,

354

§ Соабсолютные п р о стр ан ств а

7.

358

Л и т е р а т у р а

362

Предметный у к а за т е л ь

364

ПРЕДИСЛОВИЕ*)

Эта книга была задумана как второе издание моей книги «Введение в общую теорию множеств и функций», изданной

в 1948 г. Однако вскоре ж е после начала работы над этим вто­

рым изданием мне стало ясно, что речь фактически идет о на­ писании новой книги, а не о новом издании уж е написанной; и действительно, из старой книги в новую были перенесены без существенных изменений лишь первые три главы. В перерабо­ танном виде материал шестой и седьмой глав старой книги был частично взят мною в пятую главу новой книги. Составляющие основную часть новой книги главы четвертая и шестая написаны заново, лишь с небольшими заимствованиями из Прибавлений к двум последним главам старой книги. Однако сохранился и общий ее дух, состоящий в элементарном и — как я надеюсь — логически тщательном изложении рассуждений: формулировок и доказательств, и пронизывающий всю книгу так называемый «наивный» подход к основным понятиям теории множеств, непре­ взойденным образом воплощенный в классической книге Ф. Хаус-

дорфа

книга

в ее теперешнем виде может служить руководством для первого

ознакомления с общей топологией, т. е. с теорией топологиче­ ских пространств, с обращением особого внимания на их важ ­ нейший частный случай—-метризуемые пространства. Отсюда следует и специальное внимание, уделяемое нами проблеме мет­ ризации топологических пространств. С другой стороны, чрезвы­ чайно большое место в книге занимают пространства, обладающие тем или иным свойством «типа компактности», т. е. прежде всего бикомпактные (и локально бикомпактные), а также паракомпакт- ные пространства. Эти последние тесным образом связаны с об­ щей проблемой метризации. Если прибавить, что вполне регу­ лярные, или тихоновские, пространства суть не что иное, как подпространства бикомпактов, то станет ясным, что выделение,

«Теория

мне

множеств».

Как

кажется,

предлагаемая

вниманию

читателя

*)

В списке

литературы

связанные с теми или

иными

читатель

местами основного текста.

найдет

работы, лишь непосредственно

6

ПРЕДИСЛОВИЕ

с одной стороны, метризуемых пространств, а с другой стороны, пространств, удовлетворяющих условиям типа компактности, дает нам доступ практически ко всем важнейшим типам тополо­ гических пространств, что и объясняет название основной и завершающей шестой главы нашей книги. При этом я хотел бы настойчиво обратить внимание на то, что Прибавление к книге составляет ее неотъемлемую часть. Оно написано В. И. Зайцевым и посвящено кругу тесно связанных между собой вопросов, которые я причисляю к важнейшим среди разрабатывавшихся в общей топологии за последнюю четверть века, а именно теории обратных (в частности и в особенности проекционных) спектров и теории абсолютов и неприводимых совершенных отображений топологических пространств. Основы первой теории заложены в работах П. С. Александрова [4], [5], [8] и А. Г. Куроша [l] и получили новое и очень инте­ ресное развитие в работах В. И. Зайцева [2] и [3]. Вторая теория восходит к работам Глисона (Gleason) и еще даже М. Стоуна (М. Н. Stone) [1], но свое полное развитие полу­ чила лишь в работах В. И. Пономарева [2] и [3], в которых, в частности, и была осуществлена связь теории абсолютов и теории проекционных спектров. Кроме Прибавления В. И. Зай­ цев написал и § 5 гл. 6, в котором он излагает данную им внутреннюю характеристику тихоновских пространств. Участие В. И. Зайцева в работе над моей книгой настолько велико, что я считал необходимым отметить его особо. Это отно­ сится и к В. В. Федорчуку, который не только тщательно от­ редактировал всю книгу, но и внес едва ли не во все ее пара­ графы улучшения,) часто очень существенные. Я могу прямо сказать, что без участия В. В. Федорчука книга в ее настоящем виде вообще не была бы написана. В работе над этой книгой В. В. Федорчук был существенно поддержан своим учеником А. В. Ивановым. Названным моим дорогим ученикам и коллегам я выражаю искреннюю и сердечную благодарность. Гильберт часто сравнивал математику с волшебным, чарующим садом. В этот сад ведут многие различные входы. Одним из них

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

математикам. Найдя, как я надеюсь, уж е в самом

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

начинающим

Москва

Июнь,

1976 р.

П.

Александров

Глава

О БЕСКОНЕЧНЫХ

первая

МНОЖЕСТВАХ

§

1.

Понятие

множества

На каждом шагу нам приходится сталкиваться с тем трудно определимым понятием, которое выражается словом «совокуп­ ность». Например, можно говорить о совокупности людей, при­ сутствующих в данный момент в данной комнате, о совокуп­ ности гусей, плавающих в пруду, зайцев, живущих в лесах Московской области, и т. п.

В каждом из этих случаев можно было бы вместо слова «со­

вокупность» употребить слово «множество».

В математике постоянно приходится иметь дело с различными

множествами: например, с множеством вершин или диагоналей какого-нибудь многоугольника, множеством делителей числа 30

и

т.

д.

примеры множеств обладают одним сущест­

венным свойством: все эти множества состоят из определенного конечного числа элементов; последнюю фразу мы понимаем в том

смысле, что в каждом из упомянутых случаев на вопрос «сколько?» (людей в комнате, гусей на пруду, делителей числа 30) мы можем ответить или прямым указанием известного нам целого числа (например, число делителей числа 30 есть 8), или указанием на то, что целое число, дающее ответ на вопрос, во всяком случае имеется, хотя в данный момент и при данном состоянии наших знаний нам может быть и неизвестно, каково оно именно. Мно­ жества, состоящие лишь из конечного числа элементов, назы­ ваются конечными множествами.

др у­

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

в остатке 7, всех прямых, проходящих через данную точку плос­

Все

приведенные

В математике

приходится

постоянно

сталкиваться

и

с

Понятие множества для удобства дополняется понятием пус­ того множества. Пустое множество, по определению, не содержит

8

О

Б Е С К О Н Е Ч Н Ы Х

МНОЖЕС ТВА Х

[ГЛ.

1

элементов; число элементов пустого множества есть нуль. Необ­ ходимость рассмотрения пустого множества видна из того, что когда мы определяем тем или иным способом множество, то мы можем и не знать заранее, содержит ли оно хотя бы один элемент. Например, вероятно, множество страусов, находящихся в данный момент за Полярным кругом, пусто; однако мы не можем этого утверждать с уверенностью, так как, может быть, какой-нибудь капитан и завез какого-нибудь страуса за П оляр­ ный

круг.

Пустое

множество

обозначается через

Л.

§

2.

Подмножества.

Операции

над

множествами

Введем

теперь

следующие

основные обозначения и понятия.

Для

того

чтобы

указать,

что

х

есть

элемент

множества

А ,

пишут

х £ А

или

А Э х

(при

этом

обычно,

хотя

и далеко

не

всегда, менты— малыми). Определение

вместе с тем элемент множества В , то множество А называется

есть

обозначают

множества

1.

Если

большими

буквами,

а

их

А

эле­

каждый

элемент

множества

частью

или

подмножеством множества всех Вместо

множество

чисел.

четных

того

В.

чисел

чтобы

Например,

всех

есть

сказать,

часть

что

множ е­

множ е­

ства

ство А есть часть множества В , говорят часто, что множество А

целых

содержится

в множестве

В

или

что

А

включено

в

В,

и записы­

вают

это

так:

 

А s

В

или

В

=

А.

Если

А

есть

подмножество

множества

В,

причем

А ф В ,

то

пишут

 

А

с:

В

или

В

гэ

А .

Знаки Е , с называются знаками включения (одного множе­

ства в другое). Согласно нашему определению всякое множество А есть под­ множество самого себя. Кроме того, пустое множество есть часть всякого множества. Множество А и пустое множество назы­ ваются несобственными подмножествами множества А; все осталь­ ные подмножества называются собственными. Для всякого эле­ мента а £ А подмножеством множества А является и множе­

ство

опускать скобки и обозначать множество {а} через а. Подмножество множества А , состоящее из всех элементов, удовлетворяющих данному условию будем обозначать через

{а£Л: а удовлетворяет St}.

\а },

состоящее

только

из

этого

элемента.

Мы

часто будем

§2]

ПОДМНОЖЕСТВА.

ОПЕРАЦИИ

НАД

МНОЖЕСТВАМИ

9

Предположим, что мы имеем некоторую (конечную или бес­ конечную) совокупность множеств Ла *). Рассмотрим множество тех элементов, которые принадлежат хотя бы одному из мно­ жеств, входящих в данную совокупность. Множество всех этих элементов называется суммой (или объединением) множеств, об­ разующих данную совокупность. Объединение множеств обозначается знаком U ; например, A U В есть объединение множеств Л и В; объединение всех мно­ жеств А данной совокупности 21 множеств обозначается через

U А . Если совокупность 51 состоит из множеств А а , где а

€ а пробегает некоторое

а

объединение

обозначается через U А а или просто через U А а . Если сово-

множество

индексов

А,

то

их

a t

А

а

купность

St состоит

из

множеств

А„, где п пробегает все нату­

ральные

числа

1,2,3,

,

то

их

объединение обозначается че-

рез U А п или А г U Л 2 (J А 3 U • ■•

П =

1

Например, множество всех целых чисел есть объединение множества всех четных и множества всех нечетных чисел, а.также объединение:

нечетных чисел, не делящихся на три, множества А.г всех четных чисел,

мно­

жества А х и А 3 имеют общие элементы — числа, делящиеся на 6). Рассмотрим теперь операцию вычитания множеств. Пусть

не

содержаться в первом). Разностью множеств А и В называется

имеем два множества А и В (из

множества

А 1 всех

множества А 3 всех чисел,

делящихся

на

три

(при

этом

которых

второе

может

и

множество тех элементов множества А, которые не суть эле­ менты множества В . Разность множеств А и В обозначается

через

А

\ В

.

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

множество тех элементов, которые содержатся во всех данных множествах (множество элементов, общих всем множествам Ла ). Пересечение обозначается знаком f|; так например, Аг\В есть пересечение множеств А и В. Пересечение всех множеств Л

А;

данной совокупности 51 множеств обозначается через

О

Леа

. служат для различения

А а ,

рим о множествах

*) Индексы а,

Р,

.

.

(могущие,

элементов

например, принимать значения

данной

совокупности:

например,

Ар ,

Ау

данной совокупности

множеств.

)

1 ,2 ,3 , мы гово­

JO

О

Б Е С К О Н Е Ч Н Ы Х

М Н О Ж Е С Т В А Х

[ Г Л .

I

пересечение совокупности множеств Аа , где а пробегает некоторое

множество индексов А, обозначается через Q А а или через Q Ла ;

в

00

частности

П=1

Примеры.

А п— А хП А г П А 3п

.

а е

А

а

1.

Обозначим

через

А п множество

всех

рациональных

чисел,

абсолютная

величина

которых

меньше

~

(где п — натуральное

число).

Пересечение

00

f'J А„

П=1

всех

множеств

А„

состоит из одного

числа

0.

2.

Обозначим

через

А п множество

всех

положительных

рациональных

ни

чисел,

меньших

этом случае нет

всем множествам А п, т. е. пересе-

1

чем—.

О

В

одного

элемента,

общего

00

чение

Из

Р)

П= 1

А п всех

очевидных

множеств

А п есть

пустое

множество.

свойств действий

сложения,

пересечения и вы­

читания

отметим

Коммутативность:

А[}В=В{\А,

ЛПВ = ВГМ.

Ассоциативность:

U В)

U С =

A

U

U С)

=

А

U В U С,

(Л

П В)

П С = Л

П

П С) =

А

П В

П С.

Дистрибутивность

(пересечения относительно сложения):

 

U В)

П С =

(Л Л С)

U (А ПС),

 

вообще

 

(

l M

a

) n B

=

U

^

a

п б )

 

а

а

и,

далее,

 

(А\В) П

с

=

(Л п

С ) \ В

=

п С ) \ ( В

п С),

Л

\ В

=

Л \ ( Л Г ( В ) ,

Л =

П £ ) и ( Л \ В ) .

Почти

столь

ж е

соотношения двойствен­

ности

(сложения

 

и

очевидны следующие пересечения):

 

под­

множеств А а данного произвольного множества X имеют место

Для

любой

(конечной

или

бесконечной)

совокупности

§2)

тождества

ПОДМНОЖЕСТВА.

ОПЕРАЦИИ

НАД

МНОЖЕСТВАМИ

Ц

 

х

\

р

и

«

=

и

(

х

\

л

а),

( 1)

 

а

а

 

Х

\ 1 ) Л

в =

р | ( Х

\ Л

в).

(2)

 

а

а

\

Доказательства .обеих

формул

 

(1)

и

(2)

совершенно

анало­

гичны и проводятся автоматически. Докаж ем, например, фор­

мулу

Это означает, что х не принадлежит хотя бы

(1).

Пусть х £ Х

\

( V

*

а

одному

А а, т.е.

что х принадлежит хотя бы одному Х \ Л а,

т.

е.

x ^ U

( X

\ / l a).

Поэтому

левая

часть

формулы

(1)

содер-

 

а

жится

в правой

части.

 
 

Пусть,

обратно,

x ^

U

( X

\ / l a);

это

означает,

что х

принад-

 

a

лежит хоть одному Х \ Л а, следовательно, х не может

принад­

лежать

всем

А а,

т.

е.

х

не

принадлежит

Q

А а,

значит,

х

при-

 

a

надлежит Х \ Q А а. Таким образом, правтя

a

часть

формулы (1)

есть

подмножество

левой

части.

Формула

(1)

доказана.

В

заключение

этого

параграфа

скажем

об

убывающих

и воз­

растающих

последовательностях

множеств.

 

Последовательность

множеств

 
 

■AI,

Л 2,

А 3,

,

Л,,,

.

(3)

н а зы в а е т с я убывающ ей, соответственно возрастающей,

если для

любого

п

имеем

А „ ^ А п + 1, соответственно

Ап^ А п + 1. Если

при

этом

Л „ з Л „ +1, соответственно Л „с:Л п+1, то последовательность (3) называется строго убывающей (строго возрастающей). Легко видеть, что пересечение (соответственно сумма) любой

бесконечной подпоследовательности убывающей (соответственно воз­ растающей) последовательности (3) совпадает с пересечением (соот­ ветственно суммой) всей последовательности (3). Любая (конечная или бесконечная) совокупность множеств называется дизъюнктной или состоящей из дизъюнктных множеств, если пересечение любых двух (различных) множеств, входящих в эту совокупность, пусто.

для всех п имеют место более сильные соотнош ения

12

О

§

Отображение

3.

Взаимно

Б Е С К О Н Е Ч Н Ы Х

МНОЖЕСТВАХ

однозначное

соответствие

между

одного

множества

на

другое.

[ГЛ.

I

множествами.

Разбиение

множества

на

подмножества.

Семейства

множеств

и

покрытия

Если два множества состоят из одного и того же конечного

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

1. Множество А состоит из всех целых положительных чисел,

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

2. Множество А состоит из всех целых положительных чисел,

множество В — из всех положительных четных чисел. Мы получим взаимно однозначное соответствие между

если каждому числу п £ А поставим в соответствие число 2л £ В .

В ,

А

и

3. Множество А состоит из всех точек прямой линии (которую

примем за ось абсцисс некоторой координатной системы )*).

Множество В состоит из всех точек полуокружности

х* +

( у - \ Г

=

\,

у <

1,

с центром в точке (0, 1). Концы этой полуокружности, т. е. точки

(1, 1)

(рис. 1). Полуокружность касается нашей прямой в начале координат. Устанавливаем взаимно однозначное соответствие между множе­

и ( — 1, 1) не принадлежат к ней (в силу условия г/< 1)

в соответствие каждой точке Ц прямой ту

точку 1] окружности, в которой эту окружность пересекает луч,

соединяющий центр

4. Пусть А п В сохраняют смысл, указанный в предыдущем

примере. Пусть В ' — интервал (— 1; 1) числовой прямой, т. е мно­

ствами А и В , ставя

круга

с

|

.

*) Мы

считаем,

что

читатель

знаком с понятиями

числовой Подробно мы займемся

действительного числа

ными

из курса

анализа.

числами

в следующей

главе.

прямой

действитель­

и

ОТОБРАЖЕНИЯ

МНОЖЕСТВ

И

ПОКРЫТИЯ

13

жество всех точек оси абсцисс, удовлетворяющих неравенству — 1 < х < 1 . Проектируя полуокружность В ортогонально на интервал В' и помня, что А уже поставлено во взаимно одно­

значное соответствие с В , получим взаимно однозначное соот­ ветствие между числовой прямой А и ее интервалом (— 1; 1). Очевидно, можно таким образом установить взаимно однозначное соответствие между число­ вой прямой и любым ее ин­ тервалом, а следовательно, и между любыми двумя ин­ тервалами. На

основе понятия взаим-,

но однозначного соответст­ вия вводится следующее

Два

множества называются коли­

Определение

2.

чественно эквивалентными, •если между ними возможно установить взаимно одно­

значное соответствие. Таким образом, множества А и В в каж­ дом из предыдущих примеров суть множества количественно экви­ валентные. Количественно эквивалентные множества часто называют просто эквивалентными множествами. Замечание 1. Относительно двух эквивалентных множеств говорят, что они имеют одинаковую мощность. Замечание 2. Очевидно, что два конечных множества экви­ валентны тогда и только тогда, когда они состоят из одного и же

того

эквивалент­

ности следует, что два множества А и В , эквивалентных од­ ному и тому же третьему множеству С, эквивалентны между собою.

мощность (см. заме­

чание 1), можно ответить лишь так называемым «определением

через абстракцию»: мощность— это то,

эквивалентных между собою множеств. Если мы поставим себе вопрос: «Что есть общего у всех эквивалентных между собою конечных множеств?», то из сказанного в замечании 2 будет сле­ довать, что этим общим является одинаковое число, или коли­ чество, элементов, из которого состоят все эквивалентные между

собой

Рис.

1.

_

числа

элементов.

3.

Из

Замечание

предыдущего

определения

Замечание

4.

На

вопрос,

что

такое

что есть общего у всех

конечные

множества.

В

этом

смысле

понятие

мощности

применении понятия количества (количественные числа) *).

является— в

к бесконечным

множествам —аналогом

*) См.

в связи с этим замечание

в

§

S

этой

же

главы.

14

О

БЕС КО Н Е ЧН Ы Х

МНОЖЕСТВАХ

[ГЛ.

!

Определение 3. Множество, эквивалентное множеству всех

натуральных

чисел,

называется

счетным множеством.

На основании сказанного в замечании 3 мы заключаем, что:

1) всякое множество, эквивалентное счетному множеству, само есть счетное множество, 2) всякие два счетных множества экви­ валентны. Определение счетного множества может быть сформулировано

и следующим образом: счетное множество— это такое множество А , все элементы которого могут быть занумерованы в бесконечную последовательность

fij,

й 2,

йд,

.

.

.

,

й пу

.

.

.

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

Бесконечное

множество,

не

являющееся

счетным,

называется

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

рого множества X поставлен в соответствие определенный элемент у некоторого множества Y , то мы пишем /: X —*■F и говорим, что имеется отображение множества X в множество Y , или функция / , аргумент которой пробегает множество X , а значения принад­ лежат множеству Y . Для того чтобы показать, что данный

множеством.

элемент у поставлен в

и говорят, что у есть образ элемента х при данном отобра­ жении /.

соответствие

элементу

х,

пишут

y — f ( x >

При

этом мы часто будем писать y = fx вместо y = f(x), так

как мы

пишем

// =

sin x

или

y =

\ ogx,

а

не

sin(jc),

lo g (x ).

Может случиться, что каждый элемент множества Y оказы­ вается поставленным в соответствие хотя бы одному элементу множества X . В этом случае мы говорим, что имеем отображе­ ние множества X на множество Y. Наиболее важным случаем отображений является случай отображения одного множества на другое. К нему легко приво­ дится и общий случай отображения одного множества в другое. В самом деле, пусть дано какое-нибудь отображение / множе­

ства X в множество Y ; множество К, всех тех элементов мно­ жества Y , которые в силу отображения f поставлены в соответ­ ствие хотя бы одному элементу множества X , назовем образом множества X при отображении f и обозначим через f (X ) или через /X . Очевидно, мы имеем отображение множества X на

множество F ^ f X g

Y.

ОТОБРАЖ ЕНИЯ

МНОЖЕСТВ

И

ПОКРЫТИЯ

15

Пусть /: X —>Ү и Х 0— непустое подмножество множества X . Ограничением отображения f на Х 0 называется отображение f |xt:

X Q—►Y , определяемое равенством f \ Xox — fx, х £ Х 0. Определение 4. Пусть дано отображение f множества X на множество Y . Пусть у есть произвольный элемент множе­ ства У. Прообразом или полным прообразом элемента у при ото­ бражении f называется множество всех тех элементов множества X, которым при отображении / ставится в соответствие данный эле­ мент г/£Х. Это множество обозначается через / - 1 (*/) или f ~ ly. Отображение / множества X на множество Y, очевидно, тогда

и только тогда взаимно однозначно, когда прообраз f ~l (y) каж ­ дого элемента у множества Y состоит лишь из одного элемента множества X. Пусть дано отображение /: X —>-У множества X в множество Ү

и М — произвольное подмножество множества X. Малым образом множества М при отображении / называется множество всех точек у £ Ү , прообразы которых содержатся в М . Малый образ мно­ жества М обозначается через }#М. Итак, имеем f * M = {у £ Ү :

,f~1y ^ M \ . Легко проверить, что f*M = Y \ f ( Х \ М ) . Из определения малого образа вытекает, что каждый эле­ мент y£Y , который в силу соответствия f не поставлен в соот­ ветствие никакому элементу множества X , принадлежит малому образу любого множества М. Поэтому понятие малого образа наиболее естественно для отображений «на», поскольку только в этом случае малый образ меньше (не больше) образа, т. е.

f#M s

множество X , представленное в виде суммы дизъ­

юнктных (т. е. попарно не пересекающихся) подмножеств (в ко­ нечном или в бесконечном числе). Эти подмножества (множества- слагаемые нашей суммы) являются элементами данного разбиения множества X . Простой пример: пусть X есть множество всех учащихся в средних школах Москвы. Множество X можно р аз­

бить на попарно не пересекающиеся подмножества, например, следующими двумя способами: 1) мы объединяем в одно слагаемое всех учащихся одной и той же школы*) (т. е. разбиваем мно­ жество всех учащихся по школам), 2) мы объединяем в одно

бы и

различных школ). Второй пример: пусть X есть множество всех точек плоскости; возьмем на этой плоскости какую-нибудь пря­ мую d и разобьем всю плоскость на прямые, параллельные пря­ мой d. Множества точек каждой такой прямой и являются теми

подмножествами, на которые мы разбиваем множество X . Замечание 5. Если данное множество X разбито на дизъ­ юнктные подмножества, дающие в сумме множество X , то

fM.

Пусть

дано

слагаемое всех учащихся одного и того ж е класса (хотя

*)

В предположении,

что каждый

учащийся

учится лишь в одной школе.

16

О

Б Е С К О Н Е Ч Н Ы Х

М НО Ж ЕС ТВ АХ

[ГЛ.

!

для краткости говорят просто о разбиении множества X на классы. Следующее предложение непосредственно следует из наших определений. Пусть дано отображение f множества X на мно­ жество Y . Полные прообразы / -1 (у) всевозможных элементов у множества Y образуют разбиение‘множества X на классы. Мно­ этих

во взаимно однозначном соот­

с Обратно: пусть дано разбиение множества X на классы. Это разбиение порождает отображение множества X на некоторое множество Y , а именно на множество, элементами которого яв­ ляются классы данного разбиения. Это отображение получается, если заставить соответствовать каждому элементу множества X тот класс, к которому он принадлежит. Пример. Тем самым, что учащиеся Москвы распределены по школам, уже установлено *) отображение множества X всех учащихся на множество Y всех школ: каждому учащемуся со­ ответствует та школа, в которой он учится. При всей самоочевидности изложенных фактов они не сразу получили в математике отчетливую формулировку; получив ж е эту формулировку, они сразу приобрели, важное значение в ло­ гическом построении различных математических дисциплин. Пусть дано разбиение множества X на классы. Введем сл е­ дующее определение: назовем два элемента множества X экви­ валентными по отношению к данному разбиению, если они при­ надлежат к одному и тому же классу. Таким образом, если мы разобьем учащихся Москвы по шко­ лам, то'двое учащихся будут «эквивалентны», есЛи они учатся в одной и той ж е школе (хотя бы и в разных классах). Если ж е мы разобьем учащихся по классам, то двое учащихся будут «эквивалентны», если они учатся в одном и том же классе (хотя бы и различных школ). Отношение эквивалентности, только что определенное нами,

ветствии

жество

классов

находится

Y.

множеством

аксио­

мами

Свойство симметрии (или взаимности). Если х и х'

эквивалентны,

Свойство транзитивности (или переходности). Если эквивалентны элементы х и х ’, а также х ’ и х", то х и х" эк­ вивалентны («два элемента х и х", эквивалентные третьему х’, эквивалентны между собою»).

Наконец, мы считаем каждый элемент эквивалентным самому себе; это свойство отношения эквивалентности называется свой­ ством рефлексивности.

очевидно,

обладает

следующими свойствами,

также

х'

и

х.

называемыми

эквивалентности:

то

эквивалентны

*) См.

предыдущую сноску.

О Т О Б Р А Ж Е Н И Я

МНОЖЕС ТВ

И

П О К Р Ы Т И Я

17

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

мы требуем от этой эквивалентности только, чтобы она обладала свойствами симметрии, транзитивности и рефлексивности. Д ока­ жем, что это отношение эквивалентности определяет разбиение множества X на классы эквивалентных между собой элементов.

В самом деле, назовем классом £ (х) данного элемента х мно­

жества X множество всех элементов из X , эквивалентных эле­

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

В самом деле, пусть классы |( х ) и £(*') имеют общий эле­

мент х". Записывая эквивалентность посредством значка имеем по определению классов х ~ х", х'~х", следовательно, в силу симметрии а тогда в силу транзитивности х ~ х'. Пусть х* — какой-нибудь элемент класса \ {х'). Имеем х ~ х ' ~х*, а в силу транзитивности х~х*, т. е. х* £ £ (%); значит, £ (*') s І (х).

Пусть теперь х есть элемент класса £ (х). Тогда х ~ х , по сим­ метрии х ~ х , и так как х ~ х ', то по транзитивности х ~ х', откуда х' ~ х , т. е. х£1(х')\ значит, £ (дс) s £ (*'). Таким образом, два класса |( х ) и I (х'), имеющие общий эле­ мент, действительно совпадают между собою.

Объединим

доказанное

в одно

предложение:

Каждое разбиение какого-нибудь множества X на классы опре­ деляет между элементами множества X некоторое отношение эквивалентности, обладающее свойствами симметрии, т ранзитив­

ности и рефлексивности. Обратно, каждое отношение эквивалент­ ности, установленное между элементами множества X и обла­ дающее свойствами симметрии, транзитивности и рефлексивности, определяет разбиение множества X на классы попарно эквивалент­

ных

X —-произвольное

множество. Пусть о = \ — произвольное семейство подмножеств множества X; объединение всех А1 6 а назовем телом семейства а

и обозначим через а, так что о ^ Х . Если Е — произвольное

подмножество множества X , то через о Еобозначаем подсемейство

семейства

семейства, пере­

секающихся

относительно

семейства

между собою элементов.

Семейства

множеств

и

покрытия.

Пусть

о ,

состоящее из всех с

Е. а Б называется и обозначается

элементов

этого

Множество

о

звездой ч ер ез~3ва£ ;

часто

множества

Е

если

при

этом. £

18 О

Б Е С К О Н Е Ч Н Ы Х

МНОЖЕСТВАХ

[ГЛ.

1

состоит из единственной точки х£Х , то пишут З в ах и говорят о звезде точки х относительно семейства а; при этом Зв,3х = Л ,

если

{Звстх},

элементами которого являются звезды всевозможных точек х £ Х относительно семейства а. Очевидно, семейства а и а* имеют

одно

если

х £ Х \а .

Всякое

и

то

семейство

же

тело

а

о =

о =

ст*.

{М )

определяет

семейство

о* =

Семейство

называется

покрытием

множества

Х 0е Х

,

Чаще всего мы будем рассматривать покрытия всего множества X , т. е. семейства множеств а = \М\, для которых с = Х . В этом случае подпокрытием покрытия а называется всякое

подсемейство а 0= о, для которого а0= Х . Кратностью семейства множеств а в данной точке х 6 X — коротко кр^о— называется мощность множества всех элементов о , содержащ их точку х. Семейство называется конечнократным или

точечно конечным, если для любого х 6 X число кр^а конечно. Семейство множеств а называется звездно конечным (звездно счет­ ным), если каждый элемент семейства пересекается лишь с ко­ нечным (счетным) числом элементов этого семейства. Пусть а = {А \ и р = {В} — покрытия одного и того же мно­ жества X . Будем говорить, что покрытие р вписано в покрытие а , если всякий элемент В покрытия р содержится хотя бы в одном элементе Л покрытия а . В частности, покрытие р вписано в по­ а.

играть

крытие

а ,

если

р есть

подпокрытие

и близкие

к

покрытия

нему

Понятие

покрытия

понятия

будут

большую роль в главе 6.

§

4.

Теоремы

о

счетных множествах

Переходим к доказательству следующих теорем. Т е о р е м а

1.

Всякая

часть

счетного

либо счетное мнозісество.

Доказательство.

все

элементы

множества

занумерованы

и,

либо

конечное,

Пусть А — счетное множество. На основа­

нии определения счетного множества мы вправе предположить, А

что

следовательно,

множества

есть

само множество

может

быть

представлено

в

виде

бесконечной

последовательности

 
 

^1» ^2» ^3»

1 ' *

0 )

Пусть А ' есть часть множества А и a„t— первый элемент после­ довательности (1), являющийся вместе с тем элементом множе­ ства А пусть будет второй такой элемент в последователь­

ности

либо мы после конечного числа

шагов исчерпаем все множество А ', которое окажется в этом

(1)

и

т.

д.

лишь два

Возможны

случая:

§<]

ТЕОРЕМЫ

О

СЧЕТНЫ Х

МНОЖЕСТВАХ

случае

последовательность

конечным

множеством,

либо

мы

получим

ап,1

йл2> • • ч

апк> • • • >

19

бесконечную

состоящую из всех элементов А '. Обозначая для простоты ank

через ак , видим, что А ' — счетное множество. Теорема 2. Сумма конечного- или счетного числа конечных или счетных множеств есть конечное или счетное множество. (При этом очевидно, что если хотя бы одно слагаемое беско­ нечно, то сумма не может быть конечной и потому есть счетное множество.)

Доказательство.

Пусть данные множества суть А г, А 2,

, множество всех простых чисел, через Р 2— множество всех чи­ сел, являющихся квадратами простых чисел, вообще, через Р п— множество всех чисел, являющихся я-ми степенями простых чисел. Множества Р п суть дизъюнктные счетные множества. Предположим сначала, что множества А п дизъюнктны. Так как каждое из этих множеств конечно или счетно, то можно установить взаимно однозначное соответствие между множеством

обозначим их сумму через А . Обозначим через P t

А„,

;

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

А п имеются пересе­

кающиеся множества, положим

г

Множества А'п суть дизъюнктные конечные или счетные множе­ ства, имеющие ту ж е сумму А, что и множества А п, откуда следует, что А конечно или счетно. Второе доказательство (мы даем его, простоты ради, лишь для случая счетного множества попарно не пересекающихся счетных множеств). Пусть данные счетные множества суть

В общем

А [ = А 1г

случае,

когда

[ ,

.

.

. ,

среди

л ;

множеств

=

А'2= А 2\ А

л „ \ ( л ; и

и л , ; _ 1) , .

A

Л

i

2

= =

= Н

=

K

Д

{ ^

i

Я

>

.

3 1 >

&

1 2

а 22,

^

3 2 >

й

1 3 >

а 23,

^ з з >

.

.

•>

*

>

>

^

1 п>

^ З

11

} .

} .

} .

А

т

= ~

{^/Л 1 I

а

т

2 >

^ т З >

• »

^

т

п

»

} .

Тогда множество А = (J А„ может быть следующим образом за-

писано

в виде

счетной

П

последовательности:

^11’ ^12» ^21» ^13> ^22» ^31» ^14» ^23» ^32» ^41» ***

20

О

Б Е С К О Н Е Ч Н Ы Х

МНОЖЕС ТВА Х

[ГЛ.

1

Т е о р е м а

3.

Всякое

счетное подмножество.

Доказательство.

бесконечное

множество

М

содержит

Так как М бесконечно, мы можем

найти в М два различных элемента, которые обозначим через ах и Ьл. Но множество М не исчерпывается этими двумя элемен­ тами, так что можно найти в М элемент о 2, отличный от а і и Ьг; М не исчерпывается также и тремя элементами alt blt а 2, так что существует четвертый элемент Ь2, отличный от уж е выбранных трех. Продолжая наш процесс, мы выделим из множества М даж е не одно, а два счетных множества:

A ^з, •••}»

В

{^1> ^2» ^3»

' “ ' [»

чем доказана наша теорема. То обстоятельство, что мы получили

два

разом усилить формулировку теоремы 3. Всякое бесконечное множество М содержит счетное множе­ ство Л, притом такое, что М \ Л есть бесконечное множество (так как уИ\Л содержит счетное множество В). Теорема 4. Если М есть несчетное множество*), а А —

дизъюнктных счетных множества, позволяет следующим о б ­

конечное или счетное множество, содержащееся в М , то М и М \ А эквивалентны между собою.

В самом деле, множество М \ А несчетно (так как если бы

М \ Л было конечным или счетным, то на основании теоремы 2 множество М = Ли(Л4\Л) было бы конечным или счетным). На основании теоремы 3 можно выделить из множества М \ А

А г

счетное множество А г. Обозначим множества М через N . Имеем

оставшуюся часть (М \

А ) \

М

\

Л

=

A, U N,

 

М

=

и

Л , ) и Л Л

Установим взаимно однозначное соответствие между счетными

множествами А г и А і і А г, а каждый элемент множества N по­ ставим в соответствие самому себе. Этим будет установлено вза­ имно однозначное соответствие между М \ А и М, что и тре­ бовалось доказать. Теорема 5. Присоединяя к бесконечному множеству А счет­ ное или конечное множество В , получим множество Л и В, эк­

вивалентное множеству А .

деле, если А счетно, то A (J В счетно на основании

теоремы 2 и, следовательно, эквивалентно множеству Л. Если Л

В самом

*) Существование

несчетных

множеств

будет

доказано в § 6 этой главы.

Т Е О Р Е М Ы

О

С Ч Е Т Н Ы Х

М НО Ж ЕС ТВ АХ

21

несчетно, , то А и В также несчетно; мы можем, следовательно, получить множество А отнятием от несчетного множества A (J В конечного или счетного множества В, поэтому на основании пре­ дыдущей теоремы Л и В и Л эквивалентны.

Т е о р е м а

6.

Всякое

бесконечное,

множество

А

содержит

собственную часть А ', эквивалентную всему множеству А (при­ чем можно предположить, что Л \ Л ' есть бесконечное мно­

жество).

А — счетное множество, то, выделяя из

него (по теореме 3) счетное подмножество Л’ (так, чтобы Л \Л ' было бесконечно), получим сразу доказательство нашего утвер­ ждения. Если Л несчетно, то, выделяя из Л любое счетное мно­ жество Л 0, получим часть Л 0 = Л \Л ', эквивалентную множе­

ству Л по теореме 4. Так как никакое конечное множество не содержит части, эквивалентной всему множеству, то теорема 6 выражает харак­ теристическое свойство бесконечных множеств, т. е. свойство, принадлежащее любому бесконечному множеству и лишь беско­ нечным множествам. Это позволяет принять свойство, выраженное теоремой 6, за определение бесконечных множеств. Очень много приложений имеет следующая простая.

Т е о р е м а 7. Множество Р всех пар натуральных чисел*)

счетно.

высотою пары (p, q) натураль­

ное число p -\-q . Очевидно, имеется ровно п — 1 пар данной вы­ соты п ( п > 1), именно

В самом

деле,

если

Доказательство.

Назовем

(1,

я — 1),

(2, п — 2),

,(/i — l,

1).

через Р п множество всех пар высоты п, ви­

дим, что множество Р есть сумма счетного множества конечных

множеств

взаимно

Поэтому, обозначая

Р п,

т.

е.

счетное

множество.

Так

как