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

Проще говоря, по Канту, если мы воспринимаем какой-то предмет, этот предмет непременно пространственный и евклидовский.

Идеи Юма и Канта выдвинули на первый план два разных, но одинаково важных аспекта, традиционно приписываемых евклидовой геометрии. Первое – утверждение, что евклидова геометрия дает единственно возможное точное описание физического пространства. Второе – отождествление евклидовой геометрии с жесткой, не подлежащей сомнению и непогрешимой дедуктивной структурой. В совокупности эти два предполагаемых качества предоставляли математикам, физикам и философам неоспоримые доказательства, что существуют незыблемые и конкретные истины, описывающие вселенную. До XIX века подобные утверждения воспринимались как данность. Но верны ли они на самом деле?

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

Первые четыре постулата Евклида крайне просты и на удивление лаконичны[100]. Первый из них, к примеру, гласит, что «от всякой точки до всякой точки можно провести прямую линию» (здесь и далее цитаты из «Начал» Евклида даны в пер. Д. Мордухай-Болтовского). Четвертый – что «все прямые углы равны между собой». А вот пятый постулат – «постулат о параллельности» – сформулирован уже сложнее и значительно менее очевиден: «Если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то эти две прямые, продолженные неограниченно, встретятся с той стороны, где углы меньше двух прямых». На рис. 39 приведен чертеж, иллюстрирующий этот постулат. В истинности этого утверждения никто не сомневался, однако ему явно не хватает краткости и убедительности остальных постулатов. Все указывает на то, что пятый постулат не очень нравился и самому Евклиду: он не прибегает к нему при доказательстве первых двадцати восьми теорем в «Началах»[101]. Эквивалентный вариант «пятого постулата», который чаще всего цитируется в наши дни, впервые появился в комментариях греческого математика Прокла в V веке, однако широко известен как «аксиома Плейфэра» в честь шотландского математика Джона Плейфэра (1748–1819). Он гласит: «если дана линия и точка, лежащая вне ее, через эту точку возможно провести одну и только одну линию, параллельную данной» (см. рис. 40). Два варианта постулата эквивалентны в том смысле, что аксиома Плейфэра (вместе с другими аксиомами) требует первоначального пятого постулата Евклида или наоборот.

С течением веков недовольство пятым постулатом росло, и это привело к целому ряду неудачных попыток все-таки доказать его на основании остальных постулатов и аксиом или заменить его каким-то более очевидным постулатом. Когда эти попытки провалились, другие геометры попытались ответить на интересный вопрос из серии «А что, если»: а что, если пятый постулат на самом деле неверен? Размышления в этом направлении порождали неприятные сомнения в том, так ли уж самоочевидны евклидовы аксиомы – может быть, они просто основаны на повседневном опыте?[102] А окончательный – и крайне неожиданный – вердикт был вынесен в XIX веке: можно создать новые виды геометрий, если произвольно выбрать постулат, отличающийся от пятого постулата Евклида. Более того, эти «неевклидовы» геометрии в принципе способны описывать физическое пространство с той же точностью, что и евклидова!

Рис. 39

Рис. 40

Позвольте мне сделать здесь небольшую паузу, чтобы уяснить значение выражения «произвольно выбрать». В течение тысячелетий евклидова геометрия считалась уникальной и неизбежной – единственно верным описанием пространства. А когда стало ясно, что можно выбирать постулаты произвольно и получать при этом не менее логичное описание пространства, вся концепция перевернулась с ног на голову. Надежная, тщательно выстроенная дедуктивная схема вдруг стала больше похожа на игру, в которой постулаты играли роль правил и не более того. Возьмешь другие постулаты – сыграешь в другую игру. Это открытие имело поистине сокрушительные последствия для понимания природы математики.

Почву для решительной атаки на евклидову геометрию подготовили сразу несколько математиков, обладавших широким мировоззрением. Особенно выделялись среди них иезуит Джироламо Саккери (1667–1733), исследовавший то, к каким последствиям может привести замена пятого постулата каким-то другим утверждением, и немецкие математики Георг Клюгель (1739–1812) и Иоганн Генрих Ламберт (1728–1777), которые первыми поняли, что могут существовать и другие геометрии, альтернативные евклидовой. И все же нужен был кто-то, кто забил бы последний гвоздь в крышку гроба представлений о том, что единственное возможное описание пространства – это евклидова геометрия. Заслуга принадлежит троим математикам – из России, Венгрии и Германии.

Странные новые миры

Первым, кто опубликовал целый трактат о новом типе геометрии – геометрии, выстроенной на поверхности в форме выгнутого седла (рис. 41, а) – был русский математик Николай Иванович Лобачевский (1792–1856; рис. 42). В геометрии такого рода (получившей название гиперболической геометрии) пятый постулат Евклида заменен утверждением, что если даны линия на плоскости и точка, лежащая на этой плоскости вне данной прямой, через эту точку параллельно данной прямой можно провести не менее двух прямых. Другое важное отличие геометрии Лобачевского от Евклидовой заключалось в том, что если у Евклида сумма углов треугольника всегда равна 180° (рис. 41, b), то у Лобачевского она всегда меньше 180°. Поскольку работа Лобачевского была напечатана в никому не известном журнале «Казанский вестник», она прошла практически незамеченной, пока в конце 1830 годов не стали появляться переводы на французский и немецкий. Молодой венгерский математик Янош Бойяи (1802–1860), ничего не знавший о работе Лобачевского, разработал похожую геометрию в 1820-е годы[103]. Полный юношеского энтузиазма, Янош писал в 1823 году своему отцу Фаркашу Бойяи (рис. 43): «Я открыл такое великолепие, что сам потрясен… я из ничего создал совершенно новый мир». К 1825 году Янош уже был готов показать старшему Бойяи первые черновики новой геометрии. Рукопись называлась «Наука о пространстве, абсолютно истинная»[104]. Несмотря на восторг молодого человека, его отец сильно сомневался в том, что в идеях Яноша есть здравое зерно. Тем не менее он решил опубликовать новую геометрию в виде приложения к собственному двухтомному трактату об основах геометрии, алгебры и анализа (которому дал завлекательное, по своему мнению, название «Рассуждение о началах математики для прилежной молодежи»). Экземпляр книги Фаркаш послал в июне 1831 года своему другу Карлу Фридриху Гауссу (1777–1855; рис. 44) – не просто самому выдающемуся математику того времени, но человеку, которого наряду с Архимедом и Ньютоном считают одним из трех величайших математиков всех времен. Однако из-за свирепствовавшей тогда холеры книга затерялась, и Фаркаш был вынужден послать второй экземпляр. Шестого марта 1832 года Гаусс написал ему ответ, и высказанные там замечания не оправдали надежд юного Яноша.

Рис. 41

Рис. 42

Рис. 43

Рис. 44

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

Позвольте подчеркнуть, что Гаусс, очевидно, боялся, что последователи Канта, которых он называл «беотийцами» (для древних греков это было синонимом дураков), сочтут это философской ересью. Гаусс продолжал.

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