Марио Ливио - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Об узлах даже слагают легенды. Наверняка вы помните древнегреческую легенду о Гордиевом узле. Оракул предсказал жителям Фригии, что их следующим царем будет первый, кто въедет в столицу на повозке, запряженной быками. Так царем стал Гордий – землепашец, который, ни о чем не подозревая, въехал в город именно в тот день. Преисполнившись благодарности, Гордий посвятил богам свою повозку и привязал ее к шесту сложнейшим узлом, который никому не удавалось развязать. Затем было получено пророчество, что тот, кто развяжет узел, станет властелином всей Азии. Судьба распорядилась так, что развязал узел (дело было в 333 году до н. э.) не кто иной, как Александр Македонский, и он и в самом деле впоследствии захватил всю Азию. Однако его решение мы не назвали бы ни изящным, ни даже честным: рассказывают, что он просто разрубил узел мечом!

Однако, чтобы познакомиться с узлами, нам не нужно углубляться в историю Древней Греции. Ребенок, завязывающий шнурки, девушка, заплетающая косу, бабушка, вяжущая свитер, моряк, швартующий судно, – все они прибегают к помощи тех или иных узлов. Узлам дают всякие неожиданные названия – «рыбацкий штык», «кошачья лапа», «мартышкина цепочка», «канадская восьмерка», «тещин узел» и «эшафотный узел» [144] Интересная книга о вязании морских узлов – Ashley 1944. . А в истории морские узлы сыграли такую важную роль, что в XVII веке в Англии им посвятили огромное множество книг. Одну из них, кстати, написал тот самый английский моряк и искатель приключений Джон Смит (1580–1631), который прославился романтическими отношениями с индейской принцессой Покахонтас.

Математическая теория узлов родилась в 1771 году, когда была опубликована статья французского математика Александра Теофила Вандермонда (1735–1796) [145] Vandermonde 1771. Превосходный обзор истории теории узлов можно найти в Przytycki 1992. Введение в саму теорию, изложенное живо и весело, представлено в Adams 1994. Популярные книги по этой теме – Neuwirth 1979, Peterson 1988 и Menasco and Rudolph 1995. . Вандермонд первым понял, что узлы можно изучать в рамках геометрии расположения , иначе называемой топологией , которая изучает исключительно соотношения, зависящие от взаимного расположения, не обращая внимания на размеры и вычисления. Следующим математиком, внесшим вклад в формирование теории узлов, был «Князь математики» немецкий ученый Карл Фридрих Гаусс. В заметках Гаусса содержатся рисунки и детальные описания узлов, а также аналитические исследования их качеств. Однако при всей значимости работ Вандермонда, Гаусса и нескольких других ученых XIX века главный толчок в развитии современной математической теории узлов был сделан с неожиданной стороны – при попытке объяснить структуру вещества. Эта идея зародилась в голове прославленного английского физика Уильяма Томсона, который в наши дни известен как лорд Кельвин (1824–1907). Томсон сосредоточил свои усилия на формулировке теории атомов, основного строительного материала вещества [146] Прекрасный обзор представлен в Sossinsky 2002 и Atiyah 1990. . Он предложил весьма оригинальную гипотезу: атомы – это узлы, завязанные из трубочек эфира, загадочной субстанции, которая, как тогда полагали, пронизывает все пространство. Согласно этой модели, разнообразие химических элементов как раз и объясняется богатейшим разнообразием узлов.

Рис. 54

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

Как я уже объяснил в главе 1, математический узел выглядит совсем как знакомый каждому узел на шнуре, только концы шнура намертво сращены. Иначе говоря, математический узел изображается замкнутой кривой без свободных концов. Несколько примеров приведено на рис. 54, где трехмерные узлы изображены в виде проекций (теней) на плоскости. Чтобы обозначить положение любых двух участков шнура в пространстве, при пересечении двух участков шнура нижний участок изображается прерванной линией.

Самый простой узел, так называемый тривиальный , или незаузленный узел, – это просто замкнутая кривая без узлов (рис 54, а). Трилистник (рис. 54, b) имеет три пересечения, а восьмерка (рис. 54, с) – четыре. По теории Томсона эти три узла могли, в принципе, служить моделями трех атомов возрастающей сложности – например, атомов водорода, углерода и кислорода соответственно. К тому времени назрела насущнейшая необходимость в создании полной классификации узлов, и за нее взялся друг Томсона, шотландский физик и математик Питер Гатри Тэт (1831–1901).

Когда математики изучают узлы, то задаются примерно теми же вопросами, что и простые смертные, когда смотрят на обычную завязанную веревку или запутанный моток шерсти. Это и правда узел? Эквивалентны ли эти узлы друг другу? Последний вопрос можно переформулировать понятнее: можно ли преобразовать один узел в другой, не разрывая шнуры и не проталкивая один участок шнура сквозь другой, словно сцепленные кольца в руках фокусника? То, насколько это важный вопрос, видно на рис. 55, где показано, как при помощи определенных манипуляций можно получить два совсем разных облика одного узла. В конечном итоге теория узлов ищет способы строго доказать, что те или иные узлы, например трилистник или восьмерка (рис. 54, b и 54, c), и в самом деле разные, игнорируя чисто внешние различия других узлов, например тех двух, которые изображены на рис. 55.

Рис. 55

Свою работу над классификацией Тэт начал отнюдь не с поиска легких путей [147] Tait 1898, Sossinsky 2002. Краткую и отлично написанную биографию Тэта можно найти в O’Connor and Robertson 2003. . Поскольку Тэт не располагал никакими строгими математическими принципами и руководствоваться было нечем, он составлял списки кривых с одним пересечением, двумя пересечениями, тремя и так далее. В сотрудничестве с достопочтенным Томасом Пенингтоном Киркманом (1806–1895), также математиком-любителем, он начал разбирать кривые, чтобы исключить повторы эквивалентных узлов. Задача была отнюдь не тривиальная. Надо понимать, что у каждого пересечения есть два варианта того, какой из участков шнура лежит сверху. Это означает, что если кривая содержит, скажем, семь пересечений, нужно рассмотреть 2 × 2 × 2 × 2 × 2 × 2 × 2 = 128 узлов. То есть человеческой жизни заведомо не хватит, чтобы подобным интуитивно очевидным образом расклассифицировать узлы более чем с десятью пересечениями. Тем не менее труды Тейлора не остались незамеченными. Великий Джеймс Клерк Максвелл, сформулировавший классическую теорию электричества и магнетизма, отнесся к теории атома Томсона с большим почтением и сказал, что она «удовлетворяет большему числу требований, чем все остальные модели атома, представленные по сей день». Он прекрасно знал, какой вклад сделал в это начинание Тэт, и даже сочинил по этому поводу эпиграмму (Knott 1911).