Что и возвращает нас к Дайне Таймине, с которой я встретился в Лондоне на южном берегу Темзы, представляющем собой набережную-променад, вдоль которой располагаются театры, художественные галереи и кинотеатры. Она кратко напомнила мне историю гиперболических пространств — предмет, который она преподавала в качестве ассистента в Корнеллском университете. Из Гильбертова доказательства невозможности описания гиперболического пространства с помощью формулы, сообщила она мне, имелось следствие: компьютеры также оказались не в состоянии создавать образы гиперболических поверхностей, потому что компьютеры могут создавать только образы, основанные на формулах. Однако в 1970-х годах геометр Уильям Тёрстон (р. 1946) предложил подход, хоть и не основанный на высоких технологиях, но оказавшийся весьма плодотворным. Не обязательно обладать формулой для создания гиперболической модели, говорит Тёрстон, все, что требуется, — это бумага и ножницы. Тёрстон, которому в 1981 году была присуждена Филдсовская медаль (высшая награда для математика) и который теперь был коллегой Дайны в Корнеллском университете, предложил модель, состоявшую в соединении друг с другом бумажных кусочков, имеющих форму подковы.
Дайна использовала модель Тёрстона на занятиях со студентами, но модель оказалась столь хрупкой, что неизменно рассыпалась на части, и Дайне каждый раз приходилось делать новую. «Ненавижу склеивать бумагу. Это занятие сводит меня с ума», — жаловалась она. И тут ей пришла в голову свежая идея — что, если вместо бумаги попробовать связать модель гиперболической плоскости?
Идея ее была проста: наберем один ряд петель, а затем в каждом следующем ряду будем прибавлять некоторое заданное количество петель. Например, можно прибавлять по одной петле через каждые две. В таком случае, если мы начали с ряда из 20 петель, то во втором ряду их будет 30 (мы добавили 10), в третьем — 45 (мы добавили 15) и т. д. (В четвертом должно оказаться 22,5 дополнительные петли, но, поскольку полпетли связать невозможно, будем округлять до большего или меньшего их целого числа.) По замыслу Дайны должен был получиться кусок вязаного полотна, который будет становиться все шире и шире, как будто он гиперболически расширяется сам из себя. Однако вязание на спицах — дело довольно хлопотное, из-за одной ошибки порой приходится распускать весь ряд. Поэтому вместо спиц Дайна взяла вязальный крючок. Если вязать крючком, то легче исправить ошибку, потому что в процессе вязания на крючке всего одна петля. Так что она довольно быстро приноровилась. Помогла еще и настойчивость в овладении рукоделием — привычка, приобретенная в детстве, которое она провела в 1960-х годах в Латвии.
В своей первой вязаной модели она добавляла в каждом ряду по одной петле через каждые две, как и в нашем примере, упомянутом выше. В результате, однако, получился кусок с большим количеством плотных сборок. «Как-то он слишком сильно скручивался, — объяснила она, — и не удавалось толком разглядеть, что же там происходит». Поэтому для второй модели она решила попробовать другой вариант, прибавляя в каждом ряду одну петлю через каждые пять. Результаты превзошли ожидания. Теперь получившееся полотно фалдило как надо. Дайна выбрала и отметила прямые линии, входящие в расширяющиеся «складки» и выходящие из них, и сразу увидела, что удается проследить за тем, как эти исходно параллельные линии расходятся друг от друга. «Именно такую картину я всегда и хотела увидеть, — сияла она от радости. — Давно не получала такого удовольствия. Разве это не здорово — сделать своими руками то, чего не удается сделать на компьютере».
Дайна показала модель гиперболического кроше своему мужу, и он пришел в такой же восторг. Дэвид Хендерсон — профессор геометрии в Корнеллском университете, специализирующийся на топологии, про которую Дайна, по ее словам, вообще ничего не знает. Он объяснил ей, что топологам давно известно, что, когда на гиперболической плоскости нарисован восьмиугольник, его можно сложить таким образом, что он будет напоминать штаны. «Надо построить восьмиугольник!» — сказал он ей, и именно так они и сделали. «Никто раньше никогда не видел гиперболических штанов!» — воскликнула Дайна, открыла спортивную сумку, достала оттуда связанный ею гиперболический восьмиугольник и показала мне, как он складывается. Получилось нечто, очень похожее на детские вязаные штанишки.
Новость о связанных Дайной моделях разлетелась по математическому факультету Корнеллского университета. Дайна рассказала мне, как она показала свою модель одному из коллег, который, как ей было известно, пишет работы о гиперболических плоскостях. «Он рассмотрел модель и начал складывать ее так и сяк. Вдруг лицо его просияло. „Так вот как выглядит ороцикл!“ — воскликнул он, имея в виду очень сложный тип кривых, которые до того ему никак не удавалось изобразить. На протяжении всей своей научной карьеры он писал о них, — поясняет Дайна, — но они так и оставались лишь в его воображении».
Не будет преувеличением сказать, что гиперболические модели Дайны способствовали более глубокому пониманию концепций, которые относятся к довольно неблагодарной области математики. Ее модели дали студентам возможность почувствовать гиперболическую плоскость, потрогать и пощупать поверхности, которые прежде подлежали только абстрактному пониманию. Эти модели, однако, не идеальны. Одна из проблем состоит в том, что из-за толщины пряжи и неровности петель вязаные модели — лишь грубое приближение к тому, что в идеале должно быть гладкой поверхностью. И тем не менее они намного универсальнее и точнее, чем чипсы «Принглс». Если бы кусок вязаной гиперболической поверхности имел бесконечное число линий, то теоретически на ней можно было бы жить, и более того — отправиться в бесконечно долгое путешествие в выбранном направлении и никогда не дойти до края.
* * *
Одно из достоинств моделей, связанных Дайной, состоит в том, что они, как оказалось, неожиданным образом выглядят вполне естественно, если учесть, насколько формальны они по своей сути. Если в каждом ряду прибавлять по петле через относительно большие промежутки, то модель будет похожа на капустный лист. При большем же увеличении числа прибавляемых петель (то есть если прибавлять петли чаще) полотно естественным образом будет складываться в нечто, напоминающее коралл. Дайна прилетела в Лондон по причине открытия инспирированной ее моделями выставки «Вязаный гиперболический коралловый риф», цель которой состояла в привлечении внимания к уничтожению морской среды. Благодаря своему математическому новаторству Дайна нечаянно породила глобальное движение любителей вязания крючком.
За последние десять лет Дайна связала более сотни гиперболических моделей. Самую большую из них она привезла с собой в Лондон. Она розового цвета, на нее пошло 5,5 километра пряжи, ее вес 4,5 килограмма. Дайна вязала ее шесть месяцев. Завершающие этапы работы были настоящим испытанием. «По мере того как она тяжелела, поворачивать ее становилось все труднее». Замечательное свойство модели — это ее невероятно большая поверхность, площадь которой составляет 3,2 квадратных метра (что в два раза превосходит площадь поверхности самой Дайны). Гиперболические поверхности дают максимальные площади при минимальном объеме, и именно поэтому их так любят некоторые растения и морские организмы. Когда организму требуется большая площадь поверхности — скажем, как в случае с кораллами, для поглощения пищи, — он растет гиперболическим образом.
Маловероятно, что Дайна пришла бы к идее связать гиперболическую поверхность, если бы она родилась мужчиной, и это делает ее изобретения заметным событием в культурологической истории математики, где женщины в течение долгого времени были представлены в весьма малой степени. На самом деле вязание крючком — лишь один из немногих примеров традиционно женских рукоделий, вдохновляющих математиков на исследование новых подходов. Математическое вязание, производство килтов, вышивка и ткачество — все это даже составляет университетский курс, известный как «математика и текстильные ремесла».
* * *
Когда гиперболическое пространство впервые предстало перед мысленным взором ученых, казалось, что оно устроено наперекор всякому чувству реальности, но со временем оно заняло свое место как явление ничуть не менее «реальное», чем плоская или сферическая поверхность. Каждая поверхность имеет свою собственную геометрию, и нам следует выбрать ту из них, которая окажется самой подходящей, — или, как однажды заметил Анри Пуанкаре, «одна геометрия не может быть более истинной, чем другая; она может лишь быть более удобной». Евклидова геометрия, например, лучше всего подходит для школьников, вооруженных линейками, циркулями и плоскими листами бумаги, в то время как сферическая геометрия больше годится для авиапилотов, прокладывающих маршрут для своего самолета.
