Шрифт:
Интервал:
Закладка:
Несколько слов о трёхмерных многообразиях. Шар вместе со сферой, служащей его поверхностью, представляет собою многообразие с краем; указанная сфера как раз и является этим краем. Если мы удалим этот шар из окружающего пространства, получим многообразие без края. Если мы сдерём с шара его поверхность, получится то, что на математическом жаргоне называется «ошкуренный[89] шар», а в научном языке, как нам уже известно из предыдущей главы, – открытый шар. Если удалить открытый шар из окружающего пространства, получится многообразие с краем, и краем будет служить та самая сфера, которую мы содрали с шара. Баранка вместе с корочкой есть трёхмерное многообразие с краем, а если отодрать корочку (которую мы трактуем как бесконечно тонкую, т. е. как поверхность), получим многообразие без края в виде «ошкуренной баранки». Всё пространство в целом – то трёхмерное евклидово пространство, которое известно нам из средней школы, – есть трёхмерное многообразие без края.
Настало время попытаться определить, что такое компактное многообразие. Для большей наглядности мы начнём с двумерных многообразий, от коих сперва спустимся к одномерным, а потом поднимемся до трёхмерных. Двумерное компактное многообразие – это такая поверхность, которую можно сшить из конечного числа лоскутов. Например, простыня, если трактовать её как поверхность, представляет собой двумерное компактное многообразие с краем. Дырявая от ветхости простыня остаётся двумерным компактным многообразием с краем; край этого многообразия состоит из точек, расположенных как по старым, до появления дыр, краям простыни, так и по краям дыр. Лоскутных простыней мне видеть не довелось, а вот лоскутные одеяла я видел. Они представляют собою сшитый из лоскутов чехол, набитый утеплителем, обычно ватой или пухом. Чехол лоскутного одеяла, до того как он набит и зашит, является двумерным компактным многообразием с краем. А вот если его зашить, но не простёгивать, он становится двумерным компактным многообразием без края (если же простегать, он перестаёт быть многообразием, поскольку все точки стежков – особые). Повторим определение: двумерное компактное многообразие – это поверхность, которую можно сшить из конечного количества лоскутов. Слова о конечном количестве кажутся ненужными. Какой смысл говорить о бесконечном количестве лоскутов? Необходимость противопоставления конечного и бесконечного количеств будет вскоре объяснена. Пока что заметим, что математики предпочитают употреблять глагол «склеивать», а не «сшивать». Поэтому можно сказать и так: двумерное компактное многообразие – это поверхность, которую можно склеить из конечного количества лоскутов. Под лоскутом же следует понимать любую поверхность, которую можно получить из замкнутого круга, изгибая, комкая, растягивая и сжимая его как угодно, но только не разрывая и не склеивая с самим собой. С понятием лоскута (но не с термином) мы уже встречались в главе 10, в разделе о геометрии положения, когда говорили о граничащих друг с другом областях. То, что мы называли областью в главе 10, и то, что мы называем лоскутом сейчас, – одно и то же.
Стандартный футбольный мяч, как известно, склеен (или сшит?) из 32 лоскутов. Что ещё можно склеить из лоскутов? Боковую поверхность цилиндра – это будет многообразие с краем. Но можно склеить и спасательный круг, т. е. на математическом языке – поверхность тора; эта поверхность края не имеет. Поверхность спортивной гири (рис. 12) даёт ещё один пример двумерного компактного многообразия без края.
Можно представить себе гирю настолько тяжёлую, что один человек её не поднимет, самое меньшее – два силача. Тогда к ней следует приделать не одну, а две ручки. Легко представить и гирю, неясно для чего нужную, с тремя ручками (рис. 13), с четырьмя (для четырёх силачей) и вообще с любым числом ручек. Поверхность каждой из таких гирь является двумерным компактным многообразием без края. (Сами же гири суть трёхмерные многообразия с краем.)
Круг является, конечно же, компактным многообразием, но с краем, каковым является ограничивающая круг окружность. Отдерём эту окружность от круга (разумеется, это можно проделать только мысленно). Получится фигура, которая в предыдущей главе была названа открытым кругом. Открытый круг не имеет края, но зато и не является компактным многообразием: его нельзя составить из конечного числа лоскутов. Читатель, верно, уже понял, что такое открытый квадрат – это квадрат без своего периметра. Как и открытый круг, он не является компактным многообразием.
В случае одномерных многообразий роль лоскутов выполняют куски нити. Желая придумать какой-нибудь термин, аналогичный термину «лоскут», мы оказались не способны найти что-либо более удачное, чем слово «обрывок». На языке геометрии обрывок – это линия, которую можно получить из отрезка деформацией, подобной той, с помощью которой мы получали лоскут из круга. Иными словами, обрывок – это то, что можно получить из отрезка, как угодно его изгибая, растягивая и сжимая; запрещаются только разрывы и склеивания. Одномерным компактным многообразием называется всякая линия, которую можно склеить из конечного числа обрывков. При этом подразумевается, что обрывки склеиваются своими концами: конец одного обрывка или не склеивается ни с чем (и тогда возникает край многообразия), или же склеивается с ровно одним концом ровно одного другого обрывка. При таком способе склеивания букву Т, которая служила для нас первым примером немногообразия, получить никак невозможно: при попытке склеить эту букву мы вынуждены будем в особой точке либо склеить один из обрывков с внутренней точкой другого, либо склеить концами сразу три обрывка. Нельзя получить и линию в форме восьмёрки. (При склеивании из лоскутов двумерных многообразий подразумевалось, что лоскуты склеиваются своими краями.) Примерами одномерных компактных многообразий могут служить отрезок и окружность, а также всё, что можно получить из этих фигур, деформируя их как угодно, но только без разрывов и склеиваний. Отрезок, а также всякая линия, которая может быть получена из него деформацией (например, конечный участок любого из тех графиков функций, которые проходят в школе), является одномерным компактным многообразием с краем. Окружность, а также всякая линия, которая может быть получена из неё деформацией (например, обе линии на рис. 14), являются одномерными компактными многообразиями без края. Других примеров одномерных компактных многообразий не существует. (Ни интервал, ни полуинтервал не являются компактными многообразиями.)