Возьмите верёвку, завяжите её узлом и склейте концы. Получится замкнутая петля, которую в трёхмерном пространстве нельзя распутать, не разрывая. А теперь представьте, что у вас есть ещё одно направление, куда можно сдвинуть верёвку, не задевая её саму. Именно это и происходит в четырёхмерном пространстве: любой узел там распускается. В подкасте The Joy of Why журнала Quanta Magazine о четырёхмерном пространстве рассказывает тополог Мэгги Миллер из Техасского университета в Остине; выпуск «Как на самом деле выглядит четвёртое измерение?» ведут Джанна Левин и Стивен Строгац (1 октября 2026).

Но у этой истории есть вторая половина, куда менее очевидная. Если в четырёх измерениях петли теряют способность запутываться, то поверхности, наоборот, её приобретают. Обычная сфера в четырёхмерном пространстве может оказаться заузленной так, что распутать её не удастся. Редакция Quanta формулирует этот контраст во введении к выпуску так: знакомые запутанные петли ведут себя в четырёхмерном пространстве неожиданно сложно и неинтуитивно — узлы всегда могут распуститься, тогда как обычные поверхности вроде сфер могут, что удивительно, заузливаться так, что это уже не исправить.

Что вообще считают одинаковым

Топология изучает не расстояния, а связи. Два объекта считаются одним и тем же, если один можно непрерывно превратить в другой — растянуть, согнуть, смять, но не разрывая и не склеивая заново. Круг и овал для тополога неразличимы, а вот круг и прямая — уже нет: у прямой нет замкнутости. Миллер описывает это так: «Для тополога всё сделано из резины, и если я могу растянуть два объекта так, что на выходе они выглядят одинаково, значит, это одно и то же».

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

Почему в четырёх измерениях узел распускается

Причина, по словам Миллер, сводится к арифметике размерностей. Чтобы стянуть петлю в точку, топологи ищут не просто окружность, а целый диск, натянутый на неё, — тогда петлю можно сжать вместе с диском к его центру. Диск двумерен. А два плюс два равно четырём, и это означает, что в четырёхмерном пространстве диск может сам себя пересечь — причём пересечь по точкам. Миллер объясняет: «Диск двумерен, и поскольку два плюс два равно четырём, это говорит мне, что в четырёхмерном пространстве такой диск может пересечь сам себя. Он пересечёт себя в точках».

Дальше работает простое рассуждение. Если у нас есть четыре взаимно перпендикулярных направления — X, Y, Z и W, — то в точке самопересечения одна часть диска уходит в направлениях X и Y, а другая в направлениях Z и W. Сдвинуть их друг от друга некуда: они занимают все четыре измерения. Именно это мешает стянуть кривую, и, по словам Миллер, такая ситуация «всплывает в топологии постоянно» — это ключевой шаг в доказательствах.

Отсюда и главный результат: в стандартном четырёхмерном пространстве существует ровно один класс заузленных петель. Миллер говорит об этом без оговорок: «В четырёх измерениях, в стандартном четырёхмерном пространстве, есть ровно одна заузленная петля. Они все одинаковые». Тот же контраст независимо формулирует обзор Дэвида Ричесона в Quanta (David S. Richeson, «Why Mathematicians Study Knots», 31 октября 2022): «Традиционная теория узлов имеет смысл только в трёх измерениях: в двух измерениях возможен только тривиальный узел, а в четырёх измерениях дополнительное пространство позволяет узлам развязываться, так что каждый узел совпадает с тривиальным».

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

Где интуиция подводит

Миллер предупреждает студентов: топология — редкий курс, где интуиция почти всегда ошибается. «Студенты, которые берут топологию, имеют интуицию, потому что мы говорим о знакомых объектах, мы можем рисовать много картинок, — и эта интуиция всегда неверна. В ловушку попасть очень легко». Поэтому рисунок в топологии — не доказательство. Чтобы картинка что-то значила, нужно заранее договориться, что именно она изображает, и по каким правилам её можно менять, не теряя смысла. Миллер подчёркивает: «Даже когда в математике много картинок, это не доказательство рисунком. Это не просто случайная картинка, которую мы придумали».

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

