Леонард Млодинов - Евклидово окно. История геометрии от параллельных прямых до гиперпространства

Оставалось преодолеть последнее препятствие — прочитать пробную лекцию. Риман представил факультету на выбор три темы. Такова была традиция — выбирать тему лекции нового преподавателя. На всякий случай Риман хорошенько подготовился к первой и второй. Гаусс, баловник эдакий, выбрал третью.

Третьим вариантом Риман предложил тему, которая, очевидно, его интересовала, но он в ней разбирался неважно. Большинство академических ученых, проходя собеседование на работу и специализируясь на политике Люксембурга, не станут предлагать тему пробного выступления «О шриланкийских рептилиях», даже если она стоит третьей в их списке интересов. Когда Гаусс, к тому времени уже тяжело больной и уведомленный врачом о близкой смерти, выбрал третью тему Римана, тот, возможно, спросил себя: «О чем я вообще думал?» Эта самая третья тема звучала так: «Uber die Hypothesen welche der Geometrie zu grunde liegen» («О гипотезе, лежащей в основе геометрии»). Формулируя эту тему, он знал, как дорога она была Гауссу практически всю его жизнь.

Дальнейшее состояние Римана понятно: несколько недель он переживал что-то вроде нервного срыва — пялился в стену, парализованный свалившимся бременем. Наконец, с приходом весны, он как-то собрался и за семь недель склепал лекцию. Прочитал он ее 10 июня 1854 года. Это был тот редкий случай в истории, когда точная дата и подробности профессионального собеседования сохранились для потомков.

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

Подобно Пуанкаре, Риман дал свою интерпретацию понятий «точка», «прямая» и «плоскость». В качестве плоскости он выбрал поверхность сферы. Его точки, как и у Пуанкаре, были местоположениями — в том же смысле, в каком Декарт имел в виду пары чисел, они же координаты (по сути — широта и долгота той или иной точки). Линиями Римана оказались большие круги — геодезические линии сферы.

Как и для модели Пуанкаре, необходимо было подтвердить, что модель Римана допускает непротиворечивые интерпретации постулатов. Сейчас самое время вспомнить, что уже доказана невозможность существования эллиптического пространства. Разумеется, обнаружилось, что в модели Римана имеются кое-какие нестыковки. Мало создать пространство на основе новой версии постулата параллельности — риманово пространство противоречило существующим версиям и других постулатов. Например, возьмем второй. Евклид писал:

Применим ли этот постулат к отрезкам больших кругов сферы? До Римана второй постулат интерпретировали в том значении, что должен существовать отрезок сколь угодно большой длины. Но у большого круга есть предел — длина окружности, в 2π раз больше радиуса этой самой сферы.

Даже в математике иногда полезно нарушать законы. Риман стал Розой Паркс, отказавшейся пересесть в хвост автобуса [182]: он поставил под вопрос не неправедное, но неоправданное. Он постановил, что второй постулат описывает не существование сколь угодно длинных отрезков, а лишь гарантирует, что у прямых нет конца, а это верно для больших кругов. Математический Верховный суд — сообщество математиков, — услышав это, почесал в затылках. Каковы последствия новой интерпретации закона юным Риманом? Не противоречит ли это другим законам? Можно ли сделать его не противоречащим?

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

Понятие промежуточности тоже оказалось непросто интерпретировать. Евклид основывал это понятие на первом постулате:

Чтобы найти точку между двумя другими, Евклид рисовал отрезок, соединяющий эти две точки. Любая точка (отличная от концевых) на этом отрезке находится «между» двумя концевыми. Каверза модели Римана заключается в том, что любые две точки можно соединить по окружности двумя способами. Индонезия — она между экваториальной Африкой и экваториальной Южной Америкой? Чтобы ответить на этот вопрос, можно провести линию вдоль экватора, соединяющую два континента, и проверить, проходит ли она через Индонезию. Но в рамках римановой модели можно попасть из Южной Америки в Африку, отправившись хоть на запад, хоть на восток. Один маршрут проходит через Индонезию, а другой — нет.