Математика: трехмерный мир, в котором мы не живем Текст научной статьи по специальности «Математика»

ФАКУЛЬТЕТ.

А.Д. МЕДНЫХ

многообразия и ЯВянороифолды

ниш

МЕДНЫХ Александр Дмитриевич — доктор физико-математических наук, ведущий научный сотрудник Института математики им. С. Л. Соболева СО РАН (Новосибирск), профессор НГУ. Работает в области геометрии трехмерных многообразий, теории дискретных групп, комплексного и комбинаторного анализа. Автор более 60-ти научных работ. Среди его учеников — 10 кандидатов и 2 доктора физико-математических наук http://a-server.math.nsc.ru/smedn

Математика — наука, изучающая количественные и пространственные формы и отношения действительности.

Академик А. Д. Александров

Окружающий нас мир трехмерен. Мы привыкли к этой мысли с рождения — каждый человек знает, что такое высота, длина и ширина, три основных измерения окружающего нас пространства. В зависимости от традиций, принятых в разных странах, размеры предметов измеряют в метрах, футах, ли, лье и других эталонных единицах длины. Для наших дальнейших рассуждений выберем немного необычную единицу длины. Ею будет служить один световой год (1 св. г.), т. е. расстояние, проходимое лучом света за один календарный год. В традиционных мерах длины это составляет невообразимую величину — примерно 9,46-1012километров.

Если из окружающего нас пространства мысленно вырезать куб с ребром, равным 1 св. году, то внутри благополучно разместится дом, в котором мы живем, земной шар, Солнечная система... В общем, все, что необходимо для нормальной жизни человека. Для удобства назовем рассмотренный нами куб единичным кубом. А теперь отметим следующий очевидный факт. Несмотря на громадные размеры, наш единичный куб — лишь мельчайшая частица окружающего мира.

Такой воображаемый единичный куб можно вырезать в любой другой точке пространства. При этом можно утверждать, что два куба, вырезанные в разных точках пространства, окажутся одинаковыми. Это и есть основная идея так называемого евклидова многообразия, согласно которой любая его точка окружена кубом соответствующих размеров. Более точно можно сформулировать следующее определение. Трехмерным евклидовым многообразием называется множество М3, любая точка которого является центром куба, полностью состоящего из точек данного множества.

Кстати сказать, в этом определении размеры самого куба не задаются — вовсе не обязательно использовать кубы больших размеров. С таким же успехом можно утверждать, что каждая точка содержится в кубе, ребро которого не превосходит по длине, скажем, один микрон С10 6 см).

Все сказанное выше кратко можно выразить следующими словами: окружающий нас мир является трехмерным евклидовым многообразием. А теперь попробуем ответить на следующий вопрос: как устроен мир за пределами единичного куба, в котором находится наш дом — наша Солнечная система?

Еще древние греки превратили математику из эмпирической науки в дедуктивную, потребовав вывода доказательств ее утверждений из основных понятий и исключив ссылку на опыт в качестве аргумента. Чистая математика исследует формы и отношения в отвлечении от материального содержания. Ее непосредственным предметом оказываются, например, не те или иные тела шарообразной формы, а «идеальный шар», не те или иные совокупности предметов и даже не отдельные числа, а целые числа вообще и т.п. Однако при всей абстрактности этой науки никто из математиков, по-видимому, не сомневался в том, что все их понятия, теоремы и формулы выражают реальные количественные и пространственные отношения. Математическая геометрия была теорией реального пространства, как позже механика явилась теорией движения

Для построения скрученного трехмерного тора О 3

нужно также отождествить противоположные грани куба способом, показанным на рисунке слева

Для построения неориентируемой евклидовой формы еще раз воспользуемся единичным кубом. Также как и ранее, отождествим грани В и В', С и С' параллельными переносами в пространстве. Для отождествления граней А и А' используем способ: сначала зеркально отразим /б в грани А, а затем параллельным переносом отождествим грани А и А'. В результате получится

Трехмерный тор -^своеобразный аналог знакомого всем двухме*рн0го тора. Изобразить его непросто. Для построения тора возьмем единичный куб с ребром, р^внЁЛм 1- св. году. Отождествим (склеим) противоположные грани куба так, чтобы при параллельном переносе в пространстве буква А наложилась на букву А', буква В на В' и С на С'. Обозначим полученное множество (т.е. куб с попарно отождествленными гранями) через Т3. Поскольку его размеры конечны (наибольшее расстояние между его точками равно V 3/2 световых года), то Т3 действительно является трехмерной евклидовой формой

