Автор: Пархоменко А.С.  

Теги: математика  

Год: 1954

Текст
                    /1.С. П/РХО/ИЕНКО
ЧТО ТАКОЕ
/ПИНИЯ

А. С. ПАРХОМЕНКО ЧТО ТАКОЕ ЛИНИЯ государственное издательство ТЕХНИКО-ТЕОРЕТИЧЕСКОЙ ЛИТЕРАТУРЫ МОСКВА 1954
11-5-2 А. С. Пархоменко, Что такое линия. Редактор А, Ф. Лапко, Техн редактор Р. А. Негримовская, Корректор А. С. Баку лова. Сдано в набор 24/IV 1954 г. Подписано к печати 22/VI 1954 г. Бумага 84х108/;,2. Физ. печ. л. 4,38. Условн. печ. л. 7,18. Уч.-изд. л. 7,65. Тираж 25 000 экз. Т-04809. Цена книги 2 руб. 30 коп. Заказ № 1377. Государственное издательство технико-теоретической литературы Москва, Б. Калужская, 15 4-я типография им. Евг. Соколовой Союзполиграфпрома Гл а виз дата Министерства культуры СССР. Ленинград, Измайловский пр.а 29.
ПРЕДИСЛОВИЕ В нашей популярной и учебной математической литературе имеется еще мало книг, посвященных основным понятиям математики. Между тем необходимость в такого рода лите- ратуре в настоящее время определяется задачей подготовки кадров высоко квалифицированных учителей средней школы. И если учитель не имеет возможности полностью раскрыть школьникам сущность всех основных понятий математики, то сам он должен иметь о них полное и отчетливое пред- ставление. Предлагаемая книга посвящена разъяснению одного из самых основных понятий математики — понятия линии. Ка- жущееся на первый взгляд очень простым, понятие линии требует для своего общего и полного определения довольно значительных сведений из теории точечных множеств, получив- шей особенное развитие за последние 50 лет. Именно этим можно объяснить то обстоятельство, что вопрос об определе- нии понятия линии, поставленный еще в древности, нашел свое полное и отчетливое разрешение лишь в 20-х годах текущего столетия. Заслуга решения этого вопроса принад- лежит советскому математику П. С. Урысону. Настоящая книга рассчитана прежде всего на студентов университетов и. педагогических институтов, как дополни- тельный материал к тем общим и специальным курсам, в ко- торых учащихся знакомят с основами теории множеств. Эта книга имеет в виду также учителей средней школы, само- стоятельно работающих над повышением уровня своих зна- ний. Под руководством учителя некоторые разделы книги могут быть использованы в работе школьных математических кружков. Книга состоит из четырех глав: в первой главе дается краткий очерк развития понятия линии и выясняется вопрос 1*
4 ПРЕДИСЛОВИЕ о необходимости теории точечных множеств для общего опре- деления понятия линии. Вторая глава посвящена изложению необходимых сведений из теории точечных множеств. Наиболее трудными в ней являются теорема 5 § 5 и теоремы 2, 3 § 6. Этот материал при первом чтении можно пропустить и вернуться к нему, когда это станет необходимым для понимания последующего. В третьей главе рассмотрено определение линии, данное Г. Кантором, до конца исчерпывающее вопрос для случая плоских линий. Наконец, в четвертой главе дается общее определение линии и выясняются основные свойства линии, вытекающие из определения линии. Как из общей теории множеств, так и из теории точеч- ных множеств приведены лишь основные определения и факты. Для более полного ознакомления с этими вопросами мы от- сылаем читателя к книге П. С. Александрова «Вве- дение в общую теорию множеств и функций», особенно к главам I, VI, VII. Лицам, которые пожелают глубже познакомиться с поня- тием линии, мы можем рекомендовать работу самого П. С. У р ы- сона «О канторовых многообразиях», ч. II, Канторовы кри- вые, помещенную во втором томе собрания сочинений П. С. Урысона, изданного под названием «Труды по топо- логии и другим областям математики», Москва, 1951 г.
ГЛАВА I РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ § 1. Исторический очерк Линия является одним из основных объектов геометри- ческого исследования. Причина этого лежит прежде всего в том, что понятие линии возникло из практической деятель- ности человека, связанной с изготовлением чертежей, определе- нием границ земельных участков, изучением траекторий движе- ния тел. Возникнув из практики, понятие линии находит в свою очередь широкое применение для математического описания явлений природы и производственно-технических процессов. Вот почему с древних времен до наших дней понятие линии привлекало к себе внимание математиков. Ученые стре- мились точно определить, что такое линия как математическое понятие, т. е. выяснить, что же общего есть у всех тех вещей, которые на практике мы называем линиями? Эти попытки лишь в недавнее время нашли свое завер- шение в работах советского математика П. С. Урысона (1898—1924), который в 20-х годах текущего столетия сумел дать наиболее общее определение линии, позволяющее до конца исследовать сущность этого понятия. Но работы П. С. Урысона могли появиться лишь как результат глубо- кого и критического освоения всего того огромного научного материала, который был накоплен человечеством за весь предшествующий период времени. Поэтому, чтобы понять всю естественность и необходимость современного определе- ния тинии, мы‘ должны будем проследить, как развивалось это понятие в связи с общим развитием математики. Евклид в своих «Началах» определяет линию как длину без ширины («Начала», определение 2) или как границу
6 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [ГЛ. I поверхности (определение 6)г). Такие определения, отражая в известной мере свойства линии, не могут, тем не менее, служить для математического изучения понятия линии, так как определяются через другие понятия, которые сами, в свою очередь, нуждаются в определении. Для математического же изучения какого-либо объекта надо, как говорят, задать его аксиоматически, т. е. указать ряд свойств этого объекта, из ко- торых можно было бы логически выводить другие его свойства. При тогдашнем уровне развития науки и характере тре- бований, предъявляемых к ней практикой, Евклид не мог в сколько-нибудь общей мере справиться с определением понятия линии и, ограничившись вышеприведенными на этот счет общими высказываниями, он в «Началах» останавливает свое внимание на изучении двух простейших и наиболее употребительных линий: прямой и окружности. Это не значит, конечно, что древние не знали никаких других линий, кроме прямой и окружности. Еще задолго до Евклида была известна такая кривая, как квадратриса Дино- страта, а сто лет спустя Аполлоний подробно разработал теорию конических сечений: эллипса, гиперболы, параболы (Аполлонию же принадлежат и эти названия линий),—линий, получающихся в сечении плоскостью боковой поверхности конуса с круговым основанием. Механика также приводила к необходимости изучения кривых (спираль Архимеда). Однако все это были лишь отдельные разрозненные факты и не существовало ни сколько-нибудь общего определения линий, ни методов их изучения. Решительный шаг в этом отношении принадлежит Де- карту (1596—1650). Бурный рост торговли и промышлен- ности в эпоху первоначального накопления способствовал быстрому развитию техники, что, в свою очередь, привело к небывалому дотоле развитию естествознания и особенно механики. Это развитие нуждалось в математическом аппа- рате, который был необходим механике для точного выра- жения ее законов. Огромная роль в развитии этого матема- тического аппарата принадлежит Декарту. Идеи Декарта вообще имели огромное влияние на разви- тие всей математики; еГЪ координатный метод, в частности, *) «Начала» Евклида, книги I—VI, Гостехиздат, М. —-Л. 1948, стр. 11,
ИСТОРИЧЕСКИЙ ОЧЕРК 7 § 1] впервые позволил определить понятие линии в очень общей для того времени форме. Поэтому мы остановимся на нем несколько подробнее. Выбрав на плоскости систему координат, мы можем по- ставить в соответствие каждой точке плоскости пару дей- ствительных чисел — координат этой точки. При этом ока- зывается, что разным точкам соответствуют разные пары чисел, и что каждой паре чисел соответствует вполне опре- деленная точка плоскости, имеющая эти числа своими коор- динатами. Таким образом, устанавливается, как говорят, взаимно однозначное соответствие между множеством точек плоскости, с одной стороны, и множеством пар действитель- ных чисел — с другой. Это соответствие позволяет для каж- дой линии составить ее уравнение, т. -е. найти такую зави- симость между координатами ее точек, которая справедлива для всех точек этой линии и не имеет места ни для каких других точек. Так, например, окружность с центром в начале координат и радиусом г имеет уравнение х2-{-ву2 = г2; биссектриса угла между осями координат имеет уравнение х—д/ = 0, и т. д. Возможность составить для каждой линии ее уравнение дает нам в руки очень общий и очень сильный метод изуче- ния уже известных линий; но в вопросе об общем определе- нии понятия линии мы не получим ничего нового, пока не «обернем» постановку вопроса следующим образом. Пусть нам дано одно уравнение с двумя неизвестными, которое, перенеся все его члены в левую часть, мы запишем в виде F(x, = обозначив через F(x, у) выражение (функцию), стоящее в левой части уравнения. Предположим, далее, что это уравнение имеет бесконечное множество дей- ствительных решений, т. е. что существует бесконечное множество пар действительных чисел х, у, удовлетворяющих этому уравнению. Будем рассматривать числа х и у как координаты точки относительно некоторой системы координат на плоскости и назовем линией, заданной уравнением F(x, у) = 0, множество всех тех точек плоскости, коорди- наты которых удовлетворяют этому уравнению. Принци- пиальное значение такой постановки вопроса состоит в том,
8 РАЗВИТИЕ ПОНЯТИЯ линии [ГЛ. I что теперь мы можем дать общее определение линий, охва- тывающее все известные до сих пор частные примеры линий, и позволяющее, вообще говоря, построить столько же ли- ний, сколько имеется различных уравнений. Сформулируем еще раз это определение: линией, заданной уравнением F(x, у) = 0, называется множество точек, координаты которых удовлетворяют этому уравнению. Открытие Декарта имело решающее значение для всей математики, потому что, с одной стороны, оно позволило изучать геометрические объекты методами алгебры и анализа, а с другой стороны, — позволило применить терминологию и методы геометрии к алгебре и анализу, что сообщило изу- чению этих дисциплин большую простоту и наглядность. В этом взаимопроникающем влиянии двух противоположных тенденций в развитии математики — тенденций геометрической и аналитической, сказывается диалектический характер мате- матики. Определение линии, данное Декартом, является для того времени чрезвычайно общим. Оно охватывает все так называемые алгебраические кривые — линии, уравнения ко- торых являются алгебраическими, т. е. имеют вид F (х, у) = 0, где F (х, у) — многочлен с двумя перемен- ными х и у. Степень многочлена F(x, у) называется поряд- ком алгебраической линии. Алгебраические линии первого порядка суть прямые, поскольку всякая прямая на плоскости выражается в декартовых координатах уравнением первой степени вида Ах -|~ By С = 0 и всякое такое уравнение всегда выражает прямую. Алгебраические линии второго порядка — это эллипс, гипербола, парабола (и еще линии, распадающиеся на две прямые), так как всякая такая линия выражается уравнением второй степени и всякое уравнение второй степени, если оно допускает бесконечное множество решений, всегда выражает одну из этих линий г). Эти факты составляет содержание аналитической геометрии и в основ- ном были уже известны Декарту. Изучение кривых более высокого порядка составляет предмет алгебраической гео- метрии. Однако уже в то время были известны кривые, которые или вовсе нельзя было задать уравнением вида F(x, д/) = 0, х) Мы ограничиваемся рассмотрением лишь действительных линий и исключаем из рассмотрения случай, когда уравнение не имеет действительных решений.
ИСТОРИЧЕСКИЙ ОЧЕРК 9 § 11 где функция F(x, у) была бы достаточно простой, т. е. представляла собой комбинацию конечного числа элемен- тарных функций, или же такое задание, хотя и было воз- можно, но ничего не могло дать для изучения линии. Это прежде всего кривые, являющиеся траекториями движущейся точки. Такова спираль Архимеда — линия, описываемая точ- кой, равномерно перемещающейся по лучу, который, в свою очередь, вращается с постоянной угловой скоростью около неподвижной точки. Если обозначить через г расстояние движущейся точки от начала координат, а через ф — угол вращающегося луча с положительным направлением оси ох декартовой системы координат, то для спирали Архимеда получим очень простую зависимость г от <?: г — аъ, где а — данное число. Если М(х, у) — какая-нибудь точка спирали Архимеда, то г = ? — Arctg^. Подставляя эти значения г и <р в равенство г — аю, мы получим уравнение спирали Архимеда в декартовых коорди- натах: У— а Arctg = 0. Однако это уравнение ничего не дает для изучения спирали Архимеда, так как каждому значению х здесь соответствует бесконечное множество значений у и на- оборот. Для изучения линий, являющихся траекториями движу- щейся точки, наиболее естественным оказывается задание координат точки в зависимости от времени. Это приводит к так называемому параметрическому заданию линий, при котором координаты ее точек выражаются как функции некоторой третьей переменной величины t (обычно времени), называемой параметром: * = ?(0. ?==’!'(0- Так, если точка т движется равномерно со скоростью v по прямой, проходящей через начало координат и образующей с осью ох угол а, то координаты движущейся точки
10 РАЗВИТИЕ понятия линии [гл. 1 выражаются в зависимости от времени следующими форму- лами: х = vt cos а, у = sin а. Эти равенства и являются параметрическими уравнениями прямой. Если точка т равномерно движется по окружности ра- диуса г с центром о в начале координат, то координаты движущейся точки выражаются в зависимости от времени функциями х = г cos ш/, у = г sin где to — угловая скорость вращения радиуса от. Это и бу- дут параметрические уравнения окружности. Параметрические уравнения спирали Архимеда имеют вид: х = vt cos у == vt sin atf, где v — скорость движения точки по вращающемуся лучу, а (о — угловая скорость вращения луча около начала коор- динат. Задание линии параметрическими уравнениями вполне от- вечало всем требованиям, предъявляемым к этому понятию: все известные линии, как алгебраические, так и трансцен- дентные, могли быть заданы в такой форме; такая форма задания линий наилучшим образом соответствовала ос- новному способу получения линии как траектории движущей- ся точки. Определение линии как траектории движущейся точки и параметрический способ задания уже известных линий по- служили основой для нового обобщения определения понятия линии: линией стали называть совокупность точек плоскости, координаты которых х и у даны как функции некоторой третьей переменной величины /, которая обычно понималась как время, но могла иметь и другой характер: угол, длина дуги и т. п. При этом на функции <р и ф налагались, конечно, неко- торые ограничения, которые становились тем более общими, чем более общим делалось само понятие функции. Таким путем, отправляясь от частных примеров, пришли во вто- рой половине XIX века к следующему общему определению линии, сформулированному в наиболее отчетливой форме французским математиком Жорданом: линией называется
§ 2] «КРИВЫЕ» ПЕАНО 11 совокупность точек плоскости, координаты которых суть непрерывные функции параметра t, заданные на отрезке OC/^l1). Но вскоре оказалось, что жорданово определение линии является уже черезчур общим: в 1890 г. итальянский мате- матик Пеано показал,, что можно так подобрать функции ?(0 й Ф(0> заданные на отрезке а непрерывные на этом отрезке, что совокупность точек, координаты которых удовлетворяют уравнениям: х = <?(/), y = ^(t) (0<7<1),—заполняет целый квадрат (считая внутрен- ние и граничные точки), т. е. какую бы точку т(х, у) на этом квадрате мы ни взяли, всегда найдется такое значение параметра t 1), что Этот пример целиком ниспровергает определение линии, дан- ное Жорданом, если взять это определение во всей его общ- ности: множество точек, являющееся «линией» в смысле этого определения, заполняет целый кусок плоскости, что никак не согласуется с нашим представлением о линии, сформиро- вавшимся на базе. рассмотрения ряда конкретных линий, ко- торые никогда не заполняют целого куска плоскости. § 2. «Кривые» Пеано Чтобы понять, как строится «кривая» Пеано, мы долж- ны показать, что отрезок Т можно непрерывно отобра- зить на квадрат Q. Объясним подробнее, что это значит. 0 Напомним, что функция f(t), заданная на отрезке от 0 до 1, называется непрерывной на этом отрезке, когда она обладает сле- дующим свойством: если достаточно сблизить значения независи- мого переменного и t2, беря их в пределах от 0 до 1, то всегда можно добиться того, что значения функции будут отличаться при этом как угодно мало. Более точно эту мысль следует выразить так: как бы ни было мало наперед заданное положительное число е, всегда можно найти такое достаточно малое положительное число В, что если только два значения аргумента и t2, взятые на отрезке от 0 до 1, отличаются Друг от друга меньше, чем на В, то соответствующие им значения функции отличаются меньше чем на е.
12 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [гл* 1 Пусть нам дан произвольный отрезок Т и произвольный квадрат Q. Задача состоит в том, чтобы поставить в соответствие каждой точке отрезка некоторую точку квадрата и притом так, чтобы каждая точка квадрата соответствовала некоторой точке от- резка. Интересующее нас отображение отрезка должно быть, кроме того, и непрерывным, т. е. удовлетворять тому условию, чтобы достаточным сближением точек отрезка можно было добиться того, чтобы соответствующие им точки квадрата были сколь угодно близки. Вот как строится это отображение. Разобьем отрезок Т на четыре равные части и обозначим частичные отрезки в по- рядке их следования слева направо буквами 7g, Т±. Точно так же разобьем квадрат Q на четыре равных квадрата и обозначим эти квадраты через Qj, Qt Q3, Ql (черт. 1). I Z . ..Л.-!-. 7 О 1 Черт. 1. Отрезки Ti, Т2, Тз> и соответствующие им квадраты Qi, Q2, Q3, Qi будем называть отрезками и квадратами пер- вого ранга. Разобьем, далее, каждый из отрезков 7j, 1%, 7j, снова на четыре равные части и обозначим частичные отрезки, получающиеся разбиением отрезка 7j, последовательно через Ti, Т1 Tl Tl; отрезки, на которые разбивается обозна- чим последовательно через Tg, 7«, 7?, разбиение от- резка Тз обозначим через Tl, Т^, Th, разбиение от- резка Т\ — через Т?3, T'is, FieJ 16 отрезков Т*—Ti6, получающихся при этом втором разбиении, будем называть отрезками второго ранга. Разобьем, далее, каждый из четырех квадратов Qj, Q2> Фз> на четыре равных квадрата. Мы получим 16 квадратов второго ранга. Квадраты, на которые
«КРИВЫЕ» ЙЕАЙО 13 I 21 разобьется квадрат Ql, обозначим через Q?, Qf, q|, раз- биение квадрата обозначим через Q5, Qf, Q?, разбие- ние Q3— через Ql Q10, Q11, Q12 и разбиение — через Q?3, Qu, Q15, Q16. При этом мы должны выбиратьzобозначения так, чтобы квадраты, у которых нижние указатели отли- чаются на 1, непременно имели по крайней мере одну общую точку. Но так как четыре квадрата, получающиеся разбие- нием одного квадрата первого ранга, всегда имеют общую точку—центр этого квадрата, то при выборе обозначений надо следить только за тем, чтобы имели общие точки каж- дые два квадрата Ql и Q5, Ql и Ql, Q?2 и Qi3, т. е. послед- ний и первый квадраты второго ранга, являющиеся разбиением соседних квадратов первого ранга (черт. 2). Пунктирная линия на чертеже указывает в каком порядке проходятся квадраты, когда отрезки проходятся последова- тельно слева направо. Разобьем теперь каждый из отрезков второго ранга на четыре равных отрезка. Мы получим, таким образом, 64 от- резка третьего ранга, которые будем обозначать последо- вательно (слева направо) через Т®, т1, ..., точно так же разобьем каждый из 16 квадратов второго ранга на четыре равных квадрата. Мы получим 64 квадрата третье- го ранга. Обозначим эти квадраты через Q?, Q|, ...» Q^ так, чтобы квадраты Q®, Q|, Q|, q! были разбиением квад- рата Qi, квадраты Qg, Q®, Q®, Q®— разбиением квадрата Q2> и т. д. При обозначении мы должны также следить за тем, чтобы каждые два соседних квадрата третьего ранга (нижние ука-
14 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [гл. i затели которых отличаются на 1) имели общую точку. Но так как каждые четыре квадрата третьего ранга, являющиеся разбиением одного и того же квадрата второго ранга, всег- да имеют общую точку (центр этого квадрата), то надо сле- дить лишь за тем, чтобы каждый квадрат третьего ранга, являющийся последним в разбиении некоторого квадрата второго ранга, имел общую точку с. первым квадратом третьего ранга, входящим в разбиение соседнего квадрата второго ранга (черт. 3). Пунктирная линия указывает порядок прохождения квад- ратов, соответствующий прохождению отрезков слева на- право. Описанный процесс разбиения отрезков и квадратов мы можем продолжать беспредельно; при этом с возрастанием номера ранга разбиения как длины отрезков, так и стороны квадратов будут стремиться к нулю, так как для разбиения к 1 ранга п длины отрезков будут равны а длины сторон квадрата будут Поставим теперь в соответствие каждому отрезку Ти ранга п квадрат Q% того же ранга, имеющий тот же номер й, что и данный отрезок. Мы получим тогда для каждого ранга п взаимно однозначное соответствие между отрезками и квадратами разбиения этого ранга. Это соответ- ствие между отрезками и квадратами и позволит построить интересующее нас непрерывное отображение отрезка Т на квадрат Q. Пусть /0 — какая-нибудь точка отрезка. Эта точка принадлежит по крайней мере одному (и не более чем двум) отрезку первого, ранга, по крайней мере одному отрезку вто-
«КРИВЫЕ» ПЕАНО 15 § 2] рого ранга, по крайней мере одному отрезку третьего ранга, и т. д. Возьмем квадраты, соответствующие отрезкам, содер- жащим точку tQ. Мы получим бесконечную последовательность квадратов. Так как каждый квадрат ранга п содержится в некотором квадрате предыдущего ранга и так как с воз- растанием номера ранга п длина стороны стремится к нулю, то все эти квадраты имеют только одну общую точку zn0, которую мы и поставим в соответствие точке tQ. Итак, мы показали, что каждой точке отрезка соответствует одна вполне определенная точка квадрата1). Нам нужно теперь показать, что при таком соответствии каждая точка квадрата соответствует по крайней мере одной точке отрезка. Пусть mQ — произвольная точка квадрата Q. Она принадлежит по крайней мере одному квадрату Q* пер- вого ранга, по крайней мере одному квадрату Q2k второго ранга, содержащемуся в квадрате Qj, по крайней мере одному квадрату третьего ранга, содержащемуся в квадрате Q2f и т. д. Рассмотрим отрезки, соответствующие этим квадратам. Пусть это будут отрезки Т|, Т*, и т. д. Каждый из этих отрезков содержится в предыдущем, причем длина от- резка с ростом номера ранга разбиения стремится к нулю. Следовательно, все эти отрезки имеют лишь, одну общую точку /0. Этой точке tQ отрезка Т и соответствует точка /и0 квадрата Q. Нам остается доказать непрерывность построенного отоб- ражения. Но если — какая-нибудь точка отрезка, то при любом п всякая точка t этого отрезка, достаточно близкая J) Однако, одна и та же точка квадрата может соответствовать нескольким различным точкам отрезка, т. е. наше соответствие не является взаимно однозначным. Такими точками квадрата, каждая из которых соответствует нескольким точкам отрезка, являются вершины квадратов разбиений всех рангов: каждая такая вершина соответствует четырем различным точкам отрезка, за исключением центра квадрата Q, который соответствует лишь трем различным точкам отрезка. Тем же свойством — соответствовать несколь- ким точкам отрезка — обладает каждая точка стороны квадрата разбиения любого ранга, и только те точки, которые являют- ся внутренними для квадратов всех рангов, обладают тем свой- ством, что каждая из ццх соответствует лишь одной точке отрезка.
16 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [ГЛ. I к точке /0, будет лежать с ней на одном и том же отрезке ранга п или на соседнем отрезке того же ранга. Но тогда и соответствующие точкам /0 и t отрезка Т точки т0 и m квадрата Q будут принадлежать одному или соседним ква- дратам того же ранга. Поэтому, если брать точки t доста- точно близкими к точке /0, то соответствующие им точки m можно сделать как угодно близкими к точке mQt что и до- казывает непрерывность отображения. Полученное нами отображение отрезка на квадрат по- зволит построить «кривую» Пеано. В самом деле, если за отрезок Т взять отрезок числовой оси а за ква- драт Q — единичный квадрат плоскости XOY, координаты точек которого определяются неравенствами 0 х 1, О у 1, то построенное только что отображение отрезка на квадрат порождает две непрерывные функции х = <?(/), J = которые получаются, если каждому значению t поставить в соответствие координаты той точки т, которая соответствует этому значению t при данном непрерывном отображении. Непрерывность функций о и ф следует из того, что если взять точки /0 и t отрезка Т достаточно близкими, то и со- ответствующие им точки mQ и m будут как угодно близки, из чего в свою очередь следует, что как их абсциссы, так и их ординаты будут сколь угодно мало отличаться друг от друга. Так получается пример «кривой», заданной параметриче- скими уравнениями, которая «проходит» через все точки ква- драта. Как мы уже говорили в сноске на стр. 15, рассмотренное нами непрерывное отображение отрезка на квадрат не является взаимно однозначным; существует бесконечное множество то- чек квадрата, каждая из которых соответствует нескольким (двум, трем или четырем) точкам отрезка. Можно было бы показать, что это не зависит от способа, которым осуще- ствляется непрерывное отображение отрезка на Квадрат: при всяком таком отображении всегда найдутся точки квадрата, каждая из которых соответствует нескольким точкам отрезка!). *) См., например, Лузин Н. Н., Теория функций действитель- ного переменного, Учпедгиз, Москва, 1940, стр. 205.
§ 3] ПРОСТЫЕ ДУГИ. ЛИНИИ, СОСТАВЛЕННЫЕ ИЗ ПРОСТЫХ ДУГ 17 § 3. Простые дуги. Линии, составленные из простых дуг Назозем простой дугой множество точек плоскости или пространства, на которое можно взаимно однозначно и непрерывно отобразить прямолинейный отрезок. На пло- скости простая дуга всегда может быть задана двумя пара- метрическими уравнениями: х = ©(0, ^ = ф(0, 0<7<1, если за прямолинейный отрезок взять отрезок чи- словой прямой, а за функции © и ф— абсциссу х и ординату у точки т, соответствующей данному значению t. При этом обе функции © и ф окажутся непрерывными и будут удовлетво- рять тому условию, что для двух различных значений t± и /2 имеет место по крайней мере одно из двух неравенств: либо © (^) ? (^2), либо ф (^) =# Ф (^) (могут, конечно, выполняться и оба неравенства). Примером простой дуги может служить дуга любой из известных нам кривых: окружности, эллипса, гиперболы, па- раболы, синусоиды, спирали Архимеда и т. д. В пространстве простая дуга задается тремя параметри- ческими уравнениями: Х= <?(/), 3> = ф(0. = причем для каждых двух значений tx и /2 параметра имеет место, по крайней мере, одно из трех неравенств: ? (У + <? (*2). Ф (О ¥= ф (4). х W * х (4)- Примером простой дуги в пространстве может служить дуга винтовой линии: х = г cos t, y = rs\x\t, z = at, где а и г — постоянные величины, a t—параметр, причем О оо. Приведем еще один пример простой дуги в пространстве, который покажет нам, насколько прихотливо может вести себя эта «простая» линия. С этой целью прибавим к уравнениям х = ©(0, = 01, задающим кривую Пеано, третье уравнение z — t. 2 Зак. 1377. А. с. Пархоменко
18 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [гл. I Множество точек пространства, координаты которых удо- влетворяют этим уравнениям, есть простая дуга, так как все три координаты точек этого множества непрерывно зависят от /, и разным значениям t всегда соответствуют разные точки множества (они отличаются третьей координатой) (черт. 4). Эта кривая имеет ту осо- бенность, что ее проекция на плоскость хоу есть квадрат. Таким образом, над каждой точ-. кой квадрата находится точка кривой, а над некоторыми точ- ками квадрата даже по несколь- ку точек (2, 3 и 4). Образно говоря, этот квадратный уча- сток сплошь покрыт крышей, сделанной из проволоки и пред- ставляющей собой все же линию, а не поверхность. Простой замкнутой линией мы будем называть мно- жество точек плоскости или пространства, являющееся взаимно однозначным и непрерывным образом окруж- ности. На плоскости простая замкнутая линия может быть задана двумя параметрическими уравнениями х = ф(0, J = 1, причем <р(0) = 0(1), ф(0) = <К1), для всяких же двух значений t± =# из которых хотя бы одно отлично от 0 и 1, должно иметь место, по крайней мере, одно из двух неравенств ? (А) ? (А)> ф (О (4)* Простая замкнутая линия так же, как и простая дуга, мо- жет быть весьма причудливо расположена на плоскости. Она может не иметь касательной ни в одной своей точке; площадь области, ограниченной простой замкнутой линией, может
§ 3] ПРОСТЫЕ ДУГИ. ЛИНИИ, СОСТАВЛЕННЫЕ ИЗ ПРОСТЫХ ДУГ 19 любое множество точек, число простых дуг, не- зависеть от того, причислить ли к области ее границу или нет1). Однако простая дуга и простая замкнутая линия являются простейшими среди всех линий, так как они по своим вну- тренним свойствам устроены так же, как отрезок прямой и окружность; различные же особенности их строения, о кото- рых мы говорили выше, связаны с их расположением на пло- скости или в пространстве. Можно было бы назвать линией которое можно разбить на конечное имеющих попарно никаких других точек, кроме своих концов. Все из- вестные нам линии подходят под это определение. Так, например, окруж- ность можно рассматривать как линию, состоящую из двух простых дуг — ее полуокружностей; лемни- скату Бернулли — как линию, состоя- щую из четырех простых дуг (см. черт. 10). Этим путем получается уже довольно широкий класс линий, содержащий в себе, в частности, все алгебраические кривые. Но сущест- вуют линии, которые не могут быть представлены в виде суммы конечного числа простых дуг, не имеющих попарно никаких других точек, кроме своих концов. Такова, например, линия (черт. 5), задаваемая следующим образом: берется график функции у = sin ~ , 0 < х < 1 л 2х ’ и к нему присоединяется «предельный отрезок» оси ординат х = 0, — как мы покажем ниже, эта линия не может быть представлена как соединение конечного числа простых дуг. Мы увидим также, что эта линия не может быть представлена и как непрерывный образ отрезка (т. е. не является линией в смысле Жордана). *) См. Лузин Н. Н. Теория функций действительного пере- менного, стр. 240. 2*
20 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ (ГЛ. I Мы видим, что класс линий Жордана, являясь слишком широким, если не накладывать на функции <?(/) и ф(^) никаких других ограничений, кроме непрерывности, не охватывает тем не менее всех линий, встречающихся при рас- смотрении ряда вопросов меха- ники и физйки. Кроме указанной уже линии сюда относятся, на- пример, линии, состоящие из ок- ружности и навивающейся на нее спирали (черт. 6). Такие линии приходится рассматривать в ра- диофизике при изучении коле- бательных процессов, а также при рассмотрении режима устойчи- Черт. 6. вости некоторых автоматических устройств. Таким образом, все рассмотренные нами до сих пор способы определения линии всегда оказывались недостаточ- ными, так как каждый раз находились линии, не подхо- дящие под эти определения. § 4. Значение теории точечных множеств в вопросе об определении линии К концу XIX века в математику все глубже и глубже начинает проникать так называемая теоретико-множественная точка зрения, заключающаяся в тбм, что всякий математиче- ский объект рассматривается как множество тех или иных элементов. При этом само понятие «множество» уже никак не определяется и относится к числу элементарных понятий. Слово «множество» равнозначно словам: «совокупность», «си- стема», «собрание». В частности, геометрическая фигура рас- сматривается как множество точек, обладающих тем или иным свойством. Так, окружность есть множество (геометрическое место) точек плоскости, находящихся от данной точки на данном расстоянии. Заменяя в геометрических теоремах вы- ражение «геометрическое место» словом «множество», мы на первых порах лучше всего освоимся с этим понятием, являю- щимся основным для всей современной математики. Наиболее отчетливо сформулировал теоретико-множествен- ную точку зрения Г. Кантор (1845—1918) в ряде своих ра-
ЗНАЧЕНИЕ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ 21 I 4] бот, относящихся к 70-м и началу 80-х гг. XIX века. Ему принадлежат все основные понятия теории множеств. Теоре- тико-множественная трактовка вопросов математики вообще была большим прогрессом науки. Она, в частности, позволила Кантору продвинуть далеко вперед вопрос об определении понятия линии. С изучения канторова определения линии мы и начнем более подробное исследование понятия линии. Но прежде чем это сделать, нам придется ввести ряд понятий теории точечных множеств, потому что без этого мы не мо- жем даже сформулировать само определение канторовой линии. Эти понятия понадобятся нам и дальше при изучении общего определения линии, данного П. С. Урысоном. Знать их вообще необходимо каждому, какой бы отраслью современной мате- матики он ни занимался, так как основные понятия теории точечных множеств применяются теперь во всех областях современной математики. Во всем дальнейшем мы будем по преимуществу говорить о таких свойствах точечных множеств, которые не меняются при так называемых топологических или гомеоморфных ото- бражениях. Говоря описательно, можно сказать, что топологическое отображение — это такое наложение одного множества на другое, при котором никакие две точки одного множества не сливаются в одну точку другого множества и достаточно близ- ким точкам одного множества соответствуют сколь угодно близкие точки другого. Говоря совсем коротко, топологиче- ское отображение переводит одно множество в другое без склеивания и разрывов. Точный смысл этих высказываний сводится к тому, что топологическое отображение является взаимно однозначным и взаимно непрерывным. С топологическим отображением нам уже приходилось иметь дело, когда мы говорили о понятии простой дуги. Теперь мы можем сказать, что простая дуга есть топологиче- ский образ прямолинейного отрезка. Приведем несколько при- меров различных гомеоморфных и негомеоморфных множеств. Круг, квадрат, треугольник гомеоморфны между собой. Гомеоморфными будут и такие множества, как боковая по- верхность цилиндра и круговое кольцо, т. е. множество точек, заключенных между двумя концентрическими окружностями
22 РАЗВИТИЕ ПОНЯТИЯ ЛИНИИ [гл. I (включая и сами окружности); гомеоморфны будут вся пря- мая и интервал (отрезок без концов). Гомеоморфны между собой окружность, эллипс, контур квадрата и т. п. Напротив, такие множества, как отрезок и квадрат или отрезок и окруж- ность, между собой негомеоморфны. Негомеоморфными являются также отрезок и вся прямая. Можно доказать, что некоторые свойства множеств, такие, как связность, компактность, число измерений (определение которых даны в главе II), сохраняются при гомеоморфных отображениях; другие же, как расстояние между двумя точ- ками, принадлежность точек одной прямой или плоскости, при гомеоморфизме не сохраняются (это можно проследить на вышеприведенных примерах). Математическая дисциплина, изучающая те свойства множеств, которые сохраняются при всяком гомеоморф- ном отображении, называется топологией. Эта наука осо- бенно бурно развивалась в первой половине текущего столе- тия и привела к созданию ряда фундаментальных понятий современной математики и, в частности, понятия линии. Ведущее место в развитии топологии занимает Советский Союз в лице крупнейших представителей этой науки: П. С. Урысона, П. С. Александрова и Л. С. Понтрягина.
ГЛАВА II НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ § 1. Основные понятия общей теории множеств Прежде чем переходить к изучению точечных множеств, напомним самые основные понятия общей теории множеств. Всякое множество состоит из отдельных элементов. Если х является элементом множества Л, то мы будем говорить также, что х принадлежит А и писать х £ А. Два множества А и В считаются равными, если они со- стоят из одних и тех же элементов, т. е. если каждый эле- мент множества А принадлежит множеству В, а каждый эле- мент множества В принадлежит множеству А. Если множе- ства А и В равны, то мы будем писать А = В. Если каждый элемент множества А принадлежит множе- ству В, то А называется подмножеством В. Мы будем гово- рить, что А содержится в В и писать Л с В; в этом случае мы будем говорить также, что В содержит Л и писать В^эЛ. Если ЛсВ и ВсЛ, то Л = В. Объединением или суммой двух множеств Л и В назы- вается множество S, каждый элемент которого принадлежит, по крайней мере, одному из множеств Л или В. То обстоя- тельство, что множество S есть сумма множеств Л и В, мы будем записывать так 5 = ЛОВ. Понятие суммы может быть распространено на любую конеч- ную и даже бесконечную совокупность множеств,
24 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Пересечением двух множеств А и В называется множе- ство Р, каждый элемент которого принадлежит как множе- ству А, так и множеству В. Мы будем говорить также, что множество Р есть общая часть множеств А и В и писать Р = А (]В. Понятие пересечения множеств также распространяется на любую (конечную или бесконечную) совокупность множеств. Разностью двух множеств А п В называется множество D, состоящее из тех элементов множества А, которые не при- надлежат множеству В. То обстоятельство, что D получается вычитанием из множества А множества В, мы будем записы- вать так: п о При этом не предполагается, что множество В целиком содержится в множестве А. Если В а: А, то D = A\B называется также дополнением к множеству В в множестве А. Множества В и D называются в этом случае взаимно допол- нительными. Иногда ради общности рассуждений приходится чисто фор- мально вводить в рассмотрение множество, не содержащее ни одного элемента, так называемое пустое множество. Мы будем его обозначать символом 0. По определению, пустое множе- ство является подмножеством всякого множества. Пример. Если А — множество точек отрезка 0<^х^2, а В — множество точек отрезка 1 Сх3, то Л U # есть множество точек отрезка О^х^З; А{\В — множество точек отрезка 1 х 2; Л \ В — множество точек полуинтервала 0 х < 1. Операции объединения, пересечения и вычитания множеств обладают рядом свойств, присущих операциям сложения, умно- жения и вычитания чисел. Однако во многом операции над множествами отличаются от операций над числами. Мы здесь не останавливаемся на изучении свойств операций над мно- жествами, поскольку в этой книге мы будем редко ими поль- зоваться. Подробное освещение этих вопросов можно найти в специальных книгах по теории множеств1). *) См., например, Александров П. С., Введение в общую теорию множеств и функций, Грст$хиздат? М, — Д., 1948 г., гл, 1,
§ 1] ОСНОВНЫЕ ПОНЯТИЯ ОБЩЕЙ ТЕОРИИ МНОЖЕСТВ 25 Если нам даны два множества Л и В, то мы можем уста- навливать соответствие между их элементами, указывая, какой элемент множества В соответствует данному элементу мно- жества А. То обстоятельство, что элементу х множества А ставится в соответствие элемент у множества В, мы будем обычно записывать в виде Символом f мы обозначаем здесь тот закон, по которому эле- ментам множества А приводятся в соответствие элементы мно- жества В. Понятие о соответствии двух множеств является обобщением обычного понятия функции. Только при опреде- лении функции как множество А, которому принадлежат зна- чения аргумента х, так и множество В, состоящее из значений функций у, являются множествами действительных чисел. Так, например, функция J = tgx, заданная в интервале — у < х < у , устанавливает соответ- ствие между множеством чисел, принадлежащих этому интер- валу, и множеством всех действительных чисел. Если каждому элементу множества А соответствует некоторый вполне определенный элемент множества В, то мы говорим, что множество А отображается в мно- жество В. При этом не обязательно, чтобы каждый элемент множества В соответствовал какому-нибудь элементу мно- жества А. Элемент у множества В, соответствующий элементу х множества А, называется образом элемента х, а элемент х — прообразом элемента у. Если множество А отображается в множество В, и N— подмножество множества В, М— совокупность всех элементов множества А, образы кото- рых суть элементы множества X, то М называется полным прообразом N. Если каждому элементу множества А соответствует некоторый вполне определенный элемент множества В и каждый элемент множества В соответствует некоторому элементу множества А, то мы говорим, что множество А отображается на множество В. При этом не предпола- гается, что разным элементам множества А соответствуют разные элементы множества В»
26 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [гЛ. И Если каждому элементу множества А соответствует некоторый элемент множества В, каждый элемент мно- жества В соответствует некоторому элементу множе- ства А и разным элементам множества А соответствуют разные элементы множества В, то мы говорим, что мно- жество А отображается взаимно однозначно на множе- ство В. В этом случае каждому элементу множества В соот- ветствует вполне определенный элемент множества А; поэтому мы можем говорить также о взаимно однозначном отобра- жении множества В на множество А. Это отображение мно- жества В на множество А называется обратным к исходному отображению множества А на множество В. Таким образом, если множество А отображается взаимно однозначно на мно- жество В, то и множество В отображается взаимно одно- значно на множество А. В этом случае говорят также, что между множествами А и В установлено взаимно однозначное соответствие. Итак, при взаимно однозначном соответствии между эле- ментами множеств А и В каждому элементу множества А соответствует некоторый элемент множества В; каждому эле- менту множества В соответствует элемент множества А; раз- ным элементам множества А соответствуют разные элементы множества В; разным элементам множества В соответствуют разные элементы множества А. Пример. Если abed — квадрат, то, проектируя его орто- гонально на сторону ab, мы получим отображение квадрата в прямую ab. Это же самое проектирование будет и отобра- жением квадрата на отрезок ab. При этом отрезок cd ото- бражается на отрезок ab взаимно однозначно. Множества бывают конечные и бесконечные. Если элементы множества А можно привести во взаимно однозначное соот- ветствие с числами натурального ряда, от Г до некоторого числа п, то множество А называется конечным. Мы говорим в этом случае, что множество А содержит п элементов. Если такое соответствие установить невозможно, то множество назы- вается бесконечным. Если элементы множества А можно привести во взаимно однозначное соответствие с множеством всех натуральных чисел 1, 2, ..., п, ..., то множество А называется счетным. Число п, которое ставится в соответствие элементу х мно-
§ 2] ЗАМКНУТЫЕ И ОТКРЫТЫЕ МНОЖЕСТВА 27 жества Л, мы будем иногда называть номером элемента х, а то обстоятельство, что элементу х поставлено в соответ- ствие натуральное число п, будем записывать в виде хп; мы будем говорить, что элементы множества А перенумерованы с помощью натуральных чисел, а самое соответствие между множеством А и множеством всех натуральных чисел записы- вать в виде последовательности ^1» • • • > * • • Пример. Множество всех рациональных чисел, заклю- ченных между 0 и 1, счетно. Счетным будет и множество всех рациональных чисел1). Если множество А может быть приведено во взаимно однозначное соответствие с множеством всех действительных чисел, то говорят, что оно имеет мощность континуума. При- мерами множеств, имеющих мощность континуума, могут слу- жить: множества всех иррациональных чисел; множество точек прямой; множество точек отрезка от 0 до 1; множество всех точек плоскости; множество всех точек пространства и другие* 2). § 2. Замкнутые и открытые множества Возьмем на плоскости или в пространстве произвольное множество /?. Это множество R может, в частности, совпадать со всем пространством, но может и составлять лишь часть пространства. Во всех определениях, которые мы сейчас введем, нас будут интересовать только точки множества R. Об осталь- ных точках пространства, если они не вошли в множество /?, мы можем забыть. Из всех свойств, которыми обладают точки множества /?, лежащего на прямой, на плоскости или в пространстве, самым важным для нас является то, что для каждых двух точек х, у множества R можно определить расстояние между ними. Расстояние между двумя точками х и у мы будем обо- значать через р(х, у). Из многочисленных же свойств рас- стояния между точками нам понадобятся только следующие: О См. Александров П. С., Введение в общую теорию мно- жеств и функций, стр. 29, теорема 8. 2) Там же, стр. 63—65 и стр. 159, теорема 26.
28 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II 1°. Если х и у — две различные точки множества /?, то расстояние между ними есть положительное число. Если же точки х и у совпадают, то расстояние между ними равно нулю. 2°. Для всяких двух точек х и у множества R р(*> 3') = P(J» *)• 3°. Каковы бы ни были три точки х, у, z множества R всегда имеет место следующее неравенство: Р(*> *)<р(*, .у) + р(л *). Это неравенство мы будем называть неравенством треуголь- ника. Оно является по существу записью той геометрической теоремы, что во всяком треугольнике каждая сторона меньше суммы двух других сторон. Замечание. Во всех последующих рассмотрениях в качестве множества можно взять не только множество точек прямой, пло- скости или пространства, но вообще любое множество элементов, обладающее тем свойством, что каждой паре элементов х и у мно- жества /? соответствует число р (х, у), удовлетворяющее усло- виям 1°, 2°, 3°. Такое множество называют метрическим простран- ством, его элементы — точками, а число р (х, у)—расстоянием между ' точками х и у. Примером метрического пространства, отличного от множества точек обыкновенного пространства, может служить n-мерное про- странство. Точками его являются упорядоченные системы из п чисел, а расстояние между двумя точками х и у определяется следующим образом: если X = (Х1, *2...Хп), у — (у1г у2....уп) — -две точки ^.-мерного пространства, то Р(х, у) = -*1)2 + (>2 —*2)2+ ••• +(>n — Введенное таким образом расстояние обладает всеми свойствами 1°, 2°, 3°. На доказательстве этого утверждения мы останавливаться не будем *). Всякое подмножество n-мерного пространства является метрическим пространством. На протяжении всего последующего изложения под R можно было бы понимать любое метрическое пространство. Однако, чита- тель, которому такой подход к делу покажется слишком абстрактным, может рассматривать в качестве R подмножество обычного эвкли- дова пространства. Никакого влияния на понимание существа дела это иметь не будет. *) Это доказательство можно найти, например, в книге Алек- сандрова П. С., Введение в общую теорию множеств и функций, стр. 228.
§ 2] Замкнутые и открытые множества 29 Основным для всей теории точечных множеств является понятие предельной точки множества. Пусть М — множество точек, составляющая часть (подмножество) множества /?. Точка х множества R называется предельной точкой мно- жества М, если в любой близости от х в множестве М найдется точка у, отличная от точки х. Слова «в любой бли- зости» надо понимать так: как бы мало ни было положительное число s, в множестве М найдется точка у, удаленная от точки х менее чем на е. Точка х может принадлежать мно- жеству Ж, но может и не принадлежать ему. Пусть R— прямая линия. Тогда для множества, состоя- щего из точек предельной точкой будет точка нуль. Для множества А рацио- нальных точек прямой предельной будет всякая точка прямой (как рациональная, так и иррациональная), причем рациональ- ные точки принадлежат множеству Д, а иррациональные не принадлежат ему. Множество F называется замкнутым, если всякая точка х, которая является предельной для множества F, принадлежит этому множеству. Если опять R— прямая линия, то отрезок прямой является замкнутым множеством, так же как и вся прямая, тогда как множество рациональных точек уже не будет замкнутым по отношению ко всей прямой, так как иррациональные точки прямой, будучи предельными для множества рациональных точек, не принадлежат этому множеству. Если F—замкнутое множество и точка х не принадлежит ему, то, по определению, она не будет и предельной точкой этого множества; это значит, что существует такое число s, что на расстоянии от точки х, меньшем е, нет ни одной точки, принадлежащей множеству F. Отметим два основных свойства замкнутых множеств. Теорема 1. Сумма двух замкнутых множеств есть множество замкнутое. Действительно, если Fr и F2— замкнутые множества и х — точка, не принадлежащая их объединению, то х не при- надлежит ни одному из множеств Ft и F2. Так как Fr и F2 множества замкнутые, то существует такое число elf что на
30 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. П расстоянии от точки х, меньшем et, нет ни одной точки множества F19 и такое число е2, что на расстоянии от точки х, меньшем s2, нет ни одной точки множества F2. Если пред- положить, что < е2, то на расстоянии от точки х, мень- шем не будет ни одной точки ни множества Flt ни мно- жества F2, а тем самым и ни одной точки множества F± U F2. Таким образом, если точка х не принадлежит множеству U F%, то она не будет и предельной точкой этого мно- жества. Подобным же образом можно было бы показать, что сумма любого конечного числа замкнутых множеств есть множество замкнутое. Теорема 2. Пересечение любого множества замк- нутых множеств также является замкнутым множе- ством. ' Действительно, пусть нам дана система замкнутых мно- жеств {Fa}. Обозначим через F их общую часть. Предположим, что точка х не принадлежит множеству F. Это значит, что она не принадлежит по крайней мере одному из множеств системы {FJ. Пусть это будет множество Fa. Так как оно замкнуто, то существует такое число е, что на расстоянии от точки х, меньшем е, нет ни одной точки множества Faj, а значит, и подавно, ни одной точки множества F. Таким образом, F является замкнутым множеством. Множество О с: R называется открытым, если его до- полнение F = R\G есть множество замкнутое. Из теорем 1 и 2 вытекают сле- дующие основные свойства открытых множеств. Теорема 3. Пересечение двух (и любого конечного числа) открытых множеств есть множество открытое. Теорема 4. Сумма любого множества открытых множеств есть множество открытое. Докажем для примера теорему 3. Пусть Gt и G2— от- крытые множества и G — их пересечение. По определению открытого множества, множества и Z72 —
§ 2] ЗАМКНУТЫЕ И ОТКРЫТЫЕ МНОЖЕСТВА 31 являются замкнутыми. По теореме 1 замкнутым множеством будет и их сумма F=F1IJF2. Но множество G = Gt П G2 является дополнением к мно- жеству F. В самом деле, если точка х принадлежит множе- ству G, то она принадлежит как множеству Glt так и мно- жеству G2 и поэтому не принадлежит ни множеству Flt дополнительному к Gp ни множеству F2, дополнительному к G2, следовательно, точка х принадлежит множеству SWi U Г2) = /?\Л Обратно, если F2), то х не принадлежит ни множеству Fl9 ни множеству F2, и, следовательно, точка х принадлежит как множеству Gv так и множеству G2, а? значит, и множеству G. Мы показали, таким образом, что множество О = П О2 является дополнением к замкнутому множеству F = Fr U F2, и так как F — множество замкнутое, то G будет открытым множеством. Аналогично доказывается теорема 4. Введем одно вспомогательное понятие, которым мы не- однократно будем пользоваться в дальнейшем. Пусть х — произвольная точка множества /? и е — про- извольное положительное число. Назовем ^-окрестностью точки х совокупность всех точек у множества /?, расстояние которых от точки х меньше в. е-окрестность точки х мы будем называть иногда также сферической окрестностью и обозначать через S(x, s). Если /? означает все пространство, то е-окрестностью точки х будет совокупность всех внутренних точек шара с центром в точке х и радиусом е. Если R — плоскость, то s-окрестность точки х есть внутренность круга с центром в точке х и радиусом в.
32 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [гл. It Докажем, что ^-окрестность точки х есть множество открытое х). Для этого нам нужно показать, что множество F = /?\S(x, е) есть множество замкнутое. В самом деле, пусть у — произвольная точка сферической окрестности S (х, в). Точка у не принадлежит множеству F. Чтобы убедиться в замкнутости F, надо найти такое число 3, что для всякой точки г, удаленной от точки у меньше чем на 8, z не при- надлежит Г. Достаточно положить 8 = е — р(х, у). Тогда будем иметь р(х, Z)<p(x, у)-]-р(у, ^)<р(х, J»)4-8 = = р(х, _y)-J-[e—р(х, j)l = e. Таким образом, если точка у £S(x, е), то и всякая точка z, достаточно близкая к у, также принадлежит S(x, е). Отсюда следует, что F = /?\S(x, е) есть множество замкнутое, a S(x, е) — множество открытое. Мы видим, что сферическая окрестность точки есть мно- жество открытое. С другой’ стороны, всякое открытое множество может быть представлено как сумма сфери- ческих окрестностей его точек, причем множество слагае- мых может быть как конечным, так и бесконечным. В самом деле, пусть х — произвольная точка открытого множества G; так как множество F = R \ G замкнуто, то существует число е такое, что всякая точка у, удаленная от х менее чем на ©, не принадлежит F и, следовательно, входит в G. Но все такие точки образуют е-окрестность точки х. Таким образбм всякая точка х открытого множе- ства G обладает сферической окрестностью (радиус которой, конечно, зависит от данной точки), содержащейся в множе- стве G. Множество G и представляется в виде суммы таких окрестностей. Если R— прямая линия, то е-окрестностью точки х будет интервал (без концов) длины 2е, середина которого нахо* дится в точке х. 1) В дальнейшем под окрестностью точки х мы будем иногда понимать любое открытое множество, содержащее точку х, а не только ее сферическую окрестность.
§ 2] ЗАМКНУТЫЕ И ОТКРЫТЫЕ МНОЖЕСТВА 33 Так как по доказанному всякое открытое множество есть сумма s-окрестностей его точек, то отсюда следует, что всякое открытое множество на прямой есть сумма конечного или бесконечного множества интервалов. Можно высказать и более точные утверждения, — а именно, что всякое от- крытое множество на прямой есть сумма конечного ила счетного множества интервалов, не имеющих попарно общих точек. Концы этих интервалов принадлежат замкнутому множеству, дополнительному к данному открытому множеству. В самом деле, пусть х — произвольная точка открытого множества G. По предыдущему, существует интервал, содер- жащий точку х и содержащийся в множестве Q. Обозначим через Gx сумму всех тех интервалов, которые содержат точку х и сами содержатся в множестве G. Множество Gx будет наибольшим из интервалов, содержащих точку х и содержащихся в множестве G. Если у — точка множества G, не принадлежащая Gx, то ей соответствует интервал Gy, не имеющий ни одной общей точки с интервалом Gx, так как если бы интервалы Gx и Gy имели общую точку z, то их сумма также была бы интервалом, содержащим точку х, содержащемся в множестве G и большем чем Gx. Мы видим, что множество G распадается на сумму интер- валов, не имеющих попарно общих точек. Множество этих интервалов может быть не более чем счетным. Чтобы в этом убедиться, достаточно взять в каждом из интервалов какую- нибудь рациональную точку. Так как множество всех рацио- нальных точек счетно, то множество тех из них, которые принадлежат рассматриваемым интервалам, будет или конеч- ным или счетным. Из замкнутых множеств, лежащих на прямой, в дальней- шем при рассмотрении конкретных примеров нам придется встретиться с так называемым канторозым совершенным множеством. Это множество строится следующим образом: из отрезка [0, 1] удаляется интервал (средняя треть). Из каждого из оставшихся двух отрезков первого ранга Л И Г2 11 О, у и у, 1 снова удаляется его средняя треть, т. е. 3 Зак. 1377. А. С. Пархоменко
34 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II 1 Г2 £1 Г-1 Z_1 I’ |_9’ 9J’ I 9’ 9 Г /1 2\ /7 8\ D интервалы В каждом из полученных . Га 1 таким образом четырех отрезков 0, Г 8 <1 I -g , 1 второго ранга снова удаляется его средняя треть, /1 2\ /7 8\ /19 21\ /25 26\ т. е. интервалы и так далее для всякого натурального я. Множество Р, оставшееся после выполнения всех этих операций, проделанных для всех натуральных чисел п, на- зывается канторозым совершенным множеством. Отметим некоторые свойства канторова совершенного множества. 1°. Множество Р замкнуто, как пересечение убываю- щей последовательности замкнутых множеств: первое множе- ство этой последовательности состоит из двух отрезков пер- вого ранга; второе из четырех отрезков второго ранга, третье — из восьми отрезков третьего ранга и т. д. 2°. Множество Р не содержит в качестве подмноже- ства никакого отрезка. Чтобы в этом убедиться, доста- точно показать, что какова бы ни была точка х множества Р и положительное число е, найдется точка у, принадлежащая одному из выкинутых интервалов и удаленная от точки х менее чем на в. Возьмем п столь большим, чтобы было гг 1 Так как длина каждого из отрезков n-го ранга <-^г, то найдется точка у, принадлежащая интервалу n-го ранга и удаленная от х менее чем на в. 3°. Совокупность точек канторова совершенного мно- жества, лежащих на отрезке п-го ранга, гомеоморфна канторову совершенному множеству. В этом можно убе- диться, подобно преобразуя отрезок [0, 1] в отрезок п-го жж 1 ранга с коэффициентом подобия 4°. Канторово совершенное множество имеет мощность континуума. Мы не будем останавливаться на доказательстве этого утверждения. Читатель найдет его, например, в книге
§ 2] ЗАМКНУТЫЕ И ОТКРЫТЫЕ МНОЖЕСТВА 35 п. С. Александрова, Введение в общую теорию мно- жеств и функций, стр. 139. Из 3° и 4° непосредственно вытекает 5°. Если — произвольная точка канторова совершен- ного множества, то в любой ее окрестности содержится несчетное множество точек канторова совершенного мно- жества Р. Пользуясь понятием сферической окрестности, докажем одну теорему о замкнутых и открытых множествах, которая нам понадобится в дальнейшем (§ 6, теорема 1). Теорема 5. Если А и В — два замкнутых множе- ства без общих точек, то существуют два открытых множества Q и Н, содержащих соответственно множе- ства А и В и неимеющих общих точек. Доказательство. Пусть х — произвольная точка мно- жества А. Так как В — замкнутое множество и точка х не принадлежит множеству В, то точка х не является предель- ной для множества В. Поэтому найдется положительное число гх такое, что для всякой точки у множества В Р (X, у) > 8а.. Рассмотрим сферическую окрестность s(x. %) с центром в точке х и радиусом ~. Построим такую окрест- ность для каждой точки х множества А и обозначим через G сумму всех этих окрестностей. Точно так же. для каждой точки у множества В можно найти положительное число такое, что для каждой точки х множества А р(х, У)>гу. Построим для каждой точки у множества В сферическую окрестность с центром в точке у и радиусом и обозначим через И сумму всех таких окрестностей. 3*
36 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Множества G и Н являются открытыми, так как каждое из них есть сумма сферических окрестностей. Докажем, что множества Q и Н не имеют общих точек. Предположим противное, и пусть z — общая точка мно- жества G и Н. Так как z £ G, то в множестве А найдется точка х такая, что т. е. Р(Х, г)<-^; а так как z £ Н, то в множестве В найдется такая точка у, что 4), т. е. Р(л но sx<P(x> У)- Точно так же 8»<р(Л *) = р(*, У)- Поэтому р(х. г) + р(у> г)<-т + -т<^р(х> ^)+ 4-ур(*. у) — р(х> у}, откуда р(*. ^)<р(х, у). Полученное противоречие показывает, что не существует точки z, общей множествам G и Н. Замыканием множества М (содержащегося в множе- стве 7?) мы будем называть множество Л4, состоящее из точек множества М и точек, предельных для множе- ства М. Из определения замыкания непосредственно следует, что М с: М. Примеры. Если Л4 —множество точек ill 1 ъ 2 ’ 3.....п......
ЗАМКНУТЫЕ И ОТКРЫТЫЕ МНОЖЕСТВА 37 § 2] то М получается присоединением к множеству М точки 0. Если М — множество рациональных точек прямой /?, то M = R. Если множество М есть интервал (а, Ь), то его за- мыканием М является отрезок [а, &], получающийся присое- динением к интервалу (а, Ь) его концов а и Ь. Теорема 6. Замыкание М произвольного множества М есть множество замкнутое. Доказательство. Пусть х — предельная точка мно- жества М. Мы должны доказать, что х £ М. Так как х — предельная точка множества Ж, то любая ее окрестность S(x, е) содержит точку у, принадлежащую М. Точка у либо принадлежит множеству М, либо является предельной для этого множества. В этом последнем случае любая ее 3-окрест- ность содержит точку г, принадлежащую множеству М. Если мы возьмем 3 настолько малым, чтобы S(y9 3)czS(x, s), то точка z будет содержаться в S(x, в). Таким образом, в любой окрестности точки х всегда содержится некоторая точка множества Ж, и, следовательно, точка х, предельная для множества Ж, оказывается предельной и для множества Ж, т. е. х£Ж. Следующее понятие будет для нас основным, когда мы перейдем к исследованию определения линии, данного Уры- соном. Границей открытого множества G называется множество всех точек, являющихся предельными для G и не принад- лежащих О. Границу открытого множества G мы будем обо- значать через Гр(О). Если, например, G — интервал (а, Ь) прямой А?, то Гр(О) состоит из двух точек а, b — концов этого интервала. Граница всякого открытого множества есть множе- ство замкнутое. В самом деле, по определению, граница открытого мно- жества G есть множество тех точек замыкания G этого мно- жества, которые не принадлежат множеству G. Следовательно, rp(G) = G\G. Но G\G = GH(₽\G). Так как каждое из множеств О и R \ G является замкнутым, то замкнутым будет и их
38 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. И пересечение G f] (Z?\О) = G\G = Гр(О). Этим наше утверждение доказано. Множество М называется ограниченным, если расстояние каждых двух его точек друг от друга меньше одного и того же числа. Если расстояние каждых двух точек множества М меньше одного и того же числа е, то мы будем говорить, что мно- жество М имеет диаметр меньший е, и писать 8 (Ж) < в. Примером ограниченного множества может служить отре- зок прямой. Ограниченными множествами будут квадрат, круг, треугольник на плоскости; куб, шар, тетраэдр в про- странстве и др. Прямая, плоскость и пространство уже не являются ограниченными множествами. Замечание. Диаметром ограниченного множества называется верхняя грань *) расстояний каждых двух его точек. Диаметром от- резка будет его длина; диаметром квадрата — длина его диагонали; диаметром круга — его диаметр в смысле элементарной геометрии. Для последующего надо отчетливо представлять себе, что зна- чит, что множество М имеет диаметр, меньший данного числа. Са- мое же определение диаметра в дальнейшем изложении использо- ваться не будет. § 3. Связность Введем следующее понятие, имеющее важное значение во всей теории точечных множеств и играющее основную роль в определении линии. Мы имеем в виду понятие связности множества. Множество М называется связным, если при любом разбиении его на два подмножества А и В, М — А\} В, по крайней мере в одном из этих подмножеств найдется точка, являющаяся предельной для другого подмножества. Поэтому, если множество М несвязно, то его можно разбить 9 Множество М. действительных чисел называется ограниченным сверху, если все числа, принадлежащие этому множеству, меньше одного и того же числа L. Наименьшее из чисел, обладающих тем свойством, что всякое число множества М не превосходит этого числа, называется верхней гранью множества
связность 39 § 3] на два непустых подмножества Л и В, которые не только не имеют общих точек, но и обладают тем свойством, что никакая точка одного из них не является предельной для другого, т. е. существует такое разбиение М = A U В, для которого (ЛПВ)и(ВПЛ) = 0. Посмотрим, как выглядит понятие связности в том частном случае, когда множество М совпадает с множеством 7?, в ко- тором мы ведем все рассмотрения. Если мы предположим, что R несвязно и R = А U В — разбиение множества R на два непустых подмножества, из которых ни одно не содержит точек, предельных для другого, то отсюда следует, что оба множества Л и В замкнуты в R. Но так как Л и В являются дополнительными друг к другу множествами, то отсюда сле- дует, что множества Л и В также и открыты в R. Таким образом, все множество R будет связно тогда и только тогда, когда его нельзя представить в виде суммы двух непересе- кающихся непустых подмножеств, из которых каждое является одновременно замкнутым и открытым в R. Докажем, что отрезок прямой есть множество связнде, В самом деле, пусть [а, Ъ] — отрезок числовой прямой. Пред- положим, вопреки утверждению теоремы, что множество точек отрезка н.е является связным, и пусть Fr и В2— два непустых замкнутых множества без общих точек, дающие в сумме от- резок [а, 6]. Предположим, что точка b принадлежит мно- жеству В2; тогда множество В2 будет-состоять из точек х отрезка, для которых х < Ь. Обозначим через с верхнюю грань *) точек множества Fr Точка с либо принадлежит мно- жеству F19 либо является предельной для этого множества; а так как множество Ft замкнуто, то и в этом случае Если точка с отлична от&, то все точки х > с принадлежат множеству F2. Следовательно, точка с является предельной для этого множества и потому принадлежит ему. Если точка с совпадает с Ь, то она принадлежит множеству F2 по пред- положению. Таким образом, во всех случаях с £ F2. Итак, мы нашли точку с, общую для множеств F2, которые предположили непересекающимися. Полученное противоречие доказывает связность отрезка [а, &]. —-—------------- ' 9 См. сноску на стр. 38.
40 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Примером несвязного множества может служить множество всех рациональных точек прямой. В самом деле, если мы обозначим через А множество всех рациональных чисел <)Л2, а через В — множество рациональных чисел >1^2, то ни одна точка множества А не будет предельной для множества В и ни одна точка множества В не будет предельной для мно- жества А. Множество, состоящее из одной точки, так же, как и пустое множество, считается связным. Докажем ряд теорем о связных множествах, которые нам неоднократно будут нужны в дальнейшем. Теорема 1. Если А и В — два замкнутых или от- крытых множества в R, не имеющих общих точек; и непустое связное множество М содержится в их сумме МсА\}В, то множество М непременно содержится в одном из сла- гаемых этой суммы, т. е. либо М с: А, либо М а: В. Доказательство. Пусть М с: A (J В. Тогда М = = (М П A) U (М П В). Так как множество Ли В или оба одно- временно замкнуты в R, или оба одновременно открыты в R и не имеют общих точек, то ни одно из множеств М П А и М П В не будет содержать точек, предельных для другого. А так как М связно, то одно из этих множеств, например М П В, должно быть пусто, откуда следует, что М cz А. Мы часто будем опираться на такое следствие из дока- занной теоремы. Теорема 2. Если связное множество М имеет общие точки как с открытым множеством G, так и с замкну- тым множеством E = R\G, дополнительным к множеству G, то множество М пере- секает границу множества G. В самом деле, так как Гр(О) = G\G, то все множество R можно представить в виде суммы сле- дующих .трех множеств, не имеющих попарно общих точек:
связность 41 § 3] множества G, границы множества G и множества дополни- тельного к замыканию G R = G U Гр (G) U (₽\G). Если мы предположим, что связное множество М не пере- секает границы множества G, то отсюда будет следовать, что М содержится в сумме открытых множеств G и /?\G, не имеющих общих точек, а на основании предыдущей тео- ремы отсюда, в свою очередь, следует, что М целиком со- держится либо в G, либо в /?\G, вопреки условию настоя- щей теоремы. Теорема 3. Если всякие две точки х,у множества R принадлежат некоторому связному множеству Сху (зави- сящему, конечно, от точек х а у), то множество R связно. В самом деле, если бы множество R было несвязно, то его можно было бы представить в виде суммы двух непу- стых замкнутых множеств и без общих точек. Взяв точку х в а точку у в' F2, мы можем соединить эти точки связным множеством Сху. Так как Р± и F2— замкну- тые множества без общих точек, то по теореме 1 множе- ство Сху должно целиком содержаться либо в либо в F2. Полученное противоречие показывает, что R связно. Выше мы показали, что отрезок прямой есть множество связное. Так как всякие две точки прямой можно рассматри- вать как концы отрезка, лежащего на этой прямой, то на основании предыдущей теоремы отсюда следует, что и вся прямая есть множество связное. Вообще на прямой имеются только следующие связные множества: отрезок [а, Ь], интер- вал (а, Ь), полуинтервал [а, Ь) или (а, #], вся прямая, полу- прямая (бесконечный полуйнтервал), луч с выключенной исход- ной точкой. Доказательство этого утверждения основывается на том, что если две точки принадлежат лежащему на пря- мой связному множеству, то ему принадлежит и отрезок с концами в этих точках. Так как всякие две точки плоскости или пространства можно соединить отрезком, то отсюда следует, что плоскость и пространство являются связными множествами. Вообще связным будет всякое выпуклое множество, т. е. такое множество, любые две точки которого можно соединить
42 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II отрезком, целиком принадлежащим этому множеству. Таковы, в частности, треугольник, квадрат, круг на плоскости, те- траэдр, куб, шар в пространстве. Теорема 4. Если два связных множества А и В имеют, по крайней мере, одну общую точку х, то их сумма S= А[)В есть также связное множество. В самом деле, если предположить, что множество S не- связно, то его можно представить в виде суммы двух не- пустых замкнутых множеств Fx и без общих точек 5 = ^0^ Предположим, что точка х, общая множествам А и В, при- надлежит множеству Fr\ тогда на основании теоремы 1 как множество Л, так и множество В содержатся в Р± и, следо- вательно, множество пусто, т. е. 5 = A (J В связно. Как сама теорема, так и ее доказательство почти дословно обобщаются на случай любого множества слагаемых, а именно имеет место Теорема 4'. Какова бы ни была система связных множеств, имеющих по крайней мере одну общую точку х, сумма множеств этой системы есть множество связное. Так как каждый отрезок является связным множеством, то и всякая ломаная линия, т. е. последовательность отрезков, в которой каждые два соседних отрезка имеют общий конец, также является связным множеством. Вообще, если мы назо- вем цепью множеств такую конечную последовательность связных множеств, в которой каждые два соседних множества имеют общие точки, то сумма связных множеств, соста- вляющих цепь, есть также связное множество. Теорема 5. Если к связному множеству С, содержа- щемуся в R, присоединить любое множество его пре- дельных точек, то получим снова связное множество Со. В частности, если множество С связно, то будет связ- ным и его замыкание С. В самом деле, пусть множество Со получается из связного множества С присоединением к нему некоторого множества его предельных точек. Предположим, что множество Со пред- ставлено в виде суммы двух непустых замкнутых относи- тельно Со множеств Fr и F2 без общих точек. Так как мно- жество С связно, то по теореме 1 оно должно целиком содержаться в одном из этих множеств. Пусть, например,
§ 3] СВЯЗНОСТЬ 43 С с Если х — какая-нибудь точка множества Со, то она является предельной для множества С, а значит, и подавно, для множества Гх, содержащего С. Но так как замкнуто в Со, то точка х принадлежит множеству Fv Таким образом всякая точка х множества Со принадлежит F±. Следовательно, множество F2 пусто и потому Со связно. В дальнейшем весьма существенную роль в нашем изло- жении будет играть понятие локальной связности. Множество R называется локально связным, если ка- ждая его точка обладает сколь угодно малой связной окрестностью. Это значит, что какова бы ни была точка х множества R и положительное число е, существует связное открытое множество V, содержащее точку х, диаметр ко- торого меньше s; или, что то же самое, каково бы ни было открытое множество U, содержащее точку х, существует связное открытое множество V, содержащее точку х и содержащееся в U. Прямая, плоскость, пространство являются множе- ствами локально связными, так как всякая сферическая окрестность произвольной точки прямой, плоскости или про- странства есть множество связное. Примерам множества, не являющегося локально связным, может служить множество точек прямой с координатами Это множество не будет локально связно, так как всякое открытое множество, содержащее точку 0, должно содержать . 1 и бесконечное множество точек вида — и потому не является связным. Примером связного множества, не являющегося локально связным, может служить уже упоминавшееся ранее множе- ство, состоящее из точек графика функции у = sin —, 0 < х <21, и точек предельного отрезка х = 0, —
44 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. Й Вместо этого множества удобнее рассматривать гомео- морфное ему множество (черт. 7), составленное из последо- вательности чередующихся между собой вертикальных и гори- зонтальных отрезков: Л1:х = 1, — д 1 . . 1 , у= — 1; а2-х = ^> — 1О<1; ^2 • *8 х -С у • у — 4-1; Л3:х = |, — О 1 . . 1 вз • 16<^< 8 > У — ~ Ь Ап: х — 2П > 1 у С1; Bn-^i<x<^ y—~~(V)n\ и предельного отрезка До:х = О, — Это множество связно, так как оно представляет собой замыкание связного множества, составленного из отрезков бесконечно-звенной ломаной линии. Однако, оно не будет ло- кально связно ни в одной точке предельного отрезка, так как, если взять достаточно малую окрестность этой точки, то она будет содержать точки бесконечного множества вертикальных отрезков, не имея общих точек со связывающими их гори- зонтальными отрезками, и, таким образом, эта окрестность не будет связным множеством. § 4. Компактность Очень важным для всей теории точечных множеств является понятие компактности. Множество R называется компактным, если всякое бесконечное его подмножество М имеет в R предельную т очку. Компактное множество мы часто будем называть пр осто компактом.
§ 4) комплктнозть 45 Докажем, что отрезок прямой является компактным мно- жеством. В самом деле, пусть М — произвольное -бесконечное мно- жество, лежащее на отрезке ab. Разделим отрезок ab пополам точкой с. Тогда по крайней мере один из отрезков ас или cb также будет содержать бесконечное множество точек, при- надлежащих множеству М. Деля этот отрезок снова пополам, убеждаемся, что на одном из вновь полученных отрезков будет лежать бесконечное множество точек, принадлежащих множеству Ж. Рассуждая также и далее, получим убываю- щую последовательность отрезков ZD 7\ ZD 7\ ZD 7\ ZD . . . ZD TWZ) . . ., U 1 А О Ц> * каждый из которых вдвое короче предыдущего и содержит бесконечное множество точек, принадлежащих множеству Ж. По теореме о стягивающихся отрезках х) существует един- ственная точка xQ, принадлежащая всем отрезкам Тп. Точка х0 является предельной для множества М, так как каков бы ни был интервал, содержащий точку х0, найдется столь боль- шой номер п, что отрезок Т№, имеющий этот номер, будет целиком содержаться во взятом интервале. Но тогда этот интервал будет содержать бесконечное множество точек, при- надлежащих множеству М. Этим доказано, что точка х0 является предельной для множества Ж, так как в любой окрестности точки х0 содержатся отличные от нее точки мно- жества Ж. Подобным же образом можно показать, что и квадрат является компактным множеством. В самом деле, пусть Qo— квадрат, стороны которого параллельны осям координат, и Ж — бесконечное множество точек этого квадрата. Разделим квадрат Qo на четыре равных квадрата прямыми, параллельными осям координат, и обо- значим через какой-нибудь из квадратов, содержащих бесконечное множество точек из Ж. Разобьем, далее, квад- рат Qj на четыре равных квадрата, обозначим через какой- нибудь из квадратов, содержащих бесконечное множество точек, принадлежащих Ж. Поступая подобным же образом и Э Доказательство этой теоремы можно найти в книге П. С. Алек- сандрова, Введение в общую теорию множеств и функций, стр. 54.
46 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИЙ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. 11 далее, мы получим убывающую последовательность квадратов Qq Qi Q<% Qn • • • > каждый из которых содержит бесконечное множество точек, принадлежащих М, причем сторона каждого последующего квадрата вдвое меньше стороны предыдущего. Если мы спроектируем эти квадраты на оси ох и оу, то на каждой из них получим убывающую последовательность отрезков 1 о ZD 11 ZZ) 1 2 -Э ... Ю 1 ZD ... И 7^=» ?!=> 71 =>.••=> 7^ длины которых с возрастанием п стремятся к нулю. Обозначим через х0 точку, общую всем отрезкам Т%, а через у$— точку, общую всем отрезкам Туп, и рассмотрим на плоскости точку т0 с координатами х0 и у0. Точка т0 принадлежит всем квадратам Qn и потому является предельной для множества М, так как, каков бы ни был круг с центром в точке mQ, найдется такой номер п, что квадрат Qn будет целиком содержаться в этом круге; а так как каждый квадрат Qn содержит бесконечное множество точек, принад- лежащих М, то в круг попадет бесконечное множество точек изТИ. Этим доказано, что т0— предельная точка множества М. Точно так же доказывается, что и куб является компактом. Прямая уже не является компактом, так как если мы возь- мем на оси ох множество всех точек 1, 2, 3, ..., п, ... с целыми положительными абсциссами, то это бесконечное множество не будет иметь ни одной предельной точки. Не будет компактным и Множество рациональных точек отрезка, так как если мы возьмем последовательность рациональных точек, сходящуюся к иррациональному числу, то эта беско- нечная последовательность в множестве рациональных чисел предельной точки иметь не будет. Установим некоторые свойства компактных множеств. Теорема 1. 1°. Замкнутое множество F, лежащее в компактном множестве R, само является компактным множеством. 2°. Всякое компактное множество F, содержащееся в R, замкнуто в R (при этом само множество R не пред- полагается компактным).
КОМПАКТНОСТЬ 47 § 4] Доказательство. 1°. Пусть М — произвольное беско- нечное подмножество множества F. Так как Fez/?, то и а так как /? компактно, то лежащее в нем беско- нечное множество М имеет предельную точку х, принадле- жащую множеству R. Точка х, будучи предельной для мно- жества М, будет и подавно предельной для множества F, Но множество F замкнуто; следовательно, точка х принадле- жит F. Таким образом, бесконечное множество Л4, содержа- щееся в F, имеет предельную точку х, которая также при- надлежит F. Значит, F — компактное множество. 2°. Докажем второе утверждение теоремы. Предположим, что компакт Fez/? не является в /? замкнутым множеством, и пусть х — предельная точка множества F, не принадле- жащая этому множеству. В множестве F можно найти после- довательность точек > -^2» • • • > %п> • • • > имеющую точку х своей единственной предельной точкой. В самом деле, обозначим через xt точку множества F, находящуюся от точки х на расстоянии, меньшем 1; через х2 обозначим ту точку множества F, расстояние которой от точки х меньше каждого из двух чисел р<х> xi)> через х3 обозначим ту точку множества F, расстояние кото- рой от точки х меньше каждого из чисел 1 / X у, р(х, х.2), И т. д. Точка х будет предельной точкой бесконечной последо- вательности Хр х2, х3, . . . , так как в любой близости от точки х находится бесконеч- ное множество точек нашей последовательности. Никакая другая точка у не будет предельной для этой последовательности. Действительно, если взять столь боль- шим, что ^-< 2-рС*. У),
48 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II то при любом и > п0 для всех точек нашей последователь- ности будем иметь ри. хп)<^<-^?(х, у), откуда р(л *п)>^-р(х. У) для всех п > п0. Но это означает, что точка у не является предельной точкой последовательности Хр Х2, Хо, . . . Таким образом, в компакте F мы нашли бесконечое мно- жество х19 х2, ..., хп, ..., не имеющее в этом компакте предельной точки. Полученное противоречие означает, что точка х принадлежит множеству F, т. е., что -F замкнуто. Теорема 2. 1°. Убывающая последовательность F^F^.-.-^F^..., (1) замкнутых множеств, лежащих в компакте R, имеет непустое пересечение. 2°. Если с возрастанием п диаметры множеств Еп стремятся к нулю1), то пересечение множеств FiflF.n ... П^пП ... состоит из одной точки. Доказательство. 1°. Без ограничения общности мы можем предположить, что все множества последовательности (1) различны между собой. Отсюда следует, что в множе- стве Fr найдется точка xt, не принадлежащая множеству Р2; в множестве F2 найдется точка х2, не принадлежащая и вообще, в множестве Fn найдется точка хп, не принадле- жащая Fw+1. Так как множество R компактно, то бесконеч- ная последовательность ^2» ...» %п* • • (2) имеет предельную точку х. Докажем, что точка х принад- лежит каждому из множеств последовательности (1). Пока- жем, например, что x£Fn. Так как Fn+1 id Fn+2Z).. •, Это значит, что, каково бы ни было положительное число £, найдется такой номер п0, что для всех п > Ъ (Fn) < t.
КОМПАКТНОСТЬ 49 § 4] то все точки последовательности (2), начиная с хп, принад- лежат множеству Fn, Так как последовательность -^п+1» хп+& ••• (3) отличается от последовательности (2) лишь конечным числом точек, то точка х, будучи предельной для последователь- ности (2), будет предельной и для последовательности (3). Но все точки этой последней содержатся в Fn, следовательно, точка х является предельной для множества Fn и в силу его замкнутости принадлежит ему. Таким образом, мы нашли точку х, принадлежащую всем множествам последователь- ности (1). Следовательно, пересечение множеств этой после- довательности непусто. 2°. Предположим теперь, что диаметры множеств Fn стремятся к нулю с возрастанием п. Если бы пересечение множеств последовательности (1) содержало две точки х и у, то эти точки принадлежали бы каждому из множеств после- довательности (1). Но тогда мы имели бы при всяком п 8(FM)>p(x, у), т. е. диаметры множеств не стремились бы к нулю с возрастанием п, вопреки условию теоремы. Таким образом, пересечение множеств последовательности (1) состоит из одной точки. Назовем г-сетью множества /? конечное множество то- чек £), обладающее тем свойством, что для каждой точки х множества 7? найдется точка d множества £), отстоящая от точки х менее чем на е. Докажем, что если R— компакт, то в нем имеется г-сеть при любом s. Предположим противное, т. е. что существует такое е, при котором компакт R не имеет е-сети. Это значит, что какова бы ни была точка компакта R, в нем найдется точка а2, удаленная от точки на расстоя- ние, большее е. Так как, по предположению, компакт R не имеет е-сети, то найдется точка а3, удаленная как от точки av так и от точки а2 на расстояние, большее в. Так как точки ^2, не образуют 8-сети компакта Rt то в нем найдется точка а4, удаленная от каждой из точек av на рас- стояние, большее е. Рассуждая подобным же образом и далее, мы получим бесконечную последовательность точек av а2, а3, ..ап, ... 4 Зак. 1377. A. Q. Пархоменко
50 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II такую, что расстояние между каждыми двумя точками этой последовательности больше е. Но такая последовательность не может иметь предельной точки. Таким образом, мы нашли в компакте R бесконечное множество Д, не имеющее пре- дельной точки. Это противоречит определению компакта. Следовательно, наше предположение об отсутствии в ком- пакте е-сети для данного е оказалось неверным. Всякое множество R, обладающее (при каком-либо е) г-сетью, является ограниченным. В самом деле, пусть х и у — две произвольные точки множества R. Наличие в R е-сети означает, что найдутся две точки а и b такие, что Р (л, Л) < е, р (Ь, у) < е. Обозначим через а е-сети множества R. и, следовательно, наибольшее из расстояний пар точек Тогда р (а, Ь) а р(х, У)^р(х> л)4“Р(а» ^) + р(^> У) < s + « + s «4-2е и, значит, множество R является ограниченным. Из доказанного утверждения следует, что компакт есть множество ограниченное. Теорема 3. Для того чтобы множество R, лежа- щее на прямой, на плоскости или в пространстве1), было компактным, необходимо и достаточно, чтобы оно было замкнутым и ограниченным. Необходимость. Так как множество R компактно, то в силу утверждения 2° теоремы 1 R замкнуто во всяком содержащем его множестве, будь то прямая, плоскость или все пространство, а в силу компактности R оно ограничено. Достаточность. Так как R ограничено, то все его точки принадлежат некоторому отрезку, квадрату или кубу, в зави- симости от того, лежит ли множество R на прямой, на пло- скости или в пространстве. Множество R, будучи замкнуто относительно прямой, плоскости или пространства, будет тем более замкнуто относительно содержащего его отрезка, квад- рата или куба. Но отрезок, квадрат, куб суть компакты. !) Или, вообще, в л-мерном евклидовом пространстве.
§ 5] Непрерывные отображения 51 Следовательно, и множество R, как замкнутое множество компакта само является компактом в силу утверждения 1° теоремы 1. Множество D называется всюду плотным в множе- стве R, если всякое открытое в R множество G содер- жит, по крайней мере, одну точку множества D. Так как сферическая окрестность точки является откры- тым множеством, то из этого определения непосредственно следует, что для того, чтобы множество D было всюду плотно в множестве R, необходимо и достаточно, чтобы каждая точка множества R была предельной для мно- жества D. На отрезке плотным будет, например, множество D всех рациональных точек (так же, как и множество всех ирра- циональных точек). Теорема 4. Во всяком компакте R, состоящем из бесконечного множества точек, имеется счетное плотное множество D. Чтобы в этом убедиться, рассмотрим множество D = DjUD2U ... UDnU где Dn есть --сеть компакта R. п Каково бы ни было число е и точка х компакта R, най- дется точка d £ D, удаленная от точки х менее чем на е. Достаточно взять точку d, принадлежащую множеству Dn, где ~ < е. Таким образом, D плотно в R. § 5. Непрерывные отображения Отображение f множества X в множество Y называется непрерывным в точке х0 £ X, если, каково бы ни было по- ложительное число е, найдется такое число 8, что, как только р (х, Xq) 8, то Р (/(•*). /(*о)Хе- Другими словами, отображение f будет непрерывно в точке х0, если, какова бы ни была е-окрестность точки 4*
52 НЕКОТОРЫЕ СВЕДЕНИЙ ИЗ ТЕОРИИ точечных множеств [гл. 11 ^0 = /(х0), найдется 8-окрестность точки х0, такая, что образ всякой точки, принадлежащей этой 8-окрестности, будет содержаться в е-окрестности точки yQ. Если отображение / непрерывно в каждой точке х^Х, то оно называется непрерывным отображением множе- ства X в множество Y, Взаимно однозначное и непрерывное отображение мно- жества X на множество Y называется топологическим отображением, если обратное отображение f"1 (множе- ства Y на множество X) непрерывно. Два множества называются гомеоморфными, если одно из них можно топологически отобразить на другое. Из теорем о непрерывных отображениях отметим сле- дующие. Теорема 1. Для того чтобы отображение множе- ства X в множество Y было непрерывным, необходимо и достаточно, чтобы прообраз каждого открытого множе- ства И был открытым множеством в X. Условие необходимо. Пусть отображение / непре- рывно и множество HcY открыто. Возьмем произвольную точку х0, принадлежащую прообразу множества Н. Так как yQ = f(x0) содержится в Н, та найдется е-окрестность точки у^, также целиком содержащаяся в Н. В силу непре- рывности отображения найдется число 8 такое, что образ всякой точки х 8-окрестности точки х0 будет содержаться в s-окрестности точки и, следовательно, принадлежать от- крытому множеству Н. Поэтому 8-окрестность точки х0 содержится в прообразе множества Н и, следовательно, полный прообраз множества Н есть сумма сферических окрестностей его точек. Таким образом, полный прообраз множества Н есть множество открытое. Условие достаточно. В самом деле, если условие выполнено, то, в частности, прообраз е-окрестности точки у^ = /(х0) есть открытое множество Q, содержащее точку х0. Следовательно, найдется такое число 8, что 8-окрестность точки х0 содержится в множестве Q и потому всякая точка 8-окрестности точки х0 отобразится в точку, принадлежащую s-окрестности точки yQ, что и доказывает непрерывность Отображения / в точке х0. Так как прообразы взаимно дополнительных множеств взаимно дополнительны, то из теоремы 1 вытекает
§ 5] непрерывные отображений 53 Теорема 1\ Для того чтобы отображение f мно- жества X в множество Y было непрерывным, необходимо и достаточно, чтобы прообраз каждого замкнутого мно- жества. лежащего в Y. был замкнут в X, Многие из тех свойств множеств, которые мы рассмат- ривали выше, сохраняются при непрерывных отображениях. Докажем это для наиболее нужных нам свойств связности и компактности. Теорема 2. Непрерывный образ Y связного множе- ства X есть множество связное. Предположим противное, т. е. что множество Y несвяз- но. Тогда его можно представить в виде суммы двух замк- нутых непустых непересекающихся множеств С и D, В силу теоремы 1' прообразы множеств С и D суть замкнутые в X множества А и В. Множества А и В непусты, так как X отображается на Y. Они не пересекаются, так как мно- жества С и D не имеют общих точек. Таким образом, мы получили разбиение связного множества X на два замкнутых непустых множества А и В без общих точек, что невоз- можно. Отсюда следует невозможность подобного разбиения и для множества Y. т. е. его связность. Теорема 3. Непрерывный образ компакта есть ком- пакт, Пусть дано непрерывное отображение f компакта X на множество Y. Мы должны доказать, что Y есть компакт. Пусть N—бесконечное множество, лежащее в Y. Для каждой точки у множества ЛГ возьмем такую точку х. которая является одним из прообразов точки у, и обозначим множе- ство всех таких точек через М. Никакие две точки множе- ства М не отображаются в одну и ту же точку у множе- ства N. Множество М. так же как и множество N. является бесконечным. Так как X—компакт, то существует точка х0, предельная для множества М. Пусть ву0 = /(х0); тогда точка у?* будет предельной для множества N. В самом деле, так как отображение f непрерывно в точке xQi то каково бы ни было в, найдется такое 8, что если р (х, х0) < 8, то p(j>, yQ) < s. Так как х0— предельная точка множества М. то существует бесконечное множество точек х. принадлежа- щих множеству М и удаленных от х0 меньше чем на 8. Но тогда их образы у будут принадлежать множеству ЛГ и от- стоять от у0 меньше чем на е. Таким образом, при лю- бом е можно найти точку, принадлежащую множеству N и
54 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [гЛ. It удаленную от jy0 менее чем на е. Но это значит, что jy0 есть предельная точка множества ЛГ. Компактность Y, таким обра- зом, доказана. Следствие. При непрерывном отображении ком- пакта X на множество Y образ всякого замкнутого (относительно X) множества есть множество замкнутое (относительно У). В самом деле, пусть А — замкнутое множество компакта X и В—образ множества Л. По утверждению 1° теоремы 1 § 4 множество А компактно. Следовательно, на^основании только что доказанной теоремы будет компактным и множе- ство В. Но в силу утверждения 2° теоремы 1 §Л множе- ство В будет замкнуто в У, что и требовалось доказать. Теорема 4. Непрерывный образ локально связного ком- пакта есть также локально связный компакт. Доказательство. Пусть X — локально связное компактное множество и Y—непрерывный образ множества X. По теореме 3 множество Y является компактом. Мы должны доказать, что мно- жество Y локально связно. Пусть у — какая-нибудь точка множества Y и Н—произволь- ное открытое множество, содержащее эту точку. На основании тео- ремы 1 полный прообраз G открытого относительно Y множества Н есть множество, открытое относительно X: Множество G содержит полный прообраз F точки у. Так как множество X локально связно, то для каждой точки х множества F можно найти такое связное открытое множество U(х), которое содержит х и само содержится в G. Обозначим через S сумму всех таких множеств U (х), а через Т — образ множе- ства В. Обозначим, далее, через А замкнутое множество, дополнитель- ное к множеству В, а через В—образ этого множества. Так как X—компакт, а А — замкнутое множество, то и множество В также является замкнутым (в силу следствия из предыдущей теоремы). Поэтому множество V=Y\B будет открыто в У. Докажем, что у£Ус2Та:Н. Так как F— полный прообраз точки у и FczS== Х\А, то ни одна точка множества А не имеет своим образом точку у, и потому Так как образом множества А является множество В, а множе-' ство V является дополнительным к В, то никакая точка множе-
§ 5] НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ 55 ства V не является образом ни для какой точки, принадлежащей множеству А. Но множеством, дополнительным к А, является мно- жество S. Следовательно, каждая точка множества V является образом некоторой точки множества S. Таким образом, множество V содержится в множестве Г, являющемся образом множества S: Vc Т. Наконец, так как S cz G, то Та: И. Таким образом, мы показали, что yt Vc Тс:Я. Покажем теперь, что множество Т связно. Множество Т можно рассматривать как сумму множеств, каждое из которых есть образ связного открытого множества U (х), где х — точка множества F, образом которого является точка у. Таким образом, все слагаемые, дающие в сумме множество Т, суть связные множества, имеющие общую точку у. Поэтому и все множество Т является связным. Обозначим через Су сумму всех связных множеств, содержащих точку у и содержащихся в открытом множестве И. Множество Су будет наибольшим связным множеством, содер- жащим точку у и содержащимся в открытом множестве Н. Слово «наибольшее» надо понимать здесь в том смысле, что никакое мно- жество, содержащее Су и содержащееся в Н, уже не является связным. Докажем, что Су открыто. В самом деле, мы уже видели, что точка у принадлежит открытому множеству V, содержащемуся в Т. Но так как Т связно, то Та:Су, таким образом, у£ Va:Cy. Пусть z— произвольная точка множества Су. Как и выше, для точки z можно было бы найти связное множество Tz и открытое множество W такие, что ze Tz- Обозначим через С% наибольшее связное множество, содержащее точку z и содержащееся в множестве Н. Тогда будем иметь ze Wa TzaCzcH. Множества Су и Cz совпадают. В самом деле, если бы, напри- мер, множество Cz содержало точки, не принадлежащие Су, то мно- жество С % было бы связным множеством, содержащим точку у, содержащимся В множестве # и большим чем Су. Но это противоречило бы тому,
56 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. И что Су есть наибольшее связное множество, содержащее точку у и содержащееся в И. Таким образом, Су ~ и, следовательно, WaCy. Так как точка z была произвольной точкой множества Су, то отсюда следует, что всякая точка множества Су содержится в не- котором открытом множестве, которое само, в свою очередь, содер- жится в Су. Поэтому Су можно представить как сумму подобного рода открытых множеств, откуда следует, что Су есть множество открытое. Таким образом, для произвольной точки у множества Y и про- извольного открытого множества Н, содержащего точку у, мы нашли связное открытое множество Cyt такое, что у е су <= н, что и доказывает локальную связность множества Y. Мы уже видели, что отрезок прямой есть множество локально связное, тогда как множество, состоящее из точек графика функции sin — , 0<^х<1, х и точек предельного отрезка х = 0, — 1 1» не является локально связным. Следовательно, как мы уже гово- рили об этом в главе I, это последнее множество не является не- прерывным образом отрезка. Теорема 5. Всякое взаимно однозначное и в одну сторону непрерывное отображение компакта непрерывно и в другую сторону и, следовательно, является тополо- гическим отображением. Пусть / есть взаимно однозначное и непрерывное в одну сторону отображение компакта X на множество Y. В силу теоремы 3 множество Y есть компакт. Требуется доказать, что отображение /-1 компакта Y на компакт X, обратное отображению /, непрерывно, т. е. требуется доказать, что прообраз при отображении /-1 всякого замкнутого в X мно- жества F является замкнутым в Y множеством. Но прообраз множества F при отображении f-1 совпадает с образом Мно- жества F при отображении /, который в силу следствия из теоремы 3 замкнут в Y. Теорема доказана.
СВОЙСТВА КОНТИНУУМОВ 57 § 6] Мы уже видели, что многие из введенных нами свойств множеств сохраняются при непрерывных отображениях. Таковы связность, компактность, локальная связность компактов. Эти свойства тем более сохраняются при топологических отобра- жениях. Но при топологических отображениях сохраняются и многие другие свойства (которые разрушаются общими непрерывными отображениями). Таковы, например, локальная связность произвольных (а не только компактных) множеств; свойства множества быть замкнутым или открытым в содер- жащем его большем множестве; свойство множества быть границей открытого множества; свойство множества быть плотным в содержащем его множестве и другие. Это надо понимать в том смысле, что если множество А обладает каким-нибудь из указанных свойств по отношению к содержащему его множеству X и X отображается тополо- гически на множество К, то образ В множества А обладает тем же свойством по отношению к К. Так, например, если А замкнуто в X, то В замкнуто в У; если А плотно в X, то В плотно в F. Изучение свойств множеств, которые сохраняются при топологических отображениях, и составляет содержание топо- логии. § 6. Свойства континуумов Основным объектом нашего дальнейшего исследования будут континуумы. Континуумом называется множе- ство, являющееся одновременно связным а компактным. Выше мы показали, что отрезок, квадрат, куб являются связными компактными множествами. Следовательно, они суть континуумы. Из теорем 2 и 3 предыдущего параграфа непосредственно следует, что непрерывный образ конти- нуума есть также континуум. Таким образом, свойство множества быть континуумом сохраняется при непрерывном отображении. Это свойство позволяет доказать, что континуу- мами являются такие множества, как окружность, эллипс, лемниската и другие, ибо каждое из них можно получить как непрерывный образ некоторой ломаной линии, состоящей из конечного числа отрезков и потому являющейся континуу- мом. Вообще континуумами будут все простые дуги и про- стые замкнутые линии. Мы установим в этом параграфе не- которые свойства континуумов, на которых будет основано
58 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II в дальнейшем изучение линий. Наиболее важное из них вы* ражает следующая Теорема 1. Общая часть С последовательности континуумов Cj Z} С2 ZD ... zd Сп о ...» из которых каждый последующий содержится в преды- дущем, есть также континуум. Так как множества С2, ...» Сп, ... являются ком- пактами и содержатся в то все они замкнуты относи- тельно Сг Поэтому их пересечение С = п с2 п ... П сп п ... есть также замкнутое множество. Это множество непусто, как пересечение убывающей последовательности компактов. Таким образом, С есть компакт. Остается доказать его связность. Доказательство связности множества С основано на сле- дующем утверждении: Если С есть общая часть убывающей последователь- ности компактов С, =>C2=...=>Cft=>... (1) и W—открытое множество, содержащее множество С, то в последовательности (1) найдется такой компакт Сп, который также содержится в открытом множестве W. Предположим противное, т. е. что никакой компакт Сп не содержится в W. Тогда мы можем образовать последова- тельность непустых замкнутых множеств С1\1Г=)С2\1Г=)... эСАГэ..., из которых каждое следующее содержится в предыдущем. Так как все эти множества компактны, то пересечение их непусто. Оно состоит из тех точек множества С, которые не -входят в W. Но так как С aW, то таких точек нет. Из полученного противоречия мы должны заключить, что суще- ствует компакт Сп, целиком содержащийся в 1Г. Выведем из доказанного утверждения связность'множества С. Предположим, что компакт С не связен. Тогда его можно представить в виде суммы двух непустых замкнутых мно- жеств А и В без общих точек. В силу теоремы 5 § 2 суще-
СВОЙСТВА КОНТИНУУМОВ 59 § 6] ствуют открытые множества U и V, содержащие соответ- ственно множества А и Д и не имеющие общих точек. Обозначим через W сумму множеств U и V. Так как AcU, BaV, С^АЦВ, W=U\yV, то CcW. В силу только что доказанного утверждения существует континуум Сп, целиком содержащийся в W. Так как множе- ство С имеет точки как в множестве U, так и в множестве V, то и множество Сп должно содержать как точки, принадле- жащие множеству U, так и точки, принадлежащие множе- ству V. Таким образом, континуум Сп содержится в сумме двух непересекающихся открытых множеств U и V, имея с каждым из них общие точки. Но это невозможно в силу теоремы 1 § 3. Полученное противоречие показывает, что наше предположение, будто множество С может быть несвяз- ным, является неверным. Таким образом, С связно и наша теорема доказана. Докажем теперь теорему, которой мы будем постоянно пользоваться при исследовании линии. Эта теорема предста- вляет и самостоятельный интерес. Теорема 2. Если G — связное и локально связное от- крытое множество компакта R, то всякие две точки а и b множества G могут быть соединены простой дугой, целиком лежащей в множестве G. Доказательство. Докажем прежде всего, что, каково бы ни было положительное число е, точки а и Ъ множества G можно соединить конечной цепочкой связных открытых мно- жеств Uv и» .... Un (2) } (3) диаметра < е, содержащихся в G и таких, что b^Uni 1ЛП^+1=#О, = О при |Z—А|>1. В самом деле, в силу локальной связности множества G каждая его точка х обладает связной окрестностью U(x) диаметра < е, целиком содержащейся в G. Докажем, что из этих окрестностей можно составить цепочку, соединяющую точки а и Ь. Предположим, что этого сделать нельзя.
60 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Обозначим тогда через U совокупность тех точек множе- ства О, которые могут быть соединены с точкой а цепочкой, состоящей из окрестностей U(x). Покажем прежде всего, что множество U открыто и замкнуто одновременно. Множество U открыто, так как, если точка х принадлежит U, то U содержит и окрестность этой точки, ибо всякую точку у этой окрестности можно соединить с точкой а цепочкой, состоящей из окрестностей, соединяю- щих точку а с точкой х> и окрестности U(x). Множество U замкнуто, так как, если х — предельная точка для множества U, U(x) — связная окрестность точки х, то U(x) содержит по крайней мере одну точку у множе- ства U. Точку у можно соединить цепочкой с точкой а. Если мы присоединим к этой цепочке окрестность U(х) точки х, то получим цепочку, соединяющую точки а и х. Так как множество U открыто и замкнуто, то и его до- полнение V=G\U также открыто и замкнуто. Кроме того, множество V не пусто, так как оно содержит точку Таким образом, связ- ное множество G распадается в сумму двух непустых откры- тых множеств U и V без общих точек, что невозможно. Из полученного противоречия мы должны заключить, что существует конечная последовательность связных открытых множеств и'2, .... U', (4) такая, что «ЕЦ'. Цпи^о. Составим из элементов этой последовательности цепочку, удовлетворяющую всем условиям (3). Обозначим через Ux элемент последовательности (4), содержащий точку а и имею- щий наибольший номер. Через U2 мы обозначим тот элемент последовательности (4), который пересекает и имеет в этой последовательности наибольший номер. Через U3 мы обозна- чим тот элемент последовательности (4), который пересекает J72 и имеет в последовательности (4) наибольший номер, и т. д., пока не дойдем до первого из элементов, содержащих точку Ь, который обозначим через Un, где п—1 — число прежде
СВОЙСТВА КОНТИНУУМОВ 61 } (6) § 6] отобранных элементов. Мы получим, таким образом, цепочку (2), удовлетворяющую всем требованиям (3). Применим этот результат к доказательству нашей тео- ремы. Для этого соединим точки а и b цепочкой связных открытых множеств диаметра < 1. Пусть это будут мно- жества {/1( и2, ..... ип-, (5) тогда ь^ип, UiOUi+ii=O, U{f]Uk = 0 при |г — £|>1. Обозначим через с± какую-нибудь из точек пересечения множеств Ux и [72; через с2— какую-нибудь из точек пере сечения множеств U% и U.3 и т. д.; наконец, через сп_± какую-нибудь из точек пересечения множеств Un_± и Un. Соединим теперь точку а с точкой q, точку с± с точ- кой с2 и т. д., точку сп_± с точкой b цепью связных откры- тых множеств диаметра <^-. При этом мы предположим еще, что множества, составляющие цепь, соединяющую точ- ку а с точкой содержатся в множестве U± вместе со своими замыканиями. Подобным же образом предположим, что множества цепи, соединяющей точки q и с2, содержатся в множестве С72 вместе со своими замыканиями и т. д., нако- нец, множества цепи, соединяющей сп_± с Ь, содержатся вместе со своими замыканиями в множестве Un. Образуем из этих отдельных цепей одну цепь Vt, v2..... Vp, (7) соединяющую точки а и b и удовлетворяющую условиям (3) (выкинув, если нужно, лишние элементы). Обозначим теперь через d± какую-нибудь точку пересечения множеств Vr и У2; через d% — какую-нибудь точку пересечения множеств 1/2 и и т. д.; наконец, через dp_± какую-нибудь точку пересече- ния множеств и Vp. Соединим точку а с точкой dr цепью открытых множеств диаметра < у, которые вместе со своими замыканиями содержатся в множестве Ух; точки и d2 * соединим цепью открытых множеств диаметра <
62 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. П которые вместе с замыканиями содержатся в У2, ит. д.; нако- нец, точку dp_1 соединим с точкой b цепью связных открытых множеств диаметра < , которые вместе со своими замыка- ниями содержатся в Vp. Из этих отдельных цепей мы снова образуем одну цепь, соединяющую точки а и Ь. Поступая подобным же образом, мы получим последова- тельность цепей, соединяющих точки а и b и состоящих из связных открытых множеств, причем диаметры элементов n-й цепи < ~ и звенья каждой последующей цепи содер- жатся в соответствующих звеньях предыдущей цепи вместе со своими замыканиями. Обозначим сумму множеств, составляющих первую цепь, через С19 сумму звеньев второй цепи через С2 и т. д. Каждое из множеств С2, ..., Сп, ... является открытым связным множеством. Поэтому их замыкания С1? С2, ..., Сп, ... являются континуумами. Так как звенья каждой следующей цепи содержатся в соот- ветствующих звеньях предыдущей цепи вместе со своими замыканиями, то Таким образом, множества Clf С2, ..., Сп, ... .образуют по- следовательность континуумов, С1=>С2=>...=эСп=>..., из которых каждый последующий содержится в предыдущем. На основании теоремы 1 пересечение всех этих континуумов есть также континуум, который мы обозначим через С. Так как каждый континуум Ср С2, ... содержит точки а и Ь, то их пересечение С также содержит эти точки. Дока- жем, что континуум С есть простая дуга,' соединяющая точки а и Ь. Для того чтобы в этом убедиться,, мы должны пока- зать, что континуум С можно взаимно однозначно и взаимно непрерывно отобразить на отрезок Т= [0, 1].
СВОЙСТВА КОНТИНУУМОВ 63 § 6] Разобьем отрезок Т на п равных отрезков Л. 7*8.....Тп> которые назовем отрезками первого ранга, и поставим в соот- ветствие каждому звену первой цепи отрезок первого ранга. Разобьем, далее, каждый из отрезков первого ранга на столько равных частей, сколько звеньев второй цепи содер- жится в соответствующем этому отрезку звене первой цепи. Мы получим, таким образом, цепь из р отрезков второго ранга Sp S2, ...» Sp. Приведем снова в соответствие звенья второй цепи и отрезки второго ранга. Разбивая каждый из отрезков второго ранга на столько равных частей, сколько звеньев третьей цепи со- держится в соответствующем этому отрезку звене второй цепи, мы получим цепь из q отрезков третьего ранга • • • , Rqt и так далее. Мы имеем, таким образом, две последовательности цепей: цепи первой последовательности состоят из связных откры- тых множеств компакта /?; цепи второй последовательности — из отрезков, получающихся подразделением отрезка [0, 1]. При этом для каждого натурального числа п имеет место взаимно однозначное соответствие между звеньями n-й цепи открытых множеств и соответствующей ей цепи отрезков. Пусть х— произвольная точка континуума С. Она при- надлежит некоторому открытому множеству 0к первой цепиг), некоторому открытому множеству Уг второй цепи, некото- рому открытому множеству Wm третьей цепи и т. д. При этом каждое следующее множество содержится в предыду- щем вместе со своим замыканием, и с возрастанием номера цепи диаметры этих открытых множеств стремятся к нулю. Но звену Uki содержащему точку х первой цепи, соот- ветствует вполне определенный отрезок Тк, звену Уг— отре- зок Slt содержащийся в Тк, звену Wm — отрезок Rm, содер- жащийся в Slt и т. д. С возрастанием номера цепи длины этих отрезков стремятся к нулю. Следовательно, все они имеют единственную общую точку у, которую мы и поста- вим в соответствие взятой точке х континуума С. !) Таких множеств может быть и два, но не более»
64 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Разным точкам и х2 континуума С соответствуют раз- ные точки у± и у2 отрезка Т. В самом деле, так как с возра- станием номера п диаметры звеньев n-й цепи стремятся к нулю, то найдется такой номер N, что, начиная с этого номера, во всех цепях точки хг и х2 будут принадлежать различным звеньям, не имеющим общих точек. Но тогда и соответствующие этим звеньям отрезки также не будут иметь общих точек и, следовательно, точки уг и у2 отрезка Г; соответствующие точкам хг и х2 континуума С, будут раз- личны. Каждая точка у отрезка Т соответствует некоторой точке х континуума С. В самом деле, точка у принадлежит некоторому отрезку Тк первого ранга *), некоторому, содер- жащемуся в нем, отрезку Sl второго ранга, некоторому, содержащемуся в отрезке Sb отрезку Rm третьего ранга и т. д. Но отрезку Тк соответствует вполне определенное открытое множество Uk первой цепи; отрезку Sz соответ- ствует открытое множество второй цепи, содержащееся в Uk вместе со своим замыканием; отрезку Rm соответствует открытое множество Wm, содержащееся вместе со своим замыканием в Vb и т. д. Таким образом, последовательности отрезков можно поставить в соответствие убывающую последователь- ность замкнутых множеств При этом с возрастанием номера ранга цепи, длины отрезков и диаметры соответствующих им замкнутых множеств стре- мятся к нулю. Обозначим через х единственную общую точку, принад- лежащую всем замкнутым множествам этой точке х континуума С и соответствует рассматриваемая точка у отрезка Т. *) Она может принадлежать двум смежным отрезкам первого ранга (будучи их общим концом), но не более чем двум.
§ 61 СВОЙСТВА КОНТИНУУМОВ 65 Мы показали, таким образом, что континуум С взаимно однозначно отображается на отрезок Т. Остается доказать непрерывность этого отображения. Пусть х0 — произвольная точка континуума С и > е — произвольное положительное число. Обозначим через yQ точку отрезка Г, соответствующую точке х0 в построенном отобра- жении континуума С на отрезок Т. Возьмем п столь большим, чтобы отрезки1) n-го ранга, содержащие точку у0, целиком заключались в интервале (,у0 — е, ,Уо + 8)- Тогда-совокупность точек, содержащихся в сумме открытых множеств 1 2 *), кото- рым принадлежит точка х0, отображается в е-окрестность точки yQi чем и доказывается непрерывность рассматривае- мого отображения континуума С на отрезок Т. Непрерывность обратного отображения отрезка Т на конти- нуум С вытекает (в силу теоремы 5 § 5) из того, что непре- рывное отображение континуума С на отрезок Т является взаимно однозначным. Таким образом, мы доказали, что конти- нуум С топологически отображается на отрезок [О, 1], при этом точке а соответствует 0, а точке b—1. Следовательно, континуум С есть простая дуга ab. Следующая теорема имеет вспомогательный характер. Ее применение во многих случаях значительно облегчает изложение теории линий. Чтение этой теоремы можно отло- жить до того момента, когда на нее будет опираться доказа- тельство других теорем (гл. IV, § 3). Мы приводим ее в этом параграфе потому, что она выражает свойство, общее всем континуумам, а не только линиям. Мы будем говорить, что точка х разбивает континуум С, если множество С \ х несвязно. В противном случае, т. е. если множество С\х связно, мы говорим, что точка х не разбивает континуум С. Теорема 3. В каждом континууме С имеется по крайней мере две точки, которые его не разбивают. Доказательство. Пусть а — произвольная точка кон- тинуума С (о которой мы пока не делаем никаких предпо- ложений относительно того, разбивает ли она континуум или нет). Покажем, что существует точка Ъ, отличная от точки а и не разбивающая континуум С. 1) Их может быть один или два. 2) Таких множеств может быть одно или два* 5 Зак. 1377. А. С. Пархоифпю
66 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II Пусть А — счетное множество, плотное в континууме С и не содержащее точку а. Если какая-нибудь точка Ь, принадлежащая множеству А, не разбивает континуум С, то наше утверждение доказано. Предположим, что всякая точка множества Л разбивает кон- тинуум С. Перенумеруем все точки множества А. Тогда мы получим последовательность а1г а^, а8, ... (8) Точка alt по предположению, разбивает континуум С на два множества, каждое из которых является открытым (относи- тельно С), и имеет своей границей единственную точку aL. Обозначим через Аг то из двух открытых множеств, которое не содержит точки а. Пусть, далее, г) — первая точка нашей последователь- ности (8), которая содержится в Лх. Точка разбивает континуум С на два открытых множества. Обозначим через Л2 то из них, которое не содержит точку av Граница множе- ства Л2 состоит из точки а$2. Точно так же пусть — пер- вая точка нашей последовательности (8), которая содержится в Л2. Она разбивает континуум С на два открытых подмно- жества. То из них, которое не содержит точку мы обо- значим через Л3. Поступая подобным же образом, мы получим последова- тельность открытых множеств А, Л2, Л3, ... (9) и последовательность точек ^1 = ^, аъ.2, • • • (Ю) Граница каждого из множеств Ап состоит из одной точки ain. Если к множеству Ап присоединить его единственную граничную точку ain, то полученное множество = U &in будет континуумом. В самом деле, множество Ап замкнуто и как замкнутое множество компакта С оно является компактным. Остается 1)
§ 6] СВОЙСТВА КОНТИНУУМОВ 67 показать, что множество Ап связно. Предположим противное, и пусть Р и Q — два непустых замкнутых множества, без общих точек, дающих в сумме множество Ап. Предположим, что точка ain принадлежит множеству Q. Тогда Рс:Дп. Так как каждое из множеств С\ДП и Q замкнуто, то замк- нутым множеством будет и их сумма (С \ Ап) (J Q. Мы по- лучаем, таким образом, разложение континуума С в сумму двух непустых замкнутых множеств Р и (С\Дп)и@ без общих точек, что невозможно. Отсюда мы должны заключить, что множество Ап связно. Множество Дп, будучи компактным и связным, является континуумом. Рассмотрим последовательность континуумов ^1> ^2» • • •> • • • и покажем, что каждый следующий континуум содержится в предыдущем: ^п+х^—^п* В самом деле, по предположению, точка ain разбивает континуум С на два открытых множества Ап и Вп. Так как множество Дп+1 не содержит точки ain, то оно содержится в сумме множеств Ап и Вп. Но, будучи связным, Дп+1 может иметь общие точки лишь с одним из множеств Ап или Вп; так как ain+1 С Ап, то ЛвИс4сЛя. Мы имеем, таким образом, последовательность континуумов из которых каждый последующий содержится в предыдущем. По теореме 1 общая часть всех этих континуумов есть также континуум, который мы обозначим через /С. В силу включения континуум К можно рассматривать как пересечение откры- тых множеств Др. Д2, . .., Ап, . .. Пусть b—произвольная точка континуума /С. Так как ни одна из точек aim (т = 1, 2 ..., п) не принадлежит 5*
68 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II континууму Лп+1, то отсюда следует, что точка b не совпа- дает ни с одной из точек ain. Докажем, что точка b не разбивает континуум С. Пред- положим противное, т. е. что множество С\& есть сумма двух открытых множеств G и И, не имеющих общих точек. Так как точка b не совпадает ни с одной из точек ain последовательности (10), то каждая из точек этой последова- тельности принадлежит одному из множеств G или Н. Пред- положим, например, что некоторая точка aim последователь- ности (10) принадлежит множеству И, и докажем, что в этом случае множество G = G U b целиком содержится в множе- стве Ат последовательности (9), соответствующем точке aim. Заметим прежде всего, что множество, G=Gl|Z> является континуумом. Это доказывается совершенно так же, как и то, что континуумом является каждое из множеств = U ain последовательности (9). Множество G не содержит точку и имеет общую точку b с множеством Ат. Следовательно, G целиком содер- жится в множестве Ат, так как, будучи связным, оно не может иметь общих точек с двумя непересекающимися откры- тыми множествами Ат и Докажем теперь, что множество G целиком содержится в каждом из множеств Ап последовательности (10). Для этого нужно показать, что если хотя бы одна из точек после- довательности (10) принадлежит множеству Н, то этому мно- жеству принадлежат и все точки последовательности (10). Предположим, вопреки утверждению, что какая-нибудь точка aip последовательности (10) принадлежит множеству G. Тогда, как и выше, докажем, что множество Н = Н\}Ь целиком содержится в множестве Ар последовательности (9), соответствующем точке aip.
СВОЙСТВА КОНТИНУУМОВ 69 § 6] Без ограничения общности можно предположить, что р > т. Так как, по доказанному, Ат, то из соотношения следует, что //cz Ат. Таким образом, имеем Gc/l^, НсА^, откуда, принимая во внимание, что оия=с, находим Сс Ат, что нелепо, так как множество Ат не содержит, например,' точку а. Из полученного противоречия мы должны заключить, что если какая-нибудь точка последовательности (10) принад- лежит множеству Н, то этому множеству принадлежат и все точки последовательности (10). Но, как мы показали выше, отсюда следует, что множество G, а значит, тем более и множество G, содержится в каждом из множеств Ап последо- вательности (9). В таком случае множество G содержится в континууме К, который является пересечением всех множеств Ап последовательности (9). Из предположения, что открытое множество G непусто, следует, что существует точка ак последовательности (8), принадлежащая множеству G, так как множество А, из то- чек которого мы образовали последовательность (8), всюду плотно в С. Возьмем в последовательности (10) такую точку ain, номер которой in больше номера k точки ак. Имеем ak^GczGczK^An_lt т. е. Но, по предположению, ain есть точка последовательности (8), имеющая наименьший номер и содержащаяся в Ап~ 19 а мы
70 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ТОЧЕЧНЫХ МНОЖЕСТВ [ГЛ. II нашли точку ак последовательности (8), номер которой k < in, принадлежащую множеству An_v Из полученного противоре- чия мы вынуждены сделать тот вывод, что точка Ъ не раз- бивает континуум С. Таким образом, в континууме С мы нашли такую точку Ь, которая его не разбивает. Чтобы доказать, что существует другая точка, не разбивающая континуум С, надо дословно повторить все приведенное рассуждение, только начать его уже отправляясь не от произвольной точки а, а заменить во всем рассуждении точку а точкой Ь, о которой заведомо известно, что она не разбивает континуум С. Этим теорема 3 будет доказана. Примером континуума, имеющего ровно две точки, кото- рые его не разбивают, является отрезок. Неразбивающими точками будут концы отрезка; всякая внутренняя точка от- резка разбивает его на два полуинтервала с общим концом в этой точке. Примером континуума, который не разбивается ни одной своей точкой, может служить окружность.
ГЛАВА III КАНТОРОВЫ ЛИНИИ В этой главе мы будем рассматривать множества, лежащие на плоскости, и роль R будет играть у нас плоскость. Поэтому, говоря об открытых и замкнутых множествах, мы будем иметь в виду, что они открыты или замкнуты на плоскости. Г. Кантор определяет линию (на плоскости) как такой континуум, в любой близости от каждой точки которого есть точки плоскости, не принадлежащие этому континууму. Дру- гими словами, линией называется континуум С, обладаю- щий следующим свойством', какова бы ни была точка х континуума С и положительное число е, на плоскости найдется точка у, не принадлежащая континууму С и удаленная от точки х менее чем на s. Из этого опреде- ления непосредственно следует, что континуум С является канторовой линией тогда и только тогда, когда он не содер- жит никакого открытого подмножества. Все те плоские линии (прямая, окружность и т. д.), которые мы рассматривали до сих пор, подходят под это определение. Напротив, такие континуумы, как треугольник, круг, квадрат (если иметь в виду их внутренние и граничные точки), уже не являются линиями в смысле определения Кантора, так как каждый из них содержит достаточно малую сферическую окрестность (совокупность внутренних точек круга). Приведем еще один замечательный пример канторовой линии, построенной известным польским математиком Сер- пинским и получившей впоследствии название «ковра берлин- ского». Квадрат Q делится на девять равных квадратов и из него удаляются внутренние точки центрального квадрата. Каждый из оставшихся восьми квадратов первого ранга снова делится на девять равных квадратов и в каждом из них удаляются внутренние точки центрального квадрата. Таким образом, мы
72 КАНТОРОВЫ ЛИНИИ (гл. ш получаем 82 = 64 квадрата второго ранга. С каждым из них поступаем так же, как и §ыше, и получаем 8‘3 == 512 квад- ратов третьего ранга и т. д. для любого натурального числа п (черт. 8). Оставшееся после выполнения всех этих операций мно- жество S' и есть ковер Серпинского. Черт. 8. Это множество является линией в смысле канторова опре- деления. Прежде всего множество S' является континуумом, так как оно представляет собой общую часть последователь- ности континуумов: первый континуум состоит из восьми квадратов первого ранга, второй из 64 квадратов второго ранга и т. д., причем в этой последовательности каждый сле- дующий континуум содержится в предыдущем т)- Далее, в любой близости от каждой точки континуума S' найдется точка, не принадлежащая этому континууму. В самом деле, какова бы ни была точка х континуума S' и положительное число в, найдется натуральное число п, такое, *) См. гл. II, § 6, теорема 1.
КАНТОРОВЫ ЛИНИИ 73 что диагональ квадрата Qn /г-го ранга будет меньше е. Но тогда в s-окрестность точки х попадут точки выброшенных квадратов, соседних с Qnt не принадлежащие континууму S\ Таким образом, ковер Серпинского — в самом деле кан- торова линия. Эта линия обладает одним замечательным свой- ством: содержать в себе любую плоскую линию. А именно, имеет место следующая Теорема. Какоза бы ни была канторова линия С, в козре Серпинского всегда найдется подмножество С', гомеоморфное множеству С. Доказательство. Так как множество С — континуум и потому замкнуто и ограничено, то существует прямоуголь- ник /?, содержащий континуум С. Разобьем прямоугольник R прямыми, параллельными его сторонам, t на девять равных прямоугольников (на черт. 9 эти линии даны пунктиром). Черт. 9. Так как С — канторова линия, то она не содержит никакого открытого подмножества и потому не может, в частности, иметь своим подмножеством весь центральный прямоугольник»
74 КАНТОРОВЫ линии [гл. III Так как С — замкнутое множество, то 'внутри центрального прямоугольника содержится прямоугольник /?0, стороны кото- рого параллельны сторонам прямоугольника R и который не содержит ни одной точки линии С. Продолжим стороны прямоугольника /?0 до пересечения со сторонами основного прямоугольника R. При этом весь прямоугольник Р разобьется на девять прямоугольников. Выбросим из прямоугольника R совокупность всех внутренних точек прямоугольника Ro. Остав- шееся множество состоит из восьми прямоугольников, которые мы назовем прямоугольниками первого ранга и обозначим в кру- говом порядке против часовой стрелки, начиная с левого ниж- него прямоугольника, соответственно через R±, R2, Rs, • • •, Rs- Совокупность точек, принадлежащих прямоугольникам первого ранга, обозначим через 51. Чтобы получить прямоугольники второго ранга, поступим следующим образом. Разобьем каждый из прямоугольников первого ранга на девять равных прямоугольников. Возьмем пря- моугольник 7Й. Тогда, по предыдущему, внутри центрального прямоугольника, получившегося при разбиении прямоуголь- ника R{, можно найти такой прямоугольник Р^о, внутри кото- рого не содержится ни одной точки линии С. Продолжим его стороны до пересечения со сторонами основного прямоуголь- ника. В центральном прямоугольнике, получившемся при под- разделении прямоугольника R&, по тем же соображениям, можно найти такой прямоугольник Р20, который лежит в полосе, заключенной между продолжениями сторон только что построенного прямоугольника Р^, и не содержащий ни одной точки линии С. Стороны прямоугольника Р20 мы снова продолжаем до пересечения со сторонами основного прямо- угольника. Точно так же в прямоугольнике Rl мы найдем прямоугольник Р1о, не содержащий ни одной точки линии С и состоящий из точек центрального прямоугольника, образо- вавшегося при подразделении Rl, заключенных в общей части полос, полученных при продолжении сторон прямоугольни- ков Р}0 и Рго- Подобным же образом получим прямоуголь- ники Р40, Р&о, Peo> Р70, Pso* Обозначим через Р^о(А=1, 2......... 8) прямоугольник содержащийся в Р*о и состоящий из внутренних точек пере-
КАНТОРОбЫ ЛИНИИ 75 сечения всех вертикальных и горизонтальных полос, образо- ванных продолжением сторон прямоугольников Р и прохо- дящих в Rk- Рассмотрим подразделение основного прямо- угольника продолжениями сторон прямоугольников Rko. Если из каждого прямоугольника первого ранга выкинуть внутренние точки, принадлежащие прямоугольнику , то от каждого прямоугольника первого ранга останется множество, со- стоящее из восьми прямоугольников, которые мы назовем прямо- угольниками второго ранга и обозначим в круговом порядке против часовой стрелки, начиная снова с левого нижнего прямо- угольника, через /?li, Rk2i ...» Rks- Совокупность точек, при- надлежащих всем 64 прямоугольникам второго ранга, мы обо- значим через 32. С каждым из прямоугольников Rki /= 1, 2, ..., 8) второго ранга мы поступим точно так же, как мы перед тем поступили с прямоугольниками первого ранга. Мы получим, таким образом, 83 = 512 прямоугольников Rkim (&, I, nt = = 1, 2, ..., 8) третьего ранга, совокупность точек которых мы обозначим через З3. Поступая подобным же образом и далее, мы получим по- следовательность континуумов S1z)S2zd ... z>SnZD ..., каждый из которых содержится в предыдущем. В силу теоре- мы 1 § 6 главы II пересечение всех этих континуумов есть также континуум, который мы обозначим через 3. Линия С целиком содержится в континууме 3. Докажем, что континуум 3 гомеоморфен ковру Серпинского. Пусть х — произвольная точка континуума 3. По определению конти- нуума 3 точка х принадлежит множеству 31 и, следова- тельно, некоторому прямоугольнику Rk первого ранга, мно- жеству 32 и, следовательно, некоторому прямоугольнику Rm второго ранга, содержащемуся в /?*, множеству З3 и, следо- вательно, некоторому прямоугольнику $ат третьего ранга, содержащемуся в Мы получим, таким образом, убываю- щую последовательность прямоугольников R^^R^^R^im^)• • • Поставим’ в соответствие прямоугольнику квадрат Qk первого ранга, участвующий в образовании ковра Серпин- ского и занимающий по отношению к основному квад- рату Q то же положение, какое прямоугольник Rk занимает
76 КАНТОРОВЫ линии [гл. ш по отношению к прямоугольнику 7? (см. черт. 8 и 9). Далее, прямоугольнику второго ранга ставим в соответ- ствие квадрат QlzcQfc второго ранга, который по отно- шению к квадрату занимает то же положение, какое прямоугольник R^i занимает по отношению к прямоуголь- нику /?*, и т. д. Таким образом, убывающей последовательности вложен- ных прямоугольников R1 ZD R* . ставится в соответствие последовательность вложенных квад- ратов Q1 ZD Q2 ZD ... ZD ZD ... Но так как длина стороны квадрата n-го ранга равна то (по теореме 2 § 4 гл. II) пересечение квадратов QxnQ2n ... IW П ... непусто и состоит из одной точки, которую мы обозначим через х'. Эту точку х' мы и поставим в соответствие точке х континуума S. Таким образом, мы показали, что каждой точке х кон- тинуума S соответствует некоторая точка х' ковра берлин- ского S'. Покажем, что разным точкам континуума S соот- ветствуют различные точки континуума S'. Пусть х и у — две точки континуума S. Так как сторона прямоугольника каждого следующего ранга всегда меньше чем -|- соответ- ствующей стороны содержащего его прямоугольника преды- дущего ранга, то с возрастанием номера ранга длины сторон прямоугольников, а следовательно, и их диагонали стремятся к нулю. Отсюда следует, что каковы бы ни были две точки х и у континуума S, всегда можно найти настолько большой номер п, что два прямоугольника n-го ранга, содержащие точки х и yt не будут иметь общих точек. Но тогда не будут иметь общих точек и квадраты, соответствующие этим прямоугольникам. Следовательно, точки х' и у', соответ- ствующие точкам х и у, не могут совпадать друг с другом. Мы показали, что каждой точке континуума S соответ- ствует некоторая точка континуума S' и что разным точкам континуума S соответствуют разные точки континуума S',
КАНТОРОВЫ ЛИНИЙ 77 Совершенно так же можно было бы показать, что каждой точке континуума S' всегда соответствует (и притом только одна) точка континуума S. Таким образом, соответствие, установленное между континуумами S и S', является взаимно однозначным. Остается показать, что это соответствие и взаимно непрерывно. Пусть — произвольная точка континуума S, е — произ- вольное положительное число, х'—образ точки х0 в построен- ном выше отображении континуума S на континуум S'. Тре- буется доказать, что существует такое число 8, что если р(-^, *о)<8, то Р(*'> *о)<8’ где х' — образ точки х. Возьмем п столь большим, чтобы квадраты ранга п, содер- жащие точку х', целиком заключались в ©-окрестности этой точки, и примем в качестве 8 радиус круга с центром в точке х0, целиком лежащего в сумме прямоугольников n-го ранга, со- держащих точку х0. Тогда при р(*0, х)<8. Р«> Аналогично доказывается и непрерывность отображения континуума S' на континуум S. Таким образом, континуумы S и S' гомеоморфны между собой. Но линия С целиком содержится в континууме S. При гомеоморфном отображении континуума S на ковер берлин- ского S' линия С гомеоморфно отображается на некоторое множество С', содержащееся в S'. Наша теорема, таким обра- зом, доказана. Замечание. Свойство (плоского) множества быть канто- ровой линией сохраняется при топологическом отображении. Это значит, что если канторова линия С отображается топологически на плоское множество С', то множество С' также является канторовой линией. То, что множество С' является континуумом, вытекает из того, что свойства связ- ности и компактности сохраняются не только при топологи- ческом, но даже при непрерывном отображении *). Самой трудной частью доказательства является доказательство утверждения, что если плоское множество С не содержит ни- х) См. главу II, § 5, теоремы 2 и 3.
78 КАНТОРОбЫ ЛИНИЙ [ГЛ. Ш какого открытого подмножества, то и плоское множество С', гомеоморфное множеству С, также не содержит никакого откры- того подмножества. Оно вытекает из теоремы о том, что если О—открытое множество на плоскости и Н—плоское мно- жество, гомеоморфное множеству О, то множество Н также открыто на плоскости. Эту теорему мы здесь доказывать не будем т). Не всякая канторова линия может быть задана параметри- ческими уравнениями Х = <Р(О, y = Примером такой линии, которую нельзя задать параметри- ческими уравнениями, является уже неоднократно упоминав- шееся множество, состоящее из точек графика функции у — sin — , 0 < х 1, и его предельного отрезка х = 0, — Будучи связным и компактным, оно является континуумом. Этот континуум не содержит никакого открытого подмножества и потому есть канторова линия. В предыдущей главе (§ 5) было показано, что эта линия не может быть представлена как непрерывный образ отрезка. Но отсюда следует, что она не может быть задана параметрическими уравнениями. Причина невозможности такого представления заключается в том,что рас- сматриваемая линия не является локально связным множеством. Доказано, что для того, чтобы континуум, в частности канторова линия, был непрерывным образом отрезка, не- обходимо и достаточно, чтобы он был локально связен. Необходимость этого условия непосредственно вытекает из теоремы 4 § 5 предыдущей главы, так как отрезок есть локально связный континуум, а при непрерывном отображении свойство континуума быть локально связным сохраняется. Мы не будем здесь доказывать достаточности этого усло- вия. Это доказательство можно найти, например, в книге Хаусдорфа «Теория множеств», стр. 186. *) Доказательство ее для случая пространства любого числа изме- рений можно найти, например, в книге Александрова П. С., Комбинаторная топология, Гостехиздат, М. — Л., 1947, стр. 196.
КАНТОРОВЫ ЛИНИИ 79 Свойство локальной связности может быть выражено раз- личными способами. Упомянем без доказательства такую тео- рему: для того чтобы континуум С был локально связен, необходимо и достаточно, чтобы при любом е его можно было представить в виде суммы конечного числа контину- умов диаметра < е *). Этим свойством, в частности, обладает ковер Серпинского. Мы получим разбиение ковра Серпинского на сколь угодно малые континуумы, если возьмем квадраты достаточно высо- кого ранга. Часть ковра Серпинского, заключенная в каждом таком квадрате, представляет собой также ковер Серпинского, только построенный для этого квадрата. В виде суммы таких частей (каждая из которых является континуумом) мы и пред- ставим ковер Серпинского. Из возможности такого представле- ния вытекает, что ковер Серпинского есть множество локально связное и потому его можно представить как непрерывный образ отрезка и, следовательно, задать параметрическими уравнениями. Таким образом, ковер Серпинского, будучи линией в смысле Кантора, является линией и в смысле Жордана. Ввиду большой общности определения канторовых линий они могут иметь очень сложное строение. Мы разберем этот вопрос в связи с границами плоских областей. Как мы знаем еще из элементарной геометрии, окружность делит плоскость на две области: внутреннюю и внешнюю — и является общей границей этих областей. Оказывается, что этим свойством разбивать плоскость на две области обладает не только окружность, но и всякая линия, ей гомеоморфная. Это утверждение составляет содержание известной теоремы Жордана, которая, несмотря на свою кажущуюся очевидность, доказывается довольно трудно. Лемниската Бернулли разбивает плоскость уже на три области, причем точка $ самопересечения этой линии принадлежит границе всех трех областей (черт. 10). Однако все остальные ее точки являются граничными лишь для двух каких-нибудь областей. На первый взгляд может показаться, что принадлежать границе более чем двух областей могут лишь отдельные точки линии. В самом деле, трудно представить себе, чтобы по какой-нибудь линии на карте Ч См. Хаусдорф, Теория множеств, ОНТИ, М, — Л., 1937, стр, 184,
80 КАНТОРОВЫ линии [гл. III граничило сразу три или более государств, и тем не менее существуют такие линии, которые являются границами трех и более областей в том смысле, что в любой близости от каждой точки этой линии есть точки всех областей. Чтобы понять, как это выполнить, представим себе остров в открытом море и на нем два озера и вообразим себе сле- дующую программу работ. В первый час ведется канал от Черт. 10. моря и от каждого из двух озер таким образом, чтобы каждый из этих каналов был «слепым» ,(т. е. был в действительности заливом соответствующего водоема), чтобы эти каналы нигде не соприкасались между собой и чтобы в результате часовой работы расстояние от каждой точки суши до морской воды, а также до воды каждого из двух озер было меньше 1 км. В следующие полчаса каждый из проведенных трех каналов продолжен так, что попрежнему все каналы остаются «сле- пыми» и не соприкасаются между собой и что расстояние от каждой точки суши до воды каждого из трех водоемов становится меньше чем ]/2 км. В следующую затем четверть часа каналы продолжены дальше так, чтобы попрежнему, не сообщаясь между собой, они с такой «плотностью» прони- кали внутрь острова, чтобы расстояние от каждой точки суши до воды каждого из трех водоемов сделалось меньше */4 я* и т. д. Через два часа такой деятельности от острова останется лишь такой континуум С, в любой близости от каждой точки кото- рого будет находиться вода каждого из трех водоемов, причем все эти водоемы (море и два озера) попрежнему будут оставаться разобщенными: воды никаких двух из них не будут смеши- ваться. Эти водоемы (продолженные проведенными из них каналами) й являются теми тремя областями, общую границу
КАНТОРОВЫ ЛИНИИ 81 которых образует континуум С; одна из этих областей («море») не ограничена, остальные две ограничены (черт. II)1). Мы потому так подробно остановились на канторовых линиях, что если ограничиться только плоскими линиями, то канторово определение с полной общностью выражало бы то, что в нашей математической практике связано с понятием линии. Но мы хотим дать общее определение линии, охва- тывающее не только плоские, но и пространственные линии * 2). Черт. 11. Простое перенесение канторова определения линии на про- странство невозможно, так как в пространстве континуумом, не содержащим никакого открытого множества, является, напри- мер, квадрат. Значит, мы снова становимся перед необхо- димостью ответить на вопрос: что такое линия? Мы пере- ходим к определению понятия линии, данному Урысоном. х) Этот пример принадлежит голландскому математику Брауэру. Настоящее изложение заимствовано мною из книги Алексан- дрова П. С., Введение в общую теорию множеств и функций, стр. 266—267. 2) И даже линии, лежащие в пространстве более высокого числа измерений. б Зак. 1377. А. С. Пархоменко
ГЛАВА IV ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ § 1. Определение линии. Основные свойства Посмотрим, какими общими свойствами обладают те мно- жества, которые мы называем линиями? Прежде всего эти множества являются связными, т. е., говоря не совсем точно, они как бы состоят из одного куска и не распадаются на отдельные части. Далее, очень многие из рассматриваемых нами линий являются замкнутыми и ограниченными множествами и, сле- довательно, суть множества компактныег). Таковы от- резок прямой, окружность, эллипс, лемниската Бернул- ли и др. В дальнейшем мы в качестве линии будем рассматривать только такие связные множества, которые являются компак- тами, т. е. континуумы * 2). Но такие множества, как квадрат, куб, также являются континуумами. Почему же мы их не называем линиями? По- тому что они имеют два и три измерения. Линиями же яв- ляются лишь такие континуумы, которые имеют «одно изме- рение». Но что значит выражение: «имеют одно измерение»? 1) См. главу II, § 4, теорема 3. 2) Правда, многие геометрические объекты, которые носят наз- вания линий, не обладают указанными выше “'свойствами компакт- ности и связности. Такова прежде всего прямая линия, не обла- дающая свойством компактности. Далее, гипербола уже и не ком- пактна и не связна. Однако мы ограничиваемся здесь рассмотре- нием лишь таких линий, которые являются континуумами, так как этот случай оказывается наиболее важным и к нему по существу приводится рассмотрение даже и таких геометрических объектов, не являющихся континуумами, которые в математической практике по- лучили название линий,
§ 1] ОПРЕДЕЛЕНИЕ ЛИНИИ. ОСНОЁНЫЁ СВОЙСТВА 83 Мы не будем здесь останавливаться на вопросе о том, что называется числом измерений или, как еще говорят, размер- ностью произвольных множеств, и дадим лишь точное опре- деление континуума, имеющего одно измерение, или, что то же самое, размерность 1. Мы говорим, что континуум С имеет з точке х раз- мерность 1, если существует сколь угодно малая окрест- ность точки х, граница которой не содержит никакого континуума, состоящего более чем из одной точки. Дру- гими словами, континуум С имеет в точке х размер- ность 1, если при всяком е>0 существует открытое множество, содержащее точку х диаметра < е, граница которого не содержит никакого континуума, состоящего более чем из одной точки. Мы говорим, что континуум С имеет размерность 1, если он будет размерности 1 в каждой своей точке. Теперь мы можем сказать, что линией называется кон- тинуум размерности 1, т. е. такой континуум, что каждая его точка обладает сколь угодно малой окрест- ностью, граница которой не содержит никакого конти- нуума, состоящего более чем из одной точки. В этом и состоит определение линии, данное Урысоном. Простейшим примером одномерного континуума, т. е. ли- нии в смысле Урысона, является отрезок. В самом деле, ка- кова бы ни была s-окрестность произвольной точки отрезка, она является открытым множеством, граница которого состоит из двух точек, если х — внутренняя точка отрезка, и из од- ной точки, если х — концевая точка отрезка. Совершенно так же убедимся, что и окружность имеет в каждой своей точке размерность 1, т. е. является линией в смысле Урысона. Достаточно опять взять е-окрестность про- извольной точки окружности. Это будет дуга (без концов), середина которой есть точка х. Она являете^ открытым мно- жеством, граница которого состоит из двух точек (концов Дуги). Вообще, всякая линия в смысле Кантора является ли- нией в смысле Урысона. Прежде чем переходить к доказательству этого утвер- ждения, отметим два факта, которые будут нам полезны как при доказательстве вышеприведенного утверждения, так и в ряде других случаев. 6*
84 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИЙ [ГЛ. IV Теорема 1. Если континуум К является подмноже- ством линии С (в смысле Урысона), то он сам является линией. В самом деле, пусть х — произвольная точка континуума К и е — произвольное положительное число. Так как С — ли- ния, то существует открытое (относительно С) множество G диаметра < а, содержащее точку х, граница которого не содержит никакого континуума. Обозначим через U совокуп- ность тех точек открытого множества О, которые принад- лежат континууму К. Множество U открыто относительно К- Оно содержит точку х; диаметр его < е, а его граница (взя- тая относительно К) не содержит никакого континуума, так как она является подмножеством границы открытого множе- ства G, следовательно, К есть линия. Теорема 2. Топологический образ линии также яв- ляется линией, ' В самом деле, пусть X—одномерный континуум и f— то- пологическое отображение множества X на множество Y. Мы должны доказать, что Y есть также одномерный континуум. То, что Y—континуум, следует из того, что как связ- ность, так и компактность сохраняются при всяком непре- рывном отображении и, следовательно, при топологическом отображении. Таким образом, Y является континуумом. Ос- тается доказать, что этот континуум будет одномерным. Пусть у$ — произвольная точка континуума Y и е—про- извольное положительное число. Обозначим через х0 прооб- раз точки у$, а через 8 — такое положительное число, что если рОо. *)<8 и j =/(*), ТО р(ж У)<*- Так как X—линия, то можно найти такое открытое множество U, содержащее точку х0 и содержащееся в 8-окрест- ности этой точки, что граница множества Uне содержит никакого континуума, состоящего более чем из одной точки. Обозначим через V образ множества U. Множество V является открытым (относительно У), содержит точку yQ и содержится в ©-окре- стности yQ. Докажем, что граница множества V не содержит ника- кого континуума, состоящего более чем из одной точки. Так
ОПРЕДЕЛЕНИЕ ЛИНИИ, ОСНОВНЫЕ СВОЙСТВА 85 § 1] как открытое множество V является образом открытого мно- жества U при топологическом отображении /, то и граница множества V будет образом границы множества U. Если бы граница множества V содержала какой-нибудь континуум /С, состоящий более чем из одной точки, то при непрерывном отображении f~\ обратном к отображению /, образом этого континуума был бы континуум С, также состоящий более чем из одной точки и содержащийся в границе открытого множества U, что противоречит определению множества U. Отсюда мы должны заключить, что граница открытого мно- жества V не содержит никакого континуума, состоящего более чем из одной точки. Мы показали, таким образом, что любая точка yQ кон- тинуума Y обладает сколь угодно малой окрестностью V, граница которой не содержит никакого континуума, состоя- щего более чем из одной точки. Этим доказано, что конти- нуум Y есть линия. После этих предварительных рассмотрений перейдем к до- казательству высказанного выше утверждения о том, что всякая линия в смысле Кантора является линией в смысле Урысона. В самом деле, как мы видели в гл. III, всякая канторова линия С гомеоморфна подмножеству С' ковра Серпинского S. Так как С — континуум, то континуумом будет и множе- ство С'. Если мы докажем, что ковер Серпинского S есть линия в смысле Урысона, то отсюда будет следовать на ос- новании теоремы 1, что и континуум С' является линией в смысле Урысона. Но тогда в силу теоремы 2 линией (в смы- сле Урысона) будет _ и континуум С. Таким образом, нам нужно доказать, что ковер Серпинского есть линия {в смысле Урысона). Мы уже видели в предыдущей главе, что ковер Серпин- ского S является континуумом. Нам нужно доказать, что какова бы ни была точка zn0 континуума S, существует сколь угодно малое открытое множество, содержащее точку т0, граница которого не содержит никакого континуума, состоя- щего более чем из одной точки. Обозначим через х0 и у$ прямоугольные координаты точки т$ в системе координат, оси которой идут по сторонам квадрата Q, из которого получается ковер Сер- пинского S. Длины сторон квадрата мы предположим рав- ными 1.
86 Общее Определение лийии [гл. iV Пусть s — произвольное положительное число и а — такое . е положительное число, что а < у, причем ни одно из чисел х0— а, х04~а, Уо—д/о~Ьа не разлагается в конечную троичную дробь *). Четыре прямые х==х0— a, x = xQ-\-at У—Уо~«. У=У0 + а образуют квадрат, совокупность внутренних точек которого определяется неравенствами х0 — а < х< х0+«. Уо — “<У<Уо + а- Так как а < то х0 — у < х0 — а < х0 < х0+а < х0+-i-, Уо — 7 <Уо~ «<Л<л+а< Jo + y- Отсюда следует, что точка /к0(х0, уй) является внутренней точкой квадрата. Весь квадрат лежит внутри круга с центром в точке mQ и радиусом s. Каждая из прямых x = xQ — а, х = х04'а> У=Уо — “, У=Уо + а пересекает ковер Серпинского по канторову совершенному множеству. Если мы возьмем совокупность тех внутренних точек рас- сматриваемого квадрата, которые принадлежат ковру Серпин- ского S, то получим открытое в S множество, содержащее !) Мы говорим, что число р, разлагается в конечную троичную дробь, если оно может быть представлено в виде । Рп р~ 3 ’ где числа р±, •••> Рп могут принимать значения 0, 1, 2. Таково, например, число 7__ 0 । 2 । 2 27 ~ 3 ' З2 ' З3 ’
ОПРЕДЕЛЕНИЕ ЛИНИИ. ОСНОВНЫЕ СВОЙСТВА 87 § 1] точку т0 и содержащееся в s-окрестности этой точки, гра- ница которого не содержит никакого континуума, состоящего более чем из одной точки. Этим доказано, что ковер Серпин- ского есть линия в смысле Урысона. Вместе с тем установлено, что всякая канторова линия является линией в смысле Урысона. Верно и обратное утверждение, а именно: всякая плоская линия в смысле Урысона есть канторова линия. Доказа- тельство этого утверждения сводится к тому, что никакая плоская линия в смысле Урысона не содержит в себе от- крытого (относительно плоскости) множества. Если бы линия С содержала открытое на плоскости мно- жество, то она содержала бы в себе круг, целиком за- ключающийся в этом открытом множестве. Этот круг, бу- дучи континуумом, являющимся подмножеством линии С, на основании теоремы 1 сам был бы линией в смысле Урысона. Итак, мы стоим перед задачей доказать, что никакой круг (считая его внутренние и граничные точки) не является линией в смысле Урысона. Предположим противное, и пусть К—совокупность вну- тренних точек некоторого круга, х— произвольная внутрен- няя точка круга, G—открытое множество, содержащее точкух и состоящее вместе со своим замыканием из внутренних то- чек круга, причем граница этого открытого множества D = rp(G) = G\G не содержит никакого континуума, состоящего более чем из одной точки. Но мы видели (глава II), что если G — непустое открытое подмножество некоторого множества 7?, не совпадающее со всем 7?, то граница Гр(С) этого открытого множества раз- бивает все множество 7? в том смысле, что если из множества 7? выбросить границу открытого множества G, то оставшееся множество 7?\Гр(О) представляется в виде суммы двух открытых множеств G и 7?\G, не имеющих общих точек: 7?\rp(G) = GU(7?\G), ОП(/?\6) = 0. Поэтому, чтобы убедиться в том, что круг К не является линией (в смысле Урысона), нам достаточно показать, что если замкнутое множество D не содержит никакого
88 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV континуума, состоящего более чем из одной точки, то оно не может разбивать круг и, следовательно, не может быть границей никакого открытого множества G. Мы не будем здесь приводить полного доказательства теоремы о том, что если замкнутое множество D не содержит никакого конти- нуума, то оно не разбивает круг, и наметим лишь план этого доказательства. 1°. Прежде всего доказывается, что если компакт D не содержит никакого континуума, то при любом е его можно представить в виде суммы конечного числа замкнутых мно- жеств диаметра < е, не имеющих попарно общих точек: О = Охи£>2и ... {JDnt 8(D<)<e, i= 1, 2, ..., n. 2°. Далее доказывается, что если D — замкнутое подмно- жество круга, не содержащее никакого континуума, и D = D^D^ ... \)Dn — разложение множества D на замкнутые подмножества диа- метра < е, не имеющие попарно общих точек, то каждое из этих подмножеств можно заключить внутрь многоугольника Pit целиком содержащегося в К так, что диаметр каждого много- угольника Р} будет < е и никакие два многоугольника Р{, Pk не будут иметь общих точек. 3°. На основании 2° можно найти конечную систему много- угольников Я, Pl ..., Р\ диаметра <1, не имеющих попарно общих точек, в сумме которых содержится множество D. Назовем их многоуголь- никами первого ранга. Подобным же образом для каждого многоугольника первого ранга можно найти конечную систему многоугольников диаметра < у, не имеющих попарно общих точек, целиком содержащихся в соответствующем многоуголь- нике первого ранга. Эти многоугольники выбираются так, чтобы множество D содержалось в сумме всех этих много- угольников. Мы получим, таким образом, конечную систему многоугольников второго ранга Pl Pl.... P2ni
§ 2] ИНДЕКС* ВЕТВЛЕНИЯ. ПРИМЕРЫ 89 диаметра <~, не имеющих попарно общих точек, в сумме которых содержится множество D. Рассуждая подобным же образом, мы для каждого нату- рального числа k получим конечную систему многоугольников Л-го ранга Pt, Pt......Рпк 1 диаметра < у, не имеющих попарно общих точек, содер- жащихся в многоугольниках (k—1)-го ранга, в сумме ко- торых содержится множество D. 4°. Обозначая через Fk сумму всех многоугольников &-го ранга, мы получим убывающую последовательность замкнутых множеств пересечением которых является множество D. 5°. Вычитая из круга каждое из множеств Fkt мы полу- чим возрастающую последовательность открытых связных множеств Ск GjCzGgCZ ... czGftcz .. в сумму S которых входят все точки круга, за исключением точек множества £). Множество 5, как сумма связных откры- тых множеств Gft, имеющих обшде точки, есть множество связное. Таким образом, доказано, что ограниченное замкнутое мно- жество D, не содержащее никакого континуума, не разбивает кругг). Из этого следует, что круг не является линией в смысле Урысона, а тем самым и исходное утверждение, что всякая плоская линия в смысле Урысона является линией в смысле Кантора. § 2. Индекс ветвления. Примеры Определение линии, данное Урысоном, не только до конца раскрывает сущность этого понятия во всей его общности, !) Совершенно так же можно было бы показать, что ограничен- ное замкнутое множество D, не содержащее никакого континуума, не разбивает плоскость. Это утверждение составляет содержание так называемой теоремы Фрагмена — Брауэра.
90 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИЙ [ГЛ. IV но и указывает путь, которому надо следовать при изучении общих свойств линий. Центральным пунктом определения Урысона является одномерность континуума, называемого в этом случае линией, т. е. то его свойство, что любая точка кон- тинуума С обладает сколь угодно малой окрестностью, гра- ница которой не содержит никакого континуума, состоящего более чем из одной точки. Мы будем теперь интересоваться лишь теми из окрестностей точек континуума С, границы которых содержат «минимальное количество точек». При этом выражение «количество точек в данном случае» надо пони- мать как мощность множества точек границы. Мы говорим, что линия С имеет в точке х индекс вет- вления т, если при всяком е найдется открытое (относи- тельно С) множество диаметра %< а, граница которого содержит не болеет) т точек, тогда как при достаточно малом а нельзя найти такого открытого множества диаметра < а, содержащего точку х, граница которого содержала бы менее чем т точек. Если точка х линии С имеет индекс ветвления т, то мы будем писать ind^C — т. Но граница открытого множества всегда есть множество замкнутое, а всякое замкнутое множество, лежащее в ком- пакте, может быть либо конечным, либо счетным, либо иметь мощность континуума* 2). Следовательно, и граница всякого открытого (относительно компакта) множества может или со- стоять из конечного множества точек, или быть счетным мно- жеством, или иметь мощность континуума. В соответствии с этим мы получаем следующую классификацию точек линии с точки зрения их индекса ветвления. Г. Мы говорим, что точка х линии С имеет конечный индекс ветвления п, где п — натуральное число, если при всяком е найдется такое открытое множество, граница кото- рого состоит не более чем из п точек, тогда как при доста- точно малом е граница всякого открытого множества, содер- жащего точку х диаметра < е, не может состоять из мень- шего чем п числа точек. О В смысле мощности. 2) См., например, Александров П. С., Введение в общую теорию множеств и функций, стр, 342.
§ 2] ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 91 2°. Мы говорим, что точка х линии С имеет неограни- ченный индекс ветвления со, если при любом в найдется открытое множество диаметра < в, содержащее точку х, граница которого состоит из конечного множества точек, но с убыванием в минимальное количество точек границы откры- того множества диаметра < в, содержащего точку х, беспре- дельно возрастает. 3°. Мы говорим, что линия С имеет в точке х счетный индекс ветвления Ко> если при любом в найдется открытое множество диаметра < в, содержащее точку х, граница ко- торого состоит не более чем из счетного множества точек (т. е. является конечным или счетным множеством), тогда как при достаточно малом в нет ни одного открытого множества диаметра < в, содержащего точку х, граница которого со- стояла бы из конечного множества точек. 4°. Мы говорим, что точка х линии С имеет континуаль- ный индекс ветвления с, если при достаточно малом в нет ни одного открытого множества, содержащего точку х диа- метра < в, граница которого состояла бы из конечного или счетного множества точек. Точка линии С, индекс ветвления которой больше 2, назы- вается точкой ветвления линии; точка, индекс ветвления которой равен 1, называется концевой точкой. В предыдущем параграфе мы видели, что если конти- нуум К является подмножеством линии С, то он сам является линией (теорема 1) и что множество, гомеоморфное линии, само является линией (теорема 2). Следующие две теоремы, доказательства которых ввиду их простоты мы предоставляем читателю, несколько уточняют предыдущее утверждение. Теорема 1. Если континуум К является подмноже- ством линии С и х — точка континуума К, то индекс ветвления точки х относительно К не более индекса вет- вления точки х относительно С: йц^АГ<йкЦС. Теорема 2. Если С и С' — гомеоморфные между собой линии, х — произвольная точка линии С, a xf — точка линии С', соответствующая точке х при данном топо- логическом отображении, то индексы точек х и xf равны между собой: ind^ С == inda»/ С *
92 Общее определение линии [гл. IV Чтобы разобраться в многочисленных определениях, свя- занных с понятием индекса ветвления, рассмотрим ряд при- меров, иллюстрирующих это понятие. Пример 1. Отрезок во всех своих внутренних точках имеет индекс ветвления, равный 2; индекс ветвления концов отрезка равен 1. В самом деле, с одной стороны, каждую внутреннюю точку отрезка можно окружить интервалом сколь угодно малой длины. Но интервал является открытым множеством (относительно отрезка), граница которого состоит из двух точек — концов интервала. Следовательно, индекс ветвления каждой внутрен- ней точки отрезка <^2. С другой стороны, пусть О — какое-нибудь открытое мно- жество, содержащее точку х. Если диаметр открытого мно- жества G настолько мал, что концы отрезка не принадлежат множеству G, то множество G, открытое относительно отрезка, будет открытым множеством и на всей прямой. Но всякое открытое множество на прямой состоит из ко- нечного или бесконечного множества интервалов, не имеющих попарно общих точек, одному из которых принадлежит точка х. Концы интервала, содержащего точку х, входят в границу открытого множества G; следовательно, граница открытого множества G, содержащего точку х9 состоит не менее чем из двух точек. Таким образом, всякая точка отрезка содержится в откры- том множестве сколь угодно малого диаметра, граница кото- рого состоит из двух точек, и в то же время при достаточно малом е (меньшем половины расстояния точки х до концов отрезка) граница всякого открытого множества диаметра < е, содержащего точку х> содержит по меньшей мере две точки. Следовательно, индекс каждой внутренней точки отрезка равен 2. Конец а отрезка ab можно заключить в полуинтервал [а, х) сколь угодно малой длины; это будет открытое (на отрезке) множество, граница которого состоит из одной точки х. С другой стороны, каждое открытое множество, содержащее точку а, диаметр которого меньше длины отрезка, всегда содержит полуинтервал [а, х), следовательно, индекс конца отрезка равен 1. Пример 2. Окружность в каждой своей точке имеет индекс ветвления, равный. 2>
§ 2] ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 93 В самом деле, с одной стороны, каждую точку х окруж- ности можно заключить в «открытую» дугу (без концов^ сколь угодно малой длины. Такая дуга будет открытым мно- жеством на окружности. Граница этого открытого множества состоит из двух точек — концов дуги. Следовательно, индекс ветвления в каждой точке окружности С 2. С другой сто- роны, каждое открытое множество на окружности состоит из конечного или бесконечного (счетного) множества открытых дуг, не имеющих попарно общих точек, концы которых вхо- дят в границу этого открытого множества. Одной из таких дуг принадлежит точка х. Следовательно, индекс ветвления каждой точки х окружности ;> 2. Сопоставляя оба неравен- ства, приходим к заключению, что индекс ветвления каждой точки х окружности равен 2. Замечание. Так как в силу теоремы 2 настоящего параграфа индекс ветвления точки при топологическом ото- бражении не меняется, то на основании только что получен- ных результатов мы можем заключить, что Г. Индекс ветвления простой дуги в каждой ее внутренней точке равен 2; индекс ветвления конца дуги равен 1. 2°. Индекс ветвления каждой точки простой замкнутой линии равен 2. Пример 3. Линия L состоит из п прямолинейных отрезков выходящих из одной точки о (черт. 12). Индекс ветвления линии L в точке о равен п. В самом деле, пусть е — произвольное положительное число. Рассмотрим п полуинтервалов OCj, OCg, . • •, ОСп длины , лежащих на данных отрезках. Совокупность этих полуинтервалов есть открытое множество линии L, содержа- щее точку о, граница которого состоит из п точек — концов этих полуинтервалов. Следовательно, индекс ветвления линии L в точке о п. С другой стороны, если число © меньше длин всех отрезков оах> оа%..........oani то всякое открытое
94 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV множество, содержащее точку о, содержит п полуинтервалов, выходящих из этой точки. Концы этих полуинтервалов входят в границу рассматриваемого открытого множества. Следова- тельно, индекс ветвления линии L в точке о ;>п. Сопоставляя оба полученных неравенства, приходим к вы- воду, что индекс ветвления линии L в точке о равен п. Во оау, оа2, ..., оап индекс вет- вления линии L равен 2, а в концевых точках он равен 1. Пример 4. Линия L со- стоит из счетного множества отрезков oalt оа2, ..., оап, ..., выходящих из начала координат (черт. 13). Длины этих отрезков 1 1 оа. = —, оа2 — — , ... 1 2 2 4 1 внутренних точках отрезков а углы, образуемые этими отрезками с осью ох, суть соот- ветственно ТС 7С ТС *2 ’ 7’ ” 2^ ’ ’ ” Таким образом, как длины отрезков, так и углы, образован- ные этими отрезками с положительным направлением оси ох, с возрастанием п стремятся к нулю. Точка о линии L имеет неограниченный индекс ветвления со, т. е. обладает тем свойством, что хотя при любом е суще- ствует открытое множество диаметра < е, содержащее точку о, граница которого состоит из конечного числа точек, однако при стремлении е к нулю это число беспредельно возрастает. В самом деле, ------окрестность точки о состоит из ко- нечного числа полуинтервалов, выходящих из точки о и лежа- щих на тех отрезках, длины которых и бесконечного множества отрезков, длины которых <-у. Граница этого от-
§ 21 ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 95 крытого множества состоит из конечного числа точек — концов полуинтервалов, входящих в состав окрестности. Диаметр его <е. С другой стороны, каково бы ни было открытое множе- ство линий Z, содержащее, точку о диаметра <1, его ком- понента г), содержащая точку о, есть открытое множество, состоящее из конечного числа полуинтервалов, выходящих из точки о, и бесконечного множества исходящих из точки о отрезков. Граница этой компоненты состоит из концевых точек полуинтервалов и входит в состав границы всего от- крытого множества. Чем меньше диаметр открытого множе- ства и, следовательно, его компоненты, содержащей точку о, тем больше полуинтервалов входит в эту компоненту и, следо- вательно, тем больше точек — концов полуинтервалов — входит в границу открытого множества. Когда диаметр открытого множества стремится к нулю, число это беспредельно воз- растает. Во всех внутренних точках отрезков, из которых состоит линия А, индекс ветвления равен 2; этих отрезков равен 1. Пример 5. Линия L (черт. 14) состоит из отрезка oaQ длины 1 и бесконечного множества отрезков оаъ оа%, ..., оап, ... длины 1, выходящих из точки о и образующих с отрезком oaQ углы, соответственно равные л л л 2*’ Т’ ’ 2^’ ’ ‘ ’ Линия L в каждой точке отрезка oaQ имеет счетный индекс ветвления. В самом деле, каково бы ни было открытое множество, содержащее точку о, оно состоит из конечного или счетного множества интервалов, лежащих на отрезках оа0, oaXi оа.2, . .. (этих интервалов может и совсем не быть) и компоненты индекс ветвления концов Ч Компонентой точки х в множестве R называется наибольшее связное множество К, содержащее точку х и содержащееся в R. «Наибольшее» в том смысле, что никакое множество 7И, содержащее К в качестве подмножества, уже не является связным.
96 ОБЩеё определение Линий (гл. IV точки о, состоящей из счетного множества полуинтервалов, выходящих из точки о. Если т— внутренняя точка отрезка oaQi то любое, содержащее ее открытое множество состоит из интервалов, лежащих на всех отрезках оа0, оа19 оа^ ... за исключением, быть может, конечного числа отрезков оа19 оа^ ..., оап. Наконец, всякое достаточно малое открытое множество, содержащее точку а0, состоит из счетного множества полу- интервалов с концами в точках ап> ап+1> ап+ъ.... принадлежащих этому открытому множеству, и конечного или счетного множества интервалов (их может и совсем не быть), лежащих на отрезках otz0, оап, оап+19 ... Таким образом, мы видим, что во всех случаях граница открытого множества, содержащего точку отрезка оа0, всегда состоит из счетного множества точек. Следовательно, все точки отрезка oaQ имеют счетный индекс ветвления. В прочих точках линии L индекс ветвления равен 2 или 1. Пример 6. Линия состоит из последовательности отрез- ков (см. черт. 7) •^1» -^2» ^2» • • • > • • • > где Ап есть отрезок, состоящий из точек а Вп—отрезок, состоящий из точек 2п+Т х 2п» У = ( и предельного отрезка до:х = 0, — Это множество, как мы уже упоминали на стр. 44, гомеоморфно множеству, состоящему из точек графика функции 0<х<1,
§ 2] ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 97 и точек предельного отрезка х = 0, — Покажем прежде всего, что множество L есть действительно линия в смысле нашего определения. Это множество компактно. В самом деле, пусть М— бесконечное подмножество, содер- жащееся в L. Если в множестве М имеется бесконечное подмножество W точек, принадлежащих какому-нибудь одному из отрезков Ab ^2> • • • > то в силу компактности отрезка оно будет иметь предельную точку р, принадлежащую этому же отрезку. Точка р, будучи предельной для множества N, будет и подавно предельной и для множества М. Если множество М содержит точки, принадлежащие бесконечному множеству различных отрез- ков А19 В19 Д2, В2, ..., то на отрезке До непременно най- дется точка, которая будет предельной для множества М. Множество L связно. В самом деле, множество S, состоя- щее из отрезков /1^, В^9 А%9 -^2» • • •> • • •» связно, так как каждые два соседних отрезка этой последо- вательности имеют общую точку. Присоединяя к множеству S точки отрезка До, являющиеся предельными для множества S, мы получим связное множество Z. Множество L, будучи компактным и связным, является континуумом. Докажем, что континуум L есть линия. Если точка т принадлежит какому-нибудь из отрезков Дп, Вп (п =А 0), то индекс ветвления каждой такой точки равен 2, за исключением точки с координатами у, 1 (конец отрез- ка ДД индекс ветвления которой равен 1. Пусть /п0 — точка предельного отрезка До и е — про- извольное положительное число, меньшее каждого из рас- стояний точки mQ до концов предельного отрезка. Обозначим через U открытое множество, состоящее из интервалов длины а, лежащих на отрезке До и на тех отрезках ^п+1» А&+2» • • •» 1 е для которых “< у, причем середины всех этих интервалов лежат на прямой, проходящей через точку /п0 параллельно 7 Зак. 1377. А. С Пархоменко
98 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV оси Ох. Это открытое множество содержит точку /п0, диа- метр его <е, а граница состоит из счетного множества точек — концов интервалов, составляющих данное открытое множество. Следовательно, граница открытого множества U не содержит никакого континуума, состоящего более чем из одной точки. Таким образом, мы показали, что множество L есть линия. Покажем, что эта линия в каждой точке отрезка До имеет счетный индекс ветвления. В самом деле, всякое открытое множество, содержащее точку т0 предельного отрезка До, содержит в себе интер- валы, лежащие на отрезке Ло и на всех вертикальных отрезках • • •• начиная с некоторого номера п, причем концы этих интер- валов входят в границу рассматриваемого открытого множе- ства. Следовательно, граница открытого множества, содержа- щего точку mQ предельного отрезка Ло, всегда состоит из счетного множества точек и, таким образом, точка т0 имеет счетный индекс ветвления Ко. О Черт. 15. Пример 7. Линия L состоит из отрезков, соединяющих точку о с точками канторова совершенного множества С (черт. 15).
§ 2] ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 99 Установим прежде всего, что это множество есть линия. Доказательство того, что L есть континуум, мы предоставляем читателю. Докажем, что при любом положительном е каждая точка континуума L содержится в открытом множестве диаметра < е, граница которого не содержит никакого континуума, состоя- щего более чем из одной точки. Чтобы в этом убедиться, достаточно взять трапецию, содержащую внутри себя данную точку, основания которой параллельны горизонтальному отрезку, а боковые стороны лежат на отрезках, соединяющих точку о с точками смежных интервалов. При этом трапецию надо взять настолько малой, чтобы длины ее сторон и диагоналей были < е. Совокупность точек континуума А, лежащих внутри этой трапеции, и будет тем открытым множеством, граница которого не содержит никакого континуума, состоящего более чем из одной точки/ так как эта граница состоит из двух канторовых совершенных множеств, получающихся в-пересе- чении оснований трапеций с континуумом L. Если точка при- надлежит множеству С или совпадает с точкой о, открытое множество строится аналогично. Мы показали, таким образом, что континуум L есть линия. Докажем, что каждая точка линии L имеет континуальный индекс ветвления. Мы знаем, что граница всякого открытого множества G, содержащегося в R, разбивает множество R в том смысле, что /?\Гр(О) представляется в виде суммы двух открытых множеств G и не имеющих общих точек. Поэтому для того, чтобы убедиться в том, что каждая точка линии L имеет континуальный индекс ветвления, надо пока- зать, что ни для какого открытого множества его граница не может состоять из конечного или счетного множества точек, а для этого, в свою очередь, достаточно показать, что если из линии L выбросить конечное или счетное множество А ее точек, то оставшееся после этого множество А\Д будет связно. Пусть А — счетное множество, не содержащее точки о. Множество S точек тех отрезков, которые не содержат точек множества Д, связно. Всякая же точка х континуума L содержит в своей окрестности точки, принадлежащие несчет- ному множеству отрезков, образующих линию Z, поэтому всякая точка х множества 7*
100 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV будет предельной точкой связного множества S. Присоединяя же к связному множеству S его предельные точки, мы получаем снова связное множество. Следовательно, множество В = L \ А связно, и, таким образом, множество А не может служить границей никакого открытого множества линии £. Пример 8. Ковер Серпинского S (см. гл. III, стр. 71) имеет в каждой своей точке континуальный индекс ветвления. Чтобы в этом убедиться, достаточно, как и выше, пока* зать, что если мы из континуума S выбросим счетное замкну- тое множество F, то оставшееся множество G = S\F будет связно. Предположим противное, т. е. что открытое множество G = S\F несвязно. Тогда оно может быть представлено в виде суммы двух открытых непустых, непересекающихся множеств и G2 G = Gj (J G2. Обозначим через Q тот единичный квадрат, из которого получен ковер Серпинского S, а через С — контур этого квадрата; покажем прежде всего, что контур С квадрата Q целиком принадлежит замыканию одного из множеств Gt или G2. Обозначим через Р множество, состоящее из отрезков длины 1, содержащихся в S, параллельных сторонам квадрата и не содержащих точек множества F. Каждый такой отрезок как связное множество не может иметь общих точек с двумя непересекающимися открытыми множествами, в сумме которых он содержится. Обозначим через Dy какой-нибудь из этих от- резков, параллельных горизонтальной стороне квадрата и содержащихся в Gr Тогда каждый вертикальный отрезок, не содержащий точек множества F, также будет целиком принадлежать множеству Gp так как он имеет с этим мно- жеством общую точку, а именно, точку его пересечения с гори- зонтальным отрезком Dv Но в таком случае и всякий гори- зонтальный отрезок D, не содержащий точек множества F, пересекая все вертикальные отрезки (лежащие в Gj), сам будет целиком содержаться в Gt. Таким образом, мы пока- зали, что множество Р, состоящее из горизонтальных и вер- тикальных отрезков, не содержащих точек множества F, целиком содержится в Gx. Всякая точка контура С есть предельная точка множества Р, и поэтому Ca:Gv
§ 2] ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 101 Обозначим через Qn квадрат n-го ранга, а через Сп — контур этого квадрата. Так как часть кривой S, расположен- ная в имеет совершенно такое же строение, как и вся кривая в целом, то так же, как и выше, можно было бы показать, что при любом п контур Сп каждого квадрата Qn я-го ранга принадлежит одному из множеств Gx или G2. Но если квадрат (я + 1-го ранга) содержится в квад- рате Qn ранга я, то его контур Cn+1 имеет общие точки с контуром Сп квадрата И так как множество этих общих точек состоит из одного или двух отрезков — сторон мень- шего квадрата и, следовательно, есть множество несчетное, то отсюда следует, что Сп+1 и Сп имеют общие точки, не принадлежащие F. Поэтому контур О+1 содержится в том же множестве Ог или G2, в котором содержится контур Сп. Так как, по предположению, контур С квадрата Q содер- жится в то отсюда следует, что и контуры всех квадра- тов первого ранга содержатся в Gr Точно так же убеждаемся в том, что контуры квадратов второго и всех последующих рангов содержатся в Gv Так как, наконец, множество, являющееся суммою контуров всех квадратов всевозможных рангов, плотно в S, то отсюда следует, что и все множество S содержится в Gt, и потому множество G2 пусто. Таким образом, дока- зано, что если F—счетное множество ковра Серпинского S, то множество S\F связно. Замечание. Сопоставляя четыре последних примера, мы видим, что точки, имеющие бесконечный индекс ветвле- ния, не встречаются изолированно, и это не случайно. Как показал Урысон, их всегда бывает так много, что в любой s-окрестности каждой такой точки содержится континуум, сплошь состоящий из точек бесконечного индекса ветвления. Пример 9. Линия L состоит из счетного множества попарно соприкасающихся окружностей, диаметрами которых служат отрезки Г1 11 Г1 1] Г_1 _J_1 L ’ 2 J ’ [2 ’ 3]...... L и ’ я + 1]’ и точки 0 (черт. 16).' В точке 0 линия L имеет индекс ветвления,, равный 1, так как, если мы возьмем —окрестность точки 0, то граница
102 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV этой окрестности состоит из одной точки -i*. В точках со- прикосновения окружностей линия L имеет индекс ветвле- ния, равный 4; в прочих точках индекс ветвления линии L равен 2. Пример 10. Линия L (черт. 17) состоит из горизон- тального отрезка оси ох: 0<х<1, ^ = 0 и перпендикулярных к нему вертикальных отрезков, прове- денных через его рациональные точки, лежащих в положи- Черт. 17. тельной полуплоскости и имеющих длину , где -----несо- кратимая дробь, выражающая абсциссу точки отрезка оси ох: х Р Я ’
§ 2} ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 103 В концевых точках вертикальных отрезков индекс ветвле- ния линии L равен 1, а во внутренних точках этих отрезков он равен 2, так как при достаточно малом s в s-окрестности точки вертикального отрезка не содержится никаких других точек, кроме точек этого отрезка. Индекс 2 имеют также иррациональные точки горизонтального отрезка и его концы. В самом деле, какова бы ни была иррациональная точка х0 горизонтального отрезка и положительное число ©, всегда можно найти такое рациональное положительное число е', что все вертикальные отрезки, заключенные в полосе между пря- мыми x — Xq — s' и х = х04-е', будут иметь длину < е. Обозначим через е" число, большее длин всех вертикальных отрезков, заключенных в полосе между прямыми х = х0— е' и х = АГ0 + е'> и меньшее е. Открытое множество, состоящее из точек ли- нии £, для которых х0 — е' < х < х0 0<О <s", содержит точку х0 и само содержится в е-окрестности этой точки; его граница состоит из двух точек горизонтального отрезка, имеющих абсциссы х0 — е' и x04~s'. Если х = -----рациональная точка горизонтального от- резка, то индекс линии L в точке х0 равен 3. В самом деле, п ч п 1 если е меньше каждого из чисел —, 1——и —, то гра- Я Я Я ница всякого открытого множества диаметра < е, содержа- щего точку х0, пересекает три отрезка, выходящих из точки х0. Следовательно, индекс линии L в точке xQ ^>3. С другой стороны, рассуждая так же, как и выше, всегда можно найти такое открытое множество, содержащее точку х0 и содер- жащееся в е-окрестности этой точки, граница которого со- стоит из трех точек, лежащих на отрезках, исходящих из точки xQ. Отсюда следует, что индекс линии L в точке х0 3. Сопоставляя оба полученных неравенства, находим, что индекс линии L в точке xQ равен 3.
104 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [гл. IV Пример 11. Линия С строится следующим образом: в равностороннем треугольнике со стороной, равной 1, про- водятся средние линии, и из него выбрасываются внутренние точки треугольника, ограниченного средними линиями. Остав- шееся множество состоит из трех треугольников, которые мы назовем треугольниками первого ранга. С каждым из тре- угольников первого ранга проделывается та же операция: в нем проводятся средние линии и выбрасываются внутренние точки ограниченного ими треугольника. Подобным же образом поступаем с каждым из девяти получившихся треугольников второго ранга и приходим к 27 треугольникам третьего ранга. Поступая так же и далее, мы для каждого натурального числа п получим множество, состоящее из Зп треугольников n-го ранга (черт. 18). Черт. 18. Оставшееся после выполнения всех этих операций мно- жество С есть континуум. В самом деле, его можно пред- ставить как общую часть континуумов, из которых первый состоит из трех треугольников первого ранга, второй — ив девяти треугольников второго ранга, третий — из 27 тре- угольников третьего ранга и т. д.; 'каждый из этих конти- нуумов содержится в предыдущем. Следовательно (по тео- реме 1 § 6 гл. II), их общая часть также континуум.
ИНДЕКС ВЕТВЛЕНИЯ. ПРИМЕРЫ 105 § 2] Этот континуум С есть линия. Чтобы в этом убедиться, мы установим, что точки континуума С имеют индекс вет- вления 2, 3 или 4. В вершинах основного треугольника континуум С имеет индекс 2. В самом деле, с одной стороны, при всяком п гра- ница ^-окрестности вершины состоит из двух точек, сле- довательно, индекс ветвления континуума С в вершине основ- ного треугольника <С2. С другой стороны, граница всякого достаточно малого открытого множества, содержащего вер- шину основного треугольника, должна непременно пересекать две стороны, выходящие из этой вершины, откуда следует, что индекс ветвления континуума С 2. Сопоставляя оба полученных неравенства, находим, что индекс ветвления кон- тинуума С в рассматриваемых точках равен 2. В вершинах треугольников всех рангов, получающихся при подразделении основного треугольника, индекс ветвления континуума С равен 4. Пусть х—^одна из таких вершин. Тогда, с одной стороны, при всяком п граница «^-окрест- ности точки х состоит из четырех точек — вершин тех двух треугольников n-го ранга, общей вершиной которых является точка х. Следовательно, индекс ветвления континуума С в точке х ^4. С другой стороны, если k — наименьшее число, для кото- рого точка х является вершиной треугольника А-го ранга, то существует еще один треугольник й-го ранга, для которого точка х также является вершиной. Следовательно, из точки х исходят четыре отрезка — стороны треугольников й-го ранга, имеющих х своей общей вершиной. Граница всякого доста- точно малого открытого множества, содержащего точку х, должна пересекать эти отрезки, и потому индекс ветвления континуума С ^>4. Сопоставляя оба неравенства, приходим к выводу, что индекс ветвления континуума С в вершинах треугольников всех рангов равен 4. Наконец, если х—произвольная точка континуума С, не являющаяся вершиной ни для основного треугольника, ни для треугольников подразделения, то индекс ветвления конти- нуума С во всякой такой точке равен 3. В самом деле, при всяком п найдется треугольник n-го ранга, внутри или на стороне которого лежит точка х. Граница открытого
106 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV множества, состоящего из точек континуума С, которые лежат внутри окружности, описанной около указанного треугольника n-го ранга, содержащего точку х, состоит из трех точек — вершин указанного треугольника. Так как диаметр этого открытого множества надлежащим выбором п можно сделать как угодно малым, то отсюда следует, что индекс ветвления континуума С в точке х не более 3. С другой стороны, для каждой точки х можно указать такую последовательность треугольников, содержащих точку ху в которой каждый последующий треугольник содержится в предыдущем. Точка х является предельной точкой для вершин треугольников этой последовательности. Каждые два соседних треугольника последовательности имеют только одну общую вершину, а две другие вершины последующего тре- угольника лежат на сторонах предыдущего. Из отрезков сто- рон треугольников, пересечением которых является точка х* мы можем составить три бесконечно звенные ломаные линии, для которых точка х является предельной точкой. Эти лома- ные составляются из отрезков сторон, идущих от вершин предыдущего треугольника к вершинам последующего. Три полученные таким образом ломаные не имеют никаких общих точек, и так как точка х является предельной для каждой из них, то граница любого открытого множества, содержащего точку х, должна пересекать каждую из этих ломаных. Следовательно, континуум С в точке х имеет индекс ветвления ^>3. Сопоставляя оба неравенства, приходим к выводу, что в точке х континуум С имеет индекс ветвления, равный 3. Замечание 1. Если мы рассмотрим множество, состоя- щее из двух континуумов Сг и С2, каждый из которых го- меоморфен континууму С предыдущего примера 11 и кото- рые не имеют никаких других общих точек, кроме точек, соответствующих вершинам основного треугольника конти- нуума С, то получим пример линии, состоящей из точек, имеющих индекс ветвления 3 и 4. Замечание 2. Небольшим видоизменением предыду- щего примера можно добиться того, что линия С будет иметь только точки с индексом ветвления 2 или 3. Для этого достаточно брать не средние линии треуголь- ника, а например, отрезки, соединяющие точки, отстоящие от вершин треугольников на т/3 длины их сторон, и выбра-
$ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 107 сывать внутренние точки получающихся при этом правильных шестиугольников (черт. 19). § 3. Линии конечного ветвления Те точки линии, индекс ветвления которых больше 2 (в том числе и точки с неограниченным и бесконечным индексом ветвления), мы назвали (§ 2) точками ветзле- ния данной линии, а те точки, индекс ветвления кото- рых равен 1, — концевыми точками линии. Предыдущие примеры показывают, насколько разнообраз- ным может быть строение линий в зависимости от наличия у них тех или иных точек ветвления. Не имея возможности остановиться здесь на всем многообразии свойств линий, свя- занных с их ветвлением, мы ограничимся рассмотрением только таких линий, которые имеют лишь конечное число точек ветвления, в каждой из которых индекс ветвления коне- чен. Такие линии мы будем называть линиями конечного ветвления. В этом параграфе мы установим ряд фактов, которые показывают, насколько глубоко характеризует линию понятие индекса ветвления. Оказывается, что если у линии совсем нет точек ветвле- ния, т. е. если в каждой точке линии индекс ветвления равен L
108 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV или 2, то эта линия есть либо простая дуга — топологический образ отрезка, либо простая замкнутая линия — топологи- ческий образ окружности. При этом, если индекс ветвления линии во всех точках равен ‘2, то линия является топологи- ческим образом окружности (простая замкнутая линия); если же у линии есть концевые точки (при этом доказывается, чта их непременно должно быть две), то линия будет простой дугой. Если линия имеет лишь конечное число точек ветвления, причем индекс ветвления каждой из них также конечен, та такая линия может быть разбита на конечное число простых дуг, не имеющих попарно никаких других общих точек, кроме своих концов. Доказательство всех этих утверждений основано на юм, что любые две точки линии конечного ветвления могут быть соединены простой дугой. Это же последнее утверждение (в силу теоремы 3 § 6 гл. II) вытекает из того, что линия конечного ветвления есть локально связный континуум. С до- казательства этого предложения мы и начнем выяснение спра- ведливости всех высказанных выше утверждений. Теорема 1. Если связное множество имеет конеч- ный индекс ветвления в каждой своей точке, то это мно- жество локально связно. Для доказательства этой теоремы нам понадобится сле- дующая простая Лемма. Если множество М не может быть пред- ставлено в виде суммы п связных множеств (т. е. если при всяком представлении множества М в виде суммы п слагаемых по крайней мере одно из этих слагаемых не будет связно), то множество М может быть представлено в виде суммы замкнутых (относительно М) мно- жеств, не имеющих попарно общих точек. В самом деле, если множество 7И не связно, то оно, по определению, представляется в виде суммы двух замкнутых (относительно 714) слагаемых, не имеющих общих точГек. Таким образом, наша лемма справедлива при я=1. Пред- йоложим, что лемма уже доказана для всех чисел от 1 до п — 1, и докажем ее для числа п. Итак, предположим, что множество М нельзя представить в виде суммы п связных слагаемых. В таком случае его и подавно нельзя представить в виде суммы п—1 связных ела-
§ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 109 гаемых. Но тогда в силу индуктивного предположения мно- жество 7И есть сумма (п —1)+1 = п попарно непересекающихся замкнутых множеств ^1» ^2» • • • » Так как множество М нельзя представить в виде суммы п связных слагаемых, то по крайней мере одно из множеств Лп Л2, ..., Ап несвязно. Пусть это будет, например, мно- жество Ап. Тогда его можно представить в виде суммы двух непустых замкнутых относительно Ап, а следовательно, и относительно М, множеств Л* и Л р не имеющих общих точек. Таким образом, все множество М представляется в виде суммы и-]-1 замкнутых множеств Л2, . .., Лп, AnVV не имеющих попарно общих точек. Наша лемма доказана. Перейдем теперь к доказательству теоремы 1. Нам нужно доказать, что какова бы ни была точка х множества R и открытое множество U, содержащее точку х, существует связное открытое множество V, содержащее точку х и со- держащееся в U. Так как множество R имеет конечный индекс ветвления в каждой своей точке, то существует открытое множество О, содержащее точку х и содержащееся в множестве U, гра- ница которого состоит из конечного числа точек а1> #2> • • •, ап- Докажем прежде всего, что множество О == G U U U • • • U может быть представлено в виде суммы п связных множеств. Предположим, что это не так. Тогда на основании только что доказанной леммы множество G может быть представлено в виде суммы п -f-1 непустых попарно непересекающихся замкнутых (относительно G, а следовательно, и относи- тельно R) множеств ^1> ^2» • • •, &п+Г
по ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV Ни одно из замкнутых множеств ^2» • • •» ^п+1 не может целиком содержаться в открытом множестве G, так как, если бы, например, множество Вг содержалось в G, то все множество R можно было бы представить в виде суммы двух непустых непересекающихся замкнутых множеств Bi и вхив2и ... UBi-iUBi+iU ... UBn+1 и(/?\G), вопреки связности /?. Но раз ни одно из множеств Bj, В2, ..., Вп+1, составляющих в сумме G, не содержится целиком в G, то каждое из них содержит по крайней мере одну точку гра- ницы множества G, т. е. одну из точек ai> ..., ап. Но это невозможно, так как всех множеств В у нас а точек а только п, причем никакие два множества В общих точек не имеют. Полученное противоречие вынуждает нас сделать вывод, что множество G нельзя представить в виде суммы п 4- 1 непустых замкнутых множеств, не имеющих попарно общих точек. В силу предыдущей леммы отсюда, в свою очередь, следует, что множество G может быть представлено в виде суммы не более чем п связных слагаемых. Предположим, что число этих слагаемых равно k. Взяв замыкание каждого из этих слагаемых, мы представим замкнутое множество G в виде суммы k связных замкнутых множеств Г\, F,.....Вк. (1) Обозначим через Сх сумму тех замкнутых множеств систе- мы (1), которые содержат точку х. Точка х принадлежит множеству G. Поэтому, если мы вычтем из G те замкнутые множества системы (1), которые не содержат точки х, то по- лучим открытое множество Н(х), содержащее точку х и содержащееся в Сх. Итак, мы доказали, что какова бы ни была точка х мно- жества R и содержащее ее открытое множество U, всегда
§ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 111 можно найти такое связное множество Сх и такое открытое множество //(х), что x^H{x)aCxczU. Обозначим через V наибольшее связное множество, содер- жащее точку х и содержащееся в U1). Имеем прежде всего C„C2VC2U. Докажем, что множество V является открытым. Пусть у — произвольная точка множества V. Тогда по предыдущему для нее можно найти такое связное множе- ство Су и такое открытое множество что y^H(y)cCy^U. Так как V и Су — связные множества, имеющие общую точку у и содержащиеся в Ut то и их сумма есть также связное множество, содержащееся в U. Но V есть наибольшее связное множество, содержащее точку х и содержащееся в U. Следовательно, с,<=к Таким образом, для всякой точки у связного множества V найдется открытое множество Н(у) такое, что Следовательно, множество V может быть представлено в виде суммы открытых множеств Н(у), целиком содержащихся в V, и потому само множество V также является открытым множеством. Таким образом, для всякой точки х и содержащего ее открытого множества U мы нашли связное открытое множе- ство I/, содержащее точку х и содержащееся в U, чем и доказана локальная связность множества /?. Теорема 2. Если континуум С в двух точках а и b имеет индекс ветвления 1, а во всех остальных точках этого континуума индекс ветвления равен 2, то конти- нуум С есть простая дуга ab. О V есть сумма всех связных множеств, содержащих точку х и содержащихся в множестве U,
112 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ (ГЛ. IV Доказательство. Так как континуум С во всех точ- ках имеет конечный индекс ветвления, то он локально свя- зен. Следовательно, ка&кдые две его точки могут быть со- единены простой дугой1). Пусть ab—простая дуга, соединяющая точки а и Ь. Предположим, вопреки утверждению теоремы, что континуум С содержит точку с, не принадлежащую дуге ab. В силу локальной связности континуума С точку с можно соединить с точкой а простой дугой ас. Обозначим через d последнюю точку дуги ас (считая в направлении от а к с), в которой дуга ас встречает дугу ab. Если точка d не совпадает ни с одной из точек а или &, то в точке d континуум С имеет индекс ветвления ^>3. В самом деле, возьмем открытое множество О, содержа- щее точку d и настолько малое, что точки а, b и с не при- надлежат ему. Из точки d исходят три дуги, не имеющие попарно общих точек: дуги da и db, вместе составляющие дугу ab, и дуга de. Так как дуги da, db и de суть связные множества, соединяющие точку d открытого множества G с точками а, b и с, не принадлежащими этому множеству, то они должны пересекать границу открытого множества G. Следовательно, граница всякого достаточно малого открытого множества, содержащего точку d, содержит по крайней мере три точки, вопреки предположению, что точка d контину- ума С имеет индекс ветвления, равный 2. Если мы предпо- ложим, что точка d совпадает с одной из точек а или Ь, то увидим, что эта точка будет иметь индекс ветвления, рав- ный 2. Предположим, например, что точка d совпадает с точ- кой а. Тогда граница открытого множества О, содержащего точку d, и настолько малого, что точки b и с лежат вне его, пересекает как дугу ab, так и дугу ас, и, следовательно, точка d, совпадающая, по предположению, с точкой а, имеет индекс ветвления, равный 2, что противоречит условию тео- ремы, согласно которому индекс ветвления континуума С в точке а равен 1. Итак, предполагая, что континуум С содержит точку с, не принадлежащую дуге ab, мы во всех случаях приходим к противоречию с условиями теоремы. Следовательно, кон- тинуум С совпадает с дугой ab. х) Гл. I, § 6, теорема 3,
ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 113 § 3] Теорема 3. Если все точки континуума С имеют индекс ветвления, разный 2, то континуум С есть про- стая замкнутая линия. Доказательство. Выше (гл. I, § 6, теорема 4) мы доказали, что всякий континуум С содержит по крайней мере две такие точки а и Ь, которые его не разбивают. Это зна- чит, что каждое из множеств С\а и С\Ь является связ: ным. Так как в нашем случае все точки континуума С имеют конечный индекс ветвления, то он локально связен. Следо- вательно, любые две его точки можно соединить простой дугой. Соединим простой дугой точки а и Ъ, которые не разбивают континуум С. В континууме С найдется точка с, не принадлежащая дуге ab, так как если бы континуум С совпадал с простой дугой ab, то точки а и b этого континуума имели бы ин- декс ветвления, равный 1, что противоречит условию теоремы. Так как точка а не разбивает континуум С, т. е. от- крытое множество С\а связно, и так как, кроме того, это множество локально связно, поскольку все его точки имеют конечный индекс ветвления, то точки b и с этого множества могут быть соединены простой дугой Ьс, не содержащей точку а. Точно так же две точки а и с связного и локально связного открытого множества С\Ь могут быть соединены простой дугой ас, не содержащей точку Ь. Докажем прежде всего, что дуги ab, Ьс и са не могут иметь попарно других общих точек, кроме своих концов. Покажем, например, что дуги са и cb не имеют никаких дру- гих общих точек, кроме точки с. Предположим, что это не так, и пусть d — последняя точка дуги са (считая от с к а), принадлежащая дуге cb. Пусть О — произвольное открытое множество, содержащее точку d и настолько малое, чтобы точки а, Ь и с лежали вне этого открытого множества. Из точки d исходят три дуги: дуги db и de, на которые точка d делит дугу Ьс, и дуга da, не имеющие попарно никаких дру- гих общих точек, кроме точки d. Граница открытого мно- жества G пересекает каждую из этих дуг. Поэтому точка d континуума С имеет индекс ветвления ;> 3, вопреки условию теоремы. Полученное противоречие показывает, что дуги са и cb не имеют никаких других общих точек, кроме точки с. Мы показали, что дуги ab, Ьс и са не имеют никаких других общих точек, кроме своих концов, Следовательно, g Зав. 1377. Д. С. Пархоменко
114 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV сумма этих трех дуг есть простая замкнутая линия £. Мы должны показать теперь, что континуум С не содержит ни- каких других точек, кроме точек линии L. Предположим противное, и пусть d будет точка континуума С, не при- надлежащая линии L. Соединим точку d с какой-нибудь точ- кой линии £, например с точкой а, простой дугой ad и обо- значим через е последнюю точку дуги ad (считая от а к d), в которой дуга ad встречает линию L. Пользуясь методом, неоднократно применявшимся выше, докажем, что точка е будет иметь индекс ветвления 3 вопреки условию теоремы Следовательно, в континууме С нет ни одной точки d, не при- надлежащей линии £, и нам остается допустить, что конти- нуум С совпадает с простой замкнутой линией £. Теорема 4. Если линия не содержит точек ветвле- ния , т. е. индекс ветвления всех ее точек 2, то линия является либо простой дугой, либо простой замкнутой линией. Доказательство. Если линия £, не содержащая точек ветвления, не имеет концевых точек, т. е. во всех точках линии индекс ветвления равен 2, то на основании теоремы 3 £ есть простая замкнутая линия. Если же линия £, не содержащая точек ветвления, имеет две концевые точки, то по теореме 2 эта линия есть простая дуга. Таким образом, чтобы закончить доказательство тео- ремы, нам нужно показать, что если линия £ не содержит точек ветвления, то она либо совсем не имеет концевых точек, либо имеет только две концевые точки. Чтобы в этом убедиться, мы должны доказать следующие два утверждения: 1°. Если линия L имеет только одну концевую точку, то она имеет по крайней мере одну точку ветвления. 2°. Если число концевых точек линии £ больше 2, то на линии непременно имеется по крайней мере одна точка ветвления. Докажем утверждение 1°. Предположим, что линия £ имеет только одну концевую точку а. Так как £ — континуум, то по доказанному на нем имеется по крайней мере две точки, которые его не разбивают. *) Гл. II, § 6, теорема 3„
ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 115 § 3] Обозначим через b точку линии £, отличную от точки а и не разбивающую линию £. Предположим, вопреки утвер- ждению Г, что линия L не имеет точек ветвления, т. е. что индекс ветвления линии L во всех ее точках 2. Тогда линия L будет локально связна и потому всякие две ее точки можно соединить простой дугой. Соединим простой дугой точки а и ft. На линии L имеются точки, не принадлежащие дуге ab, так как если бы линия L совпадала с дугой ab, то у нее было бы две концевые точки а и Ь, вопреки предположению. Пусть с — точка линии £, не принадлежащая дуге ab. Так как точка b не разбивает линию £, т. е. множество £\6 связно (и локально связно), то точку а можно соединить с точкой с простой дугой, которая целиком лежит в открытом множестве £\6 и, следовательно, не содержит точку Ь. Обо- значим через d последнюю точку дуги ас (считая от а к с), в которой эта дуга встречает дугу ab. Точка d не может совпадать с а, так как в этом случае индекс ветвления точки а был бы равен 2, вопреки предпо- ложению, что а — концевая точка. Следовательно, точка d отлична от точки а. В таком случае в точке d линия £ имеет индекс ветвления 3, так как граница любого достаточно малого открытого множества, содержащего точку d, имеет с линией £ по крайней мере три общие точки: две из них лежат на дугах da и db, составляющих вместе дугу ab, а третья на дуге de. Следовательно, d — точка ветвления линии £. Полученное противоречие доказывает наше утвер- ждение 1°. Для доказательства утверждения 2° нам понадобится сле- дующая Лемма. Концевая точка не разбивает линию, т. е. множество, получающееся удалением из линии ее концевой точки, связно. Пусть а — концевая точка линии £. Предположим, что открытое (относительно £) множество £\а несвязно. Тогда его можно представить в виде суммы двух непустых открытых множеств G и И без общих точек. Каждое из замкнутых множеств G = G{Ja и Н=Н[)а 3*
116 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV связно. В самом деле, если мы предположим, например, что множество G = G U а несвязно, то его можно представить в виде суммы двух непустых замкнутых множеств Р и Q без общих точек. Предположим, что точка а принадлежит мно- жеству Q, Замкнутые множества Р и Q U Н не имеют общих точек и в сумме составляют L. Но это противоречит связ- ности L. Следовательно, множество G связно. Точно так же доказывается и связность множества Н. Пусть U — произвольное открытое множество, содержа- щее точку а и столь малое, что вне его имеются как точки множества О, так и точки множества Н. Так как множества G и Н связны и не имеют других общих точек, кроме точки а, то граница открытого множества U должна иметь общие точки как с G, так и с Я. Но эти множества имеют только одну общую точку а, следовательно, граница множества U пере- секает множества G и Н в двух различных точках. Мы полу- чили противоречие, так как, по предположению, индекс вет- вления линии L в точке а равен 1. Остается допустить, что множество £\а связно. Наша лемма доказана. Переходим к доказательству утверждения 2°. Пусть а, Ь, с — три концевые точки линии £. Ни одна из них не разбивает линии £, т. е. каждое из множеств £\а, £\Д £\с связно. Если мы предположим, что линия £ не имеет точек вет- вления, то она локально связна и потому каждые две из точек а, Ь и с можно соединить простой дугой, не содержащей третьей точки. Из трех дуг ab, ас и Ьс каждые две имеют общие точки, отличные от их концов, так как, если бы, на- пример, дуги аЬ и Ьс имели только одну общую точку Ь, то линия £ имела бы в этой точке индекс ветвления 2, вопреки предположению, что Ь—концевая точка. Следовательно, дуги ab и Ьс имеют общую трчку, отличную от Ь. Пусть d — последняя точка дуги Ьс, принадлежащая дуге ab. Тогда, как и выше, докажем, что линия £ будет иметь в точке d индекс ветвления >3 и, значит, d будет точкой ветвления. Полученное противоречие доказывает утверждение 2°.
ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 117 § 3] Следующая теорема выясняет геометрический смысл индекса ветвления в том случае, когда этот индекс ветвления конечен. Теорема 5. Если линия L имеет конечное число точек ветзления и индекс ветзления каждой такой точки ко&ечен< то из точки ветзления о индекса п выходят п простых дуг, не имеющих попарно других общих точек, кроме точки о, причем всякая окрестность точки о, не содержащая, кроме этой точки, никаких других точек ветзления, состоит из точек этих п дуг. Доказательство. Так как линия L в силу теоремы 1 локально связна и имеет в точке о индекс ветвления п, то существует связное открытое множество G, замыкание кото- рого не содержит никаких других точек ветвления, кроме точки о, а граница содержит не менее п точек. Пусть а2, ..., ап точки границы множества G. Присоединяя к множеству G его границу, мы получим локально связный континуум G1), содержащий точку о, по отношению к которому все множества вида Ui = G\(ax U U ... U UP?+1 U ... U ап) (/=1, 2.......................................п) являются связными открытыми множествами. В силу локаль- ной связности континуума G точку о можно соединить с каждой из точек а4(/=1, 2,..., п) простой дугой оа$ так, чтобы дуга целиком содержалась в открытом (относительно G) множестве Ui и, следовательно, не содержала ни одной из точек а^, а2,..., а^, ai+1,..., ап (/=1, 2,..., п). Дуги oai (Z= 1, 2,..., п) не имеют попарно никаких дру- гих общих точек, кроме точки о. В самом деле, если бы, например, дуги оах и оа^ имели общую точку, отличную от точки о, то это не могла бы быть ни точка а1У ни точка а2. Если обозначить через b последнюю точку дуги оах (считая 1) См. теорему 1.
118 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV от о к ах), которая в то же время принадлежит и дуге оа2> то эта точка имела бы индекс ветвления, равный 3, так как из нее исходили бы три дуги, не имеющие попарно общих точек: дуги Ьо и Ьа2 вместе составляющие дугу оа2, и дуга Ьаг. Но это невозможно, так как точка b принадлежит множе- ству G, а никакая точка множества G, отличная от точки о, по предположению, не является точкой ветвления. Таким образом, мы показали, что из точки о исходит по меньшей мере п простых дуг, не имеющих попарно никаких других общих точек, кроме точки о. Покажем теперь, что каждая точка открытого множества G принадлежит одной из этих дуг. Предположим противное, т. е. что имеется точка с, принадлежащая множеству G и не лежащая ни на одной из дуг оах, оа2,..., оап. Тогда точку с можно соединить с точкой о простой дугой ос. Как и выше, можно показать, что дуга ос не имеет никаких других общих точек ни с одной из дуг оаг, оа2,..., оап, кроме точки о. Возьмем s-окрестность точки о, выбирая е так, чтобы это число было меньше каждого из расстояний от точки о до точек а1, а2, ..., ап, с. Тогда граница каждого открытого множества, содержащего точку о и содержащегося в указан- ной е-окрестности этой точки, содержит по крайней мере пЦ-1 точку, так как каждая из дуг oav оа2,..., оап, ос, имея одну точку внутри открытого множества G, а другую вне его, пересекает границу этого множества. Но это невоз- можно, так как линия L имеет в точке о индекс ветвления п. Полученное противоречие показывает, что всякая точка с от- крытого множества G принадлежит одной из дуг оа±, оа2,..., оап. Наша теорема полностью доказана. Замечание. Из доказанной теоремы, в частности, сле- дует, что если точка о имеет индекс ветвления 2, то из нее исходят две дуги, не имеющие никаких других общих точек, кроме точки о, и достаточно малая окрестность точки о есть открытая дуга {без концов), для которой точка о является внутренней.
§ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 11§ Если о — концевая точка, то из нее исходит един- ственная простая дуга, имеющая точку о своим концом, и достаточно малая окрестность точки о есть «полу* открытая» дуга, одним из концов которой является точка о. Структура всех линий конечного ветвления выясняется следующей теоремой. Теорема 6. Для того чтобы линию L можно было представить в виде суммы конечного числа простых дуг, не имеющих попарно никаких других общих точек, кроме своих концов, необходимо и достаточно, чтобы эта линия имела лишь конечное число точек ветвления, причем индекс ветвления каждой такой точки должен быть конечен. Предоставляя читателю установить необходимость условия, остановимся лишь на доказательстве его достаточности. Оно основано на следующей лемме. Лемма. Если линия L имеет лишь конечное число точек ветвления и индекс ветвления каждой такой точки является конечным, то множество концевых точек линии также конечно. Предположим противное, т. е. что множество концевых точек бесконечно. Так как линия L локально связна, то лю- бую ее точку о можно соединить с концевой точкой простой дугой. Если бы среди этих дуг было бесконечное множество таких, которые не имеют никаких других общих точек, кроме точки о, то индекс ветвления точки о был бы беско- нечным или неограниченным. Если же мы предположим, что имеется бесконечное множество пар дуг, имеющих, кроме точки о, другие общие точки, то отсюда будет следовать, что на каждой из этих дуг имеется по крайней мере одна точка ветвления, но тогда на линии L будет бесконечное мно- жество точек ветвления, вопреки условию леммы. Перейдем теперь к доказательству теоремы 6. Покажем прежде всего, что из каждой точки о, индекс ветвления ко- торой равен 2, исходят две дуги, не имеющие никаких дру- гих общих точек, кроме точки о, концами которых служат либо концевые точки линии L, либо ее точки ветвления. В последнем случае может оказаться, что концами обеих дуг, выходящих из точки о, будет одна и та же точка ветвления. В этом случае обе дуги вместе составляют простую замкну- тую линию (черт. 20).
120 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV В силу замечания, сделанного в конце предыдущей тео- ремы, из точки о, индекс ветвления которой равен 2, выхо- дят две дуги, не имеющие других общих точек, кроме точки о, и не содержащие внутри себя точек ветвления линии L. Пусть оа и ob— максимальные дуги, обладающие этим свой- ством. Тогда концы этих дуг не могут быть точками индекса 2. В самом деле, если бы, например, точка а имела индекс ветвления, равный 2, то ее можно было бы заключить внутрь открытой дуги cd, которая будет окрест- 2-^. ностью точки а, не содержащей ни одной у л* точки ветвления. Один из концов этой дуги, ( \ например с, будет принадлежать при этом J дуге оа, тогда как другой ее конец d уже l / не будет принадлежать оа. Дуги оа и ad не \ у имеют никаких других общих точек, кроме точки а. Поэтому od есть также простая ]& дуга, не содержащая внутри себя точек / ветвления линии L. Таким образом, дуга оа / составляет часть дуги od и, следовательно, / дуга с а не является максимальной дугой, не содержащей внутри себя точек ветвления. Из Черт. 20. полученного противоречия мы должны заклю- чить, что индекс ветвления линии L в точке а не может быть равен 2, т. е. что а или концевая точка, или точка ветвления. Если мы предположим, что концы а и b обеих макси- мальных дуг, исходящих из точки о и не содержащих внутри себя точек ветвления, являются концевыми точками линии £, то в этом случае линия L есть простая дуга ab. В самом деле, если бы множество L\ab было непусто, то оно, как и дуга ab, было бы замкнуто, так как всякая достаточно малая окрестность любой точки дуги ab содержит лишь точки этой дуги. Следовательно, линия Z, представляю- щаяся в этом случае в виде суммы двух замкнутых непустых множеств ab и L\ab, без общих точек не была бы связным множеством. Таким образом, мы показали, что всякая точка о линии L принадлежит простой дуге, имеющей своими концами либо точки ветвления (которые могут и совпадать), либо точку ветвления и одну концевую точку. Но таких дуг может быть лишь конечное число, так как согласно нашему предположе-
Линии КОНЕЧНОГО ВЕТВЛЕНИЙ 121 § 31 нию линия L имеет лишь конечное число точек ветвления, а по только что доказанной лемме и конечное число конце- вых точек. Но в силу теоремы 5 из каждой точки ветвления исходит лишь конечное число дуг, а из концевой точки — всего одна дуга. Следовательно, число всех дуг конечно. Никакие две из этих дуг не могут иметь других общих точек, кроме своих концов, так как индекс ветвления внутренней точки каждой такой дуги равен 2. Мы видели, что окружность (как и вообще всякая простая замкнутая линия) обладает тем свойством, что во всех ее точках индекс ветвления принимает одно и то же значение (равное 2). Возникает вопрос, существуют ли другие линии, у которых индекс ветвления во всех точках принимал бы одно и то же значение (не равное 2). Оказывается, ни для какого конечного п этого не может быть, так как имеет место следующая Теорема 7. Если все точки линии L имеют индекс ветвления п, то на линии найдется точка, индекс вет- вления которой ;>2п — 2. Мы будем доказывать теорему в следующей форме: Если все точки линии L имеют индекс ветзления < 2п — 2, то на линии найдется точка, индекс ветзления которой < п. Доказательство. Пусть Ло — произвольное открытое множество линии L и его диаметр < 80. Так как индекс вет- вления в каждой точке линии < 2п— 2, то существует откры- тое множество G, содержащееся вместе со своим замыканием в Ло, граница которого состоит менее чем из 2п— 2 точек. Пусть а0 — одна из точек границы множества G, Множество G входит в Ло вместе со своим замыканием. Следовательно, граница множества G и, в частности, точка а0 принадлежит множеству Ло; так как Ло — открытое множество, то существует такое положительное число е, что е-окрестность точки а0 целиком содержится в множестве Ло. Мы предпо- ложим, кроме того, что число s меньше -~80 (где 80 — диа- метр множества Ло), а также меньше половины каждого из расстояний точки а0 до остальных точек границы множе- ства G. Так как линия L во всех своих точках и, в частности, в точке а0 имеет индекс ветвления < 2п — 2, то существует
ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИЙ [ГЛ. IV открытое множество U, содержащее точку aQ и содержащееся в -—окрестности этой точки (где е выбрано согласно ука- занным выше условиям), граница которого содержит менее чем 2п— 2 точек. Пусть k — число точек границы множе- ства 67. Тогда k < 2п— 2. Множество U вместе со своим замыканием содержится в До. В самом деле, какова бы ни была точка лг множества (7, р(«0> хКу<8; следовательно, точка х принадлежит е-окрестности точки а0, а значит, и открытому множеству До. Диаметр множества U меньше . В самом деле, если х и у — две точки множества 67, то Р(*. ^Хр(«о> *) + р(ао> У)< у + у = е<480« откуда следует, что диаметр множества U 8(^)<е<|80. Замыкание U множества U не содержит, кроме точки aQfl ни одной из точек границы множества G, так как если х— точка множества 67, то рО0, х)<е, а е выбрано так, что оно меньше половины каждого из рас- стояний точки aQ до остальных точек границы множества G. Обозначим через Н открытое множество, дополнительное к множеству G, H = £\G, и рассмотрим открытые множества 67(10 и UQH. Имеем 67 = (f7nG)U[6/nrP(G)]U(GnW).
§ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 123 Но иПГр(С) = а0, поэтому t/ = (f7nG)Ua0U(t/nH). Рассмотрим границу открытого множества U П G. Она содержится в сумме границ множеств U и G Гр([7ПО)сГр([7)иГр(О). Но из точек границы множества О в границу множества U П G может войти только точка а0, а из точек границы U — только точки, принадлежащие множеству G. Поэтому Гр(ипО)с[Гр([7)ПО]иа0. Точно так же найдем, что Гр([7ПН)с[Гр(У)ПН]иа0. Так как граница множества U состоит из k точек и, следо- вательно, является конечным множеством, то конечными будут и множества □ ПГр([7) и НПГр(СГ), а значит, тем более конечными будут и множества Гр([/ПО) и Гр(СГП/7). Предположим, что граница множества (U Г) G) состоит из р точек, а граница множества Uf\H—из q точек. Тогда множество Гр (U) П О будет содержать не менее р—1 точек, а множество Гр(£/)П# не менее чем q—1 точек. Так как каждая точка линии L принадлежит одному из множеств G, Н или Гр(О), а границы множеств U и G общих точек не имеют, то отсюда следует, что каждая точка границы множества U принадлежит либо множеству G, либо множеству Н. Число точек, входящих в границу множества U, равно fe; число точек границы множества U, входящих в мно- жество G, ^р—1; число точек границы множества U, при- надлежащих множеству Н, ^q — 1, поэтому (р_1) + (9—1)<6<2д —2,
124 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ (ГЛ. IV откуда < 2п. Из этого неравенства следует, что по крайней мере одно из чисел р или q меньше чем п. Мы видим, таким образом, что граница одного из откры- тых множеств U Г) О или U[\H состоит менее чем из п то- чек. Обозначим через Аг то из открытых множеств U Г) О или U (]Н, граница которого содержит меньше чем п точек. Так как __ А± cz U cz U cz До, то A cz До • Далее, так как диаметр множества U меньше р то и диа- метр 8Х множества At и подавно меньше у, 81<48о- Наконец, граница множества Дх состоит менее чем из п то- чек. Таким образом, мы доказали, что если линия в каждой своей точке имеет индекс ветвления <2п— 2, то каково бы ни было открытое множество До линии L, всегда найдется открытое множество Дх, содержащееся вместе со своим замыканием в множестве До, такое, что его диаметр < -g-80, а его граница содержит менее чем п точек. Применяя этот результат к множеству Дх, мы найдем множество Д2, содержащееся вместе со своим замыканием в множестве Дх и такое, что его диаметр < 80, а граница состоит менее чем из п точек. Рассуждая подобным же образом и далее, мы получим убывающую последовательность открытых множеств А z> Д2 z> ... =) Ат z> ..., (2) таких, что каждое следующее множество Дт+1 вместе со своим замыканием содержится в предыдущем Ат: An+i С- А»>
§ 3] ЛИНИИ КОНЕЧНОГО ВЕТВЛЕНИЯ 125 жеств Ат состоит менее чем из п точек. Отсюда следует, что с возрастанием т диаметры множеств Ат (а, значит, и стремятся к нулю. Поэтому множества At =) Д2 о ... zd Ат => ..., образующие убывающую последовательность, имеют един- ственную общую точку х0. Докажем, что в точке х0 линия имеет индекс ветвления < п. Каково бы ни было положительное число е, всегда можно найти натуральное число т, такое, что Открытое множество Ат последовательности (2) имеет диа- метр < — < е. Граница множества Ат содержит менее чем п точек. Таким образом, линия L в точке х0 имеет индекс ветвле- ния < п. Теорема 7 полностью доказана. Из доказанной теоремы непосредственно следует, что никакая линия, кроме окружности, не может иметь во всех точках один и тот же конечный индекс ветвления, так как если во всех точках линии L индекс ветвления равен п, то на ней найдется точка, индекс ветвления которой ^2п — 2, а при п^> 3 2п— 2 > п. Как показал П. С. Урысон, при всяком п существуют линии, состоящие только из точек, имеющих индекс вет- вления п и 2п— 2. В частности, при П = 3 имеем 2п— 2 = 4. Пример линии, состоящей только из точек с индексом вет- вления 3 и 4, был указан нами в предыдущем параграфе в замечании 1 к примеру 11. Урысон показал также, что существуют линии, имеющие во всех точках неограниченный индекс ветвления, счетный индекс ветвления и континуальный индекс ветвления. Приме- ром линии, которая во всех точках имеет континуальный индекс ветвления, может служить ковер Серпинского.
126 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ (ГЛ. IV § 4. Некоторые общие свойства линий В этом параграфе мы приводим ряд фактов, глубоко вскрывающих сущность понятия линии и связывающих общие определения линии с нашим представлением, выработавшимся при рассмотрении конкретных линий. Мы ограничиваемся здесь лишь формулировками теорем, не останавливаясь на их доказательстве. Как мы уже говорили, определение линии, данное Уры- соном, охватывает не только плоские, но и пространственные линии. Оно дословно может быть перенесено и на простран- ство п измерений 1). Но тут обнаруживается следующий замечательный факт: оказывается, что в каком бы пространстве мы ни по- строили линию С, в обыкновенном трехмерном простран- стве всегда найдется линия С', гомеоморфная (т. е. с топологическдй точки зрения тождественная) линии С. Более того, все эти линии С' следует искать среди подмно- жеств не всего трехмерного пространства, но среди подмно- жеств некоторого континуума трехмерного пространства, который сам является линией. Другими словами, в трехмер- ном пространстве есть такая «универсальная» линия, которая содержит в себе не только топологический образ всякой линии трехмерного пространства, но и тополо- гический образ всякой линии п-мерного пространства * 2). Не имея возможности привести доказательства этого факта ввиду его трудности, мы ограничимся лишь описанием по- строения универсальной линии, которое было дано австрий- ским математиком К. Менгером. Куб Уо делится на 27 равных кубиков и из него выбра- сывается «центральный кубик» и шесть кубиков, примыкаю- щих к нему по граням. Мы получаем в результате этой опе- рации множество состоящее из 20 замкнутых кубиков первого ранга. С каждым из оставшихся кубиков первого ранга мы проделываем ту же операцию, т. е. делим каждый такой кубик на 27 равных кубиков и выбрасываем из каж- дого кубика первого ранга как центральный кубик, так и примыкающие к нему по граням шесть кубиков. Оставшееся х) И вообще на любое множество, в котором определено понятие расстояния, т. е. на любое метрическое пространство. 2) И даже любого метрического пространства.
НЕКОТОРЫЕ ОБЩИЕ СВОЙСТВА ЛИНИЙ 12? § 41 множество V2 состоит из 400 кубиков второго ранга. С каж- дым из них мы поступаем так же, как и выше, в результате чего получим замкнутое множество У3, состоящее из 203 = 8000 кубиков третьего ранга. Этот процесс можно продолжать бесконечно для любого натурального числа п (черт. 21). Черт. 21. Множество точек куба Vo, оставшееся после выполнения всех этих операций, и есть искомая «универсальная» линия. Как общая часть бесконечной последовательности убывающих континуумов, она сама является континуумом. Значительно труднее установить, что этот континуум будет размерности 1, т. е. действительно является линией. Как мы видели, для плоских линий роль «универсальной» линии играет ковер Серпинского. Возникает вопрос: почему он не будет универсальной линией и для всех вообще про- странственных кривых? Дело в том, что в пространстве есть линии> которые нельзя отобразить топологически ни на какую плоскую линию. Простейший пример такой линии мы получим, если рассмотрим линию, состоящую из шести ребер тетраэдра и четырех отрезков, соединяющих какую-нибудь точку пространства с четырьмя вершинами этого тетраэдра (черт. 22).
128 ОБЩЕЕ ОПРЕДЕЛЕНИЕ ЛИНИИ [ГЛ. IV Но уже всякую линию, например четырехмерного про- странства, можно топологически отобразить на некоторую линию трехмерного пространства. Отсюда, конечно, не следует, что эта линия трехмерного пространства обладает всеми вообще свойствами линии, данной в четырехмерном пространстве. Однако все те свойства, кото- рые не разрушаются топологи- ческим отображением, являются общими обеим линиям. Общность, с которой мы определили понятие линии, мо- жет вызвать естественный воп- рос, не является ли слишком широким тот класс объектов, которые мы определили как линии? Приведем два свойства линий, показывающие насколько близко соответствует тот класс множеств, которые мы на- звали линиями, нашему обычному представлению о линиях, связанному, прежде всего, с прямой и окружностью. Отрезок прямой может быть представлен как сумма ко- нечного числа сколь угодно малых отрезков, причем никакая точка отрезка не принадлежит более чем двум частичным отрезкам. Аналогичным свойством обладает и любая линия и даже характеризуется этим свойством. А именно: для того чтобы континуум С был линией, необходимо и достаточно, чтобы его можно было представить при любом сколь угодно малом положительном е в виде суммы конечного числа замкнутых множеств, каждое из которых имеет диаметр меньше е, и таких, что никакая точка конти- нуума не принадлежит более чем двум из этих замкну- тых множеств. Эта теорема, доказанная П. С. Урысоном в гораздо более общей форме, утверждает, в частности, что никакой континуум, не являющийся линией, уже этим свой- ством не обладает. Если взять, например, квадрат и сделать его разбиение на замкнутые множества достаточно мелким, то всегда найдется точка квадрата, принадлежащая по край- ней мере трем из этих замкнутых множеств. Однако всегда можно найти сколь угодно мелкое разбиение квадрата на замкнутые множества, обладающие тем свойством, что ника-
§ 4] НЕКОТОРЫЕ ОБЩИЕ СВОЙСТВА ЛИНИЙ 129 кая точка квадрата не принадлежит более чем трем из этих множеств (черт. 23). Возвращаясь снова к линиям, заметим, что в указанном для них в теореме разбиении замкнутые множества могут и не быть связны. Для того чтобы они были континуумами, необходимо и достаточно, чтобы линия была непрерывным образом отрезка. Другое свойство, сближающее введенное нами понятие линии с обыч- ным представлением об этом пред- мете, состоит в том, что всякую линию сколь угодно малым сдвигом ее точек можно перевести в ломаную линию. Более точно этот факт, от- крытый советским математиком П. С. Александровым опять в го- Черт. 23. раздо более общих предположениях, можно сформулировать так: для того чтобы компактное множество С было линией, необходимо и достаточно, чтобы при любом сколь угодно малом положительном е его можно было отобразить на ломаную линию L так, чтобы каждая точка этой ломаной отстояла от соответствую- щей точки множестза С менее чем на е. Для окружности такое отображение осуществляется проще всего тем, что мы вписываем в эту окружность правильный многоугольник с достаточно большим числом сторон и про- ектируем (ортогонально) каждую дугу окружности на соот- ветствующую сторону многоугольника. Аналогично решается вопрос и в общем случае. На основании предыдущей тео- ремы линия разбивается на конечное число достаточно малых кусков так, чтобы никакая точка линии не принадлежала более чем двум кускам. В каждом из этих кусков берется по точке. Каждые две такие точки соединяются прямолиней- ным отрезком в том случае, когда куски, в которых они содер- жатся, имеют общие точки. Мы получаем, таким образом, ло- маную линию. На эту-то ломаную и отображается наша кривая, причем, взяв разбиение кривой достаточно мелким, можно добиться того, что каждая точка кривой будет переводиться в соответствующую точку ломаной линии малым сдвигом.
ПРИБАВЛЕНИЕ О ПОНЯТИИ РАЗМЕРНОСТИ Главное, что отличает линию от поверхности, тел и вообще от произвольных континуумов, состоит в том, что линия есть континуум, имеющий одно измерение или, как мы еще будем говорить, размерность 1. Мы разъяснили смысл этого поня- тия в применении к континуумам. В настоящем прибавлении мы дадим общее определение размерности для произвольных множеств, принадлежащее П. С. Урысону, и разъясним его на ряде примеров. При этом мы будем предполагать, что множество лежит на прямой, на плоскости или в пространстве (или даже в произвольном n-мерном пространстве) х). Мы не исключаем и того случая, когда множество А? совпадает со всем пространством, так что приводимое ниже определение числа измерений пригодно не только для любого множества, лежащего в данном про- странстве, но и для всего пространства. Общее определение размерности вводится по индукции. Чтобы сделать его более понятным, мы разберем сначала отдельно случаи размерности 0 и размерности 1, а затем уже сформулируем и общее определение. Мы говорим, что множество R имеет в точке х размерность 0, если. как бы ни было мало положительное число е, найдется та- кое открытое множество О, содержащее точку х и имеющее диаметр < е, граница которого не содержит ни одной точки (есть пустое множество). Если множество R имеет размерность 0 в каждой своей точке, то мы говорим, что множество R имеет размерность 0. Ч В формулировках общих определений и теорем мы по суще- ству будем пользоваться тем, что R есть метрическое пространство.
О ПОНЯТИИ РАЗМЕРНОСТИ 131 Формулируя кратко вышеприведенное определение, мы будем говорить, что множество R имеет размерность О, если каждая его точка содержится в сколь угодно малом (по диаметру) открытом множестве, граница которого не содержит ни одной точки. Вспоминая, что границей от- крытого множества называется совокупность тех его пре- дельных точек, которые не принадлежат самому множеству, мы можем сказать также, что множество R имеет раз- мерность 0, если каждая его точка содержится в сколь угодно малом открытом множестве, которое в то же время является и замкнутым. Приведем несколько примеров. Множество R, состоящее из одной точки или из конечного числа точек, всегда имеет размерность 0, так как в этом случае любая точка является множеством, одновременно замкнутым и открытым (и имеет диаметр 0). Любое счетное множество точек R имеет размерность 0. В самом деле, пусть х — произвольная точка множества R, а © — любое положительное число. Обозначим через г поло- 8 жительное число, меньшее и отличное от каждого из рас- стояний точки х до остальных точек множества R. Такое число существует, так как множество R счетно, а множество положительных чисел, заключенных между 0 и у, имеет мощ- ность континуума. Совокупность всех точек множества R, удаленных от точки х менее чем на г, есть открытое мно- жество диаметра < е, содержащее точку х, граница кото- рого не содержит ни одной точки множества R, так как все точки границы должны были бы находиться от точки х на расстоянии, равном г, а в R таких точек нет. Отсюда следует, что множество всех точек простран- ства любого числа измерений, все координаты которых ра- циональны, будет размерности 0, так как такое множество всегда счетно. В частности, множество всех рациональных точек прямой имеет размерность 0. Множество всех иррациональных точек прямой также имеет размерность 0, так как, какую бы ир- рациональную точку х мы ни^взяли и каким бы малым ни выбрали положительное число е, всегда можно найти два таких рациональных числа а и bf чтобы имели место 9*
132 ПРИБАВЛЕНИЕ неравенства х — у<а<х<£< —. Множество G иррациональных точек, заключенных между точками а и Ь, является открытым по отношению к R. Его граница не содержит ни одной точки, так как никакая ир- рациональная точка, не входящая в G, не будет для G пре- дельной точкой. Диаметр множества G меньше е. Из теорем, относящихся к множествам размерности О, упомянем следующую теорему, которая нам понадобится в дальнейшем: Для того чтобы, компактное множество имело раз- мерность 0, необходимо и достаточно, чтобы оно не со- держало никакого континуума. Чтобы определить понятие множества размерности 1, нам существенно понадобится только что введенное понятие мно- жества размерности 0. В этом сказывается индуктивный характер определения размерности. Мы говорим, что множество R в принадлежащей ему точке х имеет размерность 1, если выполнены одновре- менно следующие два условия*. 1°. Каково бы ни было положительное число е, най- дется открытое множество G с диаметром < е, содер- жащее точку х, граница которого есть или пустое мно- жество или множество размерности 0. 2°. Существует такое число 8, что в границу всякого открытого множества диаметра < 8, содержащего точ- ку х, входит по крайней мере одна точка. Если ограничиться лишь требованием 1°, то ему удовле- творяют как множества размерности 0, так и множества раз- мерности 1; следовательно, оно выражает условие того, чтобы множество R имело в точке х размерность, меньшую или рав- ную 1. Требование 2° означает, что размерность множества R в точке х отлично от 0. Мы говорим, что множество R имеет размерность 1, если размерность множества R в каждой его точке 1 и хотя бы в одной точке размерность множества R равна 1. Прямая линия имеет размерность 1 в каждой своей точке. В самом деле, если х— произвольная точка прямой и s — про- извольное положительное число, то любой интервал длины s,
О ПОНЯТИИ РАЗМЕРНОСТИ 133 содержащий точку х, есть открытое множество, удовлетво- ряющее требованию 1° определения множества размерности 1, так как его граница, состоящая из двух точек (концов ин- тервала), имеет размерность 0. С другой стороны, всякое открытое множество на прямой состоит из одного или не- скольких интервалов1). Поэтому его граница содержит по крайней мере две точки, а значит, R не является множе- ством размерности 0. Следовательно, выполнено и требование 2° определения множеств размерности 1. Таким образом, прямая имеет размерность 1 в каждой своей точке. Подобным же образом можно показать, что и окружность в каждой своей точке имеет размерность 1. В самом деле, пусть х — произвольная точка окружности и в — произвольное положительное число. Дуга окружности, содержащая точку х и стягиваемая хордой длины < е, есть открытое, по отношению к окружности, множество диа- метра < е, содержащее точку х, граница которого состоит из двух точек—концов дуги и, следовательно, имеет раз- мерность 0. С другой стороны, так как всякое открытое множество на окружности состоит из одной или нескольких дуг (без их концов), то граница любого открытого множества, лежащего на окружности, содержит по крайней мере две точки. Из этих рассуждений следует, что окружность в точке х имеет размерность 1. На основании упомянутой выше теоремы о том, что ком- пактное множество имеет размерность 0 тогда и только тогда, когда оно не содержит никакого континуума, мы мо- жем сказать теперь, что линии — это такие континуумы, которые имеют размерность 1 в смысле только что приве- денного определения. Перейд_ем к общему определению понятия числа измерений. Мы уже говорили, что понятие числа измерений вводится по индукции, причем индукцию здесь удобно начать с числа —‘ 1. При этом размерность — 1 мы вводим лишь для удобства изложения, приписывая ее тем «множествам», которые вообще не содержат ни одной точки. Предположим, как это всегда делается в случае индук- тивных определений, что мы уже знаем, каким множествам 1) Множество интервалов, из которых состоит открытое мно- жество на прямой, может быть конечным или бесконечным (счетным).
134 ПРИБАВЛЕНИЕ приписывается размерность 0, 1, 2, п—1, и, пользуясь этим, установим, каким множествам следует приписывать размерность п. Мы говорим, что множество R имеет в точке х раз- мерность п, если: 1° при любом е найдется открытое множество диа- метра граница которого есть или множество раз- мерности О, или множество размерности 1 и т. д., или, наконец, множество размерности п—1, 2° существует такое 8, что граница всякого откры- того множества диаметра < 8, содержащего точку х, не является ни множеством размерности 0, ни множест- вом размерности 1 и т. д., ни множеством размерно- сти п— 2х). Требование 1° означает, что множество R в точке х имеет или размерность 0, или размерность 1 и т. д., или, наконец, размерность п — 1, следовательно, оно выражает условие того, что множество R в точке х имеет размерность ^.п. Требование 2° означает, что размерность множества R в точке х не равна ни одному из чисел 0, 1, ..., п— 1. Мы говорим, что множество R имеет размерность п, если в каждой своей точке оно имеет размерность и по крайней мере в одной точке его размерность равна п. Разберем это определение применительно к множествам размерности 1. Условие 1° здесь означает, что при любом а найдется открытое множество диаметра < е, содержащее точку х, граница которого имеет размерность —1 или 0; условие 2° имеет здесь тот смысл, что если мы возьмем 8 достаточно малым, то* граница всякого содержащего точку х открытого множества диаметра < 8 не должна иметь раз- мерность — 1, т. е. не должна быть пустым множеством. В случае размерности 2 каждая точка множества должна содержаться при любом е в открытом множестве диаметра < е, граница которого имеет размерность —1, 0 или 1; однако существует 8 такое, что граница всякого открытого мно- жества диаметра < 8, содержащего точку х, не является ни множеством размерности —1, ни множеством размерности 0. i) Отсюда еще не следует, что граница любого открытого мно- жества диаметра < 8, содержащего точку х, непременно имеет раз- мерность п — 1.
О ПОНЯТИИ РАЗМЕРНОСТИ 135 Возьмем, например, плоскость. Так как каждая ее точка является центром круга сколь угодно малого диаметра, то можно сказать, что всякая точка плоскости содержится в сколь угодно малом открытом множестве, граница которого имеет размерность 1. Следовательно, плоскость в каждой своей точке имеет размерность 2. Чтобы доказать, что размерность плоскости в каждой ее точке в точности равна 2, достаточно показать, что граница каждого открытого ограниченного множества на плоскости не может быть ни множеством размерности — 1, ни мно- жеством размерности 0. Если бы граница открытого множества на плоскости была пустым множеством, то это означало бы, что открытое мно- жество было одновременно и замкнуто, но тогда и его до- полнение также было бы одновременно множеством открытым и замкнутым и, следовательно, вся плоскость разбивалась бы на два замкнутых множества без общих точек. Но это не- возможно, так как плоскость есть множество связное. Верно и то, что граница открытого ограниченного мно- жества на плоскости не может быть нульмерным множеством. В самом деле, граница всякого открытого ограниченного множества на плоскости является замкнутым и ограниченным множеством и потому обладает свойством компактности. Если предположить, что она имеет размерность 0, то на основании упомянутой выше теоремы о нульмерных множествах она не будет содержать никакого континуума. Но выше (см. сноску на стр. 89) мы говорили, что если компактное множество на плоскости не содержит ника- кого континуума, то оно не разбивает плоскость, в то время как граница Гр(О) всякого открытого множества G на пло- скости разбивает плоскость R на два открытых множества Q п R\G без общих точек: /?\rp(G) = GU(₽\G), СП(Я\О) = 0. Следовательно, граница открытого ограниченного множества на плоскости не может быть множеством размерности 0. Дело обстоит значительно сложнее, если мы хотим показать, что пространство в каждой своей точке имеет размерность 3. При этом оказывается, что нет существенной разницы между
136 ПРИБАВЛЕНИЕ случаем трехмерного пространства и пространства я измере- ний. Поэтому мы сразу обратимся к случаю размерности п. Не имея возможности очертить здесь даже путь, кото- рому надо следовать, чтобы убедиться, что пространство п измерений имеет размерность п в смысле Урысона, мы лишь перечислим те теоремы теории размерности, из которых по- лучается этот основной результат, попутно познакомившись с наиболее существенными фактами этой ветви топологии. Совсем просто доказываются следующие две теоремы: Теорема 1. Если размерность множества R равна п, то размерность всякого подмножества R' множества R может быть или меньше п или равна я. Теорема 2. Всякие два гомеоморфных между собой множества имеют одну и ту же размерность. В частности, если множество R имеет в точке х размер- ность я, то гомеоморфное ему множество 5 также имеет раз- мерность я в точке у, соответствующей точке х при данном гомеоморфном отображении. Теоремы 1 и 2 доказываются по индукции. Пользуясь ими и ведя рассуждения по индукции, легко доказать, что имеет место Теорема 3. Пространство я измерений имеет раз- мерность <^я (я смысле Урысона) в каждой своей точке. Вся трудность заключается в том, чтобы доказать, что размерность пространства я измерений в точности равна я. Существуют различные пути установления этого факта. На- метим один из них. Прежде всего доказывается такая общая Теорема 4. Если компактное множество R имеет размерность в каждой своей точке, то при любом е его можно покрыть конечной системой замкнутых мно- жеств, каждое из которых имеет диаметр < е, так что никакая точка множества не принадлежит более чем п + 1 множествам этой системы. Не давая доказательства этой теоремы, приведем лишь несколько примеров для ее иллюстрации. Возьмем сначала в качестве множества R отрезок прямой. Он имеет размерность 1 в каждой своей точке. Разделим его на столько равных частей, чтобы длина каждой части была меньше чем данное положительное число е; тогда каждая точка отрезка является либо внутренней точкой каждого из
О ПОНЯТИИ РАЗМЕРНОСТИ 137 маленьких отрезочков, либо общим концом двух таких от- резков. Возьмем теперь квадрат. Он, как и вся плоскость, в каж- дой своей точке имеет размерность 2. При любом е его можно разбить на прямоугольники, стороны которых парал- лельны сторонам квадрата, а диагонали имеют длину < е. При этом никакая точка квадрата не будет принадлежать более чем трем из этих прямоугольников (см. черт. 23). Наконец, если за множество R возьмем куб, то его можно разбить на прямоугольные параллелепипеды, грани которых параллельны граням куба, а длины диагоналей < е, так что никакая точка куба не будет принадлежать более чем четырем параллелепипедам. Имеет место и обратная теореме 4 Теорема 5. Если компактное множество R при лю- бом е допускает разбиение на замкнутые множества диа- метра < е и такие, что никакая точка множества R не принадлежит более чем 1 из этих множеств, то все множество R имеет размерность Сопоставляя утверждения прямой и обратной теорем, мы приходим к следующему заключению. Теорема 6. Для того, чтобы компактное множе- ство R имело размерность п, необходимо и достаточно, чтобы при любом е это множество можно было покрыть системой замкнутых множеств диаметра < е так, чтобы никакая точка множества R не принадлежала более чем п -1 множеству этой системы*, однако существует такое 8, что если все множества системы имеют диа- метр < 8, то какие-нибудь п -j-1 из этих множеств непременно имеют общую точку. Это свойство имеет очень важное значение для всей теории размерности и потому его часто принимают за определение размерности компактных множеств, говоря, что компактное множество R имеет размерность п, если при любом е множество R может быть покрыто системой замкнутых множеств диаметра < 8, так что никакая точка мно- жества R не принадлежит более чем п -f-1 множествам этой системы, а если взять е достаточно малым, то в R всегда найдется точка, принадлежащая п 1 множествам системы. После того как установлено это общее свойство множеств размерности п, доказывается, что им обладает всякий л-мер*
138 ПРИБАВЛЕНИЕ ный симплексг). Совсем легко доказать, что при любом е симплекс можно разбить на конечное число замкнутых мно- жеств диаметра < етак, чтобы никакая точка симплекса не при- надлежала более чем п -{-1 множеству разбиения. Для этого достаточно заключить симплекс в n-мерный куб, разбить этот последний на прямоугольные параллелепипеды, длины диа- гоналей которых были бы < е, так чтобы никакие n-j-2 из этих параллелепипедов не имели общей точки, и взять в качестве элементов разбиения симплекса множества, яв- ляющиеся общей частью симплекса и каждого из паралле- лепипедов. Самой трудной частью является доказательство того факта, что существует такое 8, что если диаметры замкнутых мно- жеств, на которые разбивается симплекс, меньше 8, то среди них найдутся такие п-р.1, которые непременно имеют общую точку. Так как симплекс является компактным множеством, то из сопоставления общей теоремы 6 с этим свойством симплекса и вытекает, что л-мерный симплекс имеет размерность п (в смысле Урысона) по крайней мере в одной своей точке. Пусть это будет точка х; тогда не только симплекс, но и все пространство имеет в точке х размерность п. В самом деле, мы уже отмечали, что размерность пространства п измерений в каждой его точке (теорема 3). Меньше чем п она быть не может, так как симплекс в точке х имеет размерность Остается заключить, что размерность пространства в точке х в точности равна п. Наконец, пространство п измерений однородно в том смысле, что всякую его точку х можно перевести в другую точку у с помощью гомеоморфного отображения. Достаточно хотя бы рассмотреть параллельный перенос, переводящий точку х в точку у. Но в точке х пространство имеет раз- мерность л, следовательно, по теореме 2 оно будет иметь размерность пив точке у. Так как точку у мы взяли произ- 9 Нульмерным симплексом является точка, одномерным — отре- зок, двумерным — треугольник, трехмерным — тетраэдр, п-мерный симплекс может быть определен как множество точек л-мерного пространства, координаты которых удовлетворяют системе нераденств; Xi > 0, х2 > 0, ..., хп > О, ...
О ПОНЯТИИ РАЗМЕРНОСТИ 139 вольно, то отсюда следует, что пространство п измерений имеет размерность п в смысле Урысона в каждой своей точке. Мы рассмотрели один из путей, по которому проводится доказательство того факта, что пространство п измерений имеет размерность п (в смысле Урысона) в каждой своей точке. Существуют и другие пути доказательства этой тео- ремы, но все они, как и указанные нами, изобилуют трудными моментами. Спрашивается, стоило ли тогда вводить такое определение размерности, если даже для доказательства того обстоятельства, что пространство имеет размерность 3 (а этот случай никак не проще общего случая пространства п изме- рений), понадобилось построение целой теории! Это определение может быть оправдано, во-первых, тем, что с его помощью можно характеризовать с точки зрения их размерности любые множества пространства п измерений (мы видели это на примере линий); во-вторых, и это не менее важно, что, только пользуясь этим определением размерности, мы можем доказать, что два пространства, имеющих разное число измерений, нельзя взаимно однозначно и взаимно непре- рывно отобразить друг на другаг). Теперь это просто следует из сопоставления того обстоятельства, что пространство п измерений имеет размерность п в смысле Урысона, с тем, что два множества, гомеоморфных друг другу, имеют одну и ту же размерность. Приведенное нами определение необходимо, в частности, для того, чтобы доказать, что каждую точку пространства нужно задавать непременно тремя координатами, если желать, чтобы координаты непрерывно зависели от точки, а точка от координат. х) Это предложение носит название теоремы об инвариантности числа измерений и имеет очень важное значение для всей мате- матики.
ОГЛАВЛЕНИЕ П редисловие........................................... 3 Глава I. Развитие понятия линии........................ 5 § 1. Исторический очерк............................ 5 § 2. «Кривые» Пеано................................ И § 3. Простые дуги. Линии, составленные из простых дуг . . 17 § 4. Значение теории точечных множеств в вопросе об определении линии ............................... 20 Глава II. Некоторые сведения из теории точечных множеств............................................. 23 § 1. Основные понятия общей теории множеств...... 23 § 2. Замкнутые и открытые множества............... 27 § 3. Связность.................................... 38 § 4*..................................... Компактность................................ 44 § 5. Непрерывные отображения...................... 51 § 6. Свойства континуумов......................... 57 Глава III. Канторовы линии............................ 71 Глава IV. Общее определение линии..................... 82 § 1. Определение линии. Основные свойства......... 82 § 2. Индекс ветвления. Примеры.................... 89 § 3. Линии конечного ветвления....................107 § 4. Некоторые общие свойства линий...............126 Прибавление. О понятии размерности....................130
ЗА СТРАНИЦАМИ УЧЕБНИКА SHEBA.SPBPU/ZA Хочу всё знать (теория) ЮНЫЙ ТЕХНИК (ПРАКТИКА) ДОМОВОДСТВО (УСЛОВИЯ)