Истина и красота. Всемирная история симметрии.

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

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

Вещественное число по сути представляет собой десятичную дробь. Дело не в конкретной выбранной системе записи — которая создана просто для удобства вычислений с числами, — а в тех более глубоких свойствах, которые присущи десятичным дробям. Вещественные числа произошли от предшественников попроще, с меньшими амбициями. Сначала человечество тащилось по направлению к системе «натуральных чисел» 0, 1, 2, 3, 4 и так далее. Я сказал «тащилось», потому что на начальном этапе некоторые из этих чисел числами вовсе не считались. Было время, когда древние греки отказывались считать 2 числом; оно было слишком маленьким, чтобы демонстрировать «численность», типичную для других чисел. Числа тогда начинались с 3. В конце концов было осознано, что 2 — число в той же мере, что и 3, 4 или 5, но затем камнем преткновения оказалась единица. В самом деле, если кто-то говорит про себя, что у него имеется «некоторое число коров», а вы обнаруживаете, что у него одна-единственная корова, то не будет ли он повинен в вопиющем преувеличении? «Число», без сомнения, означало «множественность», в которой нет места единичности.

Но по мере развития систем обозначений стало кристально ясно, что единица — ровно в той же мере часть системы вычислений, что и ее старшие братья. Таким образом, единица стала числом — правда, специальным, очень маленьким. В некотором смысле оно оказалось самым важным из всех, поскольку именно там, в единице, числа начинались. Прибавлением друг к другу большого числа единиц можно получить все остальное — и в течение некоторого времени обозначения буквально выражали эту идею, например, число семь записывалось в виде семи черточек — как |||||||.

Много позднее индийские математики поняли, что есть даже более важное число, предшествующееединице. На самом деле числа начинались не там. Они начинались в нуле, который теперь изображается символом 0. Еще позднее оказалось полезным ввести в обиход отрицательные числа — числа, меньшие чемничто. Таким образом, с присоединением отрицательных, человечество изобрело систему целых чисел: …, -3, -2, -1, 0, 1, 2, 3, …. Но этим дело не закончилось [39].

Проблема с целыми числами состоит в том, что они не позволяют представить целый ряд полезных величин. Фермер, продающий зерно, например, может пожелать указать количество пшеницы как нечто между 1 мешком и 2 мешками. Если это будет примерно посередине между этими двумя мерами, то желаемое количество мешков равно 1 ¹/ ₂. Или несколько меньше — 1 ¹/ ₄, или, наоборот, больше — 1 ³/ ₄. Таким образом (с использованием самых разнообразных систем для их обозначения) были изобретены дроби. Дроби интерполируют между целыми числами.

Достаточно сложные дроби могут интерполировать с исключительной точностью, в чем мы уже могли убедиться, рассматривал вавилонскую арифметику. Крепла уверенность, что любую величину можно представить в виде дроби.

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