“Начала” посвящены в основном геометрии и впервые излагают строгие доказательства многих из геометрических теорем, уже известных в то время грекам. Евклид начинает с перечисления пяти основных посылок, называемых теперь постулатами Евклида: например, “От всякой точки до всякой точки [можно] провести прямую линию” и “Ограниченную прямую [можно] непрерывно продолжать по прямой”
[55]. Эти постулаты, которые сегодня мы именовали бы аксиомами, принимаются настолько очевидно верными, что не требуют доказательства. И даже если бы кто-то взялся их доказать, для этого потребовались бы другие исходные положения. С чего-то ведь все равно надо начинать. Сформулировав постулаты, Евклид приступает затем к рассуждениям, строка за строкой с безупречной логикой выводя каждое новое положение из предыдущего, пока не получит полное доказательство той или иной теоремы. Эти теоремы он использует для доказательства уже следующих, и так далее – упорядоченно и последовательно, позволяя читателю с легкостью отслеживать и проверять ход своих рассуждений
[56].
Больше тысячи лет геометрия в том виде, как она изложена в “Началах” (она получила название евклидовой), не вызывала ни у кого вопросов. Но потом у некоторых математиков зародились сомнения в истинности одного из постулатов, на которых зиждется великий труд древнегреческого ученого. Первые четыре постулата Евклида просты, понятны и бесспорны, но пятый, так называемая аксиома параллельности, более сложен и не столь очевиден. У Евклида он сформулирован так: “И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, [в сумме] меньшие двух прямых, то продолженные эти две прямые неограниченно встретятся с той стороны, где углы меньшие двух прямых”
[57]. Позже математики нашли способ выразить ту же мысль менее витиевато. Например, шотландец Джон Плейфер предложил такую альтернативную формулировку аксиомы параллельности: “Если дана прямая на плоскости и точка вне этой прямой, максимум одна прямая, параллельная данной прямой, может быть проведена через точку”. Существует и ряд других утверждений, по сути эквивалентных постулату о параллельных прямых; наиболее понятное из них, наверное, то, в котором говорится, что сумма углов треугольника равна 180 градусам. Но независимо от формулировки пятый постулат кажется менее очевидным и более запутанным, чем остальные четыре, а потому многие математики в последующие столетия подозревали, что возможно построить его доказательство с помощью первых четырех. Спустя более тысячи лет после Евклида некоторые арабские математики начали сомневаться в справедливости самого постулата: в их трудах содержатся первые намеки на то, что есть нечто и за пределами геометрии “Начал”.
В первой половине XIX века три математика – венгр Янош Бойяи, русский Николай Лобачевский и немец Карл Гаусс – осознали, что если изъять постулат о параллельных прямых, то получится не ущербная евклидова, а совершенно новая геометрия. Она получила название гиперболической, от греческого слова, означающего “слишком много” (в ней слишком много пространства для евклидовой плоскости). Гиперболическая геометрия характеризуется постоянной отрицательной кривизной (это означает, что гиперболическое пространство одинаково искривлено противоположным по сравнению со сферой образом). В гиперболической геометрии сумма углов треугольника меньше 180 градусов, а теорема Пифагора не выполняется. Это не значит, что евклидова геометрия неверна, а данное Евклидом доказательство теоремы Пифагора ошибочно. При условиях, изложенных в аксиомах Евклида, теорема Пифагора выполняется всегда. Но вот если эти аксиомы меняются, то возникают иные геометрические системы, в которых выполняются другие теоремы. Замена пятого постулата на его отрицание приводит к рождению абсолютно новой геометрии – гиперболической. То же самое происходит в любой математической системе: изменение базовых аксиом открывает новый математический мир, где действуют иные правила. Теорему Пифагора можно доказать, пользуясь набором аксиом – теми самыми пятью постулатами, – что сформулировал Евклид. Но уберите пятый постулат – и вы получите неевклидову геометрию, в которой теорема Пифагора неверна. Математики открыли и еще одну геометрическую систему, где также отрицается пятый постулат, но, кроме того, видоизменяется второй: прямые линии в ней не могут продолжаться бесконечно, поскольку находятся на поверхности сферы. Эта вторая неевклидова геометрия, получившая название эллиптической, была разработана немцем Бернхардом Риманом.
Евклид показал миру, как правильно и точно доказывать математические утверждения. Он также продемонстрировал, что с помощью одного набора аксиом, сформулированных в конкретном разделе математики, возможно охватить всю эту науку. После “Начал” он написал другие труды, в которых применил свои пять постулатов для доказательства других, не относящихся к геометрии теорем. Например, переработав свои постулаты так, чтобы они оказались применимы к теории чисел, он сумел доказать, что существует бесконечно много простых чисел (тех, что делятся только сами на себя и на единицу). Современные математики используют тот же подход – берут аксиомы из одного раздела своей науки и применяют их в разных областях; правда, обращаются они не к геометрии, а к другому, более абстрактному разделу математики, известному как теория множеств.
Родоначальниками теории множеств были (и это не случайно) те же ученые, что стояли у истоков математики бесконечного: немцы Георг Кантор и Рихард Дедекинд, с которыми мы уже встречались в десятой главе. Теория множеств возникла потому, что она способна оперировать как конечными, так и бесконечными числами. Кроме того, в точном соответствии со своим названием она дает математикам теоретическую основу для работы с множествами – наборами объектов, будь то числа, буквы алфавита, планеты, жители Парижа, множества множеств или любые другие, какие только можно выдумать. В мире математики любой волен выбирать, какой набор аксиом положить в основу одного из многочисленных возможных вариантов теории множеств. Так уж сложилось, что система, которой математики сегодня пользуются чаще всего, поскольку она хорошо работает в большинстве ситуаций, – это теория множеств Цермело – Френкеля. К ней добавляют еще одну специальную аксиому, известную как аксиома выбора, и все вместе называют “системой ZFC”
[58]. Многие из аксиом ZFC очевидны и не требуют разъяснений: “Два множества, содержащие одни и те же элементы, идентичны” и подобные. А вот аксиома выбора оказалась орешком покрепче. Ее даже провозгласили самой спорной аксиомой со времен евклидова постулата о параллельности.