Как из узлов собирают пространства

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

В четырёх измерениях есть похожий, но не полный аналог. По результату Ивасэ, четырёхмерные многообразия получаются хирургией на торах — поверхностях бублика — внутри четырёхмерной сферы. «Почти верно, что я могу получить что угодно», — говорит Миллер, оговариваясь, что нужно правильно выбрать два базовых числовых инварианта. Это не столько программа, сколько мотивация изучать поверхности: любой вопрос о четырёхмерном пространстве в принципе можно переформулировать как вопрос о поверхностях внутри него.

Разница в понимании размерностей огромна. В двумерном случае все поверхности перечислимы. В трёхмерном есть полная классификация — результат Тёрстона и Перельмана, работавшая примерно с 1970-х по 2000-е. Миллер осторожно говорит: «Мы полностью… пожалуй, я хочу быть аккуратной со словом „полностью“, но я бы сказала, что мы полностью понимаем трёхмерные многообразия». В четырёх измерениях классификация невозможна, и именно там ломаются теоремы, работающие в соседних размерностях.

Заузленные поверхности и вопрос Ливингстона

Поверхности в четырёхмерном пространстве — это объекты на размерность выше узлов. Вместо петли берут что-то двумерное: сферу или тор. Заузлить сферу в четырёх измерениях можно, и Ричесон поясняет механизм через срезы: «Если разрезать обычную сферу через равные промежутки, получатся окружности, как линии широты. Но если бы у нас было дополнительное измерение, мы могли бы заузлить сферу так, что срезы — теперь трёхмерные, а не двумерные, — оказались бы узлами».

Здесь же лежит результат, о котором Миллер рассказывает подробно. Чарльз Ливингстон в 1982 году изучал поверхности Зейферта — поверхности, край которых и есть данный узел. Простейший пример: плёнка мыльного пузыря, натянутая на проволочную петлю. Ливингстон доказал, что если у двух связных поверхностей Зейферта для одного и того же незаузленного набора петель совпадает род (число «дырок»), то в четырёхмерном пространстве они становятся одинаковыми, хотя в трёхмерном могли быть разными. При этом он оговорил, что для края, не являющегося незаузленным набором петель, это наверняка не так, но доказательства не имел — построить нужные примеры очень трудно.

Миллер вместе с Кайлом Хейденом, Сонгваном Кимом, Чон Хваном Паком и Айзеком Сундбергом эту задачу решили. Их работа «Seifert surfaces in the 4-ball» (arXiv:2205.15283, май 2022) принята к публикации в Journal of the European Mathematical Society. Важная оговорка: в пакете материалов нет полного текста этой статьи, есть только её запись на странице Миллер и пересказ в интервью, поэтому детали доказательства здесь не воспроизводятся.

Отдельно стоит сказать о границах утверждения. Тривиализация при повышении размерности не универсальна. На вопрос, становятся ли все заузленные поверхности одинаковыми при переходе из четырёх измерений в пять, Миллер отвечает: «Это не так ясно, но если я поднимусь на две размерности, до шести, тогда они все одинаковые. Если увеличивать размерность достаточно долго, в конце концов они все станут одинаковыми».

Что из этого следует

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

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

Остаётся открытый вопрос, который Миллер называет своим любимым: ограничивает ли тривиальный узел единственный ribbon-диск с точностью до изотопии. Ribbon-диск — простейшая возможная поверхность в простейшем четырёхмерном шаре, и даже для простейшего края класс всех таких объектов не описан. По её словам, неизвестно даже строение множества компонент связности пространства всех ribbon-дисков с краем-тривиальным узлом. Это хорошо показывает, насколько четырёхмерная топология ещё далека от полного понимания.

Источники

Оговорка о статусе источников: все формулировки теорем и результатов в этом обзоре приведены по транскрипту интервью и научно-популярным статьям Quanta, а также по авторским страницам Мэгги Миллер. Рецензируемых статей с полным текстом в распоряжении не было, поэтому точные условия теорем (компактность, ориентируемость, отсутствие края) и детали доказательств здесь не воспроизводятся.

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

Фото: David Rado / Pexels