ТРЕХМЕРНЫЙ ТОР И ДРУГИЕ

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

«Бесконечно протяженное по всем направлениям трехмерное евклидово многообразие М3 совпадает с евклидовым пространством Е 3".

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

Для того же, чтобы сделать наши рассуждения более содержательными и интересными, предположим другой вариант: окружающий нас мир замкнут, т. е. имеет конечные размеры и не имеет края. Другими словами, зададимся вопросом, как устроены замкнутые трехмерные евклидовы многообразия, или, другими словами, евклидовы формы. Полный ответ на этот вопрос дает теорема, доказанная Дж. Вольфом (1982):

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

Все евклидовые формы строятся схожим образом, единственное — для построения некоторых из них нужно использовать куб, а для других — правильную шестиугольную призму.

Первой и наиболее известной евклидовой формой является своеобразный аналог знакомого всем двухмерного тора — трехмерный тор. Обозначим это множество (куб с попарно отождествленными гранями) через Т3. Еще одной евклидовой формой является так называемый скрученный трехмерный тор, обозначенный соответственно как ()3. А теперь проведем простой физический эксперимент, который покажет, что многообразия Т3 и (¿3 различны, причем оба отличаются от евклидова пространства Е 3.

Для этого в центре грани А трехмерного тора поместим космический корабль, летящий со скоростью света, и заставим его стартовать в вертикальном направлении. Ровно через год космический корабль, продолжая двигаться по прямой, вернется в исходную точку. Теперь эта точка будет находиться в центре грани А, которая, по условию, отождествлена с гранью А. В результате эксперимента обнаружим, что в трехмерном торе Т 3 существует замкнутая прямая линия / длиной в один световой год.

Поставим еще один аналогичный эксперимент. Заставим космический корабль стартовать из точки у, лежащей в грани А на расстоянии 1 км от ее центра. Через год корабль благополучно вернется в точку у. Вы-

вод из второго эксперимента — через точку у проходит замкнутая прямая длиной 1 световой год, параллельная прямой /.

Теперь оба описанных эксперимента проведем в скрученном торе ()3. Первый эксперимент даст абсолютно тот же самый результат, что и ранее. Однако во втором эксперименте он будет совершенно иным. Корабль, стартующий из точки у, через один год достигнет точки 2, которая лежит в грани А—А и диаметрально противоположна точке у относительно центра этой грани. Полет по прямой продолжится и продлится еще один год, по истечении которого корабль вернется в точку у.

Таким образом, в ()3 через точку у проходит замкнутая прямая длиной 2, параллельная прямой /. Следовательно, многообразия Т3 и различны, и оба отличаются от пространства Е3, в котором нет замкнутых прямых линий.

Следующая евклидова форма — заполненная бутылка Клейна (многообразие К3) — в отличие от предыдущих является неориентируемой. Докажем это. Для этого повторим эксперимент с космическим кораблем, стартующим из центра грани А, но дополнительно снабдим нос корабля пропеллером, с постоянной скоростью вращающимся по часовой стрелке (если наблюдать за ним из кабины пилота). Предположим, что запас топлива у корабля достаточно велик и пропеллер будет вращаться в течение года вплоть до того времени, когда корабль, завершив путешествие по замкнутой прямой /, вернется в исходную точку. В момент, когда корабль вновь окажется в точке старта, пилот с удивлением обнаружит, что пропеллер вращается против часовой стрелки! (Конечно, имеются в виду те часы, которые пилот забыл на старте.) Последнее означает, что многообразие К 3 — неориентиру ем о и, следовательно, отличается от построенных ранее евклидовых форм Т3 и ()3.

В заключение заметим, что размеры Солнечной системы (ее диаметр равен примерно 124-Ю9 км) малы по сравнению с размерами многообразий, построенных выше на основе линейного куба. Она может быть расположена как внутри Т3, О,3, К3, так и в любой другой евклидовой формы. При этом для вычисления расстояний, не превосходящих 1 св. год, мы можем пользоваться обычной евклидовой геометрией и даже не догадываться о том, что окружающий нас мир замкнут. В настоящее время человечество не располагает космическими кораблями, летающими со скоростью света. Это означает, что сейчас невозможно осуществить глобальные эксперименты, подобные описанным выше, и, наконец, установить, в каком же из евклидовых миров мы живем.

¡Я ФАКУЛЬТЕТ

С

/ ^

Рассмотрим одно из различий между евклидовой (а), сферической (б) и гиперболической (в) геометриями. Начнем с евклидовой геометрии. Нарисуем на плоскости отрезок АВ единичной длины и проведем из его концов единичные перпендикуляры АС и Вй, направленные в одну сторону. Проведя несложные вычисления, убеждаемся, что расстояние между точками С и й равно 1 (а).

Теперь выполним аналогичные построения в сферической геометрии. Роль плоскости в этом случае играет сфера единичного радиуса (б). Для удобства рассуждений нарисуем на ней, как на глобусе, географическую карту. Прямыми в такой геометрии окажутся экватор и меридианы. Расстояние между точками будет определяться длиной, соединяющей их дуги. Теперь рассмотрим лежащий на экваторе единичный отрезок АВ и проведем из его концов единичные перпендикуляры АС и Вй , направленные в сторону северного полюса. Из курса школьной географии известно, что в этом случае длина отрезка Сй будет меньше 1. Наконец, рассмотрим четырехугольник АВРС на плоскости Лобачевского (в). Здесь, в гиперболической геометрии, реализуется третья логическая возможность — длина отрезка СР больше 1

Многообразные многообразия

Как уже было замечено, все рассмотренные выше многообразия обладают евклидовой геометрией. Что это означает и какие еще геометрии существуют?

Наиболее известными и употребимыми в общечеловеческой практике являются евклидова, сферическая и гиперболическая геометрии. Напомним, что сферическую геометрию иногда называют геометрией Римана, а гиперболическую — геометрией Лобачевского. В трехмерном пространстве, кроме трех указанных, существует еще пять так называемых синтетических геометрий,

В соответствии с тем, какие геометрические законы действуют на трехмерном многообразии, будем называть его соответственно евклидовым, сферическим, гиперболическим или синтетическим.

Евклидовы многообразия мы уже рассмотрели выше. Что до остальных, то более двадцати лет назад У. Терстон (1978) доказал замечательную теорему:

Геометрия, возникнув на почве практического опыта, оставалась по существу физической теорией, получившей лишь строго дедуктивную форму. Физика полностью приняла ее, никакое другое пространство, кроме трехмерного евклидова, не мыслилось и в самой математике. Так было до тех пор, пока не возникла геометрия Лобачевского, которую он сам назвал «воображаемой», и появилось воображаемое пространство Лобачевского. Потом появилось п-мерное пространство, и, наконец, Б. Риман ввел общее понятие математического пространства в лекции «О гипотезах, лежащих в основании геометрии», прочитанной им еще в 1854 г. Риман дал общее определение пространства в математическом смысле, включая бесконечномерные «функциональные пространства», «точками» которых являются функции. Он также заложил основы теории пространств, получивших потом название римановых и представивших впоследствии математический аппарат общей теории относительности

почти все трехмерные многообразия являются гиперболическими, то есть подчиняются законам геометрии Лобачевского. За этот результат в 1983 году он был удостоен Филдсовской премии — самой престижной награды для математиков. Сферические многообразия бывают как трехмерные, так и многомерные (Вольф, 1982). В пространстве любой размерности существует конечное число типов таких многообразий. Синтетических многообразий очень мало (Thurston, 1978; Dunbar, 1981; Терстон, 2001) в отличие от оставшегося класса гиперболических многообразий. Последний неисчерпаемо широк и классификация его к настоящему времени не завершена.

Сферические многообразия

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

Простейшим сферическим многообразием является трехмерная сфера Б3. Ее можно определить как границу четырехмерного шара или, что то же самое, как множество точек в пространстве Е 4, удаленных от центра на одинаковое расстояние. С помощью стереографической проекции можно установить взаимно однозначное и взаимно непрерывное соответствие между точками трехмерной сферы 5 5 и точками множества Е 3 + {со}, полученного добавлением к привычному нам евклидову пространству Е3 бесконечно удаленной точки ос. Таким образом можно считать, что Б3 = Е3 + {ос}.

Вторым примером сферического многообразия служит трехмерное проективное пространство Р3. Его можно легко представить себе в виде шара, диаметрально противоположные точки которого отождествлены.

Третий, и пожалуй, самый нетривиальный пример сферического многообразия — сферическое пространство додекаэдра Пуанкаре или, для краткости, сфера Пуанкаре.

Сфера Пуанкаре удивительным образом связана с самыми различными разделами математики — геометрией, топологией, теорией групп, теорией катастроф, теорией узлов и другими (Кирби, Шарлеман, 1982).

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

Самый необычный пример сферического многообразия представляет собой сфера Пуанкаре. Процесс построения этого многообразия очень похож на процесс построения трехмерного тора. Однако в качестве исходной частицы пространства выбирается не куб, а правильный сферический додекаэдр с двугранным углом, равным 2п/3 = 120°. Напомним, что двугранные углы правильного додекаэдра в евклидовом пространстве приблизительно равны 117°. Поэтому сферический додекаэдр можно получить из евклидова, если последний изготовить из резины и слегка надуть воздухом. Параллельным сдвигом и дополнительным поворотом на угол 27г/10 = 36° отождествим нижнюю грань додекаэдра А с верхней гранью А' — при этом буква А наложится на букву А'. Аналогичным образом отождествим оставшиеся 5 пар противоположных граней. Получившееся в результате сферическое многообразие и есть сфера Пуанкаре

К настоящему времени геометрия из науки о формах и отношениях в реальном пространстве превратилась в совокупность теорий разнообразных «воображаемых», логически мыслимых пространств и фигур в этих пространствах. Евклидова геометрия стала лишь частным случаем среди массы геометрий: римановой, аффинной, проективной, п-мерной евклидовой или неевклидовой и других. Геометрическая теория трехмерных многообразий, развитая в последнюю четверть прошлого века У. Терстоном и его последователями, еще раз подтвердила справедливость этих общих воззрений

Гиперболические многообразия

Первое трехмерное замкнутое гиперболическое многообразие было построено немецким математиком Ф. Лебеллемв 1931 г. Однако построение его было достаточно сложным, поэтому двумя годами позже X. Зейферт и К. Вебер предложили элегантную конструкцию гиперболического пространства додекаэдра.

С точки зрения математики наиболее сложная часть проблемы построения состоит в доказательстве существования этого гиперболического додекаэдра в пространстве Лобачевского. Положительный ответ на этот вопрос дает фундаментальная теорема Е. М. Андреева (1970), в которой сформулированы необходимые и достаточные условия для существования выпуклых гиперболических многогранников. Эта теорема служит одним из краеугольных камней современной теории гиперболических многообразий, созданной У. Терстоном.

Для

построения линзового

пространства возьмем линзу с двумя сферическими сегментами с двугранным углом 2я/р, где р — любое натуральное число. Разобьем край линзы на р равных дуг, превратив сегменты в два сферических р-угольника А и А'. Отразим А относительно плоскости края линзы и, повернув его на угол 27i q/p, отождествим стороны линзы. Полученное сферическое многообразие называется линзовым пространством L(p,q). Взяв при р = 2, q = 1 в качестве линзы шар, а в качестве ее ребра — экватор, получим, что /.(2,1) = Р3.

Можно показать, что линзовые пространства L(p,q) и L(p',q') совпадают тогда и только тогда, когда р = р', a q = ± q' (mod р) или qq' = ± 1 (mod р)

Для построения гиперболического пространства додекаэдра рассмотрим правильный гиперболический додекаэдр с двугранным углом, равным 2я/5 = 72°.

Представить такой многогранник можно следующим образом. Возьмем правильный резиновый додекаэдр в евклидовом пространстве с двугранным углом = 117° и будем выкачивать из него воздух до тех пор, пока он не станет настолько «худым», что его двугранный угол окажется равным 72°. Параллельным сдвигом и дополнительным поворотом на угол Зя/5 = 108° отождествим грань А с гранью А'. С оставшимися пятью парами противоположных граней поступим аналогичным образом. В результате получится гиперболическое пространство додекаэдра Зейферта-Вебера

Конструируем многообразия из многогранников

Рассмотрим прямоугольный многогранник Р, все двугранные (и плоские) углы которого равны 90°. В евклидовом пространстве в качестве такого многогранника можно взять куб, в сферическом — тетраэдр, а в гиперболическом — шестиугольную призму Лебелля, боковая поверхность которой состоит из 12-ти пятиугольников.

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

Для построения гиперболических многообразий используется способ, заключающийся в окраске смежных граней многогранника в разные цвета и последующего отождествления соответствующих граней, окрашенных в один цвет, у нескольких одинаковых экземпляров многогранников. Такой способ построения многообразий был впервые реализован Ф. Лебеллем (Loebell, 1931) для шестиугольной призмы, японским математиком М. Такахаши (Takahashi, 1985) — для правильного прямоугольного додекаэдра и А. Ю. Весниным (1987) — для произвольного прямоугольного многогранника Р.

При этом отметим, что все многообразия, построенные по окраске многогранника в четыре цвета, ориентируемы. Однако доказано, что окрашивая грани многогранника Р в пять, шесть или семь цветов, по аналогичной схеме можно построить и неориентируемые многообразия (Mednykh, 1992).

Остановимся еще на одном свойстве прямоугольных многогранников. Пусть D — правильный прямоугольный додекаэдр в пространстве Лобачевского. Испанский математик Х.-М. Монтезинос (Hilden et al., 1987) доказал следующую замечательную теорему:

«Любое замкнутое трехмерное многообразие может быть получено из конечного числа экземпляров многогранника D попарным отождествлением их граней».

Отметим, что в теореме Монтезиноса все грани склеенных многогранников — конгруэнтны, а все ребра имеют одинаковую длину. При этом каждое ребро окружено четырьмя, двумя или одним додекаэдром. Первую ситуацию легко представить: четыре прямоугольных додекаэдра склеены друг за другом вокруг общего ребра и образуют суммарный угол, равный 4-90° = 360°. Во втором случае пара смежных граней одного додекаэдра отождествляется с парой смежных граней другого додекаэдра. Суммарный двугранный угол вокруг ребра, принадлежащего двум додекаэдрам.

в этом случае равен 2-90° = 180°. Третий вариант легко создать, отождествляя смежные грани одного додекаэдра поворотом на угол 90°.

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

в качестве исходной формы возьмем прямоугольный многогранник Р, все двугранные (и плоские) углы которого равны 90°. Окрасим его грани в четыре цвета: а = крАсный, Ь = голуБой, с = Синий и с1 = борДовый так, чтобы смежные грани были окрашены в разный цвет. Один из вариантов окраски показан на рисунке.

Для построения нужного многообразия потребуется 8 совершенно одинаковых экземпляров многогранника Р. Отождествим грани восьми многогранников по следующей схеме: а = (15)(26)(37)(48) Ь = (16)(25)(38)(47) с = (17)(28)(35)(46) с1 = (18)(27)(36)(45) Символическая запись а = (15)...(У)...(48) означает следующее. Каждая грань, окрашенная красным цветом (а) на первом экземпляре Р, отождествляется с соответствующей (точно такой же) гранью на пятом экземпляре Р. Аналогично, красная грань на ¡-ом экземпляре Р отождествляется с соответствующей красной гранью на ром экземпляре. Отождествление граней, окрашенных в цветаЬ, си с1, происходит

по тому же правилу

ФАКУЛЬТЕТ

Для построения одного из евклидовых орбифолдов — Борромеевых колец — возьмем единичный куб и поделим каждую из его граней пополам так, как показано на рисунке слева. Поворачивая половинки граней на угол 180°, попарно отождествим их. В результате получится трехмерная сфера S3 = Е3 + {/}, содержащая внутри сингулярное множество.

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

Примером евклидова орбифолда служит также трехмерная сфера с сингулярным множеством узел «восьмерка» с индексом «3». Индекс означает, что любая маленькая окружность с центром на сингулярном множестве имеет длину в 3 раза меньше стандартной.

Отметим следующий любопытный факт -образами криволинейного четырехгранника, являющегося фундаментальным множеством орбифолда «восьмерка» с индексом «3», без просветов и наложений можно заполнить все евклидово пространство Е3

Трехмерные орбифолды

Евклидовы орбифолды

Для всякого трехмерного евклидова орбифолда существует фундаментальное множество — криволинейный многогранник, из которого заданный орбифолд можно получить, попарно отождествляя (склеивая) определенные его грани.

Примерами евклидовых орбифолдов могут служить так называемые Борромеевы кольца или трехмерная сфера с сингулярным множеством узел «восьмерка».

Всего существует 230 замкнутых трехмерных евклидовых орбифолдов — по числу кристаллографических групп, открытых в конце прошлого века русским ученым Е.С. Федоровым. Строение евклидовых орбифолдов было полностью описано в докторской диссертации У. Данбара, защищенной в 1981 г. в Принстонском университете — крупнейшем математическом центре мира.

Сферические орбифолды

Сингулярным множеством сферических орбифолдов может служить так называемый рациональный узел или зацепление. Им может оказаться также заузленный граф, из каждой вершины которого выходит по три ребра. В частности, сингулярным множеством сферического орбифолда будет являться скелет тетраэдра (ребра + вершины), расположенный в трехмерной сфере.

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

Недавно австралийцами профессором К. Ходжсоном и его учеником Д. Хеардом создана компьютерная программа, позволяющая вычислять объемы заузленных графов, вложенных в трехмерную сферу (Hodgson and Heard, 2005). Полная классификация трехмерных орбифолдов во всех геометриях, кроме гиперболической, сделана в работах У. Данбара. Как и в случае многообразий, гиперболическая геометрия является наиболее богатой, и полное описание орбифолдов в ней до сих пор не получено.

Пусть p/q — несократимая дробь с условием р > q > I. В сферическом пространстве S3 рассмотрим линзу с углом, равным 7г/р и поделим ее ребро

точками 1,2.....2р на 2р равных

частей. Соединим пары точек {р, 2р} и {q, p+q} сферическими дугами, лежащими по разные стороны линзы. Поворотами на 180° в построенных дугах отождествим половины граней линзы А,А' и В,В'. В случаях p/q = 2/1 мы получим, соответственно, зацепление Хопфа, состоящее из двух сцепленных окружностей; в случае p/q = 3/1 —узел «трилистник»', при p/q = 5/3 — уже описанный узел «восьмерка»

ФАКУЛЬТЕТ

I.

Слева — зацепление Хопфа,

состоящее из двух сцепленных окружностей;

внизу — узел «трилистник»

Сингулярным множеством сферического орбифолда будет являться также скелет тетраэдра (ребра + вершины), расположенный в трехмерной сфере. Для простоты будем считать, что все ребра имеют сингулярность с индексом «2». В этом случае тетраэдр можно вложить в Э3, предварительно «закрутив» его ребра, например, способом, указанным на рисунке слева. В результате снова получится сингулярное множество сферического орбифолда

Гиперболические орбифолды

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

Один из простейших гиперболических орбифолдов — трехмерная сфера с сингулярным множеством Борромеевы кольца с индексом сингулярности 4. Другой пример — сильно заузленный тетраэдр, все ребра которого имеют индекс сингулярности два. Доказательство таких фактов обычно достаточно сложно и может быть проведено с помощью теорем о геометризации, полученных У. Терстоном, его учениками и последователями. Общий принцип доказательства состоит в следующем: если орбифолд не является евклидовым, сферическим или синтетическим и удовлетворяет некоторым простым геометрическим условиям, то он — гиперболический.

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

Понятно, что фактически наибольшее развитие получают те теории, которые находят существенные применения в самой математике и тем более за ее пределами. Хотя опыт развития науки уже достаточное число раз показал, как самые отвлеченные теории находили потом чрезвычайно существенные приложения. Но для самой чистой математики это в принципе безразлично. Лучше всего творческое кредо новой математики выразил создатель теории множеств Г. Кантор, гордо зявив: «Сущность математики... в ее свободе».

Литература

Винберг Э.Б. О неевлидовой геометрии, Соросовский образовательный журнал, №3, 1996, С. 104—109.

Тёрстон У. Трехмерная геометрия и топология, М:МЦН-МО, 2001 (Перевод с англ. под ред. О. В. Шварцмана).

Hodgson С., Heard D. Computer program "Orb", August 2005, http://www.ms.unimelb.edu.au/~snap/orb.htinl

Изображение на титульной странице статьи взято с http://sprott.physics.wisc.edu

Работа поддержана грантом РФФИ (№06-01-00153) и ШАБ (№03-01-3663)

Автор и редакция выражает искреннюю благодарность Н.В. Абросимову (вед. инженеру Института математики им. С. Л. Соболева СО РАН, студенту 6-го курса НГУ), оказавшему неоценимую помощь при подготовке публикации

Комментарий физика:

Гпядя со стороны на теоретические изыскания математиков, даже у ближайших их союзников — физиков часто возникает вопрос: зачем изучать и развивать эти безусловно красивые и интересные, но все же абстракции? Однако даже небольшой экскурс в историю физики ставит все на свои места. Для нас математика — это язык. А когда разговариваешь на каком-то языке, то часто даже не осознаешь, сколько усилий было затрачено для его создания: кажется, что все возникает само собой... И хотя действительно подобное случается — сам сэр Ньютон создал физику одновременно с аппаратом интегрирования и дифференцирования — сценарий обычно другой. Сначала обнаруживается нечто новое, за этим следует серия безуспешных попыток описать это «на пальцах», затем — поиск подходящего аппарата в математике и, наконец, финиш — бурное развитие этого аппарата. Что-то полезное при поиске находится всегда, потому что математики не скованы ограничениями, которые накладывает на остальных ученых окружающий мир, — они творят универсальный язык для всех случаев жизни