Карта → линии → сквозной сюжет

Нить пятого постулата

модель, в которой аксиома ложна: изобретение геометров, ставшее инструментом логиков

Пятый постулат Евклида вчетверо длиннее остальных четырёх, выглядит не как очевидность, а как теорема, — и сам Евклид откладывает его применение до двадцать девятого предложения, будто надеется обойтись (Александрия, ок. 300 до н. э.). Двадцать два века математики пытались оправдать это подозрение: вывести пятый постулат из первых четырёх.

Осада. Хайям разбирает четырёхугольник с двумя прямыми углами и тремя возможностями для верхних — по существу три геометрии сразу, — но лишний случай отвергает не математикой, а ссылкой на Аристотеля (Исфахан, 1077). Ат-Туси пишет отдельный трактат о параллельных (Марага, 1250); через триста лет его имя окажется на чужом тексте, и именно эта подделка запустит европейский этап осады. Саккери принимает отрицание постулата и выводит из него теорему за теоремой, надеясь дойти до противоречия (Павия, 1733). Противоречия нет: он доказывает десятки верных утверждений будущей геометрии Лобачевского — и объявляет их «противоречащими природе прямой линии». Умирает в год выхода книги.

Прорыв. В Казани постулат объявлен необязательным, и на его отрицании строится полноценная наука с тригонометрией и формулами объёмов (1826). В Тимишоаре то же самое и независимо делает Янош Бойяи: «из ничего я создал новый, иной мир» (1832). Гаусс к этому времени знает ровно столько же и молчит — а его ответ отцу Бойяи, что хвалить он не может, потому что похвалил бы себя, ломает автора.

Развязка не та, которую искали. Бельтрами строит модель: геометрия Лобачевского реализуется на поверхности постоянной отрицательной кривизны и на круге с особым измерением расстояний (Болонья, 1868). Отсюда следует не «постулат ложен», а нечто более сильное: если новая геометрия противоречива, то противоречива и евклидова. Значит, вывести постулат нельзя — и спор двух тысячелетий закрывается не доказательством и не опровержением, а построением. Ни Лобачевский, ни Бойяи до этого дня не дожили.

Эстафета. Приём — «докажи независимость, построив модель, где утверждение ложно» — оказался сильнее задачи, ради которой его придумали. Гильберт превращает его в метод: неархимедова геометрия, недезаргова плоскость, непаскалева геометрия — модели независимости, поставленные на поток («Основания геометрии», Гёттинген, 1899). Мальцев доказывает теорему, из которой модели получаются почти автоматически (Иваново, 1936). А дальше тем же приёмом закрывают континуум-гипотезу (Гёдель, 1940; Коэн, 1963) и возвращают в анализ бесконечно малые, изгнанные оттуда двумя веками раньше (Робинсон, 1960).

Побочно выяснилось и устройство мира. Риман спросил, какая геометрия у пространства, в котором мы живём (Гёттинген, 1854); через шестьдесят лет Эйнштейн ответил, что она определяется тем, что в этом пространстве находится (Берлин, 1915). Геометрия, придуманная как заведомо ложная, оказалась геометрией мира — а главный инструмент логиков XX века изобрели геометры, воевавшие с одной строчкой в книге, написанной за двадцать два века до того.

Открыть на карте

1

Александрия ок. 300 г. до н. э.
«Начала» — и подозрение о пятом постулате
Завязка: пятый постулат вчетверо длиннее остальных и выглядит как теорема — сам Евклид откладывает его до двадцать девятого предложения

Тринадцать книг, 465 предложений, выведенных из пяти постулатов и пяти аксиом. И сразу — трещина: пятый постулат вчетверо длиннее остальных, выглядит как теорема, и сам Евклид откладывает его применение до двадцать девятого предложения. Отсюда начинается самая долгая драма в истории математики.
2

Исфахан конец 1077
Хайям: четырёхугольники против постулата
Осада начинается: три случая для верхних углов четырёхугольника — по существу три геометрии сразу

В «Комментариях к трудностям во введениях книги Евклида» Омар Хайям разбирает четырёхугольник с двумя прямыми углами при основании и равными боковыми сторонами и рассматривает три возможности для верхних углов. По существу это исследование трёх геометрий сразу — за 750 лет до Лобачевского. Остроугольный случай он отвергает не математически, а по «принципу Аристотеля».
3

Марага ок. 1250 г.
Ат-Туси в Мараге
Марага: трактат о параллельных, который через триста лет попадёт в Европу под чужим именем

Насир ад-Дин ат-Туси, глава крупнейшей обсерватории Средневековья, пишет отдельный трактат о параллельных — и тоже упирается в скрытую эквивалентность. Через триста лет в Риме напечатают под его именем чужой текст, и именно эта подделка попадёт к Валлису и Саккери, запустив европейский этап осады.
4

Павия 1733
«Евклид, очищенный от всех изъянов»
Последняя попытка от противного: выведены десятки теорем будущей геометрии Лобачевского — и объявлены противоречащими природе прямой

Джироламо Саккери принимает отрицание пятого постулата и выводит из него теорему за теоремой, надеясь дойти до противоречия. Противоречия нет — он доказывает десятки верных утверждений геометрии Лобачевского и объявляет их «противоречащими природе прямой линии». Умирает в год выхода книги, так и не поняв, что открыл.
5

