фигура называется односвязной, коль скоро расположенная в её пределах резинка при любом своём расположении (!) имеет возможность беспрепятственно стянуться в точку, не выходя за пределы рассматриваемой фигуры. Поясним сказанное на примерах. Круг односвязен, но, если в нём проделать дыру, он перестанет быть односвязным. Конечно, и в случае круга с дырой можно так разместить в нём резинку, чтобы ничто не препятствовало её стягиванию в точку. Но если мы обведём резинку вокруг дыры, то стянуть её в точку окажется невозможным: дыра помешает. А для односвязности нужно, чтобы стягивание в точку было возможным при любом расположении резинки.

Поверхность стола и поверхность глобуса односвязны, а поверхность большинства современных унитазных сидений[86], поверхность спасательного круга и боковая поверхность цилиндра не односвязны. Шар и цилиндр односвязны, а бублик – нет; не односвязен и крендель. Говоря об односвязности пространственных тел, мы делаем несколько фантастическое допущение, что резинка вольна свободно перемещаться в толще тела (в наших примерах – в мякише бублика или кренделя). Рекомендуем читателю обнаружить такие расположения резинки внутри бублика, а также на поверхности унитазного сиденья, поверхности спасательного круга и боковой поверхности цилиндра, при которых резинка не может стянуться в точку, не покидая названных фигур. Вопрос к читателю: односвязно или нет тело, представляющее собою 1) шар, в котором имеется полость, 2) чашку с ручкой и 3) чашку с отбитой ручкой? Можно доказать, что трёхмерная сфера односвязна.

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

Многообразия

Наша следующая тема – многообразия, в частности компактные. Многообразия представляют собою важнейший класс топологических пространств, и, чтобы правильно и полно определить понятие многообразия, следовало бы сначала определиться с тем, что такое топологическое пространство и что такое гомеоморфизм. Иными словами, начать с вводного курса топологии. По понятным причинам делать этого мы не будем, а скрепя сердце пожертвуем и общностью, и точностью. Мы ограничимся рассмотрением многообразий, которые являются геометрическими фигурами. А геометрическая фигура всегда располагается в каком-то из евклидовых пространств, являясь подмножеством точек этого пространства. Такое ограничение, казалось бы, сужает понимание и проблемы Пуанкаре, и результата Перельмана, но на самом деле сужает только формально, поскольку каждое компактное многообразие в общем топологическом смысле этого термина гомеоморфно некоторой геометрической фигуре. Слово «гомеоморфно» будет разъяснено ниже, а некоторые детали прояснятся в конце этой главы.

Отличительным свойством многообразия без края является его локальная однородность: вблизи любой своей точки оно устроено так же, как вблизи другой. Если вырезать из такого многообразия два кусочка в разных местах, то эти кусочки в некотором глубоком смысле нельзя отличить один от другого. Окружность, сфера, прямая, плоскость, трёхмерное пространство – вот наглядные примеры многообразий без края. Край нарушает указанную однородность. Например, у шара краем является ограничивающая его сфера; и кусочек шара, содержащий хотя бы одну точку этой сферы, резко отличается от кусочков того же шара, таких точек не содержащих. Точки геометрической фигуры, принадлежащие её краю, называются краевыми.

В многообразии окрестности всех точек, за исключением краевых, устроены одинаково. При этом под окрестностью какой-либо точки A понимается совокупность всех точек, расположенных вблизи от этой точки A. Конечно, и слово «вблизи», и словосочетание «устроены одинаково» нуждаются в уточнении, без какового тем не менее мы их пока оставляем. Заметим лишь, что мы имеем в виду качественное устройство без учета размеров; с такого рода устройством мы встречались в предыдущей главе, когда говорили о геометрии положения. Точки, не являющиеся краевыми, называются внутренними. Повторим: многообразие вокруг каждой из его внутренних точек устроено так же, как и вокруг любой другой внутренней точки. Микроскопическое[87] существо, находящееся в одной из внутренних точек и способное видеть только ближайшие к нему точки этого многообразия, не в состоянии определить, в какой именно точке оно, существо, находится: вокруг себя оно всегда видит одно и то же.

Многообразия могут иметь любую размерность. Примером одномерной фигуры, не являющейся многообразием, может служить линия в форме буквы Т. Край этой линии состоит из трёх точек: одна точка – в самом низу и две – вверху, в концах «перекладины». Как ни понимай смысл слова «вблизи», окрестностью любой из этих краевых точек будет отрезок с концом в рассматриваемой точке. Окрестностью любой из остальных точек, кроме одной, служит отрезок, содержащий данную точку между своими концами[88]. Но есть здесь и особая точка, окрестность которой не похожа на окрестности других точек. Это та точка, в которой «вертикальная палочка» утыкается в «перекладину»; в этой точке образуется то, что на языке дорожного движения называется Т-образным перекрёстком. Именно поэтому линия в форме буквы Т не является многообразием. Другой пример одномерного немногообразия – линия в форме восьмёрки; в особой точке здесь сходятся четыре линии; краевых точек тут нет. Не является многообразием и одномерная фигура, составленная из двух пересекающихся (или же касающихся друг друга, так что возникает восьмёрка) окружностей; здесь особыми будут точки пересечения (или точка касания).

Чтобы читатель лучше усвоил понятие многообразия, приведём ещё два примера геометрических фигур, многообразиями не являющихся. Физические прообразы их – две детские игрушки: воздушный шарик с удерживающей его нитью и ватно-поролоновый шарик с прикреплённой к нему резинкой; на геометрическом языке это двумерная сфера с приклеенной линией и шар с приклеенной линией. Точки, где происходит приклеивание, – особые. Сфера вместе с пересекающей её плоскостью не является многообразием, поскольку та окружность, по которой происходит пересечение, сплошь состоит из особых точек.

В силу сказанного многообразие без края – это геометрическая фигура, целиком состоящая из внутренних точек. Надеемся, что читатель не забыл ещё разницу между отрезком и интервалом, которой обучают в школе. Отрезок имеет два конца, он состоит из этих концов и всех точек, расположенных между ними. Интервал же состоит только из всех тех точек, которые расположены между его концами, сами же концы в интервал не входят; можно сказать, что интервал – это отрезок с удалёнными концами, а отрезок – это интервал с добавленными к нему концами. Ещё бывают полуинтервалы: полуинтервал – это интервал, в который добавлен один из его концов (иначе говоря, отрезок, у которого удалён один из его концов). Прямая, интервал, отрезок, полуинтервал, окружность служат примерами одномерных многообразий, причём прямая, интервал и окружность суть многообразия без края, а отрезок и полуинтервал – многообразие с краем; край в случае отрезка состоит из двух концов, а в случае полуинтервала – из одного.

Плоскость,