Совершенная строгость. Григорий Перельман. Гений и задача тысячелетия - Маша Гессен

Перельман написал, что если Андерсон отправит ему файл в Институт им. Стеклова, то другие смогут его увидеть. Поэтому он может, в конце концов, подождать публикации этой статьи. Другими словами, Перельман получил от контакта с коллегой все, что хотел.

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

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

Прошло два с половиной года, прежде чем Перельман снова дал о себе знать.

"Самая возможность математического познания кажется неразрешимым противоречием"[2], — более века назад писал Анри Пуанкаре, известный среди математиков как последний универсалист — он преуспел во всех областях математики. Если математические объекты — только плод интуиции, то "откуда у нее [математики] берется та совершенная строгость, которую никто не решается подвергать сомнению"? И если законы формальной логики заменяют в математике эксперимент, то "каким образом математика не сводится к бесконечной тавтологии»? И неужели "возможно допустить, что изложение всех теорем, которые занимают столько томов, есть не что иное, как замаскированный прием говорить, что Л есть Л"?

Согласно Пуанкаре, математика все-таки является наукой, поскольку математические рассуждения предполагают движение от частного к общему. Математик, который строит суждения с достаточной строгостью, может вывести законы, действительные для остального поля его взаимодействия с другими математиками. Иными словами, он не только способен доказать, что Л есть Л, но и объяснить, почему Л — это Л и ничто иное и где мы можем отыскать или построить другие Л.

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

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

На заре математики Евклид говорил о вещах, которые казались сами собой разумеющимися. В своем главном труде, в "Началах", он привел пять постулатов, пять аксиом и 35 определений[3] — от определения точки ("то, что не имеет частей") до определения параллельных прямых (это прямые, "которые, будучи продолжены в обе стороны неограниченно, ни с той, ни с другой стороны между собой не встречаются"). Кроме того, Евклид объявляет (аксиома 1), что "равные одному и тому же равны и между собой".

Пять постулатов Евклида гласят:

1.От всякой точки до всякой точки можно провести прямую линию.

2.Ограниченную прямую можно непрерывно продолжать по прямой.

3.Из всякого центра всяким раствором может быть описан круг.

4.Все прямые углы равны между собой.

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

Строго говоря, даже в этих пяти утверждениях слишком многое принимается как данность. "Мне говорили, что Евклид все доказывал, и я был очень разочарован тем, что он начал с аксиом, — вспоминал Бертран Рассел о своем первом знакомстве с "Началами" в детстве. — Я отказывался принимать их на веру, пока брат не назовет мне вескую причину для этого. Он сказал, что если я этого не сделаю, мы не сможем двигаться дальше. Поскольку учиться я хотел, то скрепя сердце согласился".

Сначала первые четыре постулата Евклида принимались на веру им самим, его современниками и многими поколениями математиков. Они описывают пространство, которое мы можем не просто вообразить, но даже увидеть воочию. Их можно проверить эмпирически, нацарапав линию чем-нибудь острым, проведя окружность циркулем или натянув кусок веревки. Даже если длина сегмента окружности или ее радиус будут такими, что человеческий глаз не сможет их охватить, свойства их не изменятся. Это было очевидно и не нуждалось в доказательствах.

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

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