Дерпт Казань 1808–1820, Дерпт 1821–1836
Бартельс: учитель Гаусса и Лобачевского
Ниточка из Брауншвейга в Казань: один учитель у Гаусса и у Лобачевского

Мартин Бартельс учил арифметике девятилетнего Гаусса в Брауншвейге, а через двадцать лет читал математику Лобачевскому в Казани, откуда уехал профессором в Дерпт. Передал ли он гауссовы сомнения в пятом постулате — вопрос, на который у историков нет положительного ответа; и это хороший повод поговорить о том, как проверяются родословные идей.
6

Казань 23 февраля 1826
Казань, 23 февраля 1826 года
Прорыв: постулат объявлен необязательным, и на его отрицании строится полноценная наука

Лобачевский докладывает «Краткое изложение начал геометрии» — день рождения неевклидовой геометрии как публичного события. Он не просто отвергает пятый постулат, а строит на его отрицании полноценную науку с тригонометрией, формулами площадей и объёмов — и предлагает проверить, какая геометрия у нашего мира, астрономическими измерениями. Признания он не дождётся.
7

Гёттинген 8 октября 1827
Гаусс: внутренняя геометрия поверхностей
В столе: кривизна измеряется изнутри поверхности — значит, новая геометрия где-то живёт. Гаусс это знал и молчал

«Disquisitiones generales circa superficies curvas»: кривизна поверхности вычисляется изнутри неё самой и не меняется при изгибании — theorema egregium. Отсюда следует и невозможность точной карты Земли, и то, что геометрия Лобачевского есть геометрия поверхности постоянной отрицательной кривизны. О последнем Гаусс знал и молчал, опасаясь «крика беотийцев».
8

Тимишоара письмо отцу — 3 ноября 1823; «Appendix» — 1832
«Из ничего я создал новый, иной мир»
Второй прорыв, независимо, — и ответ Гаусса, который ломает автора

Янош Бойяи строит «абсолютную науку о пространстве» — систему теорем, верных сразу в обеих геометриях, — и печатает её 26-страничным приложением к учебнику отца. В ней есть и то, чего нет у Лобачевского: доказательство, что в неевклидовой геометрии квадратура круга возможна. Ответ Гаусса ломает его.
9

Гёттинген 10 июня 1854
Один день — две математики
Геометрий столько, сколько метрик, — и впервые задан вопрос, какая из них у нашего мира

Габилитация Римана: лекция о гипотезах в основании геометрии (на неё пришёл престарелый Гаусс) и первое общее определение интеграла — в одной работе. Один из самых плотных научных дней в истории.
10

Болонья 1868
Модель Бельтрами: непротиворечивость
Развязка: построена модель, где постулат ложен. Значит, вывести его нельзя — спор двух тысячелетий закрыт не доказательством, а построением

Эудженио Бельтрами строит модель: геометрия Лобачевского реализуется на поверхности постоянной отрицательной кривизны и на круге со специально устроенным измерением расстояний. Отсюда следует главное — если гиперболическая геометрия противоречива, то противоречива и евклидова. Спор двух тысячелетий закрыт; Лобачевский и Бойяи до этого не дожили.
11

Гёттинген 1899
Гильберт: «Основания геометрии»
Эстафета основаниям: приём геометров становится методом — неархимедова, недезаргова, непаскалева геометрии как доказательства независимости

Двадцать одна аксиома вместо пяти постулатов — и требование, чтобы смысл слов «точка» и «прямая» нигде в доказательстве не использовался. Заодно обнаруживается неожиданное: каждой геометрической аксиоме отвечает алгебраическое свойство координат, и теорема Паппа оказывается коммутативностью умножения, записанной фигурами.
12

Берлин 4–25 ноября 1915
ОТО: гравитация — это кривизна
Вторая развязка, физическая: геометрия, придуманная как заведомо ложная, оказывается геометрией мира

Четыре доклада в Прусской академии за четыре недели. Гравитация оказывается не силой, а кривизной пространства-времени; уравнения поля записаны через тензор Риччи. Шестидесятилетний вопрос Римана — какова геометрия мира — получает ответ: она определяется тем, что в мире находится.
13

Иваново 1936
Мальцев: теорема компактности и рождение теории моделей
Строить модели становится ремеслом: если модель есть у каждого конечного куска, она есть и у всего сразу

Теорема, без которой нет ни нестандартного анализа, ни современной теории моделей, доказана преподавателем Ивановского пединститута, куда его распределили после университета. Через пять лет он же покажет, как переводить ею теоремы логики в теоремы алгебры.
14

Стэнфорд Принстон, 1940; Стэнфорд, 1963
Гёдель и Коэн: вопрос без ответа
Тем же приёмом закрыта первая проблема Гильберта: континуум-гипотезу нельзя ни доказать, ни опровергнуть

Есть ли мощность между счётной и континуумом? Гёдель показывает, что «нет» опровергнуть нельзя, Коэн — что доказать тоже нельзя. Вопрос, которому Кантор посвятил жизнь, оказывается неразрешимым в принципе.
15

Принстон 1960–61; Лос-Анджелес, 1962–66
Нестандартный анализ: призраки реабилитированы
И тем же приёмом в анализ возвращены бесконечно малые, изгнанные оттуда двумя веками раньше

Абрахам Робинсон средствами математической логики строит поле гипердействительных чисел: бесконечно малые существуют законно. Лейбниц был прав — через 230 лет после насмешек Беркли.